Trace number 3495914

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
MoUsSaka 2011-03-26UNSAT 799.24 799.222

General information on the benchmark

Namemus/marques-silva/
equivalence-checking/c7552.cnf
MD5SUM90f51dc4b61ceb76a01f9d3a6fa2459f
Bench CategoryMUS (MUS)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark188.954
Satisfiable
(Un)Satisfiability was proved
Number of variables7651
Number of clauses20423
Sum of the clauses size46377
Maximum clause length108
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 216046
Number of clauses of size 33744
Number of clauses of size 4323
Number of clauses of size 5196
Number of clauses of size over 5113

Solver Data

0.00/0.00	c MoUsSaka vegetarian
5.19/5.22	
5.19/5.22	s UNSATISFIABLE
799.11/799.19	c Core is minimal
799.11/799.19	
799.11/799.19	v 11447 9804 149 9966 309 9848 193 195 9850 9805 148 9965 310 2543 12125 12126 1085 671 10304 412 2877 413 2878 2566 414 2879 2541 2542 2896 428 2893 427 2895 425 2876 411 4103 3603 4780 11450 2881 2900 432 2573 2574 2899 194 9851 662 197 9852 196 9853 9854 10628 10297 199 4779 2540 3601 696 2538 13098 11453 4785 3611 700 4781 4107 4128 3649 1877 4101 4812 711 4126 3647 3645 3599 4813 9849 192 3660 1871 12130 4131 3654 12115 9861 205 9860 2531 12114 2537 12120 12119 11408 12121 11414 1838 663 1019 13383 13377 11696 1874 14150 13496 13092 13378 11697 13097 14601 14158 13385 14902 13099 13493 13087 3659 4129 3652 713 3650 4815 4818 10085 4130 12133 3653 14147 12370 3651 714 2894 431 415 4786 2546 2570 2898 430 416 2880 2571 2544 2897 429 426 2572 3613 2545 4109 3658 12372 10087 4817 4133 12131 716 3656 4814 2575 12353 10071 12132 12371 10086 12129 3609 10072 13088 10347 13494 4787 13474 13051 13090 12128 12344 10061 12343 9859 202 1835 2535 9858 203 2536 2902 2563 10089 12374 12118 2869 403 2527 3579 4089 2526 2528 2868 1841 11417 12375 10090 12378 12360 12361 10076 12377 12376 420 2887 419 2888 404 10075 424 2891 3627 3625 703 4114 4800 11448 11194 1872 1609 11192 1607 10079 10080 12365 12364 2892 2533 2532 2534 423 10342 13074 2562 2561 9847 190 191 9846 155 9811 10694 10305 2872 407 408 3593 4774 4097 2873 4773 692 3591 4811 712 3646 4810 10083 12127 12369 10084 12366 13082 10081 13490 14144 12368 3648 4127 3604 4104 4784 13047 14119 12373 13094 10348 14145 13089 13472 14148 14146 10088 10350 13498 14149 13096 13495 13091 12362 10077 12363 12113 10078 14135 434 406 405 2870 4094 3588 3633 4118 4801 706 4012 3582 3580 687 4090 2871 4772 704 3626 4770 3586 690 4771 3584 1873 1113 10720 11193 11449 10722 1608 1111 3628 4798 4115 12088 1840 1566 12087 11413 1563 1047 1837 10656 10654 11148 1045 4799 2529 2530 3631 2889 4769 3583 4091 421 2557 2890 422 9863 206 204 3581 688 4092 201 9856 10657 4802 13491 13085 10345 13083 12122 4782 3608 3606 698 4106 4783 3643 4124 4808 2567 2568 3644 4125 12123 14141 13077 13487 710 3641 4807 4816 2882 417 2564 2565 6343 697 3607 3605 4105 5617 7028 1829 9855 198 10296 7319 7513 10082 6707 12367 5624 5626 5632 5619 5616 5622 2127 14903 12134 14157 14600 14155 14599 14154 2539 5275 4826 5576 14943 4809 10074 12356 14122 10073 12355 12124 3639 4122 12354 5620 11694 13374 11695 13373 15656 13475 13052 5631 2569 12103 12102 10629 1020 7508 12094 12095 12093 12086 6338 7311 6339 7510 5536 10343 13078 13080 13488 11405 14942 15661 11138 1555 1827 709 4123 3642 3640 14945 14952 6341 14946 14950 14949 14951 6340 5625 5623 14947 5621 16019 12352 12351 10069 13037 10068 13466 12349 10067 12098 14113 12350 13084 14142 13086 10346 13492 14143 14139 13079 14140 10344 13081 13489 12096 12097 10332 13044 13468 14112 13041 13039 10330 14111 13042 15657 4132 3655 715 3657 3661 2126 6329 14957 10352 14151 1832 5633 1611 11452 1114 10725 10723 1876 11196 1116 10717 11446 10719 11190 1110 1108 1870 1605 6661 1036 11404 10647 1554 1437 331 772 9987 10775 2809 12291 1175 11036 1107 11187 11444 1867 10714 10645 1038 11139 1828 10716 11443 2807 1439 1173 1602 1868 1105 11034 12293 10776 16619 9814 7027 7511 158 14156 12135 14901 13102 433 2874 410 2901 2875 409 5545 5538 15659 12101 14944 14953 12099 12100 5551 15658 14948 5627 5635 5638 2554 12105 14152 13501 13104 4119 12089 5618 13486 14137 13076 718 3664 3594 4778 4098 14136 3632 4819 9857 200 4136 4820 3666 2555 2556 13022 6710 4099 3597 3595 693 10324 13024 7207 11451 11197 1610 11195 1875 1612 13056 14120 10336 13477 13054 14121 14118 3598 4100 16331 16799 4777 694 3596 4776 156 332 4113 3624 14153 16800 14814 13049 16022 14815 14127 14598 14125 12109 14117 10334 16618 13100 13499 6706 9862 207 13384 2904 2903 4767 13500 13101 10351 13103 4821 2905 3662 14132 13478 13062 4768 4806 7321 2553 2552 5643 12085 4803 705 4117 3630 16332 16801 10337 13479 13063 13065 13482 13070 10339 13068 16021 3634 9813 1050 11416 11151 10659 1048 13480 6342 10338 13064 13066 14130 14131 10060 12342 11411 10059 12341 13454 13456 13021 14100 10322 14099 13019 14101 13017 10062 13069 10340 13457 14104 707 3635 4120 14103 3637 13459 13026 14102 13481 13067 3663 717 12117 12116 10063 14133 12346 13029 10326 3629 4116 12345 14907 13071 13483 14134 14138 13031 13484 10064 13072 13462 14105 14106 14906 3638 4805 4121 4804 708 3636 13460 4775 4095 3589 5585 5584 13027 14107 17164 17415 12112 12111 12110 6334 15652 5583 14904 16627 14908 16333 14917 14913 14909 14826 15648 14905 3585 689 14911 16626 5498 3592 4096 691 3590 6331 15649 3587 4093 14910 5594 5582 14919 14912 5593 14915 5592 5497 12091 12090 14916 5586 5589 2560 10325 13028 13461 13030 12092 1834 1044 10651 11145 1560 11410 1042 10653 10648 11142 1041 1831 15650 4134 2559 2558 10658 1567 1839 11150 5587 5588 7029 5590 7328 7330 6150 6904 8637 8183 8364 4135 3665 7190 7579 7969 7797 7193 4017 8636 6903 6505 5615 6336 6151 5612 8628 8738 8631 6897 5580 5581 6145 7965 5677 7186 6144 8834 9012 8953 6143 4015 7577 9010 7031 1606 1869 11189 9988 9812 11146 1559 1561 11144 11409 1833 11143 1556 11406 1040 1836 13073 10341 11149 11412 13485 11147 1046 1562 13075 1564 5603 6502 8361 5596 8178 7189 5599 16625 1083 11180 1597 10692 2691 2692 2693 1865 11438 216 9873 217 9872 1862 2737 2735 2736 463 2999 464 2687 10446 10121 465 3000 12473 13258 2685 10120 3774 4188 4190 2998 448 2686 10123 12475 14315 11182 11439 1595 11441 12181 12180 12182 2734 2690 2688 2689 9877 9876 221 220 12471 12472 10119 1933 11508 12223 2940 447 16437 11141 1830 1558 16438 15988 14891 15989 14894 7512 16020 16617 16018 10655 1043 10652 10724 1115 10695 10718 1112 157 10721 670 2808 1086 11035 12292 10649 5507 14829 6326 5541 7575 5537 3616 3618 702 5675 7187 7185 5630 5613 9047 4789 5628 9049 6501 14827 14825 8362 8630 6899 5605 6142 9011 6327 5629 6324 8737 4112 5552 8955 8952 7792 8305 8175 8360 8306 7188 5546 2549 6325 6337 8177 8739 6898 4788 9048 8833 8632 8956 8629 6900 8832 8174 418 3621 2883 7967 6332 6330 6708 6709 7320 7326 10646 1438 8309 9013 15469 8363 6499 5597 8180 6335 6156 15470 17911 15818 16212 17643 16490 8954 8837 6506 7970 5598 18109 14932 15473 18324 18110 8959 16493 17588 17462 17642 8961 16214 15655 16037 17076 18625 15468 17908 18015 5609 13381 18397 8176 9052 8304 6906 18108 15653 8836 14940 6152 470 828 4252 3867 3865 10126 13605 13275 14326 14325 13272 13274 13603 14324 12488 7884 8136 7025 7322 8135 10125 12478 12188 12477 12186 12187 1054 14332 666 10662 10301 2741 474 3877 4258 13611 13283 10456 14330 13285 14331 12419 10109 10110 13271 12487 13609 13281 14920 14823 5578 8003 7879 16334 7325 14828 5579 17160 16621 17283 16015 15641 17159 17282 14822 10129 10130 12482 12481 12189 12190 12191 17414 6333 17163 17281 17416 14914 16016 16620 7030 12084 2698 16335 799 10779 10423 4197 829 3866 453 454 2946 4199 3789 667 12232 3864 2694 12228 12227 12229 219 9874 2732 2733 9875 218 12234 12235 12233 3785 4942 1179 800 2697 10663 2743 2742 1856 9868 212 1588 1854 3015 3014 11171 9869 3013 3008 3009 213 11432 1859 3005 10452 2696 2695 4994 13273 3004 469 4251 9871 214 11435 10300 215 9870 10683 8740 17459 16492 17461 17458 17587 14936 7794 7966 7574 5676 5614 16491 17248 16866 14502 5601 6500 15471 8957 9014 18288 18323 6153 7191 8960 6905 7581 5175 7578 7796 5607 9169 8308 7192 8179 7795 7580 6503 8182 8365 8635 4016 8633 7968 8835 7582 8634 9261 6726 5606 17460 16861 18325 17245 16485 9206 6155 9051 5608 14933 6907 9123 9168 15816 14934 18479 17905 15814 15461 15462 17453 18322 18283 17640 17456 15460 17906 16206 18286 17247 17073 18399 17902 18107 18011 17454 17585 13382 17904 15465 16863 17078 17249 18439 15472 16489 17639 16213 18287 18230 18233 14929 18398 17586 18440 16860 13379 15466 15654 14941 9050 14928 18106 9015 8958 15001 14922 15463 16487 18229 17903 18105 16208 18012 16207 8181 14939 8307 7576 16859 7793 7573 18228 4014 5602 14924 18010 18321 16216 16486 15003 18225 18284 15810 15002 9309 9127 9205 6908 14921 17583 17455 15812 18476 18475 18437 16210 9257 9310 17075 16858 14925 17246 6149 6148 9203 9121 9256 6724 9125 14935 15811 14923 18393 18226 18285 5604 18622 9201 9166 9119 18394 16209 9167 9308 14930 16857 17074 18528 18438 16035 18391 9252 9202 18584 6146 18580 18525 18579 14926 9120 18527 5600 18581 18526 18620 18623 5495 5591 15651 7883 8137 8001 7327 8002 7026 6704 7878 7324 6157 9122 16864 6498 18400 18232 15813 14927 18320 14938 9307 18396 18227 18442 6154 18234 15467 9164 17909 17457 5176 9124 9204 17250 18477 6902 5595 18231 18533 15464 9253 9118 6504 5610 18583 14931 16205 8741 9259 15817 17584 6901 9126 18474 18013 9165 17638 18478 18531 18441 16488 9311 18530 13380 18392 6147 16215 15475 8742 18395 9258 14327 11517 13278 2722 3878 10454 2125 4008 4259 12217 12216 12469 10117 1936 11511 12484 12485 14328 13608 13280 10101 9879 10422 10780 12480 10128 12214 10115 10116 12467 12468 10102 10098 12408 10097 2720 2726 2728 3010 226 9883 12220 12219 12218 13176 12411 14329 12479 10127 12212 12213 223 9878 13539 13276 13606 222 11152 11415 1553 11140 10389 13194 14273 11403 1074 1037 5272 4795 1049 1586 11430 11173 1565 1604 1109 11191 11445 14277 1619 4985 3850 822 4242 3849 12421 10111 13197 13552 11509 11206 2945 452 3002 2944 4196 3782 764 4937 3784 4938 15689 451 467 3003 3859 4939 11179 1592 11436 1080 1594 11177 1860 827 3780 3861 4194 468 4991 826 4249 3860 3862 3854 4988 4245 466 3001 3770 4933 10689 224 9881 13266 14323 10450 12476 13268 4248 14321 824 3855 4246 3857 6998 14959 1557 10650 1039 5505 11407 15639 5496 6328 5577 5273 4822 6996 15660 3600 695 4102 3602 6711 9255 6723 14274 2949 10107 12417 12418 13549 1075 11172 1855 10682 4945 823 3851 10124 4932 10106 12415 10105 2681 2679 2680 2727 14270 12416 12221 12222 13270 13602 14322 2941 14310 13250 13590 14267 13545 13186 4941 441 2934 1942 2721 2935 442 13192 13189 14269 2699 4931 760 3772 2942 3779 4193 4935 2943 450 4990 4250 449 4934 3777 762 12413 10104 13181 13542 4924 4179 3755 14317 10103 10122 12474 13256 13594 4936 4192 3778 3776 761 3775 4191 4983 4244 4984 3853 13543 14268 13182 3783 3781 763 4195 4943 4944 3792 768 10448 13263 13599 14319 13265 14318 10118 13593 13255 1939 9880 11514 13259 13257 10445 13595 13540 14320 13187 12177 3858 4247 4987 13188 13190 10386 13597 13261 12225 15217 15716 15219 15232 15226 15231 15225 15228 13177 14265 15106 825 13598 10447 13262 13264 5780 225 10381 14261 4181 4922 14260 12412 13174 754 4923 3757 3759 2947 766 3787 4940 5891 14316 13260 5890 13596 6371 6372 6376 8581 8510 8583 14308 5779 5907 15233 227 9882 15715 14313 14309 1200 5902 5905 5904 13248 10442 15713 16613 17156 7877 6321 15972 14110 5506 17157 6322 6320 6659 7315 13463 13032 14833 13455 13020 13018 10321 6994 7314 8236 8116 8235 14832 14824 14831 12104 14867 5503 15644 10070 5550 5499 3620 7313 6666 7509 16798 7874 16610 16611 5489 10065 12347 17516 5502 17394 6665 12107 5542 14872 14115 2547 13036 14109 14108 13034 13465 10066 12348 10328 3614 4110 7312 5540 16796 5520 15645 6663 6664 2548 16612 16797 5539 15978 5535 4790 15642 5544 13471 14863 5543 15643 14114 13046 17514 17395 5492 5494 5493 17515 15971 16614 17158 6995 7875 8237 7316 6660 7876 8114 15640 5500 5504 5789 8512 6374 6373 8582 5787 5793 4919 3752 2718 5788 5781 4925 4184 5794 756 3762 4926 3764 2937 2936 444 443 4927 4182 3760 2683 2682 10100 12409 12410 10099 3767 2939 758 446 2938 445 2684 2678 3763 4183 3761 755 2719 4974 4235 7728 7872 7732 9961 305 593 9962 10227 3765 17154 7873 12211 15712 12226 15218 3852 4243 3006 471 458 2995 3843 4238 2994 459 15222 460 12165 4978 5744 13163 13531 13165 2993 13162 3847 3838 817 3844 12470 14312 13253 3836 11520 2992 4975 10114 12209 12167 4241 2674 10113 4178 12166 10095 12405 4997 5739 2723 2724 2725 3846 4981 3869 3848 4980 9884 821 2717 12210 12465 12466 9885 1945 2673 228 229 4920 752 3754 13592 13254 2932 439 457 820 2933 4982 10444 3845 4240 462 4254 2996 4239 2997 461 13585 13241 2675 440 7869 3835 3837 13587 14306 13245 831 3873 472 5852 5860 5861 5856 4995 6389 3007 4996 3871 4256 5858 3839 4236 5854 4234 10440 4979 14253 14307 4976 13243 816 1625 11515 11212 1206 12171 12176 12215 5735 5783 15714 4233 3834 15227 174 9831 15690 15691 15693 15110 15115 15121 15117 5791 5785 17786 15100 17855 17857 15098 15099 15114 15120 15101 15102 17785 17856 17787 12170 2738 2739 1197 11207 1622 1624 1203 11209 1931 5896 11201 10797 1616 11506 1937 10803 1618 11203 11512 1621 11204 1934 10800 1077 10686 2740 11433 1589 11176 1857 1591 11174 830 4255 3870 3872 1943 1628 1630 11213 11518 11215 4187 3769 4928 4929 13537 5795 6375 5784 15119 15113 14262 13172 15107 10380 17498 17337 17122 14730 5404 13464 13033 7841 7840 8056 8219 8057 13035 7842 17155 10327 5405 7378 11387 170 11357 1780 9827 1779 1382 8217 8058 1811 1810 9825 9824 168 169 171 1379 1809 1781 9826 10056 10290 2118 12073 11688 5859 6804 7086 7380 5849 5855 5851 615 1009 10251 3256 2517 2515 656 9828 9829 172 173 11351 473 11689 10058 13013 12729 12081 5000 10057 10977 1388 12021 12693 3540 1384 10033 620 11659 11379 3222 2459 4998 833 3876 4999 11686 11350 10053 2463 11685 2504 175 9830 2506 3567 3249 12977 10112 12422 3250 652 2507 2505 10384 13183 13544 13185 3537 2454 3219 398 2513 10390 13553 13200 13198 3536 396 397 395 2115 2116 2458 2114 633 2113 3535 12017 2511 3569 655 1773 375 1775 2087 2088 376 1774 653 3254 11380 2092 121 9949 9777 2466 122 637 2468 3227 3541 9779 293 531 3840 295 818 10177 1180 9951 296 3842 4237 294 9778 123 11384 379 7911 380 9950 636 3226 657 2091 2516 3572 3257 3225 530 2518 2464 3543 2465 10985 12974 11683 10624 621 1015 11684 12016 12690 10267 12975 12973 11657 10035 11661 1387 10051 10032 10257 10052 11658 108 10942 9765 11378 11376 12012 11377 12688 12014 10269 12976 12019 10566 12981 3575 3565 9952 3260 2523 10176 10054 402 17497 2509 3252 12725 12075 3570 3251 3566 2508 11382 11383 5862 6388 4921 13533 4180 14254 3756 753 3758 14255 10377 13164 13166 12065 13005 10286 12063 12719 12718 12062 15180 15183 6558 5877 13244 10096 12406 13586 13242 10439 3751 3753 4177 751 5853 5742 5738 2096 1209 11690 10809 10250 1380 1010 10617 10978 10619 3548 616 1008 7323 6703 2676 2677 5777 6319 14918 14524 12457 12455 13699 13399 12456 13396 14525 12454 13697 13695 14526 13696 13694 13398 13397 13698 5743 5740 3750 4176 14817 389 9835 12984 12029 11664 12982 10273 2108 647 2491 15065 14830 10375 14252 14251 13161 13159 13530 14819 14820 7766 7762 7914 9834 7765 7761 7764 14818 2476 641 15176 14731 17123 2477 640 2475 3232 13012 7294 12025 12023 10270 1383 10981 1011 10620 1386 622 13004 12066 12720 10625 10984 1014 10622 619 13003 12064 10253 10287 1016 1013 10256 10623 1783 1782 7293 6366 6369 6367 6368 7344 16594 16303 1784 757 3766 17121 17336 8218 5847 5848 5846 11666 12727 11665 13014 10039 12077 17191 2102 2100 2101 7912 7913 12032 7767 7763 15188 6386 5730 5850 12702 12985 10275 12034 5519 7040 6370 5741 7346 5731 5737 5733 5728 14846 14847 5521 13536 10379 5776 5790 5773 5772 5775 7290 5491 5782 5792 5786 5778 17193 7291 6744 16640 15061 7039 5774 17784 15684 15687 15686 6743 15685 5729 5736 15070 5501 6323 13199 14275 10391 3790 14821 765 4198 3788 3786 16304 16593 16592 14258 13169 13171 14257 15637 15638 7295 6997 13201 14276 13554 2120 2520 2522 658 3259 10349 13093 13095 13497 613 10616 1005 10975 9769 112 9836 181 767 4201 3791 3793 111 1762 11339 1763 10028 9767 110 15918 18068 15387 15919 18069 15388 17871 17781 17874 12046 10044 10025 10023 11649 11994 10259 11996 12963 12676 10045 10046 11677 367 11653 2438 3209 11343 4010 4797 14129 17119 16749 15457 12358 16607 16007 12357 13061 6141 17334 17495 15459 16586 16008 16326 13375 8055 8214 17335 7287 6700 16012 17493 1759 10041 12990 12051 16902 18250 17479 18251 15201 16530 6943 5881 6392 17657 17926 8652 8197 14528 7618 6942 17596 13406 4041 15208 15535 5875 7982 8751 16251 7617 6217 7805 17927 17262 15533 8318 6214 6557 6941 8378 5201 8655 5883 7228 7615 5880 4042 6391 18252 8979 8654 6215 8201 15532 7984 7614 18339 15710 18248 8317 7230 6216 16250 16623 16622 5202 8198 18296 18124 18338 15870 8379 17150 16674 15703 18024 15204 8850 15203 8849 18295 7806 7983 7231 18122 17476 7229 6940 8978 15207 8377 15534 16529 18022 8200 15179 15705 15704 15706 17015 17014 17011 12995 10042 12041 12002 6494 5529 5527 5531 6491 6493 1760 12969 3525 3524 10027 12682 12711 11342 11362 179 11344 10037 178 2079 372 9766 180 12678 11650 11663 12962 368 11673 10024 11363 9837 12703 12037 10953 11361 12961 11674 10047 11375 11358 11347 3533 11346 10941 1343 2451 2086 373 1344 3218 11359 12685 12007 11655 2453 10029 109 12972 956 9764 631 3532 1772 374 11348 14581 2489 2085 11651 10026 15427 14461 12031 12334 12983 12699 12679 12027 12965 12681 12966 12006 12684 12968 12697 10038 12001 11679 13936 17050 4620 13944 13947 13940 5251 4614 13950 3220 12689 12015 2455 2457 10266 12013 632 1006 547 12011 549 958 1771 12009 12686 1770 10264 1342 10567 10188 10940 3534 11374 3217 2450 13941 13937 5255 10189 957 12970 12008 12687 10265 3216 2449 11656 12010 10030 630 2452 12971 10568 14578 17046 17192 14577 4600 2503 3248 394 4610 4612 4604 4608 2111 4618 2112 4597 393 4619 4613 4606 11360 13952 4615 4616 14580 11681 10050 1802 17513 15058 14857 7460 16001 8051 7835 8213 6135 15453 6689 7303 16318 7012 16315 16602 7009 19529 17492 16748 17116 16321 16793 16795 16976 16977 17332 15455 16606 17490 17330 17789 15382 15803 15807 15711 16003 16320 16605 14859 15809 16323 2885 14579 13946 15390 18063 15916 15386 8215 7310 6693 7019 6138 7839 7462 15917 18064 15385 8511 16641 16343 15381 17984 15913 6695 8216 7461 3623 6139 7838 7308 15103 2886 2884 16057 16591 15384 18058 15914 15383 18059 15915 17772 17867 17777 8492 17862 16328 16588 12359 17333 16010 8054 15458 3622 6694 18074 15389 15921 15920 18073 10247 1377 10614 1007 14854 15804 17331 15805 16006 13060 14855 14856 6137 6496 7015 7307 5534 14858 14128 16011 5532 6702 6140 7507 8052 7693 4011 5533 15808 7692 8050 7505 6497 14860 7834 6691 7014 7017 7306 13376 7288 7024 6495 16746 16603 19535 19547 19542 19527 19534 19540 19539 19530 19543 15806 19522 17491 6136 8211 16316 19526 14853 17117 19524 19537 8212 7836 7304 7010 5530 6492 5526 5528 14852 7020 7458 6696 17494 16609 16750 17120 17496 16329 16013 14862 14866 13469 14116 14861 15973 14871 14864 14869 12106 14875 13050 13048 14868 15977 15976 10333 15975 15647 14865 13473 14870 14876 13058 5634 5639 6713 10323 13458 13023 13025 14816 14123 14596 11178 10690 1593 10688 1081 1861 1079 11437 1053 19552 10691 10693 1864 11181 11440 1596 1084 1082 11175 1858 1073 1587 10684 11431 1078 10685 10687 11434 1590 1076 19550 15075 15074 15077 10455 13282 13610 13284 19555 19556 19548 19553 19560 1378 8497 13528 8493 13170 10378 13168 13535 14259 13534 13167 15060 8589 8495 5807 5805 5797 5803 8588 5800 5250 5894 6398 5899 5897 5903 5898 5895 2730 2729 5900 5906 5893 4257 3874 5888 15215 5885 5884 5886 5887 17013 17152 17017 17151 16624 16675 16390 7087 6805 7731 7730 7727 16118 614 10246 10615 16302 6701 17338 4796 7023 6699 7289 8053 12486 6532 5768 5767 5763 6533 6534 5765 11669 5771 5770 5766 4603 11668 4607 4611 832 3875 4617 7329 5808 8870 8499 6060 5813 8788 8594 6059 8868 8496 5801 6720 6705 7432 7431 7198 8188 6716 7584 8965 5663 6346 6909 5659 8367 5673 8839 7800 7972 6910 7591 4020 8642 7201 7589 8966 17771 17770 4729 8599 12708 12992 13000 14576 12059 10285 2448 1349 1346 1355 2434 1352 10277 12709 11992 14010 4721 4722 12700 12989 17511 10947 14591 1800 1801 14013 10048 12056 12998 12714 1765 10950 13369 2107 12061 13001 12717 1806 2083 3215 13895 11675 17317 11338 17235 17440 16846 1353 12052 10948 11366 11336 11364 13898 10951 10954 1764 10945 12964 625 3558 12991 390 12044 10279 12048 12710 12996 10280 12050 12993 11652 11999 10261 2447 558 10577 966 10194 642 2480 3235 2482 2437 624 3208 1356 3523 1761 11995 2084 12677 11993 10258 2435 2479 3234 3552 12704 12040 386 387 385 2103 13902 12712 3214 1758 12054 11680 10283 12997 14070 2106 646 2492 3241 2490 10946 963 10192 10574 649 2496 2110 14058 11335 11334 11371 14012 13901 2080 2436 11365 11340 10263 1766 10043 12004 11367 11368 11370 1350 11369 12005 11678 12003 12683 10281 10262 11372 11337 5268 4738 4744 14590 12967 10573 10193 553 1348 14592 13894 388 1787 1795 1785 4711 4708 14078 14080 14085 17375 3555 17540 10196 10952 970 10580 10197 10579 559 1354 561 969 556 10195 10576 1351 967 3559 1796 14076 964 14077 14087 17377 17537 14083 14084 14086 14082 650 2500 8261 14032 12707 12045 10949 12047 12706 1347 14025 14572 14075 1345 4691 1786 2109 1794 2105 10278 12043 3564 2499 2502 3246 3247 14030 4747 4753 2498 14073 14067 14059 14056 961 10191 550 10570 2487 644 2485 3238 392 3245 3560 4748 4756 8257 17512 2488 12042 14088 5732 12067 12721 13008 12070 10288 12068 8917 18142 18192 18060 8509 8600 17194 17045 17049 17048 17047 17044 15063 15059 15069 15688 15066 15067 15055 15062 15068 15054 15057 15056 16055 16642 16342 6745 7041 7345 16056 8506 16341 18198 18148 18070 15142 8503 6064 17535 14079 17536 17538 13893 13892 13891 4709 2484 3237 3240 14462 17378 14066 17630 15426 2122 14071 14055 17539 8919 8869 6604 8790 8787 8591 5810 5814 8592 17873 17872 8504 17779 15140 15138 15137 15139 5812 8875 8800 6608 8797 19477 8925 6063 8924 6609 18197 8801 19475 19474 19482 19470 19472 19478 18190 18061 17868 18143 5811 18141 19452 5809 8791 19456 19451 15135 19446 6605 17864 8789 19448 18191 19444 19449 18062 8590 8918 17865 15134 15136 17774 8502 8593 8498 17773 8598 5817 8596 5815 8922 8793 8873 8920 19465 19457 15143 6606 6062 8792 17869 8595 8795 17870 18194 8597 19464 18145 18065 18195 18066 18193 18146 8872 17866 7292 5751 5749 5755 5752 5753 12728 10292 12078 12080 2521 659 3574 2486 645 18081 8808 3553 18082 3562 651 13002 12057 12715 5266 4733 1790 4726 7870 7871 7729 7733 16526 15524 7613 9021 17474 16899 6221 17263 16244 17595 15539 18021 17085 15537 6218 18246 18493 9063 7226 8848 8195 8970 8971 16897 15531 8749 8653 7804 18540 7979 16253 6211 16531 5878 12483 8973 8314 6207 8746 8846 8192 7224 6206 4040 9020 18490 15528 8647 7223 5960 5882 6936 16898 18414 8316 9176 8748 8376 6209 9061 8648 643 2481 3550 3413 4693 5259 14278 16580 16072 13387 15515 14279 6197 16074 16368 5078 14708 8325 8539 17816 8408 17683 17605 17602 14410 17424 8144 6196 4947 6759 16073 16578 13386 6761 4021 4762 3561 3243 2444 2439 369 3557 2493 2081 3242 3546 382 11997 2473 3230 2093 3228 381 3528 3210 3212 3527 2443 3551 3236 2483 12038 10276 4560 4563 4559 960 552 10190 10571 10943 627 2441 2082 14029 629 2446 3529 5323 11667 10260 12000 12680 11998 638 5249 2472 12698 12030 10272 2094 3229 12028 2848 2076 2078 2077 2850 7557 6458 7953 8613 1767 1769 5248 4671 4591 8350 8520 7169 2859 8033 6457 7949 8348 639 2099 2471 4595 2097 3526 8353 6109 8037 7955 8161 8518 7954 8036 8163 2860 5135 4580 5327 6460 8351 2494 7559 2098 7429 7173 7170 8612 17793 6462 8939 8162 626 15428 18214 8824 8821 8616 8891 2440 2442 3420 6105 8820 4581 4576 17628 14463 17795 18098 17234 13928 8345 8941 8617 7426 15771 16718 18165 18095 8158 16472 9187 18355 18354 18378 18353 14465 18309 5140 6113 8940 14466 15430 18312 8823 18380 14573 17315 13921 18508 9080 9036 5324 9081 18313 9038 9184 17794 6112 9039 13914 3418 3998 4000 3415 18270 18268 5402 18269 14729 18054 8912 8780 8997 18053 19426 19425 18185 14453 16469 12332 16841 16843 17886 17623 15423 16715 16842 18211 14458 15768 18307 15424 9104 18377 9078 9034 17888 18376 15420 13916 17622 14004 17231 18210 16713 17438 14649 8347 6102 8344 132 9789 1403 2032 11602 9977 366 11601 10022 133 322 11947 12626 11948 11302 11000 11584 12620 12603 134 1713 11004 1125 1404 11294 1746 10501 11321 11320 323 11001 10729 1717 1120 10004 1745 11907 2031 11587 11585 11297 10499 10735 11581 347 2010 12908 10007 13770 10731 13779 348 10359 1411 11919 10001 10209 11921 3139 11315 11006 11586 1715 12611 11908 11598 10500 1405 14628 13784 11914 14626 14625 13774 12907 1743 1124 728 575 2353 6440 10584 12604 3469 11916 11010 138 11322 11938 10585 2354 10205 11913 5233 139 9794 11292 11316 11293 2025 11909 10360 9791 10354 12910 11904 12901 14627 14629 14624 11009 11291 585 10726 10730 11936 12919 11298 10595 1744 726 12608 2384 11910 11007 11582 11318 2022 1408 10732 12606 6441 10207 1742 2021 12920 2012 2365 361 9795 11324 11003 1712 11583 10003 321 11317 135 1406 9790 10502 12906 11295 720 9979 11325 9978 11597 11299 12904 1716 4678 4680 5746 14016 6641 4677 4681 14020 4688 14023 14587 1793 14015 17042 17037 17190 14589 9105 2029 10019 5262 12713 4684 10282 17033 10221 15609 9037 12922 5260 11600 11941 10021 12055 12053 5261 14011 14571 14570 4586 5322 8936 15422 18092 14005 18089 18161 18209 18090 6292 4584 15078 15081 15071 15072 15073 15079 15767 17624 15770 4587 18351 4573 17792 7950 8614 8034 9082 5139 6455 17889 4579 14651 18522 18458 18509 9185 14784 18459 9235 9106 14455 18457 6456 8516 4577 8938 4583 7168 7166 5127 7165 8888 18164 8817 17232 17229 18163 15431 18096 16845 9040 8822 4673 3530 3531 14009 3213 371 2469 2123 370 3545 17631 16473 11345 3556 2121 12999 13897 2846 14019 3211 7952 8159 4585 8160 5128 8819 8517 8515 17439 17627 2851 17790 13912 18460 18507 14456 9188 14468 7560 7957 4004 8825 4596 8890 3419 3417 3416 9079 2470 5315 5125 2844 4005 2075 5124 6100 2849 5314 5123 5126 4001 3999 5317 5313 5316 3410 7958 15955 6454 2861 18212 14574 15769 5136 18311 14464 18213 18097 16471 13922 1768 3544 18094 6103 18310 5138 9032 5142 9236 5459 14650 18455 18452 18521 14782 17791 18524 5458 8892 6110 14467 14460 13918 17313 14648 9077 5319 6104 5129 18379 5141 13919 9107 17312 5137 7558 5318 6099 6101 4592 6461 4672 7427 5130 8816 8352 6108 8889 4571 17890 16470 15425 16717 13926 15429 14454 18162 18304 17625 5132 8349 8346 17236 14793 6642 7908 7760 7755 7909 7906 7751 7907 14588 10578 14585 14586 4572 4712 4716 4714 1789 5263 4717 1792 1791 4564 4568 4682 5246 5242 15954 15610 1788 4683 4687 4599 4601 4598 13951 13934 13945 5360 10572 5358 4706 5356 4562 5359 5355 4561 13903 10944 10575 15607 10569 14081 17374 17376 17373 6288 6289 15608 8233 8113 12423 12425 16066 8777 18051 18266 16364 8994 6195 2950 7359 16657 16739 15512 7450 19412 18267 3796 6756 2951 16738 16655 12424 18050 18182 16068 15513 13203 19413 19405 7066 6762 4946 6760 4022 8908 7281 7361 7063 7062 16070 16656 6194 6754 16366 8778 8993 7451 6757 3795 6755 2952 15094 15845 19420 19423 18264 16737 18047 16650 16354 16357 16062 8775 8990 18179 15509 7053 7355 7447 6191 8991 15846 15093 17682 17684 17603 17814 17423 8406 8327 5382 19140 5077 19136 19137 19144 19132 19134 19139 14409 8541 19399 18048 18263 15092 15090 8774 7449 15843 15089 8906 7052 7055 7354 6750 16735 16355 16651 5764 6193 15511 18180 18262 16815 16970 7686 8989 8907 7527 15849 6537 16064 16653 6752 16359 7057 7060 7357 16362 19394 19397 19404 6531 19396 15847 6535 16813 16969 18178 8905 7685 16654 16360 7058 7358 7525 15097 15848 18046 15095 18181 15514 16071 6763 16367 7067 7280 7279 8992 8910 18049 8909 8995 8913 18052 19409 19407 19410 19417 16365 13202 16067 16069 7064 6758 7360 18183 18265 16369 7065 8776 16075 16579 15844 15091 19400 19392 6536 5769 16358 16736 7448 7056 7054 16356 15096 16063 15508 6190 6751 16649 7353 6192 16361 7526 8773 6753 15510 7061 16652 7356 16363 16065 7059 16814 18186 14728 8911 19418 12175 12168 8779 19430 13157 15064 19422 13538 18184 8809 13173 12174 13175 2380 12617 10018 11595 10017 11933 1402 3480 362 12618 11934 3481 3144 11920 11918 10208 12918 12716 10284 17380 10727 10358 1122 12610 723 2372 3155 11301 3472 4483 11323 12623 11599 3140 11943 11915 11912 12923 10020 4488 2355 3486 3137 365 6442 2383 3154 12912 2009 3489 2349 2347 3471 570 3136 2381 12625 588 10008 2370 3147 2011 9788 571 5235 2020 363 2008 975 3466 734 1130 2026 3132 2341 876 11903 10002 3468 9963 12605 1407 3482 12619 1706 1131 10736 10364 307 1711 1409 308 985 877 11911 2007 2028 10353 9980 1126 1129 1412 3133 2374 11580 3134 3464 2006 346 3131 2005 1707 2345 2343 3465 10737 12902 731 1127 11005 11935 9793 324 878 719 11008 729 732 10734 10361 11906 12602 3149 1709 2340 1410 2344 12903 10362 10733 568 3130 2339 2337 12905 10363 1401 986 4485 10206 3467 12607 2342 12911 974 12909 3470 352 351 11002 2367 1714 2348 4487 2350 5234 1708 1741 1739 1740 2371 3148 1738 11905 12601 10204 1710 879 12921 1128 2373 136 11937 10594 3483 2027 14418 17710 17387 17712 17827 17389 17388 17390 17552 17551 17548 10014 10010 152 11858 10590 114 9771 493 10506 356 10200 10198 10509 10583 981 10146 10148 9808 10147 484 10011 11860 354 10525 481 11281 10139 10515 10588 10211 11280 494 357 9995 9955 9996 9998 10140 9810 9909 153 254 161 9816 9958 9956 10009 159 9815 115 9770 9809 154 253 9910 160 9817 358 10015 10738 10356 11013 9982 9983 10000 11899 12899 11578 11579 9999 13749 10203 12599 12612 11924 12915 11593 567 2335 1703 11897 326 722 327 1415 1132 8088 8231 10739 1134 583 2003 140 9797 10355 10740 10365 1413 11012 737 328 9984 343 1704 9796 11011 1414 3127 1735 1737 3460 11898 984 1360 900 735 1133 10366 2004 1705 344 325 141 4419 2364 2024 360 2023 3475 3143 359 2362 3476 10016 3128 12597 9981 3461 12900 10202 2333 721 2331 3462 3126 1736 13748 2334 2332 566 479 10006 10586 297 9953 11305 10507 10581 17186 7754 7910 7750 7759 17043 17038 17188 17034 17187 17189 6643 7752 7756 7757 7753 7749 7758 8273 17550 19257 8693 17715 14417 8552 8440 5390 17967 5391 19256 19249 14716 5085 8439 8692 8437 17714 17826 8553 8259 12058 4739 17828 11682 4725 10138 11304 903 17036 17039 17032 17035 17041 17040 10593 10520 897 10201 9997 10137 10510 10582 10589 10518 9954 483 17368 17510 482 300 10505 10508 8880 18153 19758 19761 17370 302 10013 16712 11874 17277 11873 11876 17058 12847 16192 16711 11119 11276 15399 12846 11120 17057 11277 15400 16191 17503 17342 11875 17308 17276 17343 17504 17275 10960 11328 10213 10958 1747 1748 17367 10223 17570 12926 3153 17366 3150 2375 8089 17509 17508 17568 17569 11946 12925 17280 17279 11877 11278 17059 11588 17060 16830 11279 16829 11589 10511 10145 10956 298 11878 10523 10215 1361 4713 4755 4750 8097 355 8090 890 1720 340 887 976 573 892 972 1358 885 973 339 565 1719 1718 341 882 349 488 1359 980 898 10144 10005 10957 10587 10512 563 971 889 350 978 884 342 353 12927 12624 11944 8229 12622 11940 12621 12924 11939 8230 10220 11942 11327 10212 10517 3488 3138 364 2379 2351 589 3487 1749 3484 2382 3152 3485 2030 587 12609 2377 902 1536 1755 8066 4347 8000 564 883 1727 3995 1694 1534 7778 5100 4349 6081 5102 6433 3993 2015 2019 7544 1729 1530 6082 3992 977 7424 2835 6078 2312 6432 6080 1693 886 7421 7546 2839 7779 2018 6883 7422 1531 2311 8030 1728 2016 914 888 891 7777 5101 572 2834 17505 17347 17506 17346 17310 17311 17507 1489 2837 913 301 894 10959 1362 982 901 17369 8804 18077 17345 17278 8226 8067 18152 899 983 1752 10210 10514 10519 10592 10214 10522 11121 11331 11330 11122 1753 895 577 979 1695 9957 11329 11326 2288 1751 11306 11118 1696 2290 11117 10521 1537 896 10591 19907 19899 18155 8882 19904 19901 893 1750 18080 18156 8884 17757 11283 11865 10528 10962 905 10513 10516 11282 8400 3121 2385 11863 8399 8802 17989 18075 915 8716 8482 8718 17991 1734 8489 8806 19750 8486 8803 8807 19747 8883 19745 18157 19748 1733 8488 12630 1364 2295 3159 8719 17758 8483 8485 3490 3156 495 3491 3158 10149 19764 19756 496 17760 12627 12928 2389 17762 12632 11954 8879 19763 8754 8665 11949 12594 17677 18026 19760 17988 8715 18154 19906 8881 17676 17939 8753 19768 19903 19911 17763 11309 1754 2388 3122 8398 2386 3120 10135 1697 3161 2293 2392 17987 18078 17992 8805 17759 19755 17675 12593 11950 8717 17364 13865 17843 17736 14428 13866 19015 19022 17940 8752 18025 19017 19027 19020 8667 19019 19023 8714 10529 916 2394 3160 2297 11867 11956 12631 8484 17764 11310 18079 8487 12629 18076 12929 17761 2390 11859 2289 11953 904 11862 10524 3157 2391 11951 497 2292 11861 2291 12628 10150 2294 2296 11864 10961 11955 11866 1363 11952 2393 8490 11596 3478 17365 2366 584 3145 2368 5166 7276 5472 6301 6990 6648 6298 17360 10219 12916 11931 17356 17766 8491 13781 13776 13771 13769 17350 16298 16575 17946 8755 18028 14492 8673 19145 19153 13862 17842 17735 17362 11594 4420 4506 13863 8080 6525 6526 5748 258 910 10748 1613 750 499 10091 438 11496 1417 9783 126 162 255 10527 9916 487 907 11497 11200 9819 1416 125 11016 1922 10151 124 498 437 435 880 748 10503 2303 2302 10093 10750 1614 1148 1145 745 881 9913 320 1421 256 9780 1925 436 1143 259 9975 17027 17031 6365 17181 17025 11499 10142 11498 11017 10747 11872 11198 10092 11014 10094 10372 17183 17184 17182 16639 16936 16277 15052 17295 16563 16941 10371 10141 1921 7340 7747 7745 7746 7339 7342 7905 7341 7742 7743 163 257 319 486 1924 746 10143 2304 485 747 11871 10373 11870 11500 9914 127 9818 1141 11199 1418 9911 9781 9782 9912 1146 9915 9976 260 10152 1419 908 10749 10504 11015 1615 10526 1920 8586 8584 5802 8685 19222 17958 19214 5080 14412 17700 5384 8543 8424 17697 8421 17818 14710 19217 8256 14411 8422 14711 8542 8544 17956 8423 17699 5079 17698 17957 8683 17701 19210 8684 19218 4745 8425 19212 19215 5385 17819 17817 17099 16561 16938 16054 15051 16560 15683 17094 6524 8707 8514 8768 8710 18042 6056 8864 17384 17385 16559 16940 16276 16562 16935 16939 17406 3477 4496 5241 12163 12897 17405 17670 17599 15679 15681 15682 4492 4509 4499 13818 13816 5727 8014 8392 8320 8391 8128 8319 6362 8013 14678 17558 8766 19152 18030 8757 8671 7275 18039 19197 19204 19205 8556 5088 14420 8147 8332 8442 8329 5392 19283 19275 17831 19282 14419 17557 13852 17355 13846 13849 13854 7816 7815 7814 6970 7653 7817 7661 7659 7662 7265 7658 7660 17955 18037 8681 13743 17696 18038 8419 4410 4723 6290 5468 6364 16053 8109 3244 2495 648 2497 4735 11313 5087 17361 12913 11926 10217 14565 13833 13844 14563 13829 13838 14566 14564 14562 15606 14594 4741 17359 17358 17357 13826 17668 12164 12896 3458 2671 1121 10728 10357 725 10999 2361 3142 582 2363 8682 8764 4500 4504 4510 17990 13859 14682 14038 16284 6645 14490 14796 15614 18029 8410 6296 15611 5470 17686 15957 17687 6293 14034 6976 5164 5351 4704 17610 17426 17607 14718 17718 5393 8333 8555 17611 14719 17830 4679 5467 6291 14040 17549 17709 17353 17351 4503 15960 13857 14798 15619 15616 4498 4511 14097 4489 4505 8108 14027 14033 14795 4730 4743 8672 17945 17765 17954 14677 8765 4411 13742 8420 14036 17695 4737 13817 13820 6299 4700 5350 6988 6649 4727 12614 12914 3141 12917 2360 11928 4724 4731 15958 15612 16282 4689 4507 4686 4690 4692 4685 4491 4490 4493 4508 19253 19251 19254 8551 19261 8438 4495 4502 6363 16937 7652 7650 15680 7260 7654 7656 7655 7343 7748 8015 7651 16570 17028 16636 17294 16635 16278 8127 7261 7263 7262 17026 16638 17030 6968 16951 5726 6740 17185 5725 16942 7818 7901 7903 7902 6742 7904 17097 16564 16637 17293 17029 16565 16567 16566 15053 17669 17598 6969 17407 16948 16947 6741 7813 7657 7264 17095 16052 17098 17096 18984 18976 14593 14053 14060 14064 14054 11349 10255 623 10986 10621 1776 1777 635 3538 11353 1385 10979 10034 10983 378 1778 2461 377 11352 3539 2089 10252 618 10226 592 11386 306 14065 3554 3239 11676 12994 12049 11654 11341 8271 17716 14717 4740 1798 4736 4734 4728 4732 1797 5269 4742 14595 14074 6111 8615 7174 4588 17891 14057 17391 14068 8272 17392 14063 5267 12705 3207 2104 12988 12039 14575 555 7562 14061 8112 8234 5265 5264 14069 8111 17393 14062 8232 14072 1799 2519 16590 16589 12079 3547 10293 384 2478 3571 2467 617 11354 11381 1805 10980 1381 3576 10249 10618 399 2117 12022 400 12695 12694 3542 10982 3224 12691 11355 12978 11356 11660 10268 12018 12020 12692 11385 10248 10976 612 10040 12033 12987 10274 12035 12701 401 2119 3233 2095 383 3258 1012 2090 3568 12723 12071 13007 12069 10289 13006 2474 11687 3549 3231 11373 10049 17713 3563 2501 13009 3255 12726 2514 12076 13010 1808 2456 3221 11662 10055 1803 12074 1804 10291 3573 2460 3223 2462 634 12696 13011 12026 12979 12024 10271 12724 12072 12980 17711 14416 14714 12986 12036 12722 10254 9141 7823 7271 7819 7667 7821 7822 7820 6973 7824 6972 7666 18981 18978 18980 17102 17101 17100 16946 16281 17103 17104 6971 7665 16943 16944 16949 16945 17105 16279 16950 16568 16280 16569 7664 7663 18996 18993 19001 18991 18994 18491 6938 8507 17805 8322 8530 17600 8532 17807 15200 6553 5873 18626 15865 14954 5645 14955 6712 2577 14956 16017 7205 5575 5637 6714 4013 4824 14958 18997 9263 15209 18587 9267 18413 17921 6219 9316 18590 18629 9138 6390 18589 15536 17922 18447 17655 17264 9317 16901 15529 14527 17597 15195 8651 18535 18418 15864 15869 9136 18119 18541 18243 9177 17259 16252 6799 16524 18249 17477 18409 9174 9022 17929 5869 15538 18410 8750 18449 18489 16528 7616 16249 18416 18451 8976 18542 15206 16388 15175 15185 15177 15181 16676 9178 16523 13252 15707 16900 6212 18019 9219 18123 18448 17480 15709 17471 8199 15199 9143 9220 18415 18543 18244 9312 9173 6798 9145 18023 6552 18336 18631 8977 9023 16116 10443 18337 18294 8975 17654 9218 15868 13405 15708 8851 17086 18121 6213 18628 17928 9268 9142 9065 9024 6945 9271 18586 18488 6944 9064 18334 18588 18450 9144 6210 18412 18293 16247 16110 9139 16108 17087 15527 16248 16246 9314 17593 15286 18538 9217 13407 17478 18536 6220 17656 15867 15202 18417 18297 15525 9270 18492 9066 17925 17983 15912 4761 10796 1196 1198 10798 11507 11202 1617 1932 4754 4758 11510 1199 1201 10801 1935 11205 10799 1620 1938 1202 10802 11208 11513 10804 1204 1623 1626 1205 11516 11211 1207 1941 10805 10807 5194 4351 4353 1210 1629 1944 4352 11519 2964 2965 4024 4023 4355 4354 2963 4025 5193 4026 10810 11214 1208 5192 10808 2966 13529 10374 13160 13158 5961 8524 6566 7239 6573 7438 6578 7993 7623 8857 7627 7246 8900 5912 8382 5949 8207 6234 7990 8041 5901 6563 7088 6569 5914 5934 6222 5909 8856 7234 7989 8659 8658 6957 4045 7624 7987 5942 5929 6401 5917 8657 5950 8985 8203 7247 5920 8206 7628 7241 16389 15211 7442 5889 7248 8861 8045 7625 7440 5944 6396 5204 7620 5926 8984 15214 6235 7621 16117 8204 8384 15210 5957 7233 8386 7991 6572 8205 15212 4046 7626 7443 5956 2731 6956 8854 7243 7242 6394 5938 5955 6806 8860 7994 8529 6947 6399 8046 6571 5954 6393 7379 6400 7245 5953 15213 5951 5203 962 13939 13933 13943 13935 13949 5172 5171 5480 5478 2525 14095 13972 13971 13970 13929 5253 4605 13931 13948 4609 13930 13942 5254 16821 16107 16823 16387 16386 6286 6285 6987 6985 5455 8418 13932 5252 13938 4602 8290 8289 8291 8086 8087 11671 11672 11670 16555 7641 18939 5415 18941 14743 6593 16929 15904 16925 14742 16556 6592 16920 16932 16931 7636 7810 18937 15905 18159 17089 18942 7256 17090 5417 15903 19912 7647 7639 15571 16921 7812 17091 15572 7645 18944 17092 7638 20423 18945 15573 16922 17088 7808 18949 19919 19917 18158 8885 19920 7809 16924 16554 7640 6253 6591 7635 7644 7648 16927 16923 7255 6255 7637 16933 7642 7254 14741 19914 16930 19916 17093 7811 7646 5416 6254 7807 16928 16926 16919 20422 8886 17567 13803 13807 8078 14031 18983 8126 6361 16934 11018 17981 18135 19374 19373 17980 18041 19366 18137 8508 8601 17788 6600 5354 965 5357 4707 11314 4524 13746 10222 11945 13896 4575 14018 14014 14022 11917 968 959 6639 7865 7866 7867 7864 4569 7720 7716 7725 7868 5464 5465 4565 6640 3473 3474 3129 345 2346 3135 4582 5321 7721 7726 7717 5466 7202 12600 3463 11902 2338 569 19339 15951 17145 17001 17979 19331 8706 19334 5092 19305 19308 14424 17973 19313 8700 4530 8284 5091 19306 19301 14423 19303 19309 4515 4519 17563 19327 19329 14427 5095 19335 8560 17835 19332 17727 4529 4526 4525 8562 4528 8450 17737 8566 17841 7715 14792 7723 4567 4574 6287 14568 15950 17146 7719 17148 7722 7724 17147 7718 17010 17005 8698 17971 17726 17837 14686 5240 4512 13747 4417 13745 13744 19322 19316 19314 19326 14425 5093 19318 17976 14426 4413 4412 4416 4415 4414 12598 11900 11288 11290 11289 11901 17941 17680 17943 17811 12596 12595 11922 17813 17679 11923 12616 11932 11929 11300 5096 17977 8704 8568 19279 19277 19280 19751 19743 8146 8330 8554 8443 490 13767 12898 17502 17344 17309 17341 491 14047 17948 8675 17739 14727 17978 8463 8705 8461 5640 5636 17500 13765 492 11930 10218 8459 8567 4570 13899 5243 15952 14790 15605 13904 17004 5244 6638 17149 17009 13906 4566 5245 13900 17000 17738 14726 5400 8462 8460 8288 1722 1525 8563 17838 8456 17732 8455 17974 17731 8565 17840 1524 1723 13802 19371 19368 19378 19370 8513 8708 8769 8862 5642 6715 7206 7204 4514 11312 13782 13773 13778 13768 14553 13752 15577 14556 14557 13761 8451 2336 5232 4433 4427 4423 5227 17499 13828 13836 13832 14567 2356 3124 2358 3123 14791 1721 2357 3125 2359 17002 17008 16999 17007 17003 17006 13759 4435 5229 5231 4424 13755 4517 4533 15578 13750 14558 14739 14740 6259 6260 13751 8061 17340 17942 17681 13780 13777 13772 13775 13783 574 2352 4440 4445 4437 4448 5303 4452 5302 4451 8059 8060 13842 8668 8402 8538 8670 8404 8221 8401 8537 8536 8222 17339 17501 19030 19040 8405 19033 19036 8669 19028 17812 19035 17678 4418 8076 17425 17719 17608 17829 8084 8441 17717 8331 15908 15907 15576 15574 8220 4522 8081 17363 4534 17566 8083 8561 8449 17728 17725 17836 14723 5397 14722 8452 5396 8699 17972 8453 17729 8077 19296 17970 14421 19300 19292 5089 19293 8697 14422 19288 19295 19290 5090 8279 8587 8286 8287 8454 14725 17839 8564 14724 5398 8702 17975 17734 17730 8457 17733 8458 5399 8079 8071 14721 8696 8558 17720 8444 8447 17969 17723 14720 17724 8448 8278 8075 8085 17562 4494 8082 19002 19014 19004 19010 15906 7825 17106 6594 17111 19009 6596 7830 19006 16954 14738 7273 16959 7670 16965 5412 7681 16572 7826 7675 6595 6256 17782 8557 17832 8446 8559 17721 17834 8695 17722 8070 7827 7829 7828 5414 6258 16964 17107 7274 16962 16963 16961 6257 15575 7673 7672 7674 16573 19209 19202 19201 19199 8763 19191 6313 8417 8678 16288 15970 16289 6656 8762 17692 14498 6658 6981 15968 15631 14804 6980 19184 19196 19188 19186 14806 19192 19189 17693 18036 18035 14497 12083 8416 8280 15752 14026 14035 8756 8411 8098 8260 4751 8258 5294 8292 4436 7146 4450 5103 4446 4471 4441 7945 8338 8149 6084 4467 7149 8604 5295 7547 7781 8294 8340 2841 8606 6439 7550 6448 3997 2843 4484 3996 4447 5301 8607 9553 9529 8932 8068 5410 4464 8335 9413 5311 7552 7784 9475 5114 9278 9028 8343 7154 9410 9003 9364 4459 9323 8610 5118 5310 11641 12851 11643 11644 11642 5469 4516 14024 14794 8680 14683 8923 8876 8798 4752 8094 4749 4746 8096 8093 771 11062 769 13855 13845 13850 17354 8073 8074 17352 8072 2206 2207 2329 1513 2991 2330 2990 12082 2307 3990 8028 6076 1726 7776 3407 7417 2306 1528 8063 7541 1732 6881 6430 5097 2829 2013 1692 8029 8064 2830 7774 7416 912 6073 285 1322 1325 1319 1313 1316 281 16953 7669 16958 7680 16957 17110 7668 7677 16571 16956 7272 16955 16952 7678 7679 17109 7682 17108 7676 7671 16966 16960 8095 6055 17953 17694 5174 8679 8761 5485 6597 2866 3578 15141 17381 8711 6601 8863 17982 18040 15123 17863 8494 5799 15122 14674 14028 14675 14676 15125 15130 17769 18057 18136 15127 15126 15131 17767 15129 17768 17860 15128 15124 17859 8799 17783 17875 18071 8874 18196 18149 5798 17776 8501 6061 6607 8505 8796 19461 19462 8585 19459 8500 15132 17858 1951 11529 1954 11535 1960 1957 19032 11532 11569 1991 11566 1994 1487 1484 11083 1481 11074 1478 9969 1394 11541 1963 314 11068 1475 11071 1466 11059 1472 1469 11030 3359 3356 3805 2710 3358 2200 3803 1424 9807 9967 1823 11563 11572 11560 5063 9945 3090 9776 12563 13661 3972 3091 3092 4328 12565 11575 289 12566 1997 4323 1337 1985 4326 2000 1979 11554 11557 1397 10992 10995 10971 10965 9946 10974 11393 10927 9774 9775 11402 118 290 1820 10926 1329 119 9960 1328 1367 1370 1373 1376 1826 313 10935 10929 150 312 1211 835 15980 16433 15982 15979 16435 16436 14893 14897 14880 14883 15984 14888 16432 14886 8767 8709 9985 10938 10459 12556 11845 3456 2277 3084 3455 3085 2276 3082 12893 12894 3452 11846 2278 3453 11847 3083 10392 330 13433 4070 840 12567 13721 13722 13719 13718 14546 3094 3097 4067 4388 4391 13435 13723 3095 12568 12569 4389 3096 4386 11771 11772 12800 11773 2709 3357 12797 2711 12587 12588 3360 13211 12585 4403 13731 4078 12586 4402 13734 13440 14550 13441 13732 3112 3115 3114 12798 12795 3361 2712 12203 13212 10224 17775 18147 18072 10294 8326 11027 1430 11024 1427 5816 8921 18144 17778 8871 17780 8794 335 329 1152 10756 1291 11019 8540 8328 5383 17604 8407 8324 19469 14090 4757 17542 14091 14709 17815 17606 4759 14089 17545 790 787 1435 784 781 1426 1423 778 9992 859 10393 4229 3830 4231 3828 2980 13580 13235 13583 13237 3829 4228 3898 12805 12245 3897 12246 12806 842 11067 10483 1292 13470 10331 13043 13045 10754 1428 10412 10406 1160 10760 10409 1163 10763 10403 10757 10400 770 1434 1166 10766 1422 8145 10411 10408 10764 10767 9802 10405 10761 10402 10758 10399 10755 779 10404 11023 11020 10401 1153 8103 151 10923 9941 9937 282 1326 286 1323 1317 1314 1320 2052 3181 2413 2050 2049 10920 10918 311 660 10924 10936 1451 1448 1454 1457 1847 1850 1853 1445 9990 334 797 1051 665 18067 10911 1332 11048 11045 11054 11426 11420 11429 11423 11042 10912 3617 701 3615 4111 6675 3610 4108 699 3612 7138 2414 3182 304 590 1000 606 10242 10973 10534 10163 1315 510 925 506 284 288 10919 10166 518 10541 930 10538 927 10164 515 10916 9940 10158 10168 933 10922 521 10544 921 10913 512 10162 10535 924 9944 10160 2753 3366 8099 5804 1906 2182 4916 4906 1912 5292 4902 2670 3344 2191 3748 2654 1915 3326 1909 3736 1907 1910 3321 4898 3315 3737 2175 3320 2179 1913 2658 3318 4899 3324 3740 3739 5287 1916 2662 2178 3338 4910 2183 2666 2184 4900 2174 3332 3745 2176 2188 1918 2187 2180 2192 3742 2133 1883 9806 2918 14218 14366 13639 2784 3056 7393 7257 12281 8243 13649 3068 12532 2781 15039 6735 13524 8662 8394 14224 2906 8663 15676 2170 12392 2912 7394 6841 2255 13633 15675 7738 11826 2803 3052 3064 15332 12548 6837 3072 8011 14361 2172 14372 3054 2928 3062 2916 2253 2914 9959 303 607 999 10225 10610 10972 923 283 287 920 929 926 509 507 2186 2190 11491 11746 11750 11744 13147 12771 13144 11748 12767 12773 12769 4903 2652 2656 3735 5288 4907 3317 2181 3323 5289 3738 2177 3333 11754 12775 13153 12779 12777 13150 11756 12781 11752 1919 4918 3329 3741 5291 2185 2668 2189 2660 3341 4912 3747 2193 3335 2664 3744 5290 2142 2154 2140 11468 14231 13148 11755 12782 13154 14232 11763 12774 14238 11485 11482 14234 14618 14242 11488 3299 3302 3680 3290 13119 2597 12747 1895 1904 12757 12755 2605 4861 3685 3686 2595 11724 4867 8323 3459 18952 17601 18962 8390 2672 17806 3345 18950 18954 8531 18955 18957 18958 3457 3346 13151 13145 13142 11751 11747 11759 12766 12778 12770 14230 14229 14228 7259 8396 17291 17810 8533 16047 8664 8393 7035 7740 16149 6739 14248 11465 11492 11493 11701 12730 13105 2136 2138 14160 14162 11490 12785 13156 12783 11760 11762 13152 3746 4896 11757 12780 11463 15665 12768 11753 11749 12776 13146 12772 4897 13143 3336 3743 11745 3330 3327 13149 11495 1882 1887 3342 3749 3339 1881 1914 3264 14175 11699 14227 11484 11487 11481 14617 14244 14616 11483 14239 14613 14614 1905 11489 11486 14235 1908 1911 3672 1917 5479 15632 6315 6314 19007 2524 5413 5482 14808 14805 14807 15633 15969 6657 5481 17609 5195 17300 2955 7099 2954 3039 13562 12505 7373 2971 13626 6932 4050 4053 3034 13368 3820 12319 2234 6546 12438 3823 13402 4274 6823 13555 12317 12429 12514 12431 5014 4033 13222 11798 16380 5196 13556 16382 2716 13446 4953 4962 14522 13400 13447 7392 13391 4384 5835 14295 13219 13225 13565 3971 3900 7083 3117 6811 4048 5834 16658 15163 14293 7072 4203 7074 7104 4955 6547 4207 15856 12849 6677 13561 8470 7364 2961 16383 13704 13413 13229 4035 3028 13401 16101 7389 4368 13741 3819 12510 3040 4034 12508 13739 5015 4376 11634 11635 16662 6779 2754 12852 6827 13227 12244 5016 13224 2749 14523 4218 4227 4272 16887 13703 12428 5012 7103 4222 6829 2213 4208 6764 5825 13708 4365 11803 12461 6788 4037 6780 12430 13221 4054 5013 13420 4382 5206 3901 12205 13705 2224 6203 3038 13570 6202 6828 5837 6520 6792 7081 4209 93 4217 5205 7390 3902 13709 3816 11110 16669 11797 13226 2750 16672 5208 13417 4374 12207 13228 3807 3896 4038 11780 13700 12458 12445 12460 3811 4366 2714 14300 4220 14286 12432 6517 13686 13390 2223 4957 7073 4372 7372 13304 4378 3041 12507 13567 14536 4210 4380 3021 2233 6933 13220 16080 16668 6766 15160 16239 13412 4956 5831 4082 4406 4363 6790 12435 13306 3033 17203 3824 12433 13557 13403 3362 12509 5010 12242 13572 15161 3035 16105 6783 15858 5818 7605 6782 3029 7082 1516 7367 4377 12513 12208 5974 2969 17205 6793 4031 6786 7078 16097 4211 4047 6791 2953 14521 3020 16102 14288 3810 6789 5823 2960 13665 16099 15523 6205 4969 3018 13421 6771 7076 14299 15520 5975 2226 13414 11804 6813 3814 13710 13711 17413 15151 13569 13702 6925 4968 7077 14292 4385 2983 3093 2981 4379 3826 5207 6548 2715 7370 15859 13707 16661 2972 12459 13389 13666 2204 7098 12504 6519 17206 3808 3351 12434 13568 12506 12809 6931 12248 6927 12426 13303 7606 6768 12871 3365 5822 16892 7608 3812 14535 13347 4225 12437 4958 6185 6182 5836 3428 15860 3899 12444 7371 4375 16890 12250 3821 13560 5824 11549 15857 6521 16379 4373 4219 6787 14301 6204 4049 7369 3352 2705 12249 2757 2227 2199 6824 15157 15861 3429 13307 12512 14287 11636 13310 16098 5820 15521 7080 3813 7101 4036 14548 13230 13346 16100 7068 14290 3037 3893 14294 5197 3969 6769 4215 7368 12511 3367 15162 4381 7097 6518 5198 7602 13571 2982 17299 7102 13223 4273 3032 5210 13214 12502 11783 13415 4967 14291 4961 2210 6770 13625 16240 13684 13566 2326 13701 3036 4959 15150 13687 12439 16104 7079 3364 13563 4327 2959 14518 6825 16666 15837 5754 17964 19243 8691 8689 17546 8434 5388 4764 19240 5747 15838 19287 13825 5083 8433 8432 17823 17705 19230 19227 8688 8269 8263 8265 13964 14664 13954 13957 8427 17820 8686 17959 17703 8547 19235 17961 17702 14414 17821 8546 14712 8426 17960 17706 14413 19231 19223 14713 8429 5386 8430 4765 17544 8100 8102 17543 17541 8264 14092 17382 5081 5387 19225 19228 17822 8545 14662 13965 13963 17704 8428 5352 4695 4698 4701 230 9934 16190 6878 278 16583 7689 9886 7687 7284 3771 17861 3773 4189 15133 4703 6294 759 4702 932 14250 6673 16756 19582 7846 17129 7469 16434 9933 277 16582 7285 7453 19574 7699 17487 16309 16792 16745 15802 7006 15448 7690 15451 16974 19513 19514 19517 7691 15794 15450 17327 19516 17329 17114 16744 15799 7832 16595 16975 8431 8549 8268 8105 14096 14844 14836 15795 6484 14842 15796 14837 15797 14851 5525 14849 15800 14840 17386 15452 16747 7305 7016 16002 6134 7302 16604 7459 16601 15454 16794 16319 7506 7011 6690 16317 7018 7013 6684 15398 17135 15996 16988 16766 16769 15928 7482 7853 6071 6617 16444 7144 13040 13038 13467 10329 19321 8701 19319 5094 8267 19248 5389 8104 17962 8550 8270 5084 8435 8106 17547 19238 17708 8548 8690 4766 17963 19241 17825 8107 17824 13824 13823 13822 12615 3479 3146 2369 13821 8101 17707 19244 8445 17968 14094 14098 8266 8262 16038 18534 13055 13476 13053 10335 19621 19618 16616 7318 9429 9489 9432 9433 9492 9440 9425 7881 9491 19615 9656 18923 18921 19613 9620 17464 7194 17591 14998 18405 18705 18757 9430 18113 18289 18017 17912 17915 16874 4019 17645 18481 8639 16499 318 9428 9436 9490 16804 7516 9306 16862 15815 18532 9254 9350 9353 17641 14937 9349 7514 18858 9606 18919 17916 9639 18906 9132 18856 17161 9653 6158 8368 15480 9619 9589 9607 9055 15482 8745 15479 8838 16494 17251 18914 18238 7971 7587 7880 9438 18702 18887 187 16220 17466 19617 9655 19620 18922 18873 18759 8184 9642 8311 7588 8187 18706 18697 16872 16875 186 9649 9643 9647 9973 18112 16029 18854 16027 18326 15662 18291 18236 6717 9053 8310 16506 16503 8185 8312 14987 16031 8366 9374 18569 18645 14999 18827 18445 14964 9172 9207 9129 9560 6727 9296 18402 7798 16026 6165 18825 16495 16869 17913 18111 17646 14962 15476 18824 14986 17079 18235 18290 16033 17465 14985 17589 16217 15664 16500 16497 7590 8638 8744 8641 7585 16034 8743 18839 18016 18838 17914 4018 6721 16501 6911 9128 18780 16041 6729 9513 14966 9213 6923 7515 9294 17468 17320 17255 18753 16223 18727 6163 6718 8964 7210 9170 9016 18510 15490 15478 9485 18604 18565 8644 8373 9171 9587 9510 9539 15485 9511 9540 9562 9486 16232 18778 18829 6915 16222 9460 9457 18724 8643 8841 8894 5647 8844 7436 15492 18731 6174 18649 14505 18667 18331 9298 9214 14973 6920 9135 17919 9057 9085 18240 18115 18168 8895 8967 8842 15489 16878 18356 17470 17319 17254 16514 15822 14992 18408 17257 15827 18242 17798 17917 17648 18114 18167 18485 7214 6510 8191 5179 8039 7974 6169 7212 7592 5670 5666 6515 8969 8523 8370 17252 17081 18567 9398 18487 18571 9590 9238 9210 9464 9574 9575 9564 18808 9640 18909 18915 9541 18699 18758 6922 9641 9652 15484 6166 18644 6161 9209 9608 9130 9083 9058 18117 16724 9060 18358 18483 18511 9239 9297 18486 16231 18329 8372 8522 16868 18237 18443 18403 18406 18482 9133 9974 7433 7975 8189 8040 6173 9299 6924 7594 13057 7854 16445 5650 14976 5406 6983 14732 16291 4449 16290 6982 4438 5299 4444 6443 8151 5300 4442 4443 4439 5407 6984 14733 11591 4475 16193 15749 17062 16831 17225 16834 16446 16449 12314 15751 17223 14619 14623 16448 14430 14559 16292 5293 5296 5298 17133 16989 15994 16767 17796 8521 9396 18730 18651 14989 16226 14969 18669 18648 17256 9330 18568 16221 6913 9292 9331 9295 18779 18444 18401 16219 18404 6164 5649 18793 5662 6916 6511 7145 7703 7203 7480 18327 14993 15820 9373 15823 9571 18333 16230 7213 8038 5648 6512 14974 15824 9561 6921 9059 6728 17258 17469 16880 5660 7596 7978 8190 9559 14975 5644 9084 18726 6508 5667 6513 5652 15825 16502 9427 6072 14965 14972 16025 14960 6616 7481 7478 7704 8609 2842 6888 8813 6447 6450 5120 6097 9156 9097 9100 9194 15754 5117 5122 14561 9029 7151 7785 17880 7153 7553 5116 6451 7946 5307 6449 17616 8069 15402 17428 8154 5312 14429 6096 8935 17573 7555 7948 4477 8341 8815 8297 4454 17879 15401 8608 5115 8725 8723 14622 8334 9552 4481 4478 5305 6093 4462 8155 4457 7783 8724 8157 8342 9503 8295 7554 6453 8573 7134 8578 7698 18200 7996 9634 7848 7995 19347 8577 2309 8225 9635 8478 18273 18369 18676 1731 18591 6885 9583 6085 8812 8999 8926 14560 15753 15406 7782 8929 18902 18367 5104 18850 19348 5110 18298 9626 17852 8730 13814 5297 16452 6068 4466 5099 6429 6075 7548 16454 19340 12316 4472 16836 13813 13809 7148 17228 15758 16198 15763 5109 6090 15761 18202 12315 4470 7943 9276 18547 4469 8475 18901 18884 18892 15762 18084 18199 18272 6437 14432 5568 9191 18819 9531 9500 15925 18365 16004 16760 18425 14433 18368 8721 9027 8062 1730 8605 8811 9094 15405 9093 18893 6612 18798 15403 18366 18634 5108 18427 18426 8602 18592 9096 18545 15407 17876 9273 6087 18548 9320 18464 14434 16971 18767 7468 9361 18300 9154 18462 3408 5098 7419 6880 15393 9408 14734 1527 2833 7775 6077 18739 1691 1724 18085 17612 2305 17349 17128 9405 5408 4473 14436 5112 18593 14438 9000 8927 6676 7137 9472 18679 2308 4346 2831 3987 16325 16005 6697 15456 7309 16608 16327 16009 7021 6482 5513 14839 8209 5509 6686 5511 17328 8048 18033 8413 17689 14494 14049 6306 6303 5474 18805 317 18807 18794 16330 7833 6172 16741 16982 9237 16224 18330 15801 7471 19521 9488 16512 6130 5516 16584 19509 6487 16791 18582 14800 5168 14685 15963 16287 15624 15621 6651 19175 5082 6979 19236 16014 8760 8687 17118 7837 6698 16587 7022 8186 18480 14961 15394 17113 16322 15474 6344 17488 7283 16324 6692 17467 17115 19581 16759 18624 16314 9558 15924 16873 18826 15493 17649 6170 9211 6167 9557 16513 18603 15481 15491 5655 9572 14996 17644 5473 5165 4719 5363 6654 6302 5170 6308 14500 17691 8415 14499 12339 13016 15911 17950 14811 6599 8677 5173 17952 15634 15909 14809 5483 6316 18034 7278 6975 14496 8409 14799 16283 15620 14489 16577 17947 14051 17949 17685 5471 8676 6993 15629 14802 17944 15626 16574 15966 14797 6297 15615 19150 5163 8674 16576 8758 5476 16301 7277 15956 6311 6523 5750 6295 6644 5745 15613 14689 19147 6989 16297 3988 17751 17753 8223 8224 1725 4344 5338 18610 15435 18278 18315 8830 14670 14482 5149 6123 6125 16855 8164 6481 5332 5151 9046 15444 18280 14663 7184 14472 16853 8829 8627 5147 5159 8354 17899 5153 6118 16854 8167 13991 16483 18454 4651 9197 9111 7564 18319 4662 18103 17071 8949 8624 6114 17893 6127 17901 18222 18282 5339 14007 17580 18104 9161 7963 9108 7959 8951 5344 18350 7572 17242 4640 16852 7788 5133 9537 18470 18004 14001 18006 8165 15445 18099 18864 9483 9581 9599 18882 18866 9615 14021 16822 16106 17850 8575 16772 17756 18002 6655 6309 11691 12340 5487 15635 15910 5484 14812 14810 5486 15636 14813 13015 2867 6598 6317 3577 6318 6300 14039 6647 4710 15618 15959 14679 15961 5353 14681 14680 14043 5348 4696 15617 16296 5349 6935 8650 7801 8193 8974 7225 6208 7981 9062 6550 8374 8847 7611 5958 8315 6937 4532 17565 17564 14046 14044 8285 14684 17559 4527 17560 17561 8281 2378 3151 586 2376 15840 15084 15842 15086 15839 15085 14604 12748 2135 14161 2603 1888 2145 2155 3287 3679 2144 1885 11462 2132 2134 2130 1884 13106 2128 14170 3669 12732 3261 14605 6347 14176 11730 12763 3692 3691 2163 2585 2591 3677 3281 5282 2143 5277 5276 2137 1886 14612 11704 11726 12737 12759 3667 15007 3272 4838 11708 7336 6844 12735 12733 3269 15667 4856 11454 3263 4843 12731 12751 2589 2131 2139 13110 2583 3670 4834 17671 17809 7038 7337 3688 12739 12745 12761 11460 14185 14189 14187 11479 11473 14195 11472 14194 14182 3682 3305 14159 13128 2609 3275 7397 3689 5285 2129 2587 11728 3308 2156 2158 14606 1880 11461 11464 11458 13122 11455 14173 14186 14196 14179 14190 11457 5281 5683 5283 5279 5278 2149 3293 2601 14165 14169 2157 11702 2159 2607 4831 11706 3668 11698 11700 3674 13107 17524 3278 16557 7396 5044 15033 15342 17023 15005 16152 3266 14180 2581 15335 3673 15004 2579 13113 12741 3671 7111 11825 16634 16339 17936 16410 14374 3069 2793 12541 3938 13323 12283 3940 13636 12270 17673 17674 13644 13638 2777 2780 12268 6738 2638 5708 15035 13510 12272 12390 13138 14212 4146 16340 4879 12386 3711 14602 14603 11459 4841 1878 13112 1879 11709 11456 4837 7110 4833 12738 11705 13111 15666 12740 13108 12734 14166 3270 3675 11727 12760 1899 3297 12756 12764 3312 12762 11733 13121 4855 12752 14188 4862 11723 4845 3291 13120 3693 4844 11721 3684 11477 4859 4865 13117 13114 11471 14611 1891 1894 14608 3300 11725 13129 13124 11713 5286 1902 4851 4853 4866 14610 3285 3288 12746 4860 14609 12742 13155 13115 3282 3279 11711 12744 13753 4520 8277 4421 4434 4428 4426 9095 18003 18546 9025 6083 9189 5106 8878 9153 9624 9092 9601 17994 18632 18870 2626 2627 5712 12275 15325 15731 5030 4281 13631 14360 2772 15673 15674 18965 4152 4882 4149 3706 2617 14204 13504 4140 11735 12384 13136 11737 12382 3701 15668 2621 12141 4158 15044 14215 12162 12159 4155 4888 4885 5720 4164 5719 13514 14219 5710 5717 5723 4290 13635 6414 2782 14357 12526 14358 4275 13627 13629 12524 4278 5704 6000 5989 5991 5997 5048 4293 13651 15336 2794 6016 2800 6014 6018 15343 6021 14375 13647 15735 6009 4305 14373 12546 6015 14379 6019 4296 15318 6007 4299 14367 12544 12542 4894 4170 15733 4173 2773 5993 15321 15728 3728 15014 4891 11743 5684 5686 5685 5721 5711 19391 19386 19383 18044 7446 8771 15507 7684 19384 18259 16968 19381 8904 19387 16812 8987 8772 18177 18260 18045 15505 8902 18175 7683 7045 16058 6746 16644 7348 16810 7522 16345 16645 7043 7444 16352 16350 7351 16647 16349 7047 6748 7050 6528 5758 5759 8903 15506 5757 15836 6522 8770 18043 15082 15076 15080 5761 5756 6527 7523 6749 16353 7051 15835 6529 5762 15841 6186 16646 16351 16643 7046 7445 16733 6747 16059 7049 7350 7044 16689 10394 7898 7335 17404 16631 8124 7737 8123 7106 17180 12557 12890 11065 16348 16344 5760 6189 16346 8012 11021 11538 1154 1431 9986 1156 2197 1969 13736 3118 17833 3116 5395 2201 147 1334 1966 1331 1340 1335 10930 10914 9942 10917 10921 15088 8988 6530 19379 7349 16347 16648 7048 1890 12590 10932 1341 1338 776 1988 10933 2202 13210 10939 11770 11066 10893 10915 9938 18261 1463 12202 1436 1982 2203 11077 5394 1433 1429 11547 4850 19157 4854 19149 2593 3676 7034 7900 7741 7105 14607 16693 7037 7107 16967 16150 16691 17021 17292 17402 17178 16630 7042 7352 15087 17179 16049 15083 1817 11396 4077 11399 8282 1400 13663 1814 13345 11526 14552 13442 11390 4531 1391 14519 8283 120 10968 14491 14042 11494 13443 15009 4864 18176 15834 11729 3306 3690 4828 16734 13126 3284 1425 1157 777 10420 1844 16338 17937 17672 6839 7395 7108 11033 16153 6838 17024 17290 7899 11523 5678 7347 16061 16060 16811 6188 7524 11080 1432 1948 836 3113 858 12758 4829 4830 16732 6187 15504 8986 8244 6737 12892 1972 7258 11544 12591 15397 19605 19602 19604 5646 5651 18828 18855 14977 9588 16040 9538 16770 15929 17134 16768 19607 16987 19608 19600 7479 7852 7705 19612 9462 9056 18755 18018 18484 18570 9526 9459 18646 18709 17650 8369 16719 17162 9293 9375 9527 15477 18728 18886 16507 18605 18566 9380 6914 17253 16229 18512 9332 18885 16498 9843 7197 18729 18650 9376 16225 6175 9379 6917 9458 9397 9525 6719 18668 18647 9487 18908 9378 16504 7199 16024 7976 18572 6171 9563 16042 18910 17797 14978 18725 9842 9377 18754 18792 18696 18700 15488 8840 18875 16720 18357 18239 9592 18831 18704 18707 15819 7215 16515 18752 8645 5611 18529 16036 18806 5658 6507 6918 14984 18840 18874 9591 16865 14501 16211 17907 9352 9351 18621 9354 9260 6725 19625 18703 18907 9648 16510 14963 16218 14981 16030 9212 18809 18842 18701 18328 9618 7973 18859 9208 18920 9512 18756 9434 9426 6730 18781 7216 15487 9437 16876 17077 8371 8640 8963 9018 17918 17651 18407 9134 16228 18830 7977 18841 18014 17910 16879 18332 9461 17590 17463 16871 14504 9573 6682 14991 17647 8962 9017 7200 6722 18916 16516 5665 9514 17318 18857 7595 7997 10136 299 2836 8228 7998 489 8227 1357 562 2017 1533 480 11307 10955 7999 10199 11303 5401 8703 9964 137 11296 9792 11319 8065 6884 10012 2387 18027 1698 2014 8031 2310 7543 576 19924 11308 8866 8914 18140 19439 6057 8865 8786 18188 5806 14392 13340 5059 6847 12307 12562 12796 14393 3087 13337 3405 12842 12201 3963 7773 16824 2825 13656 16415 2266 12584 13342 3088 13659 12841 3966 14394 5058 12844 13339 12840 11851 2281 11834 2263 2264 11836 11833 11835 13655 4319 16160 3968 17051 4322 19699 8465 17740 6541 6538 15519 15855 13682 6483 2970 6488 8131 15517 6200 6542 15852 16237 2968 4361 4030 16236 6198 6539 15516 15851 6543 6201 15854 15518 6069 19594 16442 7700 16984 7849 7702 15990 17130 16986 15993 14899 6540 6199 15850 6929 15853 6928 7920 8016 9315 9269 9360 16111 18544 15719 16539 15270 18169 15287 16905 18126 18171 15282 15541 17483 17932 15540 17321 17267 15243 16726 15268 16534 15264 5931 17660 15246 15881 15238 15875 15255 15257 17799 7803 7980 7610 5928 15235 15252 8044 9072 15886 6565 5947 9090 15279 6958 9075 9521 8897 6577 15262 9595 9548 5910 15884 15889 18894 17664 18905 17933 17666 17804 16549 8853 8898 8980 15276 15883 16264 6576 18133 15248 18363 16266 18348 15269 15873 15265 16114 15872 15874 15273 16538 15289 16550 9303 9245 6575 16541 18364 9638 18422 18898 17662 17931 18861 17614 7441 18862 18837 18844 7240 8383 9579 7244 18346 9631 18903 17663 17803 15242 9629 9550 18904 18897 18816 18895 9644 18847 15888 9576 9593 15234 15240 15878 15880 16113 7235 4043 9402 5921 5933 5916 15237 15259 15247 6568 15250 6562 18810 18173 9146 18675 15272 5936 16544 18130 15256 7439 9243 7232 9228 8387 17665 5924 15239 18784 5911 7992 9388 15887 15877 15890 18834 18846 9517 18734 15236 18790 18789 9149 18345 8385 7249 8388 8528 6570 6559 15244 6564 15876 7250 18671 18655 18736 15253 18876 6951 9225 18674 16262 18660 18657 17934 17667 9226 9404 9387 9244 5962 8202 7986 8043 5946 15548 18497 16258 18672 18573 18732 13410 18576 18500 6960 9229 18518 9569 9524 18539 9140 17594 18120 15284 18630 9175 16243 17082 9266 9137 9215 15559 6228 18577 16269 18503 17271 16910 17326 16548 6225 16909 9468 6239 18424 9565 15543 9578 16268 15245 9400 9381 18499 18517 15266 5940 6237 15558 9543 6240 9390 9469 6955 15879 5923 16729 18659 9399 18673 5932 15550 9076 9150 18360 18343 16256 18340 18514 18494 15553 6949 18258 9074 18132 17935 18172 6230 17659 17930 17801 17800 15260 17661 17658 16540 8656 8381 8855 6946 16904 16728 16533 18578 6961 9230 9304 18502 13409 16536 16255 18129 18254 7237 15547 8982 17269 18575 16535 13408 16727 16532 18513 15552 15288 16265 18134 18125 18170 16254 9147 8981 9071 6224 16537 6223 17266 18814 18787 15249 18654 18722 6794 7534 9455 17482 18421 6226 15544 15545 6227 9148 18255 18127 15717 7236 7988 7622 7985 7619 8042 4044 16906 16903 17265 17268 9547 15551 18812 18832 18783 9520 18815 18835 18782 18785 16112 15549 18811 18788 9594 6229 9467 18737 9305 9216 16525 15530 17924 6939 6797 16109 16895 17261 18446 17323 16547 16912 18344 18420 16257 8336 13411 9242 9222 9300 9069 17485 9151 16267 6236 6238 15556 18349 18423 18257 15281 18515 18661 16263 9466 6233 5952 9523 6802 18713 18760 18719 17209 5941 18877 15278 6801 5945 16115 18791 5915 14529 18735 16542 18843 18860 9610 9401 9382 9383 18845 15258 18836 9546 9519 9566 17802 9522 9494 18721 17208 18764 18627 18718 18715 9496 9493 9495 9450 7085 18256 18174 18131 6959 9073 9091 16545 18574 9441 16259 18498 8527 7928 9449 9454 18723 18763 17272 17324 6795 6560 15267 5963 7238 8660 14530 16546 16908 17615 9223 18656 16261 18733 9070 9087 9067 6948 18341 18419 15241 15882 5930 9568 15871 15261 9609 9386 9403 9465 9627 9636 18912 9389 6954 9577 9570 9580 8858 8901 9470 5935 5913 9516 9545 16730 17273 6231 5922 5918 17270 15277 5908 15251 5925 9241 15555 15866 5868 9265 7802 6551 18761 17084 7609 5865 8972 15194 17260 15192 15191 18245 18020 8646 15193 9355 5863 16894 18247 15189 9019 8375 16245 18335 9262 7227 6232 8389 8661 8983 18362 18253 9302 8899 8859 9384 6952 9089 15885 15275 6803 18813 16260 15263 15274 5937 18712 9515 6800 9544 9518 9088 8337 9068 5870 6554 8313 15197 8194 18292 5872 18716 5959 9313 17083 17920 18918 9442 19485 9452 18714 18710 9456 7929 9497 18717 7535 7533 19488 9445 18711 7084 9453 9444 9448 16896 17653 17473 15526 15198 6796 9264 9357 5871 9359 15190 16242 17475 15285 13404 15196 17592 5864 18537 17923 5866 5867 8747 9358 16527 7612 18585 8196 8649 6934 17746 13693 13393 13395 13690 14516 14515 6183 5796 16416 14391 3967 4318 4321 3965 4359 19742 17986 17846 12447 12448 8049 7504 6490 16312 6133 14843 16598 14850 15798 8210 7003 15998 16307 7503 11795 5832 11794 13422 12866 12869 15145 16373 16077 5819 7071 6765 16888 16093 16659 5191 4360 4029 4027 4357 3030 4356 5522 4371 5524 6485 13231 14298 5518 2229 16600 7002 16305 2985 12446 14841 13573 10989 14835 6685 14845 13238 12451 12453 13584 15997 8867 8208 7457 7456 17489 6131 7299 8782 19443 5517 7008 7001 7296 12449 13577 13233 13576 13574 2756 3370 2230 2231 2232 5514 2746 3889 4028 4358 5189 2225 4960 16441 4212 2747 3890 3031 3432 4056 4055 12436 4057 6680 16762 7474 6681 7141 6678 7701 8915 18055 19436 8916 6058 18139 18138 19431 19435 7475 16763 8783 19438 18189 18187 8785 8784 2967 15992 3023 2218 2217 5190 6781 15396 19587 19595 19589 6070 3430 4204 3809 3200 2063 2429 2064 2065 3198 2428 2066 3197 2427 2426 3196 11796 5508 14834 6688 16765 7850 15927 7139 15926 7473 6614 6615 16439 4350 14289 4216 15158 3817 12442 12443 12440 12441 17132 7851 15395 19591 19592 19599 13394 14517 13688 13392 6587 13691 6250 19433 6603 4393 3098 13692 16238 8464 17741 6930 2001 2270 4362 12839 2813 13335 12836 3960 11116 3954 18056 17744 8469 15144 16095 16370 16094 5821 16660 6687 16092 15146 16372 16375 6785 16376 16889 7007 16306 16091 16663 16076 7000 6602 15999 13689 13730 3982 2328 13445 11896 11107 7252 5512 14551 4076 11980 12663 15147 16377 5515 6049 17747 13305 12807 11799 4052 3822 11800 4051 15149 4963 2814 2821 3955 3398 11577 11838 12834 3399 11839 12304 3387 6867 4340 6586 5223 4398 16179 4339 3958 4032 4364 2984 16703 5221 4400 13738 4408 2974 4223 3825 13582 3831 4232 2978 13234 13578 13575 3827 14297 13232 14296 4226 4964 3368 3369 2755 4965 4230 3514 12452 2976 2973 16596 6489 13581 13236 12450 2977 2979 13579 4221 7005 7502 16311 7455 16308 7297 7301 4966 4224 2975 2422 17131 7477 16764 1757 1504 3512 16985 7476 3515 2425 16761 11985 2421 14520 3427 13685 16310 7298 5523 7300 13388 16597 16599 16313 13683 7004 4557 2424 12666 3195 3511 12664 2061 2062 1756 3513 11633 2067 3192 3194 3510 2069 5705 4009 4791 2550 5490 5270 2576 2124 4823 5274 5548 5271 5547 6662 4825 3619 4792 4794 5641 15205 2613 3681 2646 4143 4827 11739 9446 11731 18670 3296 16154 4846 12394 11703 4852 5680 14178 5939 14183 8380 4849 6348 11478 8525 18496 13131 14191 18501 5681 1903 1897 11720 2147 1896 1901 14197 18516 6561 1898 11718 2611 12284 8245 16633 14184 14163 14378 12736 16337 12380 6026 13522 13127 4308 11823 12282 12278 14199 11476 8535 8397 13526 17403 9086 15985 5565 5573 7142 14896 19501 9887 19498 16973 5570 231 19500 11712 8852 6017 5036 6417 14365 18658 12765 11710 4311 9646 8534 16558 9651 2153 18913 18361 15008 15863 16156 14181 17523 2799 15734 13643 16407 6840 12404 7333 8125 2166 1900 17484 5943 13118 12749 2257 16411 2930 14200 4863 4284 13132 7033 11828 6842 17022 15542 11717 2150 11719 3311 12743 14192 2146 2599 11707 18359 16336 17522 12536 6002 6012 6001 16155 18652 7109 7398 2151 15729 2160 8010 11480 2162 14177 2634 12753 6574 11474 14216 12750 4848 11722 17481 4857 2148 18411 5927 18878 19487 9650 18917 9611 17274 16907 17322 15718 15283 15280 18762 15271 9567 5879 9227 17472 16911 13123 3309 15006 15546 9240 5948 16893 9221 15862 9301 9356 16731 18786 6241 18833 6953 15254 18653 18720 17325 12784 6843 13109 17486 16408 3687 11732 14370 6020 4847 5682 13512 12754 7032 16632 17808 11714 16050 3294 11761 4895 3683 5284 8526 13125 11715 11466 7338 5679 7036 11467 4858 16694 14209 7334 11475 2152 4039 15557 16543 9224 13130 3678 6950 16692 18495 11469 9385 3074 5280 3267 16409 6736 14201 3941 13637 18342 1892 18347 3303 1893 3314 14193 2141 13116 11716 16051 11470 16690 3273 18128 15554 17652 16151 8896 3276 2161 3070 14198 17742 6249 12868 2822 12306 4265 17212 3885 3431 2261 11801 5073 17749 6184 2265 13309 11802 3111 7600 17055 12804 5062 3961 1510 12298 13664 12581 13308 4263 2758 17112 7831 4518 4513 15995 4793 5488 14874 14597 2551 14126 14124 6877 5562 6672 7133 5554 6667 14890 6674 5564 6999 16743 16000 19511 15449 6132 5510 16790 6486 14838 8047 14848 5557 7130 5559 7132 14882 6669 16980 15923 7466 16428 16755 7129 15981 6611 19565 16978 16429 5558 14881 17125 15391 14885 7128 19573 6670 19563 16754 7696 7844 19568 14879 16979 7463 19569 19561 6065 7695 16752 17124 5553 7694 7465 7843 7845 17126 6671 19566 6066 7464 15392 5555 6610 16430 15983 16753 16751 14884 7467 5556 15922 15627 14687 15967 16299 4720 6991 5362 13804 10835 10829 11531 1224 11543 11528 7376 7923 7926 8020 8134 8019 17437 17314 17230 12331 13366 12850 12853 12320 12318 16468 14017 14041 4697 4694 14037 4705 4699 14878 15646 5549 13059 668 1161 14889 1164 10765 10899 10897 789 11063 1296 11031 780 1158 5569 1155 1467 1287 10768 10839 10462 1965 1232 11238 1235 10827 1956 1365 11232 1485 10887 1299 11025 10908 1302 11028 10759 11069 1097 1294 1671 1245 1641 1668 1674 990 1374 998 992 10963 10969 10605 10604 10966 10608 1001 10602 10599 1368 993 10607 10601 995 1371 996 9970 10824 10813 10762 11072 10885 10888 1290 786 11022 11078 1305 1308 1479 10900 1300 1482 783 11075 1306 10903 1473 1953 1288 10315 1263 1257 1984 10858 1260 10855 1689 11220 1223 10821 3076 1094 15011 5034 4295 12277 3063 15320 12527 13634 15347 5992 6412 12285 12267 12543 13648 14377 11827 4286 5028 12529 2254 5029 15314 15315 12535 12271 6415 4301 5043 13321 13640 5040 3926 4307 15344 13642 2798 15322 3067 15345 15732 5032 3924 3061 12280 18317 9004 13650 3945 5047 3073 15334 15333 9008 7177 18281 13987 9006 8944 9045 18007 14470 18223 14668 18220 13958 16440 18318 14483 8950 18600 9371 6465 8625 14481 8736 17637 14475 18221 9007 6126 8618 6466 6891 18471 5161 8732 17244 14477 5144 7180 2864 7961 6116 7787 9005 2863 7178 7175 1393 7566 8945 8831 9200 7563 6894 4669 6467 5156 7964 5146 15991 14900 7143 14661 13960 14659 13959 18224 13962 6471 18215 8734 9041 5148 9044 6477 8356 6478 9009 9043 5342 8948 4280 15352 3952 15319 12397 13527 4892 5724 4880 13630 5026 2774 6410 3734 14359 12154 15038 4175 13525 4163 4160 2931 14220 15029 2923 3725 4884 2925 4883 5706 15046 3719 4166 4887 15031 15047 12401 14226 4172 14217 15041 13521 15028 2648 2645 12393 3723 13515 13511 5709 13513 2639 14214 12387 3721 2919 3732 4893 12403 18970 2927 6351 11736 13139 13507 15015 12143 12136 12383 15049 12140 15016 2623 2636 12385 12139 11738 15023 12142 4877 15022 15027 3710 12157 15048 12399 3703 4169 15036 12151 15043 4872 6350 2907 13133 12160 5695 12265 12152 6356 6357 6355 2909 6358 5718 12379 113 12230 10388 9768 14272 13195 17966 17965 14415 8110 819 4977 3841 13246 13588 14311 6387 14314 13251 5857 13591 12420 13551 13193 13550 14715 13196 12231 391 2512 3253 2510 654 4760 4763 5086 16716 1123 4202 3794 2948 4200 456 455 4185 3011 16474 3768 3012 13370 4253 15178 15173 10449 13267 13601 13269 2072 2073 2074 3414 2847 13924 6974 6646 13907 13905 17951 12333 6360 11692 11693 4593 15774 5325 2445 4594 4589 7428 14652 13925 5326 8519 7171 6459 17441 7561 8035 5247 628 4590 17238 7430 4002 15772 13923 4186 4930 13927 17442 12173 5734 12172 2071 4003 3409 3412 17012 17153 6395 6397 17016 7172 7956 3411 2845 15105 15220 15216 4715 17629 15230 10387 13604 15109 14653 12144 15692 17316 15773 12224 3863 13548 10108 13184 12183 4992 12184 3856 15224 13191 15223 4986 15229 15221 15111 17379 17383 12178 13179 13547 8436 1863 8694 15116 12179 14271 1807 4989 10451 13279 14093 13607 10453 1940 11210 6556 13277 10806 15186 15184 15187 6385 4993 13589 15172 3868 15174 5892 13249 13247 10441 15694 15108 16844 14266 13920 12185 15104 17237 13546 10383 10385 15182 13600 15118 14264 15112 12414 14263 6555 1627 5876 5874 6160 9542 18777 15483 16802 9654 16039 6162 7195 16721 6912 9131 6159 9463 2796 2256 15317 12279 13137 2167 12289 14208 2625 2173 5050 4277 4145 2650 4890 4889 3705 4874 15323 15346 2801 5041 15010 11742 2913 14211 13509 15953 12060 10376 12169 14256 13532 12407 10031 14569 10036 18708 5178 9439 16803 7317 16615 18698 3506 2415 12653 3190 2417 11626 2640 3053 5994 12269 2776 2633 11740 7925 15353 12537 18975 14221 5995 15050 12147 6025 2910 13517 13523 14223 12264 15329 6013 5702 15328 2924 15338 13646 12158 2641 4302 6010 4881 4876 13506 3051 15678 15671 19496 19504 19503 19508 5692 12138 5698 15021 15670 2616 3059 13632 3058 4142 13505 14205 6353 2630 4878 5037 5688 2779 4167 16079 6784 15159 5833 12161 18968 5690 4137 18971 13520 14363 5045 12396 13508 12398 12266 15337 5703 15032 90 9748 9680 9746 9744 9745 12402 5701 5998 14225 2778 13518 3057 2917 12395 2790 13503 18967 18963 12389 4148 15736 4292 5714 9703 9701 17845 5694 5700 12145 5689 13140 14206 3717 6354 2628 14380 8472 97 8569 246 24 19737 9705 17985 45 26 12427 13564 3818 9679 89 9702 91 9903 9749 8572 95 9904 9682 2962 2957 2956 2958 19735 19730 6778 7069 5988 4157 13322 12539 13218 13559 13216 15156 5830 13558 14284 3806 4954 2713 4205 4952 13213 245 9678 9704 9681 17844 9899 9751 8713 19732 8571 19738 2423 3193 17748 12400 13652 4310 15738 12538 3933 3936 2783 5027 3930 4304 11830 12547 15677 14376 6011 12286 12391 5038 2804 2915 12149 2637 5031 4289 12533 5693 2635 4875 12146 13320 6352 2785 2168 15340 2788 2620 3700 12148 6006 13645 12381 13134 13135 4871 2908 15987 5566 19578 7470 6067 3204 11098 11631 11639 3199 6284 5429 8468 11621 3075 3920 14364 3715 2647 3518 19691 15327 12528 12530 3696 13519 5696 4873 14210 15339 15341 3943 6008 11824 2644 2643 5716 4151 12545 14222 15324 15042 2171 2929 3928 2629 6413 12388 15348 5722 3914 4316 5033 6418 15730 2258 4870 14203 14368 2775 5990 5996 3935 2260 12534 6359 15330 3916 13141 2926 15669 5046 12540 13325 2786 3055 3713 15351 12531 2169 2920 2789 12156 13628 14213 12273 4154 3730 12274 5035 15045 13653 2795 14382 3184 2054 3189 11620 2419 11624 17745 11977 12659 2053 7697 2055 11622 11973 3931 14371 3071 2791 3066 15350 5697 6416 11734 15034 13502 12523 5042 12150 14369 5039 3065 2921 3050 6022 15037 6004 2631 13641 2922 6420 3922 4283 2642 13324 5699 6613 7472 16757 17127 7135 7847 16983 19576 14892 19579 19586 4287 3918 6003 5715 11741 3727 14362 15019 14207 12287 5025 5707 15012 15030 3708 15040 4298 13516 5687 12153 12155 15025 15024 15018 16758 3509 16464 15944 16981 2056 3187 5567 11625 12658 11623 12655 17528 6411 2911 4313 15326 2622 12137 15017 5999 15316 12276 12525 5713 3060 9947 10175 1551 11130 10709 9968 10551 1450 1539 686 10427 10791 1843 10782 10299 803 1852 10460 1303 10905 1464 1476 10894 1470 11081 10884 1282 11057 10891 1285 11060 10890 1284 10882 1461 1297 1293 10896 10906 10902 6679 14898 5572 7140 14877 14873 7286 7688 7454 13801 17063 13805 16832 13797 19693 19696 17410 17198 17297 16670 17201 7282 16189 6683 16742 16585 8248 19703 337 845 865 871 874 850 856 868 6668 14895 15986 5571 19734 96 12570 243 2267 13334 9901 3395 2819 9753 47 3396 14389 25 2284 13737 244 9752 9750 9900 12895 2275 3451 3454 23 11848 13328 49 9747 22 8570 12558 248 17847 4080 12837 88 94 2820 8471 2810 3397 3970 48 13434 13432 92 247 9902 8467 46 8473 8712 16180 7403 16414 12799 7407 2262 13735 4068 14544 4390 3109 11854 13343 3400 2269 4320 8466 2823 14395 6848 16174 2325 14390 13444 14549 4409 13336 6862 3962 7114 4324 6865 4074 4397 5216 5057 11837 11840 13344 11777 5218 7115 12564 12204 12560 3392 14545 3089 4069 14547 12300 12830 2815 12833 4387 12589 3119 12302 13332 12582 2817 3393 3108 16159 12308 4317 13720 3404 12561 4401 5060 13658 13677 13357 3983 13678 13358 13660 17743 4081 4407 4404 3390 3389 3402 13338 3964 12310 5061 11894 3804 5220 12845 2196 13733 12559 13740 7770 3401 13657 3086 12592 3406 16699 13662 16412 11104 2824 12843 4325 2268 13341 11632 13217 12206 12948 13875 16374 16096 16371 11640 11637 15947 15148 16082 16103 16384 7919 8018 17529 12641 12636 11963 12958 12638 13870 14747 12935 12645 12639 11612 11965 11959 12644 15586 11882 12642 11879 11088 15933 12930 12938 16456 12327 11285 11613 12931 11880 11605 11604 12635 11608 11957 11961 11883 11611 11086 13881 16777 11615 11089 11055 11607 17137 12633 11085 11606 11609 11610 16891 16665 8247 7863 7497 7164 15595 16378 16667 16385 17526 16083 17207 8249 16381 16664 16081 2070 17412 17411 17200 17296 11986 12953 12667 12668 12665 11984 17204 17301 4543 7603 7365 7075 16090 7363 7604 7366 7362 6767 11983 11333 13877 15600 14776 12661 12673 17144 16785 6277 6632 12950 6281 12952 12951 12669 11987 8250 19695 11981 11982 11332 12956 4544 5453 6634 13890 8129 13215 11979 12662 13887 14774 14772 19698 7862 7499 7927 7162 7377 8133 8021 8132 12949 14642 11645 15419 12854 14639 12321 12855 12323 11648 11646 12858 7712 11647 13365 12848 12857 13889 5449 7918 7374 17527 8017 14285 7921 2431 3203 7375 7922 8130 14777 4558 2404 2402 1460 3166 7156 2040 2396 2399 3164 2854 2033 2316 2314 1494 3500 3520 6268 4538 1491 1459 1700 2036 3174 5421 2039 3168 3165 2406 3175 2038 2041 3492 2313 1699 2035 6637 2317 2037 3497 7489 3171 1492 3493 2034 7856 3169 1495 2043 2299 2042 2400 4549 6621 2045 3172 12672 11989 12954 14773 6635 6283 5428 13888 4556 14752 15597 3516 16996 5446 13876 16787 17143 15949 14779 5452 16462 15946 17298 17199 17408 5451 6631 7163 16671 17409 17202 5448 4555 6282 4545 14775 16463 15943 15602 14755 6630 15942 15598 5450 5426 13878 5447 6279 15945 6278 14753 6633 14778 15596 15601 14754 15599 6280 5427 4521 674 10679 1502 610 1002 10681 1004 11779 1515 2433 10241 10232 12671 1599 601 11184 604 11988 10235 598 529 941 11638 10238 591 10697 12675 11990 3202 12674 3206 2430 2432 3205 11991 12955 2068 5672 9054 5664 14971 14990 16496 16581 6919 8843 8893 7593 7435 8968 7437 16877 8845 16227 18118 18241 16511 16509 16722 16508 6168 7211 7209 7434 5653 17080 14503 5668 16028 16023 5177 7799 7586 7583 14979 14967 5661 14994 14970 5671 6509 5656 14982 14997 15821 14983 5657 6514 15826 16998 16784 17142 14988 5669 14980 14968 13367 14644 12322 12856 12859 14640 14449 10477 10465 11061 10480 11064 14450 14451 10475 13363 10886 14643 15417 12324 13364 14641 15418 14452 4523 15974 7452 5180 16505 5674 6345 16431 7136 5561 16740 843 862 853 18116 16443 18166 7208 14506 15663 16972 12108 1104 2212 1088 11782 672 7196 10306 15486 10820 1644 1653 1572 1542 9972 1650 11259 10644 1185 10458 839 11253 10876 1683 11262 10464 1276 1033 10988 10311 10638 11395 1027 10866 10857 11553 11562 1255 1176 1442 1021 10632 11389 17556 17555 13851 13856 1218 11419 11127 11398 1680 1638 10669 1058 11265 10626 11571 10845 11235 1238 10875 1273 1213 10785 11244 10833 10878 11574 11401 2259 11037 10670 1950 11223 11229 1063 1846 11166 1100 10847 1017 10641 1030 4648 18505 15434 4676 13980 8947 8358 5158 8173 2862 14457 15443 837 1635 11522 5157 4631 8937 9198 9113 8942 18218 18219 9162 9291 18314 17450 5155 8299 12337 18559 14487 18639 8828 14484 17233 9180 10867 1269 1069 10778 1390 677 10309 15354 10320 684 12290 1267 10869 10635 11565 11392 1024 2802 16467 18352 9031 18690 8621 14621 8293 8148 11568 10872 316 5238 1990 1816 1247 1026 10633 1264 1241 1188 10841 812 1453 10836 1962 11546 815 11241 1194 1971 1822 1996 1677 1987 10435 11050 1239 1959 11226 1229 10438 1221 10636 1819 1029 1272 1227 10870 10675 801 1993 10430 1447 1849 1066 1444 10429 10318 1399 11425 10678 1061 10826 1270 675 10818 10667 1060 11505 1929 1947 1220 11157 11160 1182 806 10436 1244 10432 10844 1968 813 1659 1456 11540 11525 11537 10830 10832 1981 1023 1091 10861 11428 1230 1226 10823 681 1258 10997 1261 11559 10314 10994 10295 1548 11268 10642 11133 1686 841 1825 11136 1656 1647 11534 5563 14995 5574 11422 10660 1575 10676 10426 10860 10317 10991 10863 678 11556 804 10838 1236 1242 10842 1266 10864 10630 10639 10700 10811 1032 1275 11927 1813 10873 1067 10672 11053 10788 10673 661 11124 11271 1278 1545 11256 11274 1035 1999 683 10302 680 1396 10706 10312 10703 809 10433 1233 1578 4501 5239 14554 5228 13766 13756 13760 14555 4429 5230 5236 10216 12613 11925 17553 8274 13847 17554 8275 291 8276 4497 5237 13827 11311 10417 10770 9800 9798 10419 9801 11103 9799 11106 10416 10414 10773 1512 145 1168 142 796 1509 791 794 1171 144 793 143 13858 13861 13860 10231 599 1369 602 10234 10600 597 10233 991 10964 10967 10236 10239 10603 603 994 10970 600 997 9803 1372 605 10237 785 10410 10609 10606 11032 10413 867 185 10907 10904 1483 9838 10495 1165 10481 10472 860 1462 851 1471 10892 1289 849 10883 857 10478 1286 11058 1477 10889 1096 1101 10990 10710 10996 11134 1550 11137 11400 1099 1398 10708 1815 11123 1812 1540 1095 1538 1395 11125 11388 11128 11132 1821 1549 11126 1552 11135 1824 1093 11394 1544 11131 1546 11129 1818 10993 10707 10704 1543 1541 11397 1547 11391 10787 1452 10431 1574 1190 10428 798 10437 10434 814 1189 808 11046 805 11043 10786 1184 11161 1449 333 1571 10792 11049 11167 11158 11418 1580 811 11427 1446 10784 1577 11424 1186 1193 1181 11164 10783 11040 1187 11421 10795 11052 10789 11273 11221 1946 1636 11219 11530 11230 1643 1958 1648 11231 1645 11539 11521 1995 11270 1265 11222 1639 1248 11225 1673 11570 1685 1687 1690 1998 11272 1642 1660 1652 1952 11239 1955 11245 11234 1651 1961 1657 11240 1967 11243 11237 1964 1654 11536 1649 11236 1658 11242 11542 1655 11533 11233 1646 1634 11255 11252 11555 11257 11260 11558 11561 11263 11258 1670 1989 1681 11267 11567 11269 11564 1682 1684 1992 11264 1679 11266 838 1949 11545 10856 1256 1246 10859 1259 11228 1676 1672 1977 1669 1667 1675 11261 1983 1986 1678 11254 11552 1980 1600 2211 11183 11185 611 11186 11781 609 1601 1603 11188 1598 10680 1106 11097 11442 1003 10245 1503 1103 1583 3191 12660 928 538 949 10537 2420 543 12654 541 528 11978 2418 3188 10552 943 3507 952 1318 10183 10186 10556 10180 10928 951 3504 10165 513 942 1333 955 10179 532 1327 1330 10181 535 540 10559 948 10934 10562 13853 13839 13843 13835 13848 13837 13864 1585 13830 13831 13841 13834 10612 10715 14632 17227 16839 16455 16840 14633 13362 17065 16451 10712 13840 6023 6027 12550 6005 4314 13326 14381 5051 15737 6024 6028 15349 14383 13654 12549 6419 13327 3950 2806 11829 11039 11504 10777 1440 12288 1930 1178 15331 3948 5049 3077 11224 11573 1688 11275 1640 1637 11527 11227 11524 2826 5219 5217 3100 4395 4071 2706 7529 7113 7116 7934 8024 16695 16157 7916 7915 17216 17215 7937 17302 7400 7537 17530 17532 16827 17213 8139 8138 1228 1240 1214 10834 10837 1237 10457 10840 1234 10814 10828 10825 7930 1243 10843 13331 5213 5381 14539 5214 14706 6243 15562 6428 1212 14705 834 1277 14703 7931 14702 5212 15560 5378 6242 14538 9991 10466 15625 19179 8414 6307 16300 16286 6312 5477 6992 14048 18031 6977 15962 14045 8412 15964 14801 14493 17690 6978 18032 19173 19171 14495 15623 15622 6305 6650 14803 17688 5475 8759 5167 15630 5169 19176 19178 19183 6652 16285 6304 9993 9943 10161 10554 10557 10533 10536 10542 10539 10159 9939 10563 10560 1072 1070 2209 1584 944 953 950 947 10613 10244 11096 10611 10395 10482 10741 10494 10491 10468 1138 10497 10473 10476 1135 1117 10744 10485 10479 10488 14887 5560 5654 15000 534 10178 10564 10240 10565 10558 10182 12657 3508 10184 10553 544 10555 946 10931 537 945 11976 1339 10925 1283 852 10474 855 1465 854 1468 954 10561 1336 336 10937 10187 10185 11974 546 1375 608 10493 10487 10484 10496 1307 10898 11082 184 9841 10498 1304 1159 861 875 870 873 1474 10543 872 10167 508 1324 1366 516 10492 931 177 864 863 10489 1298 10895 1321 9832 11073 1480 1162 9839 183 788 176 11079 11070 10486 9833 10407 1295 9840 11029 782 11026 1301 869 146 10901 10490 182 1486 866 10169 10540 934 11076 10467 519 844 5361 6653 6310 15965 15628 14688 17427 17572 1191 810 10794 11041 1064 11163 5107 6088 9190 1102 10713 10711 10424 11044 807 18463 11047 11169 1581 14052 1978 9152 14435 9275 6089 10865 10862 10463 10848 10461 10846 1928 1441 11503 10819 1225 1231 1274 10877 1071 1271 1262 338 1268 10822 10831 10812 9994 10874 10868 10871 11168 11170 11778 2208 1866 11038 8300 9109 9160 18387 18436 9195 17372 4632 5336 6122 9287 9328 9367 4656 5330 4645 13974 13977 13979 13997 4643 13975 5341 4667 14787 7570 7789 18308 14459 5162 18852 13909 16466 6469 18093 17239 17069 16848 13372 5150 8943 17070 18619 16789 18665 4647 13969 9186 9344 14781 9333 9338 7500 18606 18523 9346 18615 18664 18613 9393 9251 9234 14785 18461 14645 9342 9348 18614 18612 9340 18607 4578 13911 15766 7501 9345 9337 9334 14646 13910 18375 9484 18750 18616 18504 9183 5131 9035 18306 5320 18091 18160 9233 9103 13917 6107 9102 9033 18889 9480 14003 18305 6106 9246 9247 5134 5457 18775 18695 9422 5461 9419 13913 18749 18692 18774 18802 8623 8626 6124 8735 17451 15792 13999 14667 13982 13976 14671 9326 9283 13908 2858 9290 18618 16714 16465 14780 16294 5454 6986 18608 9335 13967 14665 15441 9286 9368 14480 6121 14006 9159 4658 17897 18008 17900 7425 7951 7167 9481 8166 9418 5460 9478 9415 9507 18748 18691 14788 14673 8169 8302 17582 17449 17635 17448 17581 13985 4638 15421 13915 14647 8818 8887 9329 9288 18693 18747 15440 18563 15447 6129 14485 4655 4657 9508 9424 18472 18390 9117 18388 9199 4659 14488 18560 18601 13994 9417 5152 9327 5334 4623 17243 16856 16484 14657 13992 5331 4660 5343 14669 5333 9285 8826 9370 8619 6120 8733 9115 18434 5463 13998 13996 9420 8032 17626 17887 4908 4913 4835 4901 4915 4911 14241 4840 4836 4905 4917 4909 14243 4839 14237 14246 14233 4842 4904 4832 4914 14240 14247 14236 14245 14249 14174 14168 14172 14171 14167 14164 6636 7498 7861 7714 16783 15948 16997 16786 7496 7713 7495 1118 5432 15931 13868 13882 2046 2853 11884 12326 15930 11964 3498 12937 5434 2403 738 10369 1137 1136 10742 3162 1139 10743 10367 12325 2318 2852 15935 3494 2315 6623 11614 6266 4535 8246 14746 15585 6618 2397 7158 6620 12932 11958 2044 11603 11966 12646 16458 15932 13867 4536 6265 15581 14744 14759 7157 11616 1493 1490 10368 11087 10370 15580 10746 15583 743 740 14756 17525 15582 14745 4550 741 12934 6263 5418 2407 3176 13880 12634 11881 11056 3167 3496 3170 3495 5430 14757 5435 14761 5431 5437 11284 12933 12637 14758 6264 5419 6261 6262 6619 5436 15579 3519 7485 7487 16992 17136 7706 16774 16457 2401 7857 6267 5420 6622 15934 14763 12643 4537 3499 13869 3173 2405 12936 13879 1140 10745 11084 14760 5433 4548 11960 12640 11962 7707 7488 7486 12957 16990 16991 7855 16775 7708 16776 17138 16773 13754 10174 9948 4432 13758 4422 13757 13763 4431 4425 13764 13762 4430 292 14050 4718 13798 8474 17877 16195 17995 16447 18083 17571 15756 17618 17224 17429 18765 18677 16450 16835 16833 15748 11590 17431 15747 11592 17617 18740 4486 15522 7924 6549 6544 4370 2987 16673 2988 6545 16078 7070 16241 2986 7607 1889 5199 14615 5200 18609 18662 9392 9394 9347 4665 18641 18602 18561 5345 4644 14672 4649 13981 5346 13978 4646 9336 9391 9182 5456 16480 4666 4007 15789 6475 18009 18102 17898 15787 16202 6474 13371 13990 4637 5337 15442 8357 9509 18851 18821 18800 9612 14479 9114 9163 4641 5160 15603 16293 8171 14789 14486 5462 4621 18562 18435 18386 18473 18643 18823 18776 18801 13993 18771 4627 5335 18879 9423 5154 18694 8170 8303 8172 6480 15793 17636 17452 5340 4663 13995 14666 9372 9289 9535 4634 5347 9556 9534 9584 15446 18389 13986 13961 6128 9482 9421 18638 2865 13984 14655 4630 13953 4639 7569 7962 7182 15791 8359 17072 14660 15432 18005 17895 17892 14008 15781 13983 9110 17447 18772 18557 18688 15439 18385 15437 17577 17445 18432 18381 15438 18558 14476 13989 17633 9158 15784 4661 9554 9533 7183 7568 7571 7790 13973 13966 18564 18642 8301 9116 4633 18746 18687 7791 6479 15790 16482 4652 5329 18597 4654 8092 18384 15436 18469 13956 13968 18556 18599 9477 1579 10705 10702 18431 1392 1098 18216 18279 14473 9585 16199 9504 14474 15604 18611 4625 4622 8168 8355 11159 6472 1573 14656 13988 7176 6893 6464 9196 6892 10631 10313 10643 8091 16477 14471 17578 17443 17634 4653 18803 15780 1842 4675 1183 1443 5328 11156 6470 18383 15775 1851 16200 11165 9042 6117 6468 1576 8622 8827 1845 1582 10781 5143 11162 9369 18686 18598 18555 18617 16788 10640 10637 685 1018 669 9971 1022 10303 1031 679 315 9324 664 10298 9989 6119 9112 15778 12335 18804 14478 16295 18666 9325 9282 10627 1034 1025 10634 10319 10316 1028 682 1068 10671 10668 10661 10421 1065 1052 802 10425 1059 10677 18689 14786 18745 18751 8298 4636 4628 4624 1848 16201 15776 16476 4674 13955 6463 1062 10674 6896 16481 16204 12338 4629 4642 4664 6895 6473 18744 6476 4006 7786 7565 9505 14002 16847 17579 17632 17444 14654 15779 16475 12336 7179 7960 7567 6115 9284 9596 18863 18773 14583 15785 16203 9231 9181 9248 9232 18519 18453 14783 18506 18520 9179 18456 18663 9249 9250 7181 4626 4635 9341 9622 9614 9604 18881 18872 9605 9613 9597 18871 18880 9395 15788 15786 8946 18865 18888 5145 5257 4670 19266 19269 9632 18899 18853 18900 19262 9633 19270 18890 9555 18316 14469 18822 17371 17896 5258 19274 14582 5256 4668 14584 14000 9586 9623 19264 19267 16850 16478 17241 17068 18100 15433 9536 9506 18640 4650 18468 9479 9416 8731 8620 18433 14658 17894 18277 18217 18101 15777 15782 16479 17240 16851 15783 17446 16849 17067 9621 9598 18382 10243 14762 4547 1222 1219 15584 14533 13706 14531 15833 15503 15501 15830 13799 14620 7131 16032 16867 16870 16725 16723 13819 14431 17061 13806 6886 6435 7944 7150 7551 8814 6094 8611 18299 18203 2840 6438 6436 7147 6887 8603 8722 15404 8150 8720 8152 8339 6444 8934 6095 3019 4268 3887 14346 2228 2748 12243 13302 1974 3894 2752 12801 11548 12802 12240 13624 14348 14344 16404 2751 13300 1973 12803 3363 12241 13301 16688 7601 16139 5011 6826 15300 12808 12247 7100 7387 6812 14347 7388 15301 16141 6830 16125 16403 16405 7391 16406 14345 16126 16686 16235 15828 15831 19719 19722 19729 19717 19725 15299 15298 16886 16685 8122 14342 16399 16137 16123 16136 16401 8007 16140 16400 17401 15500 15829 17287 13713 13716 13416 13418 8241 17520 16885 14532 13717 13419 15502 15832 6926 16138 16124 16402 14343 16683 6516 16684 16234 16233 16884 16687 16142 17177 17400 7897 16135 8121 11109 10308 7331 7896 8008 7893 16629 17174 17289 7895 11807 14352 3892 12501 8239 7385 17171 7519 13622 13623 13311 12812 14511 13299 16682 12259 7092 12817 12818 7091 3374 2244 2243 5372 4261 4260 3376 5373 5374 6819 12498 12497 6820 8004 3880 16120 3881 12257 7219 11113 16807 7218 7217 12816 17167 3909 5001 5980 11814 12236 4059 4058 6815 11786 7090 7089 7521 16809 13288 12258 16680 13621 13620 16677 3373 6833 12256 6832 13315 13316 13319 5009 12491 12492 12493 16883 11806 11805 4266 4262 11791 12500 17396 7599 6408 16127 17397 15726 17521 13616 16131 14333 16394 3026 13617 16519 6406 6834 6831 3371 2240 15302 12255 3025 8240 12254 12253 8242 12503 17169 12489 3891 13291 3888 3882 3883 3884 3907 13619 15311 11792 15312 15313 5024 15294 15290 15293 15292 15291 14700 5002 5003 16146 16145 16144 16143 5004 7598 6407 16045 7381 16681 12810 15308 4267 12811 16678 15309 3422 2761 14699 3024 7095 12490 7094 5017 3423 3424 2766 17172 3372 7093 2762 5006 5005 15295 2767 3426 16397 13312 3425 5007 15310 5008 6816 17166 11788 11789 6822 6821 14701 3912 3017 14697 14698 17398 13313 16132 13314 3886 13297 11787 11808 11809 12494 4060 12495 16882 13424 16881 12496 17168 12251 7096 12252 6817 12499 6818 3421 16391 3906 3905 3904 7886 7887 7888 7889 7890 13289 7891 7892 3022 6181 6180 6179 11813 11810 14351 5979 6402 3879 3908 3016 3027 16121 8005 8006 16046 5970 6808 2235 19724 5971 6809 15722 5968 14336 2236 13425 5976 16133 13293 16398 16392 15724 5188 5187 5186 14356 15721 14341 14355 15303 5019 5020 5021 15305 2764 16517 13287 4270 13618 3377 16119 7382 3379 12815 6733 12814 3378 6734 2765 15727 5965 5966 13286 5982 5983 5984 2759 5969 15720 5018 14696 15723 13295 6807 2239 14514 14338 14349 13290 15296 16148 13292 15497 17519 17518 12862 12861 16518 7597 4269 2220 15499 5981 12237 12238 12239 1975 13298 1976 14350 16134 5986 12870 5985 6405 15306 15307 5967 6403 13294 13296 16129 16396 6409 6404 6810 5185 16147 2745 16393 2744 13423 16128 15725 2237 14512 14354 2238 14513 16130 14339 1519 15304 15297 4264 5371 5370 3375 5964 14337 5978 2216 7383 7384 2760 14340 2763 12860 7386 12813 11550 11790 15498 2221 6836 6835 14334 16395 16122 4271 11551 19721 12867 5987 17286 12863 12864 8119 14335 17285 17284 17170 5375 8118 8117 16679 5977 14353 2222 2219 13612 13613 13614 13615 17173 17288 16628 17176 17399 17175 7332 8009 7894 2247 2251 2250 3434 3436 4066 3433 3437 2249 2252 3048 3443 3042 3044 3442 5367 6178 6732 3046 3439 2245 7734 3440 2246 4063 5364 2248 8120 11885 12649 12652 12656 16782 11975 15939 11886 11971 12960 13874 17140 11889 11092 11869 12650 11629 14751 13885 12940 15594 11095 10910 11286 16459 11969 12944 12947 11627 11888 12330 11094 11091 3382 13317 3910 3380 12819 12821 12824 3381 12263 13318 12262 12260 3385 3384 2768 2770 2771 3911 12820 12823 14693 11819 12878 12881 2241 3383 13431 13428 14690 15496 11811 12872 11815 2769 11821 12822 17018 16044 12875 11817 13715 6627 4542 7159 2857 7859 2319 5425 2051 3180 7494 3522 1702 4553 6276 2047 1497 1310 3501 3179 2409 1500 1389 1087 1089 1090 10699 10696 1092 11108 10987 1514 10698 10701 595 10664 1569 10598 10229 10545 1055 987 1057 989 11785 11154 10548 10596 1517 10666 2215 11111 10530 11820 12873 11822 12515 11818 11812 2242 12882 12521 12876 11816 12517 12879 12519 10310 10307 676 673 2320 2301 1501 2057 1498 3502 1701 2412 1311 2059 2048 2323 11153 11112 594 11155 10228 10597 596 1570 1518 1568 988 2214 10230 11784 16043 6177 3047 6176 14692 14694 14695 5365 5366 5183 5184 7885 6731 3438 12883 14507 4065 13429 14691 7735 7736 17165 5181 12518 5368 12880 12516 12877 3049 7520 5369 17020 3441 7517 3444 3043 3045 12520 5182 4061 14510 14508 14509 4064 12874 4062 13427 13430 17019 15494 16808 7518 16805 15495 16806 12522 13426 3435 16780 6271 6272 6624 6273 4552 918 937 13886 7161 10157 15593 10173 10172 10171 10170 936 10156 4539 4540 4541 14770 14771 2856 13871 6269 6270 16781 12942 12943 12945 14768 14750 15592 14748 14769 17141 503 939 940 14765 2416 16995 7491 11287 10531 11868 14749 14766 7490 10532 3503 15588 16461 3505 2060 919 13872 14764 505 12941 15936 15937 15938 15589 15590 11618 11630 13873 11628 11887 12651 15940 15941 3521 2411 12648 7492 7493 16779 12328 5438 525 5445 5422 5423 527 5424 11093 5443 5442 5441 5440 11967 8238 1309 7710 7709 13884 1499 1496 7858 13883 11970 12946 11972 11890 2855 11090 16993 2408 522 16778 2058 6274 10546 10547 10549 10550 2324 2321 15587 6275 16460 4554 2300 4551 7711 12959 5439 14767 5444 17139 3178 3185 10909 6625 6626 6628 16994 6629 17517 12329 7860 15591 7160 524 1056 10665 917 938 935 12939 11617 11968 12647 3403 12309 8142 17419 2816 3957 12299 3391 12832 13330 14387 6047 14385 15380 12825 6052 16167 16171 11576 15361 17531 7771 16818 6868 2812 3386 1522 16828 7932 12295 7539 16158 11831 7536 12827 6845 7772 3956 12301 12829 6423 6422 6424 16170 6859 8252 12296 17210 15746 2002 15364 17211 12297 15742 15363 15743 15745 15379 6038 6048 13329 5053 15373 5055 14408 15378 15740 15741 14407 7538 17056 5075 5076 16551 15374 6425 7530 7531 7528 7251 14405 6426 6421 15377 15375 6858 12303 14386 14384 15744 16553 12835 12294 6053 6050 14537 6856 3953 3388 5052 6860 7769 7768 17195 16825 6855 6427 17196 16820 16817 17053 3832 7540 17054 17197 11892 11895 11776 3833 7532 17052 16819 16816 13239 12463 12831 13333 3394 2818 12828 6054 6051 12838 3959 5074 2811 6037 17303 16169 15362 5054 6036 12826 12305 6035 16172 15739 16826 6846 7629 15891 16913 16710 14396 13349 6873 4330 2827 6870 6869 7125 16164 4329 7124 16427 7120 7121 15896 7123 16187 16704 15359 16425 6034 16186 5225 4079 6246 6962 5224 7412 6581 15892 4405 15563 16184 12312 7631 15360 6031 13352 16706 3973 13726 4072 4392 16697 6252 15357 15900 15901 6590 16183 7122 6033 6871 3975 13669 15370 7414 16424 16423 6851 3976 5066 6043 15358 7411 6875 16166 16705 12200 3802 13208 1926 2703 11768 11767 11766 11769 2198 11101 14304 19711 15570 6589 15899 15902 6585 15168 4972 14282 14305 7634 16089 11765 2194 12198 3354 3350 12794 13207 2707 4973 12791 14280 3353 6874 6247 16709 6245 6032 7126 16185 16422 16188 6580 7630 6579 16271 7410 16182 6046 16163 7413 6251 6588 16273 16274 6967 15568 6853 6852 16270 16421 15564 6876 16914 6583 6582 6964 15893 15566 7409 5068 3107 13353 3104 3981 12580 16707 3979 13670 14401 15369 5071 13355 5070 14402 13360 4342 3984 6248 5226 11857 14398 12577 5067 13673 13671 13674 14397 16181 12579 12578 4337 4334 6044 3105 3106 2287 12575 5072 6045 3110 12583 19709 19706 19716 19704 19712 4396 3099 4073 3101 2989 2327 2205 16918 4338 13681 4341 14403 12311 4343 3103 13676 2828 13679 14404 13359 3977 3985 13350 5065 13351 13680 13729 16420 13725 13724 7401 17533 6872 16275 8254 12571 12572 17221 7941 12573 12574 4394 16426 16165 13437 13436 15898 15897 17422 5215 8143 13727 13728 15567 15569 6965 6966 14541 14542 14543 13439 13438 4075 6854 16708 15895 15894 13667 13668 6963 12576 5222 15565 3102 3974 13348 4331 5064 7127 6584 15372 15371 11893 13672 4333 13356 13354 3980 14400 3978 16915 4332 14399 4335 13675 5069 4336 16272 4399 16176 16700 5379 16417 16177 16917 15355 13452 7939 8027 7117 6029 12889 15376 17307 17219 16552 6030 16173 3448 3081 4084 3447 14707 15171 4086 12554 14281 15365 12884 6864 6040 16175 5845 7936 16696 7399 17217 8140 6861 7112 13205 3798 11501 2704 11502 12196 1927 12195 16085 6863 6039 15366 6776 15699 17220 6857 17418 17417 8022 17214 17304 7935 8253 16088 7402 15170 8025 17420 11832 7404 7633 3446 13453 12886 12553 12888 12885 3449 13448 12552 12551 11842 4085 3080 3445 13449 2272 2274 2273 12555 12891 3078 4088 8141 6244 4083 11844 11841 13450 15152 15165 5844 15697 6378 6772 5827 6380 11775 5839 5842 15696 16413 3450 3079 2271 14540 7940 7917 13451 11843 17305 13240 5376 16084 6381 15698 15153 8251 6379 12887 4087 16168 5826 6866 16178 16701 17534 8255 19708 17222 12788 3347 13204 3799 1507 12193 2195 11764 2700 3800 12792 3355 16086 14283 13209 14303 3801 12793 12199 2708 12789 11891 12197 12790 16522 12464 15700 15169 15154 16419 5380 14406 5211 4951 6849 6042 15701 7408 16702 16162 5829 6384 14388 5056 6041 16161 6850 15368 16418 7406 7632 7220 7119 12462 6775 16520 7118 16916 15367 15561 6773 8026 4971 7938 7253 17421 15167 16698 4949 4950 12194 2701 7942 14302 6383 5828 15695 15166 5377 4970 17218 5841 15356 17306 2702 7221 12192 12787 15702 3797 12786 5840 16521 6382 6377 15155 3349 13206 6774 16087 11774 8023 14704 3348 7405 6777 5838 4948 15164 7222 5843 7933 14437 9407 7549 14735 18766 18680 12313 15750 7780 9363 4468 8930 9026 16194 5105 8810 9319 4474 9272 6086 17750 17848 19344 19342 19345 8877 9616 9602 9600 17348 8576 17853 18820 18848 17613 17755 8726 14442 14441 18088 14638 18303 13786 14443 18891 18770 18868 18467 18206 18274 18151 14446 14440 18742 18681 18684 14736 18370 18429 15415 18373 14448 14444 17884 15411 17881 17997 17433 17619 17576 17885 15412 18087 18204 18275 18796 18207 15413 18818 13789 13794 18635 18596 18551 18276 18205 18301 9617 9603 9625 7484 8481 8729 5113 9414 5411 19079 10131 106 9763 19074 263 9919 19075 9665 262 9762 9918 9917 10132 7 8 261 19072 273 272 9930 1506 1631 10850 1250 9821 11849 1216 10752 1150 846 128 11115 189 188 129 848 208 164 165 773 775 2282 10469 9820 11852 11218 11216 11100 9784 9785 10880 9844 9845 2279 10398 9864 9865 10396 2285 10816 11855 11249 11251 209 1280 10853 1253 1521 1666 11248 11246 1664 1663 1633 1661 10471 4546 3947 4161 4214 13541 4886 4213 13714 10382 13180 13178 3903 5972 13712 3895 5403 8781 11793 8996 5973 3183 12261 3186 11619 2322 5022 5023 7266 7267 7268 7269 6349 7649 7270 11758 7744 18989 18988 4369 4367 1192 10790 14202 2164 15026 11051 15020 1455 1970 10793 7643 578 12670 3815 579 4383 580 581 14534 4206 3201 6814 5209 10998 3517 16048 5691 4869 4868 2165 15013 3698 2615 4139 17938 3695 2618 15672 12865 1195 476 475 19071 19067 19069 19080 19352 9582 18849 18799 9532 17754 16771 8479 7483 17752 18001 9406 9473 9274 9318 8477 9030 9498 18637 14447 9366 14445 8931 9002 9409 9411 9476 5111 5409 9157 15414 18208 18302 9001 18552 18594 6091 9280 5121 18553 15409 9322 9277 9321 18550 18595 18150 18867 6092 9281 9530 18554 15410 14439 18741 18683 18428 18636 9528 9551 18797 9098 18795 18768 18682 18743 5119 9501 9365 9279 15416 18372 8933 6098 9193 9101 9192 9099 8728 18678 18374 18466 18465 18430 18371 9502 18685 14737 9155 9471 18738 13815 13800 9474 9412 18769 17998 17621 16453 16196 17882 15759 17434 16838 17620 17436 18086 15765 17574 13810 14631 17064 13791 14636 7556 7947 6445 17883 17996 14630 5304 6889 17066 8153 17432 17575 15757 8156 15764 17435 6452 8296 4479 17430 13795 13792 13811 16197 4476 15760 13361 4456 4480 19121 9 19124 9928 9664 19123 102 9758 6567 5919 9443 20184 20177 20180 20174 1511 1169 1215 792 10415 11217 1279 10772 10881 10815 10771 10753 1151 1281 10851 10418 2283 10854 11853 1170 847 2280 1520 11850 11250 11856 10470 1505 11102 1252 1249 1149 1172 10852 10849 10397 10817 11105 11247 1167 795 2286 10879 1632 774 11114 1662 1665 11099 1217 1251 10774 10769 1508 10751 1254 9630 18896 19491 19495 9549 9628 18817 19490 9637 9645 18911 19483 9738 20101 20098 82 20106 20099 20094 83 20102 9739 20096 20275 9715 20268 20265 59 20263 20271 9714 20270 58 20267 15 19839 19846 19842 19836 19834 9671 9670 19841 19838 14 68 20202 20205 9724 20210 20200 20206 69 20203 9725 20198 20141 20145 77 20135 20133 20138 9733 20137 76 20140 9732 20171 20161 9729 20167 20159 20164 73 20163 9728 20166 72 19820 9675 19815 18 19812 19816 19808 19 19810 19813 9674 8928 4465 4458 8480 4463 4460 13812 8998 4453 15408 17851 18549 13790 13785 16837 7155 15755 13808 13788 17878 18201 18271 18883 17854 18869 18000 5308 17993 18633 17999 17226 9362 9499 8727 8580 8574 17849 5306 5309 6890 4482 14637 4455 13787 6446 14634 7152 13796 14635 13793 4461 20119 20114 9736 20111 80 20107 20109 81 9737 20112 20115 19985 9694 19982 19989 19979 38 19977 19984 19981 9693 37 20011 9690 20015 20008 34 20005 20003 20002 35 19997 9691 19994 9689 20010 33 20007 19998 36 19995 19992 19990 9692 20088 20093 84 20085 9740 20083 20081 20086 85 20089 9741 19942 19950 19945 9699 43 19943 19946 19940 19938 44 9700 131 19784 19782 19787 19794 19790 9787 19786 130 19789 9786 53 9709 20185 20187 20190 20193 20197 19119 19131 19127 107 19126 9929 274 9663 20189 52 20192 9708 20293 54 20301 20296 9710 9711 20297 20289 20291 20294 55 66 20215 20218 20223 9722 19898 478 10134 280 19894 9935 19886 103 19888 19891 20213 20211 20216 9723 20219 67 9759 279 19893 10133 9936 19890 477 19862 19864 12 19865 9669 19048 19049 19041 502 10153 10154 19082 19084 19085 19087 19088 19092 105 104 266 265 9761 9760 264 9922 9921 9920 20262 9717 20257 20254 60 20236 20232 9721 20229 65 20226 20224 20250 61 20258 20255 20252 20041 9685 20036 20033 29 9716 20231 9720 64 20228 20029 20031 30 20034 9686 20037 19355 9773 276 116 9932 19358 19365 19361 19353 19807 19802 19799 20 9676 19360 19357 9772 275 117 9931 20284 20278 20281 9713 20276 57 20288 19932 19937 166 19929 9822 9661 9662 234 19634 19631 232 9888 19638 5 6 19628 9890 9757 19626 101 19633 19630 19795 19797 9677 21 19800 19803 56 9712 20280 20283 167 19925 19927 19930 19933 9823 9889 9756 100 233 250 19781 19769 19777 19774 9906 19771 9687 20028 20023 20020 31 19776 19773 9905 249 9688 32 20024 20021 20018 20016 19045 19043 500 10155 501 19046 19053 20249 20241 20244 62 9718 19851 19854 19859 251 9907 20245 63 20237 20239 20242 9719 252 9908 19847 19849 19852 19855 19667 19665 19669 239 240 19670 19673 9896 19677 19100 267 19105 19097 9923 9924 19093 19095 19098 19101 268 20120 20122 9735 20125 20132 20128 79 9734 20124 20127 78 19958 19955 41 9697 19963 19108 269 19110 19111 19106 271 19113 19114 19118 9927 9925 20146 20148 20151 20154 9731 20158 75 20068 20070 20073 20076 20080 9743 87 19956 19959 19953 19951 9698 42 9926 270 20153 20150 9730 74 86 9742 20072 20075 19868 19860 13 19964 19966 40 9696 19969 19972 19976 211 20055 20057 20060 20063 20067 9867 9668 19867 19872 19971 19968 9695 39 20062 20059 210 9866 9898 19690 19686 19683 19680 19678 242 19672 9895 19685 19682 241 9897 19873 19880 11 9666 19881 99 9755 19054 19056 19059 19066 19062 19641 19644 19639 236 19651 9892 19647 19061 19058 98 9754 9891 235 19643 19646 19657 19656 19654 237 9894 17 19821 19823 19826 9673 19829 19833 9672 19825 19828 16 19162 19165 9659 19170 3 18936 9658 18924 18926 18929 2 18932 20042 20044 20050 20054 28 9683 20047 19163 19160 4 9660 19166 19158 51 20302 20314 9707 20304 20310 20307 1 18928 18931 9657 70 9727 9684 20049 20046 27 19878 19877 19875 10 9667 9706 20306 20309 50 20179 9726 20172 71 20176 9893 238 19652 19659 19660 19664 19885  0
799.21/799.20	
799.21/799.20	c Core has size 19459

Verifier Data

OK	19459

Watcher Data

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 988)

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-3495914-1307808407/watcher-3495914-1307808407 -o /tmp/evaluation-result-3495914-1307808407/solver-3495914-1307808407 -C 1800 -W 1850 -M 7680 MoUsSaka HOME/instance-3495914-1307808407.cnf 

running on 2 cores: 5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1850 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 3.22 2.91 4/189 25869
/proc/meminfo: memFree=30240176/32950928 swapFree=67052112/67111528
[pid=25869] ppid=25867 vsize=12988 CPUtime=0 cores=5,7
/proc/25869/stat : 25869 (MoUsSaka) R 25867 25869 23695 0 -1 4202496 768 0 0 0 0 0 0 0 25 0 1 0 892439419 13299712 584 33554432000 4194304 4365125 140733818086816 18446744073709551615 235594485347 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/25869/statm: 3247 585 254 42 0 395 0

[startup+0.105038 s]
/proc/loadavg: 3.99 3.22 2.91 4/189 25869
/proc/meminfo: memFree=30240176/32950928 swapFree=67052112/67111528
[pid=25869] ppid=25867 vsize=15788 CPUtime=0.1 cores=5,7
/proc/25869/stat : 25869 (MoUsSaka) R 25867 25869 23695 0 -1 4202496 2304 0 0 0 10 0 0 0 25 0 1 0 892439419 16166912 1146 33554432000 4194304 4365125 140733818086816 18446744073709551615 4257310 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/25869/statm: 3947 1146 262 42 0 1095 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 15788

[startup+0.201021 s]
/proc/loadavg: 3.99 3.22 2.91 4/189 25869
/proc/meminfo: memFree=30240176/32950928 swapFree=67052112/67111528
[pid=25869] ppid=25867 vsize=18728 CPUtime=0.19 cores=5,7
/proc/25869/stat : 25869 (MoUsSaka) R 25867 25869 23695 0 -1 4202496 5229 0 0 0 19 0 0 0 25 0 1 0 892439419 19177472 1888 33554432000 4194304 4365125 140733818086816 18446744073709551615 4245162 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/25869/statm: 4682 1889 262 42 0 1830 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 18728

[startup+0.301004 s]
/proc/loadavg: 3.99 3.22 2.91 4/189 25869
/proc/meminfo: memFree=30240176/32950928 swapFree=67052112/67111528
[pid=25869] ppid=25867 vsize=23944 CPUtime=0.29 cores=5,7
/proc/25869/stat : 25869 (MoUsSaka) R 25867 25869 23695 0 -1 4202496 9657 0 0 0 28 1 0 0 25 0 1 0 892439419 24518656 2803 33554432000 4194304 4365125 140733818086816 18446744073709551615 4244731 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/25869/statm: 5986 2803 262 42 0 3134 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 23944

[startup+0.700932 s]
/proc/loadavg: 3.99 3.22 2.91 4/189 25869
/proc/meminfo: memFree=30240176/32950928 swapFree=67052112/67111528
[pid=25869] ppid=25867 vsize=41188 CPUtime=0.69 cores=5,7
/proc/25869/stat : 25869 (MoUsSaka) R 25867 25869 23695 0 -1 4202496 15917 0 0 0 68 1 0 0 25 0 1 0 892439419 42176512 5564 33554432000 4194304 4365125 140733818086816 18446744073709551615 4242742 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/25869/statm: 10297 5564 262 42 0 7445 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 41188

[startup+1.50079 s]
/proc/loadavg: 3.99 3.22 2.91 5/190 25870
/proc/meminfo: memFree=30192700/32950928 swapFree=67052112/67111528
[pid=25869] ppid=25867 vsize=78036 CPUtime=1.49 cores=5,7
/proc/25869/stat : 25869 (MoUsSaka) R 25867 25869 23695 0 -1 4202496 34578 0 0 0 146 3 0 0 25 0 1 0 892439419 79908864 11840 33554432000 4194304 4365125 140733818086816 18446744073709551615 4257495 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/25869/statm: 19509 11840 262 42 0 16657 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 78036

[startup+3.10051 s]
/proc/loadavg: 3.99 3.22 2.91 5/190 25870
/proc/meminfo: memFree=30145732/32950928 swapFree=67052112/67111528
[pid=25869] ppid=25867 vsize=177084 CPUtime=3.09 cores=5,7
/proc/25869/stat : 25869 (MoUsSaka) R 25867 25869 23695 0 -1 4202496 77563 0 0 0 301 8 0 0 25 0 1 0 892439419 181334016 27193 33554432000 4194304 4365125 140733818086816 18446744073709551615 4250173 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/25869/statm: 44271 27193 262 42 0 41419 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 177084

[startup+6.30095 s]
/proc/loadavg: 3.91 3.21 2.91 4/185 26276
/proc/meminfo: memFree=30497276/32950928 swapFree=67052112/67111528
[pid=25869] ppid=25867 vsize=279728 CPUtime=6.3 cores=5,7
/proc/25869/stat : 25869 (MoUsSaka) R 25867 25869 23695 0 -1 4202496 183456 0 0 0 611 19 0 0 25 0 1 0 892439419 286441472 55479 33554432000 4194304 4365125 140733818086816 18446744073709551615 4262681 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/25869/statm: 69932 55479 264 42 0 67080 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 279728

[startup+12.7008 s]
/proc/loadavg: 3.92 3.22 2.92 5/190 26630
/proc/meminfo: memFree=30372896/32950928 swapFree=67052112/67111528
[pid=25869] ppid=25867 vsize=360180 CPUtime=12.69 cores=5,7
/proc/25869/stat : 25869 (MoUsSaka) R 25867 25869 23695 0 -1 4202496 229820 0 0 0 1245 24 0 0 25 0 1 0 892439419 368824320 58623 33554432000 4194304 4365125 140733818086816 18446744073709551615 4242868 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/25869/statm: 90045 58623 264 42 0 87193 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 360180

[startup+25.5006 s]
/proc/loadavg: 3.94 3.26 2.93 5/190 26631
/proc/meminfo: memFree=30245380/32950928 swapFree=67052112/67111528
[pid=25869] ppid=25867 vsize=574460 CPUtime=25.49 cores=5,7
/proc/25869/stat : 25869 (MoUsSaka) R 25867 25869 23695 0 -1 4202496 378626 0 0 0 2507 42 0 0 25 0 1 0 892439419 588247040 103154 33554432000 4194304 4365125 140733818086816 18446744073709551615 4291535 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/25869/statm: 143615 103171 264 42 0 140763 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 574460

[startup+51.1011 s]
/proc/loadavg: 3.96 3.32 2.96 5/187 26659
/proc/meminfo: memFree=30269048/32950928 swapFree=67052112/67111528
[pid=25869] ppid=25867 vsize=508700 CPUtime=51.1 cores=5,7
/proc/25869/stat : 25869 (MoUsSaka) R 25867 25869 23695 0 -1 4202496 560432 0 0 0 5045 65 0 0 25 0 1 0 892439419 520908800 101262 33554432000 4194304 4365125 140733818086816 18446744073709551615 4258077 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/25869/statm: 127175 101262 264 42 0 124323 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 508700

[startup+102.301 s]
/proc/loadavg: 4.06 3.45 3.02 5/190 27279
/proc/meminfo: memFree=30371876/32950928 swapFree=67052112/67111528
[pid=25869] ppid=25867 vsize=671184 CPUtime=102.3 cores=5,7
/proc/25869/stat : 25869 (MoUsSaka) R 25867 25869 23695 0 -1 4202496 798423 0 0 0 10138 92 0 0 25 0 1 0 892439419 687292416 125304 33554432000 4194304 4365125 140733818086816 18446744073709551615 4262579 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/25869/statm: 167796 125304 264 42 0 164944 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 671184

[startup+162.3 s]
/proc/loadavg: 4.02 3.55 3.08 4/188 27508
/proc/meminfo: memFree=30183416/32950928 swapFree=67052112/67111528
[pid=25869] ppid=25867 vsize=669136 CPUtime=162.29 cores=5,7
/proc/25869/stat : 25869 (MoUsSaka) R 25867 25869 23695 0 -1 4202496 981183 0 0 0 16115 114 0 0 25 0 1 0 892439419 685195264 125047 33554432000 4194304 4365125 140733818086816 18446744073709551615 4258046 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/25869/statm: 167284 125047 264 42 0 164432 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 669136

[startup+222.307 s]
/proc/loadavg: 4.00 3.63 3.14 5/190 27548
/proc/meminfo: memFree=28959240/32950928 swapFree=67052112/67111528
[pid=25869] ppid=25867 vsize=699852 CPUtime=222.31 cores=5,7
/proc/25869/stat : 25869 (MoUsSaka) R 25867 25869 23695 0 -1 4202496 1255692 0 0 0 22081 150 0 0 25 0 1 0 892439419 716648448 128902 33554432000 4194304 4365125 140733818086816 18446744073709551615 4258052 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/25869/statm: 174963 128902 264 42 0 172111 0
Current children cumulated CPU time (s) 222.31
Current children cumulated vsize (KiB) 699852

[startup+282.3 s]
/proc/loadavg: 4.07 3.71 3.19 5/190 27549
/proc/meminfo: memFree=28779536/32950928 swapFree=67052112/67111528
[pid=25869] ppid=25867 vsize=753100 CPUtime=282.3 cores=5,7
/proc/25869/stat : 25869 (MoUsSaka) R 25867 25869 23695 0 -1 4202496 1469640 0 0 0 28054 176 0 0 25 0 1 0 892439419 771174400 135726 33554432000 4194304 4365125 140733818086816 18446744073709551615 4306823 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/25869/statm: 188275 135726 264 42 0 185423 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 753100

[startup+342.301 s]
/proc/loadavg: 4.02 3.76 3.24 5/190 27551
/proc/meminfo: memFree=28847460/32950928 swapFree=67052112/67111528
[pid=25869] ppid=25867 vsize=685516 CPUtime=342.3 cores=5,7
/proc/25869/stat : 25869 (MoUsSaka) R 25867 25869 23695 0 -1 4202496 1604405 0 0 0 34038 192 0 0 25 0 1 0 892439419 701968384 127277 33554432000 4194304 4365125 140733818086816 18446744073709551615 4258063 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/25869/statm: 171379 127277 264 42 0 168527 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 685516

[startup+402.3 s]
/proc/loadavg: 4.01 3.80 3.29 5/190 27553
/proc/meminfo: memFree=28795848/32950928 swapFree=67052112/67111528
[pid=25869] ppid=25867 vsize=798152 CPUtime=402.3 cores=5,7
/proc/25869/stat : 25869 (MoUsSaka) R 25867 25869 23695 0 -1 4202496 2041642 0 0 0 39988 242 0 0 25 0 1 0 892439419 817307648 145981 33554432000 4194304 4365125 140733818086816 18446744073709551615 4262087 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/25869/statm: 199538 145981 264 42 0 196686 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 798152

[startup+462.301 s]
/proc/loadavg: 4.08 3.85 3.33 5/190 27554
/proc/meminfo: memFree=28763072/32950928 swapFree=67052112/67111528
[pid=25869] ppid=25867 vsize=675280 CPUtime=462.3 cores=5,7
/proc/25869/stat : 25869 (MoUsSaka) R 25867 25869 23695 0 -1 4202496 2527823 0 0 0 45930 300 0 0 25 0 1 0 892439419 691486720 130593 33554432000 4194304 4365125 140733818086816 18446744073709551615 4262125 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/25869/statm: 168820 130593 264 42 0 165968 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 675280

[startup+522.301 s]
/proc/loadavg: 4.03 3.87 3.37 5/190 27556
/proc/meminfo: memFree=28627620/32950928 swapFree=67052112/67111528
[pid=25869] ppid=25867 vsize=746956 CPUtime=522.3 cores=5,7
/proc/25869/stat : 25869 (MoUsSaka) R 25867 25869 23695 0 -1 4202496 3436415 0 0 0 51823 407 0 0 25 0 1 0 892439419 764882944 139588 33554432000 4194304 4365125 140733818086816 18446744073709551615 4267829 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/25869/statm: 186739 139588 264 42 0 183887 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 746956

[startup+582.301 s]
/proc/loadavg: 4.01 3.89 3.41 5/190 27557
/proc/meminfo: memFree=28738564/32950928 swapFree=67052112/67111528
[pid=25869] ppid=25867 vsize=650704 CPUtime=582.3 cores=5,7
/proc/25869/stat : 25869 (MoUsSaka) R 25867 25869 23695 0 -1 4202496 3965675 0 0 0 57761 469 0 0 25 0 1 0 892439419 666320896 127509 33554432000 4194304 4365125 140733818086816 18446744073709551615 4262650 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/25869/statm: 162676 127509 264 42 0 159824 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 650704

[startup+642.301 s]
/proc/loadavg: 4.00 3.91 3.44 5/190 27559
/proc/meminfo: memFree=28834372/32950928 swapFree=67052112/67111528
[pid=25869] ppid=25867 vsize=933312 CPUtime=642.31 cores=5,7
/proc/25869/stat : 25869 (MoUsSaka) R 25867 25869 23695 0 -1 4202496 4653859 0 0 0 63681 550 0 0 25 0 1 0 892439419 955711488 162975 33554432000 4194304 4365125 140733818086816 18446744073709551615 4267844 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/25869/statm: 233328 162975 264 42 0 230476 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 933312

[startup+702.3 s]
/proc/loadavg: 4.03 3.94 3.48 5/190 27561
/proc/meminfo: memFree=28799484/32950928 swapFree=67052112/67111528
[pid=25869] ppid=25867 vsize=703948 CPUtime=702.31 cores=5,7
/proc/25869/stat : 25869 (MoUsSaka) R 25867 25869 23695 0 -1 4202496 5333593 0 0 0 69603 628 0 0 25 0 1 0 892439419 720842752 134191 33554432000 4194304 4365125 140733818086816 18446744073709551615 4258957 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/25869/statm: 175987 134191 264 42 0 173135 0
Current children cumulated CPU time (s) 702.31
Current children cumulated vsize (KiB) 703948

[startup+762.301 s]
/proc/loadavg: 4.01 3.95 3.51 5/190 27562
/proc/meminfo: memFree=28757272/32950928 swapFree=67052112/67111528
[pid=25869] ppid=25867 vsize=773576 CPUtime=762.31 cores=5,7
/proc/25869/stat : 25869 (MoUsSaka) R 25867 25869 23695 0 -1 4202496 6058624 0 0 0 75519 712 0 0 25 0 1 0 892439419 792141824 142929 33554432000 4194304 4365125 140733818086816 18446744073709551615 4267769 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/25869/statm: 193394 142929 264 42 0 190542 0
Current children cumulated CPU time (s) 762.31
Current children cumulated vsize (KiB) 773576

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

[startup+768.001 s]
/proc/loadavg: 4.01 3.95 3.51 5/190 27563
/proc/meminfo: memFree=28815676/32950928 swapFree=67052112/67111528
[pid=25869] ppid=25867 vsize=656848 CPUtime=768.01 cores=5,7
/proc/25869/stat : 25869 (MoUsSaka) R 25867 25869 23695 0 -1 4202496 6107615 0 0 0 76084 717 0 0 25 0 1 0 892439419 672612352 128280 33554432000 4194304 4365125 140733818086816 18446744073709551615 4259459 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/25869/statm: 164212 128280 264 42 0 161360 0
Current children cumulated CPU time (s) 768.01
Current children cumulated vsize (KiB) 656848

[startup+780.801 s]
/proc/loadavg: 4.01 3.95 3.52 5/190 27563
/proc/meminfo: memFree=28762600/32950928 swapFree=67052112/67111528
[pid=25869] ppid=25867 vsize=697804 CPUtime=780.81 cores=5,7
/proc/25869/stat : 25869 (MoUsSaka) R 25867 25869 23695 0 -1 4202496 6200168 0 0 0 77354 727 0 0 25 0 1 0 892439419 714551296 133420 33554432000 4194304 4365125 140733818086816 18446744073709551615 4258098 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/25869/statm: 174451 133420 264 42 0 171599 0
Current children cumulated CPU time (s) 780.81
Current children cumulated vsize (KiB) 697804

[startup+787.201 s]
/proc/loadavg: 4.01 3.95 3.52 5/190 27563
/proc/meminfo: memFree=28808720/32950928 swapFree=67052112/67111528
[pid=25869] ppid=25867 vsize=662992 CPUtime=787.21 cores=5,7
/proc/25869/stat : 25869 (MoUsSaka) R 25867 25869 23695 0 -1 4202496 6235474 0 0 0 77989 732 0 0 25 0 1 0 892439419 678903808 129051 33554432000 4194304 4365125 140733818086816 18446744073709551615 4258046 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/25869/statm: 165748 129051 264 42 0 162896 0
Current children cumulated CPU time (s) 787.21
Current children cumulated vsize (KiB) 662992

[startup+793.6 s]
/proc/loadavg: 4.00 3.95 3.52 5/190 27563
/proc/meminfo: memFree=28789740/32950928 swapFree=67052112/67111528
[pid=25869] ppid=25867 vsize=699852 CPUtime=793.61 cores=5,7
/proc/25869/stat : 25869 (MoUsSaka) R 25867 25869 23695 0 -1 4202496 6255938 0 0 0 78626 735 0 0 25 0 1 0 892439419 716648448 133645 33554432000 4194304 4365125 140733818086816 18446744073709551615 4257958 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/25869/statm: 174963 133645 264 42 0 172111 0
Current children cumulated CPU time (s) 793.61
Current children cumulated vsize (KiB) 699852

[startup+796.801 s]
/proc/loadavg: 4.00 3.95 3.52 5/190 27563
/proc/meminfo: memFree=28787136/32950928 swapFree=67052112/67111528
[pid=25869] ppid=25867 vsize=699852 CPUtime=796.81 cores=5,7
/proc/25869/stat : 25869 (MoUsSaka) R 25867 25869 23695 0 -1 4202496 6255938 0 0 0 78946 735 0 0 25 0 1 0 892439419 716648448 133645 33554432000 4194304 4365125 140733818086816 18446744073709551615 4263932 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/25869/statm: 174963 133645 264 42 0 172111 0
Current children cumulated CPU time (s) 796.81
Current children cumulated vsize (KiB) 699852

[startup+798.401 s]
/proc/loadavg: 4.00 3.95 3.52 5/190 27563
/proc/meminfo: memFree=28787136/32950928 swapFree=67052112/67111528
[pid=25869] ppid=25867 vsize=699852 CPUtime=798.41 cores=5,7
/proc/25869/stat : 25869 (MoUsSaka) R 25867 25869 23695 0 -1 4202496 6255938 0 0 0 79106 735 0 0 25 0 1 0 892439419 716648448 133645 33554432000 4194304 4365125 140733818086816 18446744073709551615 4262092 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/25869/statm: 174963 133645 264 42 0 172111 0
Current children cumulated CPU time (s) 798.41
Current children cumulated vsize (KiB) 699852

[startup+798.8 s]
/proc/loadavg: 4.00 3.95 3.53 5/190 27563
/proc/meminfo: memFree=28787136/32950928 swapFree=67052112/67111528
[pid=25869] ppid=25867 vsize=699852 CPUtime=798.81 cores=5,7
/proc/25869/stat : 25869 (MoUsSaka) R 25867 25869 23695 0 -1 4202496 6255938 0 0 0 79146 735 0 0 25 0 1 0 892439419 716648448 133645 33554432000 4194304 4365125 140733818086816 18446744073709551615 4257495 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/25869/statm: 174963 133645 264 42 0 172111 0
Current children cumulated CPU time (s) 798.81
Current children cumulated vsize (KiB) 699852

[startup+799.2 s]
/proc/loadavg: 4.00 3.95 3.53 5/190 27563
/proc/meminfo: memFree=28787136/32950928 swapFree=67052112/67111528
[pid=25869] ppid=25867 vsize=699852 CPUtime=799.21 cores=5,7
/proc/25869/stat : 25869 (MoUsSaka) R 25867 25869 23695 0 -1 4202496 6255941 0 0 0 79186 735 0 0 25 0 1 0 892439419 716648448 133648 33554432000 4194304 4365125 140733818086816 18446744073709551615 47503019870652 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/25869/statm: 174963 133648 267 42 0 172111 0
Current children cumulated CPU time (s) 799.21
Current children cumulated vsize (KiB) 699852

Child status: 20
Real time (s): 799.222
CPU time (s): 799.24
CPU user time (s): 791.868
CPU system time (s): 7.37188
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 1197492

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 791.868
system time used= 7.37188
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6255943
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= 10
involuntary context switches= 1034

runsolver used 1.35479 second user time and 3.00554 second system time

The end

Launcher Data

Begin job on node120 at 2011-06-11 18:06:47
IDJOB=3495914
IDBENCH=89311
IDSOLVER=1989
FILE ID=node120/3495914-1307808407
RUNJOBID= node120-1307808043-25678
PBS_JOBID= 13551076
Free space on /tmp= 73892 MiB

SOLVER NAME= MoUsSaka 2011-03-26
BENCH NAME= SAT11/mus/marques-silva/equivalence-checking/c7552.cnf
COMMAND LINE= MoUsSaka BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3495914-1307808407/watcher-3495914-1307808407 -o /tmp/evaluation-result-3495914-1307808407/solver-3495914-1307808407 -C 1800 -W 1850 -M 7680  MoUsSaka HOME/instance-3495914-1307808407.cnf

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

MD5SUM BENCH= 90f51dc4b61ceb76a01f9d3a6fa2459f
RANDOM SEED=637633865

node120.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.809
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.61
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.809
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.07
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.809
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.82
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.809
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.75
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.809
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.78
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.809
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.75
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.809
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.82
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.809
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      30240596 kB
Buffers:        162344 kB
Cached:         894216 kB
SwapCached:      11528 kB
Active:        1855812 kB
Inactive:       691052 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      30240596 kB
SwapTotal:    67111528 kB
SwapFree:     67052112 kB
Dirty:              48 kB
Writeback:           0 kB
AnonPages:     1487672 kB
Mapped:           9760 kB
Slab:            94036 kB
PageTables:       8260 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:  2037548 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= 73732 MiB
End job on node120 at 2011-06-11 18:20:06