| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat nolog (1) | SAT (TO) | 36 | 3600.06 | 3609.2 |
| Name | PB24/normalized-PB11/OPT-LIN/ kullmann/normalized-mul_8_3_shg.opb |
| MD5SUM | 9f3f50f555350d326304759fc873d478 |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 36 |
| Best CPU time to get the best result obtained on this benchmark | 74.5212 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 5048 |
| Total number of constraints | 65280 |
| Number of constraints which are clauses | 65280 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 18 |
| Maximum length of a constraint | 45 |
| Number of terms in the objective function | 5048 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 5048 |
| Number of bits of the sum of numbers in the objective function | 13 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 5048 |
| Number of bits of the biggest sum of numbers | 13 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c RoundingSat 2 0.00/0.00 c branch 0.00/0.00 c commit 0.68/0.77 c #variables 5048 #constraints 65280 12.15/12.22 c bounds 5049 >= 0 @ 0.694406 12.15/12.22 c bounds 1004 >= 0 @ 8.87881 12.15/12.22 c bounds 1004 >= 1 @ 8.88123 12.15/12.22 c bounds 1004 >= 2 @ 8.88234 12.15/12.22 c bounds 1004 >= 3 @ 8.88497 12.15/12.22 c bounds 1004 >= 4 @ 8.88696 12.15/12.22 c bounds 1004 >= 5 @ 8.89214 12.15/12.22 c bounds 1004 >= 6 @ 8.89563 12.15/12.22 c bounds 1004 >= 7 @ 8.89988 12.15/12.22 c bounds 1004 >= 8 @ 8.90104 12.15/12.22 c bounds 1004 >= 9 @ 8.90247 12.15/12.22 c bounds 1004 >= 10 @ 8.90394 12.15/12.22 c bounds 1004 >= 11 @ 8.90703 12.15/12.22 c bounds 1004 >= 12 @ 8.90813 12.15/12.22 c bounds 1004 >= 13 @ 8.91122 12.15/12.22 c bounds 1004 >= 14 @ 8.9119 12.15/12.22 c bounds 1004 >= 15 @ 8.9129 12.15/12.22 c bounds 1004 >= 16 @ 8.91349 12.15/12.22 c bounds 1004 >= 17 @ 8.91644 12.15/12.22 c bounds 1004 >= 18 @ 8.91699 12.15/12.22 c bounds 1004 >= 19 @ 8.92383 12.15/12.22 c bounds 1004 >= 20 @ 8.9281 12.15/12.22 c bounds 1004 >= 21 @ 8.9299 12.15/12.22 c bounds 1004 >= 22 @ 8.93433 12.15/12.22 c bounds 1004 >= 23 @ 8.9399 12.15/12.22 c bounds 1004 >= 24 @ 8.94807 12.15/12.22 c bounds 1004 >= 25 @ 8.96698 12.15/12.22 c bounds 1004 >= 26 @ 9.04905 12.15/12.22 c bounds 1003 >= 26 @ 9.16911 12.15/12.22 c bounds 1003 >= 27 @ 9.35705 12.15/12.22 c bounds 1002 >= 27 @ 9.37485 12.15/12.22 c bounds 1001 >= 27 @ 9.3854 12.15/12.22 c bounds 1000 >= 27 @ 9.39431 12.15/12.22 c bounds 999 >= 27 @ 9.40093 12.15/12.22 c bounds 998 >= 27 @ 9.41268 12.15/12.22 c bounds 997 >= 27 @ 9.42212 12.15/12.22 c bounds 996 >= 27 @ 9.42954 12.15/12.22 c bounds 995 >= 27 @ 9.43612 12.15/12.22 c bounds 994 >= 27 @ 9.44183 12.15/12.22 c bounds 993 >= 27 @ 9.44665 12.15/12.22 c bounds 992 >= 27 @ 9.4513 12.15/12.22 c bounds 991 >= 27 @ 9.45399 12.15/12.22 c bounds 990 >= 27 @ 9.45966 12.15/12.22 c bounds 989 >= 27 @ 9.46472 12.15/12.22 c bounds 988 >= 27 @ 9.46885 12.15/12.22 c bounds 987 >= 27 @ 9.47127 12.15/12.22 c bounds 986 >= 27 @ 9.47737 12.15/12.22 c bounds 985 >= 27 @ 9.48251 12.15/12.22 c bounds 984 >= 27 @ 9.48733 12.15/12.22 c bounds 983 >= 27 @ 9.49296 12.15/12.22 c bounds 982 >= 27 @ 9.49682 12.15/12.22 c bounds 981 >= 27 @ 9.5032 12.15/12.22 c bounds 980 >= 27 @ 9.50896 12.15/12.22 c bounds 979 >= 27 @ 9.51458 12.15/12.22 c bounds 978 >= 27 @ 9.521 12.15/12.22 c bounds 977 >= 27 @ 9.52687 12.15/12.22 c bounds 976 >= 27 @ 9.53491 12.15/12.22 c bounds 975 >= 27 @ 9.54168 12.15/12.22 c bounds 974 >= 27 @ 9.54848 12.15/12.22 c bounds 973 >= 27 @ 9.55629 12.15/12.22 c bounds 972 >= 27 @ 9.56799 12.15/12.22 c bounds 971 >= 27 @ 9.5758 12.15/12.22 c bounds 970 >= 27 @ 9.58606 12.15/12.22 c bounds 969 >= 27 @ 9.59406 12.15/12.22 c bounds 968 >= 27 @ 9.60134 12.15/12.22 c bounds 967 >= 27 @ 9.6092 12.15/12.22 c bounds 966 >= 27 @ 9.6178 12.15/12.22 c bounds 965 >= 27 @ 9.6247 12.15/12.22 c bounds 964 >= 27 @ 9.63254 12.15/12.22 c #Conflicts: 1000 | #Constraints: 66524 12.15/12.22 c bounds 964 >= 28 @ 10.5363 12.15/12.22 c bounds 963 >= 28 @ 10.5542 12.15/12.22 c bounds 962 >= 28 @ 10.5638 12.15/12.22 c bounds 961 >= 28 @ 10.5726 12.15/12.22 c bounds 960 >= 28 @ 10.582 12.15/12.22 c bounds 959 >= 28 @ 10.5923 12.15/12.22 c bounds 958 >= 28 @ 10.6017 12.15/12.22 c bounds 957 >= 28 @ 10.6115 12.15/12.22 c bounds 956 >= 28 @ 10.6253 12.15/12.22 c bounds 955 >= 28 @ 10.6381 12.15/12.22 c bounds 954 >= 28 @ 10.648 12.15/12.22 c bounds 953 >= 28 @ 10.6586 12.15/12.22 c bounds 952 >= 28 @ 10.6682 12.15/12.22 c bounds 951 >= 28 @ 10.677 12.15/12.22 c bounds 950 >= 28 @ 10.6858 12.15/12.22 c bounds 949 >= 28 @ 10.6983 12.15/12.22 c bounds 948 >= 28 @ 10.7078 12.15/12.22 c bounds 947 >= 28 @ 10.7156 12.15/12.22 c bounds 946 >= 28 @ 10.7261 12.15/12.22 c bounds 945 >= 28 @ 10.7335 12.15/12.22 c bounds 944 >= 28 @ 10.7458 12.15/12.22 c bounds 943 >= 28 @ 10.759 12.15/12.22 c bounds 942 >= 28 @ 10.7661 12.15/12.22 c bounds 941 >= 28 @ 10.7772 12.15/12.22 c bounds 940 >= 28 @ 10.7879 12.15/12.22 c bounds 939 >= 28 @ 10.8037 12.15/12.22 c bounds 938 >= 28 @ 10.8144 12.15/12.22 c bounds 937 >= 28 @ 10.8254 12.15/12.22 c bounds 936 >= 28 @ 10.838 12.15/12.22 c bounds 935 >= 28 @ 10.8469 12.15/12.22 c bounds 934 >= 28 @ 10.8604 12.15/12.22 c bounds 933 >= 28 @ 10.873 12.15/12.22 c bounds 932 >= 28 @ 10.8857 12.15/12.22 c bounds 931 >= 28 @ 10.8983 12.15/12.22 c bounds 930 >= 28 @ 10.9097 12.15/12.22 c bounds 929 >= 28 @ 10.9182 12.15/12.22 c bounds 928 >= 28 @ 10.9268 12.15/12.22 c bounds 927 >= 28 @ 10.9403 12.15/12.22 c bounds 926 >= 28 @ 10.9508 12.15/12.22 c bounds 925 >= 28 @ 10.9651 12.15/12.22 c bounds 924 >= 28 @ 10.9737 12.15/12.22 c bounds 923 >= 28 @ 10.9849 12.15/12.22 c bounds 922 >= 28 @ 10.9955 12.15/12.22 c bounds 921 >= 28 @ 11.004 12.15/12.22 c bounds 920 >= 28 @ 11.0165 12.15/12.22 c bounds 919 >= 28 @ 11.0231 12.15/12.22 c bounds 918 >= 28 @ 11.0318 12.15/12.22 c bounds 917 >= 28 @ 11.0412 12.15/12.22 c bounds 916 >= 28 @ 11.0507 12.15/12.22 c bounds 915 >= 28 @ 11.0612 12.15/12.22 c bounds 914 >= 28 @ 11.0725 12.15/12.22 c bounds 913 >= 28 @ 11.0829 12.15/12.22 c bounds 912 >= 28 @ 11.0936 12.15/12.22 c bounds 911 >= 28 @ 11.103 12.15/12.22 c bounds 910 >= 28 @ 11.1114 12.15/12.22 c bounds 909 >= 28 @ 11.123 12.15/12.22 c bounds 908 >= 28 @ 11.1369 12.15/12.22 c bounds 907 >= 28 @ 11.1476 12.15/12.22 c bounds 906 >= 28 @ 11.1562 12.15/12.22 c bounds 905 >= 28 @ 11.1669 12.15/12.22 c bounds 904 >= 28 @ 11.179 12.15/12.22 c bounds 903 >= 28 @ 11.1919 12.15/12.22 c bounds 902 >= 28 @ 11.2015 12.15/12.22 c bounds 901 >= 28 @ 11.2108 12.15/12.22 c bounds 900 >= 28 @ 11.2201 12.15/12.22 c bounds 899 >= 28 @ 11.2305 12.15/12.22 c bounds 898 >= 28 @ 11.2421 12.15/12.22 c bounds 897 >= 28 @ 11.2524 12.15/12.22 c bounds 896 >= 28 @ 11.2618 12.15/12.22 c bounds 895 >= 28 @ 11.2724 12.15/12.22 c bounds 894 >= 28 @ 11.2797 719.21/721.20 c bounds 893 >= 28 @ 11.2901 719.21/721.20 c bounds 892 >= 28 @ 11.3003 719.21/721.20 c bounds 891 >= 28 @ 11.3103 719.21/721.20 c bounds 890 >= 28 @ 11.3198 719.21/721.20 c bounds 889 >= 28 @ 11.3291 719.21/721.20 c bounds 888 >= 28 @ 11.3415 719.21/721.20 c bounds 887 >= 28 @ 11.3539 719.21/721.20 c bounds 886 >= 28 @ 11.3674 719.21/721.20 c bounds 885 >= 28 @ 11.3826 719.21/721.20 c bounds 884 >= 28 @ 11.3973 719.21/721.20 c bounds 883 >= 28 @ 11.412 719.21/721.20 c bounds 882 >= 28 @ 11.4256 719.21/721.20 c bounds 881 >= 28 @ 11.4364 719.21/721.20 c bounds 880 >= 28 @ 11.4483 719.21/721.20 c bounds 879 >= 28 @ 11.4612 719.21/721.20 c bounds 878 >= 28 @ 11.478 719.21/721.20 c bounds 877 >= 28 @ 11.4896 719.21/721.20 c bounds 876 >= 28 @ 11.5002 719.21/721.20 c bounds 875 >= 28 @ 11.5128 719.21/721.20 c bounds 874 >= 28 @ 11.5191 719.21/721.20 c bounds 873 >= 28 @ 11.5282 719.21/721.20 c bounds 872 >= 28 @ 11.5405 719.21/721.20 c bounds 871 >= 28 @ 11.5511 719.21/721.20 c bounds 870 >= 28 @ 11.5609 719.21/721.20 c bounds 869 >= 28 @ 11.568 719.21/721.20 c bounds 868 >= 28 @ 11.5807 719.21/721.20 c bounds 867 >= 28 @ 11.5904 719.21/721.20 c bounds 866 >= 28 @ 11.5999 719.21/721.20 c bounds 865 >= 28 @ 11.6073 719.21/721.20 c bounds 864 >= 28 @ 11.6167 719.21/721.20 c bounds 863 >= 28 @ 11.6273 719.21/721.20 c bounds 862 >= 28 @ 11.6337 719.21/721.20 c bounds 861 >= 28 @ 11.6401 719.21/721.20 c bounds 860 >= 28 @ 11.6504 719.21/721.20 c bounds 859 >= 28 @ 11.657 719.21/721.20 c bounds 858 >= 28 @ 11.6662 719.21/721.20 c bounds 857 >= 28 @ 11.6764 719.21/721.20 c bounds 856 >= 28 @ 11.6869 719.21/721.20 c bounds 855 >= 28 @ 11.6972 719.21/721.20 c bounds 854 >= 28 @ 11.7065 719.21/721.20 c bounds 853 >= 28 @ 11.715 719.21/721.20 c bounds 852 >= 28 @ 11.7245 719.21/721.20 c bounds 851 >= 28 @ 11.7349 719.21/721.20 c bounds 850 >= 28 @ 11.7423 719.21/721.20 c bounds 849 >= 28 @ 11.7519 719.21/721.20 c bounds 848 >= 28 @ 11.7632 719.21/721.20 c bounds 847 >= 28 @ 11.7755 719.21/721.20 c bounds 846 >= 28 @ 11.786 719.21/721.20 c bounds 845 >= 28 @ 11.7979 719.21/721.20 c bounds 844 >= 28 @ 11.8071 719.21/721.20 c bounds 843 >= 28 @ 11.8165 719.21/721.20 c bounds 842 >= 28 @ 11.8263 719.21/721.20 c bounds 841 >= 28 @ 11.8336 719.21/721.20 c bounds 840 >= 28 @ 11.8439 719.21/721.20 c bounds 839 >= 28 @ 11.8515 719.21/721.20 c bounds 838 >= 28 @ 11.8638 719.21/721.20 c bounds 837 >= 28 @ 11.8761 719.21/721.20 c bounds 836 >= 28 @ 11.8865 719.21/721.20 c bounds 835 >= 28 @ 11.896 719.21/721.20 c bounds 834 >= 28 @ 11.9073 719.21/721.20 c bounds 833 >= 28 @ 11.9187 719.21/721.20 c bounds 832 >= 28 @ 11.9263 719.21/721.20 c bounds 831 >= 28 @ 11.9347 719.21/721.20 c bounds 830 >= 28 @ 11.9419 719.21/721.20 c bounds 829 >= 28 @ 11.9513 719.21/721.20 c bounds 828 >= 28 @ 11.9649 719.21/721.20 c bounds 827 >= 28 @ 11.9755 719.21/721.20 c bounds 826 >= 28 @ 11.9881 719.21/721.20 c bounds 825 >= 28 @ 11.9997 719.21/721.20 c #Conflicts: 2000 | #Constraints: 67696 719.21/721.20 c INPROCESSING 719.21/721.20 c GARBAGE COLLECT 719.21/721.20 c bounds 824 >= 28 @ 716.813 719.21/721.20 c bounds 823 >= 28 @ 716.82 719.21/721.20 c bounds 822 >= 28 @ 716.826 719.21/721.20 c bounds 821 >= 28 @ 716.831 719.21/721.20 c bounds 820 >= 28 @ 716.837 719.21/721.20 c bounds 819 >= 28 @ 716.842 719.21/721.20 c bounds 818 >= 28 @ 716.848 719.21/721.20 c bounds 817 >= 28 @ 716.852 719.21/721.20 c bounds 816 >= 28 @ 716.855 719.21/721.20 c bounds 815 >= 28 @ 716.86 719.21/721.20 c bounds 814 >= 28 @ 716.866 719.21/721.20 c bounds 813 >= 28 @ 716.874 719.21/721.20 c bounds 812 >= 28 @ 716.879 719.21/721.20 c bounds 811 >= 28 @ 716.884 719.21/721.20 c bounds 810 >= 28 @ 716.89 719.21/721.20 c bounds 809 >= 28 @ 716.897 719.21/721.20 c bounds 808 >= 28 @ 716.903 719.21/721.20 c bounds 807 >= 28 @ 716.91 719.21/721.20 c bounds 806 >= 28 @ 716.92 719.21/721.20 c bounds 805 >= 28 @ 716.933 719.21/721.20 c bounds 804 >= 28 @ 716.943 719.21/721.20 c bounds 803 >= 28 @ 716.956 719.21/721.20 c bounds 802 >= 28 @ 716.965 719.21/721.20 c bounds 801 >= 28 @ 716.974 719.21/721.20 c bounds 800 >= 28 @ 716.981 719.21/721.20 c bounds 799 >= 28 @ 716.99 719.21/721.20 c bounds 798 >= 28 @ 716.998 719.21/721.20 c bounds 797 >= 28 @ 717.004 719.21/721.20 c bounds 796 >= 28 @ 717.009 719.21/721.20 c bounds 795 >= 28 @ 717.014 719.21/721.20 c bounds 794 >= 28 @ 717.019 719.21/721.20 c bounds 793 >= 28 @ 717.029 719.21/721.20 c bounds 792 >= 28 @ 717.034 719.21/721.20 c bounds 791 >= 28 @ 717.041 719.21/721.20 c bounds 790 >= 28 @ 717.046 719.21/721.20 c bounds 789 >= 28 @ 717.054 719.21/721.20 c bounds 788 >= 28 @ 717.062 719.21/721.20 c bounds 787 >= 28 @ 717.068 719.21/721.20 c bounds 786 >= 28 @ 717.074 719.21/721.20 c bounds 785 >= 28 @ 717.082 719.21/721.20 c bounds 784 >= 28 @ 717.09 719.21/721.20 c bounds 783 >= 28 @ 717.094 719.21/721.20 c bounds 782 >= 28 @ 717.101 719.21/721.20 c bounds 781 >= 28 @ 717.108 719.21/721.20 c bounds 780 >= 28 @ 717.113 719.21/721.20 c bounds 779 >= 28 @ 717.118 719.21/721.20 c bounds 778 >= 28 @ 717.125 719.21/721.20 c bounds 777 >= 28 @ 717.132 719.21/721.20 c bounds 776 >= 28 @ 717.138 719.21/721.20 c bounds 775 >= 28 @ 717.142 719.21/721.20 c bounds 774 >= 28 @ 717.149 719.21/721.20 c bounds 773 >= 28 @ 717.155 719.21/721.20 c bounds 772 >= 28 @ 717.16 719.21/721.20 c bounds 771 >= 28 @ 717.164 719.21/721.20 c bounds 770 >= 28 @ 717.171 719.21/721.20 c bounds 769 >= 28 @ 717.176 719.21/721.20 c bounds 768 >= 28 @ 717.182 719.21/721.20 c bounds 767 >= 28 @ 717.186 719.21/721.20 c bounds 766 >= 28 @ 717.189 719.21/721.20 c bounds 765 >= 28 @ 717.197 719.21/721.20 c bounds 764 >= 28 @ 717.203 719.21/721.20 c bounds 763 >= 28 @ 717.21 719.21/721.20 c bounds 762 >= 28 @ 717.214 719.21/721.20 c bounds 761 >= 28 @ 717.218 719.21/721.20 c bounds 760 >= 28 @ 717.225 719.21/721.20 c bounds 759 >= 28 @ 717.231 719.21/721.20 c bounds 758 >= 28 @ 717.237 719.21/721.20 c bounds 757 >= 28 @ 717.244 719.21/721.20 c bounds 756 >= 28 @ 717.253 719.21/721.20 c bounds 755 >= 28 @ 717.262 724.10/726.11 c bounds 754 >= 28 @ 717.271 724.10/726.11 c bounds 753 >= 28 @ 717.277 724.10/726.11 c bounds 752 >= 28 @ 717.283 724.10/726.11 c bounds 751 >= 28 @ 717.289 724.10/726.11 c bounds 750 >= 28 @ 717.294 724.10/726.11 c bounds 749 >= 28 @ 717.302 724.10/726.11 c bounds 748 >= 28 @ 717.307 724.10/726.11 c bounds 747 >= 28 @ 717.313 724.10/726.11 c bounds 746 >= 28 @ 717.321 724.10/726.11 c bounds 745 >= 28 @ 717.325 724.10/726.11 c bounds 744 >= 28 @ 717.33 724.10/726.11 c bounds 743 >= 28 @ 717.335 724.10/726.11 c bounds 742 >= 28 @ 717.341 724.10/726.11 c bounds 741 >= 28 @ 717.35 724.10/726.11 c bounds 740 >= 28 @ 717.359 724.10/726.11 c bounds 739 >= 28 @ 717.366 724.10/726.11 c bounds 738 >= 28 @ 717.371 724.10/726.11 c bounds 737 >= 28 @ 717.378 724.10/726.11 c bounds 736 >= 28 @ 717.386 724.10/726.11 c bounds 735 >= 28 @ 717.396 724.10/726.11 c bounds 734 >= 28 @ 717.406 724.10/726.11 c bounds 733 >= 28 @ 717.415 724.10/726.11 c bounds 732 >= 28 @ 717.42 724.10/726.11 c bounds 731 >= 28 @ 717.426 724.10/726.11 c bounds 730 >= 28 @ 717.432 724.10/726.11 c bounds 729 >= 28 @ 717.438 724.10/726.11 c bounds 728 >= 28 @ 717.443 724.10/726.11 c bounds 727 >= 28 @ 717.448 724.10/726.11 c bounds 726 >= 28 @ 717.453 724.10/726.11 c bounds 725 >= 28 @ 717.458 724.10/726.11 c bounds 724 >= 28 @ 717.462 724.10/726.11 c bounds 723 >= 28 @ 717.467 724.10/726.11 c bounds 722 >= 28 @ 717.473 724.10/726.11 c bounds 721 >= 28 @ 717.477 724.10/726.11 c bounds 720 >= 28 @ 717.486 724.10/726.11 c bounds 719 >= 28 @ 717.491 724.10/726.11 c bounds 718 >= 28 @ 717.503 724.10/726.11 c bounds 717 >= 28 @ 717.509 724.10/726.11 c bounds 716 >= 28 @ 717.514 724.10/726.11 c bounds 715 >= 28 @ 717.518 724.10/726.11 c bounds 714 >= 28 @ 717.525 724.10/726.11 c bounds 713 >= 28 @ 717.53 724.10/726.11 c bounds 712 >= 28 @ 717.536 724.10/726.11 c bounds 711 >= 28 @ 717.54 724.10/726.11 c bounds 710 >= 28 @ 717.547 724.10/726.11 c bounds 709 >= 28 @ 717.553 724.10/726.11 c bounds 708 >= 28 @ 717.559 724.10/726.11 c bounds 707 >= 28 @ 717.563 724.10/726.11 c bounds 706 >= 28 @ 717.573 724.10/726.11 c bounds 705 >= 28 @ 717.578 724.10/726.11 c bounds 704 >= 28 @ 717.587 724.10/726.11 c bounds 703 >= 28 @ 717.597 724.10/726.11 c bounds 702 >= 28 @ 717.602 724.10/726.11 c bounds 701 >= 28 @ 717.611 724.10/726.11 c bounds 700 >= 28 @ 717.617 724.10/726.11 c bounds 699 >= 28 @ 717.622 724.10/726.11 c bounds 698 >= 28 @ 717.626 724.10/726.11 c bounds 697 >= 28 @ 717.635 724.10/726.11 c bounds 696 >= 28 @ 717.641 724.10/726.11 c bounds 695 >= 28 @ 717.645 724.10/726.11 c #Conflicts: 3000 | #Constraints: 67648 724.10/726.11 c #Conflicts: 4000 | #Constraints: 68648 724.10/726.11 c INPROCESSING 724.10/726.11 c GARBAGE COLLECT 724.10/726.11 c bounds 694 >= 28 @ 720.5 724.10/726.11 c bounds 693 >= 28 @ 720.507 724.10/726.11 c bounds 692 >= 28 @ 720.521 724.10/726.11 c bounds 691 >= 28 @ 720.537 724.10/726.11 c bounds 690 >= 28 @ 720.553 724.10/726.11 c bounds 689 >= 28 @ 720.566 724.10/726.11 c bounds 688 >= 28 @ 720.576 724.10/726.11 c bounds 687 >= 28 @ 720.587 724.10/726.11 c bounds 686 >= 28 @ 720.593 724.10/726.11 c bounds 685 >= 28 @ 720.605 724.10/726.11 c bounds 684 >= 28 @ 720.617 724.10/726.11 c bounds 683 >= 28 @ 720.63 724.10/726.11 c bounds 682 >= 28 @ 720.637 724.10/726.11 c bounds 681 >= 28 @ 720.647 724.10/726.11 c bounds 680 >= 28 @ 720.656 724.10/726.11 c bounds 679 >= 28 @ 720.664 724.10/726.11 c bounds 678 >= 28 @ 720.677 724.10/726.11 c bounds 677 >= 28 @ 720.688 724.10/726.11 c bounds 676 >= 28 @ 720.699 724.10/726.11 c bounds 675 >= 28 @ 720.708 724.10/726.11 c bounds 674 >= 28 @ 720.714 724.10/726.11 c bounds 673 >= 28 @ 720.725 724.10/726.11 c bounds 672 >= 28 @ 720.739 724.10/726.11 c bounds 671 >= 28 @ 720.749 724.10/726.11 c bounds 670 >= 28 @ 720.758 724.10/726.11 c bounds 669 >= 28 @ 720.767 724.10/726.11 c bounds 668 >= 28 @ 720.777 724.10/726.11 c bounds 667 >= 28 @ 720.788 724.10/726.11 c bounds 666 >= 28 @ 720.795 724.10/726.11 c bounds 665 >= 28 @ 720.805 724.10/726.11 c bounds 664 >= 28 @ 720.814 724.10/726.11 c bounds 663 >= 28 @ 720.82 724.10/726.11 c bounds 662 >= 28 @ 720.828 724.10/726.11 c bounds 661 >= 28 @ 720.834 724.10/726.11 c bounds 660 >= 28 @ 720.843 724.10/726.11 c bounds 659 >= 28 @ 720.854 724.10/726.11 c bounds 658 >= 28 @ 720.864 724.10/726.11 c bounds 657 >= 28 @ 720.872 724.10/726.11 c bounds 656 >= 28 @ 720.881 724.10/726.11 c bounds 655 >= 28 @ 720.891 724.10/726.11 c bounds 654 >= 28 @ 720.9 724.10/726.11 c bounds 653 >= 28 @ 720.909 724.10/726.11 c bounds 652 >= 28 @ 720.917 724.10/726.11 c bounds 651 >= 28 @ 720.924 724.10/726.11 c bounds 650 >= 28 @ 720.933 724.10/726.11 c bounds 649 >= 28 @ 720.939 724.10/726.11 c bounds 648 >= 28 @ 720.948 724.10/726.11 c bounds 647 >= 28 @ 720.954 724.10/726.11 c bounds 646 >= 28 @ 720.963 724.10/726.11 c bounds 645 >= 28 @ 720.973 724.10/726.11 c bounds 644 >= 28 @ 720.984 724.10/726.11 c bounds 643 >= 28 @ 720.998 724.10/726.11 c bounds 642 >= 28 @ 721.011 724.10/726.11 c bounds 641 >= 28 @ 721.022 724.10/726.11 c bounds 640 >= 28 @ 721.028 724.10/726.11 c bounds 639 >= 28 @ 721.037 724.10/726.11 c bounds 638 >= 28 @ 721.047 724.10/726.11 c bounds 637 >= 28 @ 721.059 724.10/726.11 c bounds 636 >= 28 @ 721.072 724.10/726.11 c bounds 635 >= 28 @ 721.084 724.10/726.11 c bounds 634 >= 28 @ 721.096 724.10/726.11 c bounds 633 >= 28 @ 721.111 724.10/726.11 c bounds 632 >= 28 @ 721.123 724.10/726.11 c bounds 631 >= 28 @ 721.136 724.10/726.11 c bounds 630 >= 28 @ 721.148 724.10/726.11 c bounds 629 >= 28 @ 721.158 724.10/726.11 c bounds 628 >= 28 @ 721.169 724.10/726.11 c bounds 627 >= 28 @ 721.183 724.10/726.11 c bounds 626 >= 28 @ 721.194 724.10/726.11 c bounds 625 >= 28 @ 721.208 724.10/726.11 c bounds 624 >= 28 @ 721.22 724.10/726.11 c bounds 623 >= 28 @ 721.235 724.10/726.11 c bounds 622 >= 28 @ 721.249 724.10/726.11 c bounds 621 >= 28 @ 721.263 724.10/726.11 c bounds 620 >= 28 @ 721.274 724.10/726.11 c bounds 619 >= 28 @ 721.283 724.10/726.11 c bounds 618 >= 28 @ 721.295 725.90/727.91 c bounds 617 >= 28 @ 721.306 725.90/727.91 c bounds 616 >= 28 @ 721.314 725.90/727.91 c bounds 615 >= 28 @ 721.323 725.90/727.91 c bounds 614 >= 28 @ 721.332 725.90/727.91 c bounds 613 >= 28 @ 721.341 725.90/727.91 c bounds 612 >= 28 @ 721.348 725.90/727.91 c bounds 611 >= 28 @ 721.357 725.90/727.91 c bounds 610 >= 28 @ 721.365 725.90/727.91 c bounds 609 >= 28 @ 721.37 725.90/727.91 c bounds 608 >= 28 @ 721.378 725.90/727.91 c bounds 607 >= 28 @ 721.389 725.90/727.91 c bounds 606 >= 28 @ 721.4 725.90/727.91 c bounds 605 >= 28 @ 721.42 725.90/727.91 c bounds 604 >= 28 @ 721.432 725.90/727.91 c bounds 603 >= 28 @ 721.44 725.90/727.91 c bounds 602 >= 28 @ 721.449 725.90/727.91 c bounds 601 >= 28 @ 721.459 725.90/727.91 c bounds 600 >= 28 @ 721.468 725.90/727.91 c bounds 599 >= 28 @ 721.478 725.90/727.91 c bounds 598 >= 28 @ 721.488 725.90/727.91 c bounds 597 >= 28 @ 721.495 725.90/727.91 c bounds 596 >= 28 @ 721.503 725.90/727.91 c bounds 595 >= 28 @ 721.512 725.90/727.91 c bounds 594 >= 28 @ 721.518 725.90/727.91 c bounds 593 >= 28 @ 721.529 725.90/727.91 c bounds 592 >= 28 @ 721.541 725.90/727.91 c bounds 591 >= 28 @ 721.55 725.90/727.91 c bounds 590 >= 28 @ 721.56 725.90/727.91 c bounds 589 >= 28 @ 721.568 725.90/727.91 c bounds 588 >= 28 @ 721.577 725.90/727.91 c bounds 587 >= 28 @ 721.587 725.90/727.91 c bounds 586 >= 28 @ 721.595 725.90/727.91 c bounds 585 >= 28 @ 721.605 725.90/727.91 c bounds 584 >= 28 @ 721.617 725.90/727.91 c bounds 583 >= 28 @ 721.624 725.90/727.91 c bounds 582 >= 28 @ 721.633 725.90/727.91 c bounds 581 >= 28 @ 721.64 725.90/727.91 c bounds 580 >= 28 @ 721.648 725.90/727.91 c bounds 579 >= 28 @ 721.66 725.90/727.91 c bounds 578 >= 28 @ 721.671 725.90/727.91 c bounds 577 >= 28 @ 721.677 725.90/727.91 c bounds 576 >= 28 @ 721.684 725.90/727.91 c bounds 575 >= 28 @ 721.691 725.90/727.91 c bounds 574 >= 28 @ 721.699 725.90/727.91 c bounds 573 >= 28 @ 721.705 725.90/727.91 c bounds 572 >= 28 @ 721.715 725.90/727.91 c bounds 571 >= 28 @ 721.726 725.90/727.91 c bounds 570 >= 28 @ 721.737 725.90/727.91 c bounds 569 >= 28 @ 721.743 725.90/727.91 c bounds 568 >= 28 @ 721.754 725.90/727.91 c bounds 567 >= 28 @ 721.766 725.90/727.91 c bounds 566 >= 28 @ 721.779 725.90/727.91 c bounds 565 >= 28 @ 721.792 725.90/727.91 c bounds 564 >= 28 @ 721.801 725.90/727.91 c bounds 563 >= 28 @ 721.811 725.90/727.91 c bounds 562 >= 28 @ 721.818 725.90/727.91 c bounds 561 >= 28 @ 721.827 725.90/727.91 c bounds 560 >= 28 @ 721.836 725.90/727.91 c bounds 559 >= 28 @ 721.845 725.90/727.91 c bounds 558 >= 28 @ 721.854 725.90/727.91 c bounds 557 >= 28 @ 721.861 725.90/727.91 c bounds 556 >= 28 @ 721.869 725.90/727.91 c bounds 555 >= 28 @ 721.875 725.90/727.91 c bounds 554 >= 28 @ 721.881 725.90/727.91 c bounds 553 >= 28 @ 721.892 725.90/727.91 c bounds 552 >= 28 @ 721.902 725.90/727.91 c bounds 551 >= 28 @ 721.914 725.90/727.91 c bounds 550 >= 28 @ 721.923 725.90/727.91 c bounds 549 >= 28 @ 721.936 725.90/727.91 c bounds 548 >= 28 @ 721.943 725.90/727.91 c bounds 547 >= 28 @ 721.954 725.90/727.91 c bounds 546 >= 28 @ 721.963 725.90/727.91 c bounds 545 >= 28 @ 721.972 725.90/727.91 c bounds 544 >= 28 @ 721.982 725.90/727.91 c bounds 543 >= 28 @ 721.99 725.90/727.91 c bounds 542 >= 28 @ 722.002 725.90/727.91 c bounds 541 >= 28 @ 722.012 725.90/727.91 c bounds 540 >= 28 @ 722.023 725.90/727.91 c bounds 539 >= 28 @ 722.034 725.90/727.91 c bounds 538 >= 28 @ 722.049 725.90/727.91 c bounds 537 >= 28 @ 722.062 725.90/727.91 c bounds 536 >= 28 @ 722.072 725.90/727.91 c bounds 535 >= 28 @ 722.083 725.90/727.91 c bounds 534 >= 28 @ 722.092 725.90/727.91 c bounds 533 >= 28 @ 722.099 725.90/727.91 c bounds 532 >= 28 @ 722.105 725.90/727.91 c bounds 531 >= 28 @ 722.114 725.90/727.91 c bounds 530 >= 28 @ 722.123 725.90/727.91 c bounds 529 >= 28 @ 722.131 725.90/727.91 c bounds 528 >= 28 @ 722.14 725.90/727.91 c bounds 527 >= 28 @ 722.149 725.90/727.91 c bounds 526 >= 28 @ 722.163 725.90/727.91 c bounds 525 >= 28 @ 722.172 725.90/727.91 c bounds 524 >= 28 @ 722.188 725.90/727.91 c bounds 523 >= 28 @ 722.2 725.90/727.91 c bounds 522 >= 28 @ 722.211 725.90/727.91 c bounds 521 >= 28 @ 722.222 725.90/727.91 c bounds 520 >= 28 @ 722.231 725.90/727.91 c bounds 519 >= 28 @ 722.239 725.90/727.91 c bounds 518 >= 28 @ 722.246 725.90/727.91 c bounds 517 >= 28 @ 722.256 725.90/727.91 c bounds 516 >= 28 @ 722.264 725.90/727.91 c bounds 515 >= 28 @ 722.272 725.90/727.91 c bounds 514 >= 28 @ 722.279 725.90/727.91 c bounds 513 >= 28 @ 722.289 725.90/727.91 c bounds 512 >= 28 @ 722.299 725.90/727.91 c bounds 511 >= 28 @ 722.307 725.90/727.91 c bounds 510 >= 28 @ 722.319 725.90/727.91 c bounds 509 >= 28 @ 722.325 725.90/727.91 c bounds 508 >= 28 @ 722.333 725.90/727.91 c bounds 507 >= 28 @ 722.34 725.90/727.91 c bounds 506 >= 28 @ 722.35 725.90/727.91 c bounds 505 >= 28 @ 722.357 725.90/727.91 c bounds 504 >= 28 @ 722.365 725.90/727.91 c bounds 503 >= 28 @ 722.376 725.90/727.91 c bounds 502 >= 28 @ 722.385 725.90/727.91 c bounds 501 >= 28 @ 722.393 725.90/727.91 c bounds 500 >= 28 @ 722.403 725.90/727.91 c bounds 499 >= 28 @ 722.411 725.90/727.91 c bounds 498 >= 28 @ 722.416 725.90/727.91 c bounds 497 >= 28 @ 722.425 725.90/727.91 c bounds 496 >= 28 @ 722.432 725.90/727.91 c bounds 495 >= 28 @ 722.44 725.90/727.91 c bounds 494 >= 28 @ 722.445 725.90/727.91 c bounds 493 >= 28 @ 722.452 725.90/727.91 c bounds 492 >= 28 @ 722.46 725.90/727.91 c bounds 491 >= 28 @ 722.468 725.90/727.91 c bounds 490 >= 28 @ 722.473 725.90/727.91 c bounds 489 >= 28 @ 722.479 725.90/727.91 c bounds 488 >= 28 @ 722.487 725.90/727.91 c bounds 487 >= 28 @ 722.495 725.90/727.91 c bounds 486 >= 28 @ 722.503 725.90/727.91 c bounds 485 >= 28 @ 722.511 725.90/727.91 c bounds 484 >= 28 @ 722.517 725.90/727.91 c bounds 483 >= 28 @ 722.525 725.90/727.91 c bounds 482 >= 28 @ 722.533 725.90/727.91 c bounds 481 >= 28 @ 722.541 725.90/727.91 c bounds 480 >= 28 @ 722.548 725.90/727.91 c bounds 479 >= 28 @ 722.556 725.90/727.91 c bounds 478 >= 28 @ 722.563 725.90/727.91 c bounds 477 >= 28 @ 722.569 725.90/727.91 c bounds 476 >= 28 @ 722.578 727.40/729.41 c bounds 475 >= 28 @ 722.585 727.40/729.41 c bounds 474 >= 28 @ 722.593 727.40/729.41 c bounds 473 >= 28 @ 722.602 727.40/729.41 c bounds 472 >= 28 @ 722.608 727.40/729.41 c bounds 471 >= 28 @ 722.616 727.40/729.41 c bounds 470 >= 28 @ 722.623 727.40/729.41 c bounds 469 >= 28 @ 722.631 727.40/729.41 c bounds 468 >= 28 @ 722.637 727.40/729.41 c bounds 467 >= 28 @ 722.644 727.40/729.41 c bounds 466 >= 28 @ 722.65 727.40/729.41 c bounds 465 >= 28 @ 722.656 727.40/729.41 c bounds 464 >= 28 @ 722.66 727.40/729.41 c bounds 463 >= 28 @ 722.666 727.40/729.41 c bounds 462 >= 28 @ 722.672 727.40/729.41 c bounds 461 >= 28 @ 722.678 727.40/729.41 c bounds 460 >= 28 @ 722.685 727.40/729.41 c bounds 459 >= 28 @ 722.69 727.40/729.41 c bounds 458 >= 28 @ 722.697 727.40/729.41 c bounds 457 >= 28 @ 722.702 727.40/729.41 c bounds 456 >= 28 @ 722.708 727.40/729.41 c bounds 455 >= 28 @ 722.717 727.40/729.41 c bounds 454 >= 28 @ 722.726 727.40/729.41 c bounds 453 >= 28 @ 722.735 727.40/729.41 c bounds 452 >= 28 @ 722.743 727.40/729.41 c bounds 451 >= 28 @ 722.751 727.40/729.41 c bounds 450 >= 28 @ 722.76 727.40/729.41 c bounds 449 >= 28 @ 722.772 727.40/729.41 c bounds 448 >= 28 @ 722.78 727.40/729.41 c bounds 447 >= 28 @ 722.786 727.40/729.41 c bounds 446 >= 28 @ 722.79 727.40/729.41 c bounds 445 >= 28 @ 722.798 727.40/729.41 c bounds 444 >= 28 @ 722.807 727.40/729.41 c bounds 443 >= 28 @ 722.816 727.40/729.41 c bounds 442 >= 28 @ 722.825 727.40/729.41 c bounds 441 >= 28 @ 722.835 727.40/729.41 c bounds 440 >= 28 @ 722.843 727.40/729.41 c bounds 439 >= 28 @ 722.849 727.40/729.41 c bounds 438 >= 28 @ 722.858 727.40/729.41 c bounds 437 >= 28 @ 722.865 727.40/729.41 c bounds 436 >= 28 @ 722.871 727.40/729.41 c bounds 435 >= 28 @ 722.879 727.40/729.41 c bounds 434 >= 28 @ 722.888 727.40/729.41 c bounds 433 >= 28 @ 722.895 727.40/729.41 c bounds 432 >= 28 @ 722.902 727.40/729.41 c bounds 431 >= 28 @ 722.909 727.40/729.41 c bounds 430 >= 28 @ 722.913 727.40/729.41 c bounds 429 >= 28 @ 722.923 727.40/729.41 c bounds 428 >= 28 @ 722.93 727.40/729.41 c bounds 427 >= 28 @ 722.938 727.40/729.41 c bounds 426 >= 28 @ 722.949 727.40/729.41 c bounds 425 >= 28 @ 722.97 727.40/729.41 c bounds 424 >= 28 @ 722.978 727.40/729.41 c bounds 423 >= 28 @ 722.985 727.40/729.41 c bounds 422 >= 28 @ 722.997 727.40/729.41 c bounds 421 >= 28 @ 723.005 727.40/729.41 c bounds 420 >= 28 @ 723.013 727.40/729.41 c bounds 419 >= 28 @ 723.019 727.40/729.41 c bounds 418 >= 28 @ 723.025 727.40/729.41 c bounds 417 >= 28 @ 723.036 727.40/729.41 c bounds 416 >= 28 @ 723.044 727.40/729.41 c bounds 415 >= 28 @ 723.052 727.40/729.41 c bounds 414 >= 28 @ 723.062 727.40/729.41 c bounds 413 >= 28 @ 723.069 727.40/729.41 c bounds 412 >= 28 @ 723.075 727.40/729.41 c bounds 411 >= 28 @ 723.085 727.40/729.41 c bounds 410 >= 28 @ 723.094 727.40/729.41 c bounds 409 >= 28 @ 723.101 727.40/729.41 c bounds 408 >= 28 @ 723.112 727.40/729.41 c bounds 407 >= 28 @ 723.119 727.40/729.41 c bounds 406 >= 28 @ 723.123 727.40/729.41 c bounds 405 >= 28 @ 723.131 727.40/729.41 c bounds 404 >= 28 @ 723.137 727.40/729.41 c bounds 403 >= 28 @ 723.146 727.40/729.41 c bounds 402 >= 28 @ 723.156 727.40/729.41 c bounds 401 >= 28 @ 723.166 727.40/729.41 c bounds 400 >= 28 @ 723.174 727.40/729.41 c bounds 399 >= 28 @ 723.182 727.40/729.41 c bounds 398 >= 28 @ 723.191 727.40/729.41 c bounds 397 >= 28 @ 723.198 727.40/729.41 c bounds 396 >= 28 @ 723.205 727.40/729.41 c bounds 395 >= 28 @ 723.213 727.40/729.41 c bounds 394 >= 28 @ 723.219 727.40/729.41 c bounds 393 >= 28 @ 723.225 727.40/729.41 c bounds 392 >= 28 @ 723.232 727.40/729.41 c bounds 391 >= 28 @ 723.24 727.40/729.41 c bounds 390 >= 28 @ 723.244 727.40/729.41 c bounds 389 >= 28 @ 723.25 727.40/729.41 c bounds 388 >= 28 @ 723.255 727.40/729.41 c bounds 387 >= 28 @ 723.261 727.40/729.41 c bounds 386 >= 28 @ 723.269 727.40/729.41 c bounds 385 >= 28 @ 723.276 727.40/729.41 c bounds 384 >= 28 @ 723.28 727.40/729.41 c bounds 383 >= 28 @ 723.286 727.40/729.41 c bounds 382 >= 28 @ 723.289 727.40/729.41 c bounds 381 >= 28 @ 723.294 727.40/729.41 c bounds 380 >= 28 @ 723.299 727.40/729.41 c bounds 379 >= 28 @ 723.307 727.40/729.41 c bounds 378 >= 28 @ 723.313 727.40/729.41 c bounds 377 >= 28 @ 723.321 727.40/729.41 c bounds 376 >= 28 @ 723.329 727.40/729.41 c bounds 375 >= 28 @ 723.334 727.40/729.41 c bounds 374 >= 28 @ 723.339 727.40/729.41 c bounds 373 >= 28 @ 723.345 727.40/729.41 c bounds 372 >= 28 @ 723.354 727.40/729.41 c bounds 371 >= 28 @ 723.36 727.40/729.41 c bounds 370 >= 28 @ 723.365 727.40/729.41 c bounds 369 >= 28 @ 723.369 727.40/729.41 c bounds 368 >= 28 @ 723.376 727.40/729.41 c bounds 367 >= 28 @ 723.38 727.40/729.41 c bounds 366 >= 28 @ 723.385 727.40/729.41 c bounds 365 >= 28 @ 723.39 727.40/729.41 c bounds 364 >= 28 @ 723.396 727.40/729.41 c bounds 363 >= 28 @ 723.399 727.40/729.41 c bounds 362 >= 28 @ 723.402 727.40/729.41 c bounds 361 >= 28 @ 723.408 727.40/729.41 c bounds 360 >= 28 @ 723.413 727.40/729.41 c bounds 359 >= 28 @ 723.419 727.40/729.41 c bounds 358 >= 28 @ 723.424 727.40/729.41 c bounds 357 >= 28 @ 723.429 727.40/729.41 c bounds 356 >= 28 @ 723.433 727.40/729.41 c bounds 355 >= 28 @ 723.438 727.40/729.41 c bounds 354 >= 28 @ 723.444 727.40/729.41 c bounds 353 >= 28 @ 723.45 727.40/729.41 c bounds 352 >= 28 @ 723.457 727.40/729.41 c bounds 351 >= 28 @ 723.465 727.40/729.41 c bounds 350 >= 28 @ 723.47 727.40/729.41 c bounds 349 >= 28 @ 723.476 727.40/729.41 c bounds 348 >= 28 @ 723.483 727.40/729.41 c bounds 347 >= 28 @ 723.489 727.40/729.41 c bounds 346 >= 28 @ 723.493 727.40/729.41 c bounds 345 >= 28 @ 723.5 727.40/729.41 c bounds 344 >= 28 @ 723.507 727.40/729.41 c bounds 343 >= 28 @ 723.512 727.40/729.41 c bounds 342 >= 28 @ 723.518 727.40/729.41 c bounds 341 >= 28 @ 723.524 727.40/729.41 c bounds 340 >= 28 @ 723.529 727.40/729.41 c bounds 339 >= 28 @ 723.536 727.40/729.41 c bounds 338 >= 28 @ 723.539 727.40/729.41 c bounds 337 >= 28 @ 723.546 727.40/729.41 c bounds 336 >= 28 @ 723.555 727.40/729.41 c bounds 335 >= 28 @ 723.562 729.10/731.15 c bounds 334 >= 28 @ 723.57 729.10/731.15 c bounds 333 >= 28 @ 723.575 729.10/731.15 c bounds 332 >= 28 @ 723.578 729.10/731.15 c bounds 331 >= 28 @ 723.585 729.10/731.15 c bounds 330 >= 28 @ 723.59 729.10/731.15 c bounds 329 >= 28 @ 723.595 729.10/731.15 c bounds 328 >= 28 @ 723.601 729.10/731.15 c bounds 327 >= 28 @ 723.605 729.10/731.15 c bounds 326 >= 28 @ 723.612 729.10/731.15 c bounds 325 >= 28 @ 723.617 729.10/731.15 c bounds 324 >= 28 @ 723.625 729.10/731.15 c bounds 323 >= 28 @ 723.632 729.10/731.15 c bounds 322 >= 28 @ 723.635 729.10/731.15 c bounds 321 >= 28 @ 723.641 729.10/731.15 c bounds 320 >= 28 @ 723.646 729.10/731.15 c bounds 319 >= 28 @ 723.652 729.10/731.15 c bounds 318 >= 28 @ 723.657 729.10/731.15 c bounds 317 >= 28 @ 723.664 729.10/731.15 c bounds 316 >= 28 @ 723.67 729.10/731.15 c bounds 315 >= 28 @ 723.676 729.10/731.15 c bounds 314 >= 28 @ 723.68 729.10/731.15 c bounds 313 >= 28 @ 723.686 729.10/731.15 c bounds 312 >= 28 @ 723.692 729.10/731.15 c bounds 311 >= 28 @ 723.698 729.10/731.15 c bounds 310 >= 28 @ 723.703 729.10/731.15 c bounds 309 >= 28 @ 723.709 729.10/731.15 c bounds 308 >= 28 @ 723.713 729.10/731.15 c bounds 307 >= 28 @ 723.719 729.10/731.15 c bounds 306 >= 28 @ 723.724 729.10/731.15 c bounds 305 >= 28 @ 723.729 729.10/731.15 c bounds 304 >= 28 @ 723.735 729.10/731.15 c bounds 303 >= 28 @ 723.738 729.10/731.15 c bounds 302 >= 28 @ 723.742 729.10/731.15 c bounds 301 >= 28 @ 723.745 729.10/731.15 c bounds 300 >= 28 @ 723.749 729.10/731.15 c bounds 299 >= 28 @ 723.754 729.10/731.15 c bounds 298 >= 28 @ 723.758 729.10/731.15 c bounds 297 >= 28 @ 723.769 729.10/731.15 c bounds 296 >= 28 @ 723.775 729.10/731.15 c bounds 295 >= 28 @ 723.787 729.10/731.15 c bounds 294 >= 28 @ 723.793 729.10/731.15 c bounds 293 >= 28 @ 723.801 729.10/731.15 c bounds 292 >= 28 @ 723.807 729.10/731.15 c bounds 291 >= 28 @ 723.815 729.10/731.15 c bounds 290 >= 28 @ 723.819 729.10/731.15 c bounds 289 >= 28 @ 723.826 729.10/731.15 c bounds 288 >= 28 @ 723.831 729.10/731.15 c bounds 287 >= 28 @ 723.838 729.10/731.15 c bounds 286 >= 28 @ 723.843 729.10/731.15 c bounds 285 >= 28 @ 723.849 729.10/731.15 c bounds 284 >= 28 @ 723.853 729.10/731.15 c bounds 283 >= 28 @ 723.859 729.10/731.15 c bounds 282 >= 28 @ 723.864 729.10/731.15 c bounds 281 >= 28 @ 723.87 729.10/731.15 c bounds 280 >= 28 @ 723.876 729.10/731.15 c bounds 279 >= 28 @ 723.883 729.10/731.15 c bounds 278 >= 28 @ 723.888 729.10/731.15 c bounds 277 >= 28 @ 723.895 729.10/731.15 c bounds 276 >= 28 @ 723.902 729.10/731.15 c bounds 275 >= 28 @ 723.907 729.10/731.15 c bounds 274 >= 28 @ 723.911 729.10/731.15 c bounds 273 >= 28 @ 723.918 729.10/731.15 c bounds 272 >= 28 @ 723.924 729.10/731.15 c bounds 271 >= 28 @ 723.933 729.10/731.15 c bounds 270 >= 28 @ 723.939 729.10/731.15 c bounds 269 >= 28 @ 723.945 729.10/731.15 c bounds 268 >= 28 @ 723.947 729.10/731.15 c bounds 267 >= 28 @ 723.952 729.10/731.15 c bounds 266 >= 28 @ 723.955 729.10/731.15 c bounds 265 >= 28 @ 723.959 729.10/731.15 c bounds 264 >= 28 @ 723.965 729.10/731.15 c bounds 263 >= 28 @ 723.969 729.10/731.15 c bounds 262 >= 28 @ 723.972 729.10/731.15 c bounds 261 >= 28 @ 723.978 729.10/731.15 c bounds 260 >= 28 @ 723.982 729.10/731.15 c bounds 259 >= 28 @ 723.989 729.10/731.15 c bounds 258 >= 28 @ 723.995 729.10/731.15 c bounds 257 >= 28 @ 724.001 729.10/731.15 c bounds 256 >= 28 @ 724.007 729.10/731.15 c bounds 255 >= 28 @ 724.013 729.10/731.15 c bounds 254 >= 28 @ 724.019 729.10/731.15 c bounds 253 >= 28 @ 724.024 729.10/731.15 c bounds 252 >= 28 @ 724.03 729.10/731.15 c bounds 251 >= 28 @ 724.033 729.10/731.15 c bounds 250 >= 28 @ 724.039 729.10/731.15 c bounds 249 >= 28 @ 724.046 729.10/731.15 c bounds 248 >= 28 @ 724.053 729.10/731.15 c bounds 247 >= 28 @ 724.061 729.10/731.15 c bounds 246 >= 28 @ 724.07 729.10/731.15 c bounds 245 >= 28 @ 724.078 729.10/731.15 c bounds 244 >= 28 @ 724.087 729.10/731.15 c bounds 243 >= 28 @ 724.091 729.10/731.15 c bounds 242 >= 28 @ 724.108 729.10/731.15 c bounds 241 >= 28 @ 724.124 729.10/731.15 c bounds 240 >= 28 @ 724.134 729.10/731.15 c bounds 239 >= 28 @ 724.159 729.10/731.15 c bounds 238 >= 28 @ 724.184 729.10/731.15 c bounds 237 >= 28 @ 724.198 729.10/731.15 c bounds 236 >= 28 @ 724.229 729.10/731.15 c bounds 235 >= 28 @ 724.254 729.10/731.15 c bounds 234 >= 28 @ 724.282 729.10/731.15 c bounds 233 >= 28 @ 724.296 729.10/731.15 c bounds 232 >= 28 @ 724.309 729.10/731.15 c bounds 231 >= 28 @ 724.32 729.10/731.15 c bounds 230 >= 28 @ 724.327 729.10/731.15 c bounds 229 >= 28 @ 724.334 729.10/731.15 c bounds 228 >= 28 @ 724.343 729.10/731.15 c bounds 227 >= 28 @ 724.354 729.10/731.15 c bounds 226 >= 28 @ 724.362 729.10/731.15 c bounds 225 >= 28 @ 724.369 729.10/731.15 c bounds 224 >= 28 @ 724.379 729.10/731.15 c bounds 223 >= 28 @ 724.389 729.10/731.15 c bounds 222 >= 28 @ 724.396 729.10/731.15 c bounds 221 >= 28 @ 724.404 729.10/731.15 c bounds 220 >= 28 @ 724.412 729.10/731.15 c bounds 219 >= 28 @ 724.419 729.10/731.15 c bounds 218 >= 28 @ 724.425 729.10/731.15 c bounds 217 >= 28 @ 724.435 729.10/731.15 c bounds 216 >= 28 @ 724.443 729.10/731.15 c bounds 215 >= 28 @ 724.45 729.10/731.15 c bounds 214 >= 28 @ 724.455 729.10/731.15 c bounds 213 >= 28 @ 724.462 729.10/731.15 c bounds 212 >= 28 @ 724.467 729.10/731.15 c bounds 211 >= 28 @ 724.482 729.10/731.15 c bounds 210 >= 28 @ 724.499 729.10/731.15 c bounds 209 >= 28 @ 724.517 729.10/731.15 c bounds 208 >= 28 @ 724.525 729.10/731.15 c bounds 207 >= 28 @ 724.548 729.10/731.15 c bounds 206 >= 28 @ 724.561 729.10/731.15 c bounds 205 >= 28 @ 724.577 729.10/731.15 c bounds 204 >= 28 @ 724.588 729.10/731.15 c bounds 203 >= 28 @ 724.6 729.10/731.15 c bounds 202 >= 28 @ 724.614 729.10/731.15 c bounds 201 >= 28 @ 724.629 729.10/731.15 c bounds 200 >= 28 @ 724.64 729.10/731.15 c bounds 199 >= 28 @ 724.65 729.10/731.15 c bounds 198 >= 28 @ 724.659 729.10/731.15 c bounds 197 >= 28 @ 724.675 729.10/731.15 c bounds 196 >= 28 @ 724.682 729.10/731.15 c bounds 195 >= 28 @ 724.689 729.10/731.15 c bounds 194 >= 28 @ 724.696 729.10/731.15 c bounds 193 >= 28 @ 724.703 730.29/732.38 c bounds 192 >= 28 @ 724.706 730.29/732.38 c bounds 191 >= 28 @ 724.711 730.29/732.38 c bounds 190 >= 28 @ 724.715 730.29/732.38 c bounds 189 >= 28 @ 724.723 730.29/732.38 c bounds 188 >= 28 @ 724.729 730.29/732.38 c bounds 187 >= 28 @ 724.738 730.29/732.38 c bounds 186 >= 28 @ 724.749 730.29/732.38 c bounds 185 >= 28 @ 724.757 730.29/732.38 c bounds 184 >= 28 @ 724.768 730.29/732.38 c bounds 183 >= 28 @ 724.775 730.29/732.38 c bounds 182 >= 28 @ 724.783 730.29/732.38 c bounds 181 >= 28 @ 724.793 730.29/732.38 c bounds 180 >= 28 @ 724.802 730.29/732.38 c bounds 179 >= 28 @ 724.812 730.29/732.38 c bounds 178 >= 28 @ 724.821 730.29/732.38 c bounds 177 >= 28 @ 724.827 730.29/732.38 c bounds 176 >= 28 @ 724.833 730.29/732.38 c bounds 175 >= 28 @ 724.837 730.29/732.38 c bounds 174 >= 28 @ 724.844 730.29/732.38 c bounds 173 >= 28 @ 724.848 730.29/732.38 c bounds 172 >= 28 @ 724.853 730.29/732.38 c bounds 171 >= 28 @ 724.858 730.29/732.38 c bounds 170 >= 28 @ 724.863 730.29/732.38 c bounds 169 >= 28 @ 724.868 730.29/732.38 c bounds 168 >= 28 @ 724.875 730.29/732.38 c bounds 167 >= 28 @ 724.878 730.29/732.38 c bounds 166 >= 28 @ 724.885 730.29/732.38 c bounds 165 >= 28 @ 724.89 730.29/732.38 c bounds 164 >= 28 @ 724.895 730.29/732.38 c bounds 163 >= 28 @ 724.899 730.29/732.38 c bounds 162 >= 28 @ 724.904 730.29/732.38 c bounds 161 >= 28 @ 724.91 730.29/732.38 c bounds 160 >= 28 @ 724.916 730.29/732.38 c bounds 159 >= 28 @ 724.92 730.29/732.38 c bounds 158 >= 28 @ 724.924 730.29/732.38 c bounds 157 >= 28 @ 724.929 730.29/732.38 c bounds 156 >= 28 @ 724.935 730.29/732.38 c bounds 155 >= 28 @ 724.941 730.29/732.38 c bounds 154 >= 28 @ 724.946 730.29/732.38 c bounds 153 >= 28 @ 724.951 730.29/732.38 c bounds 152 >= 28 @ 724.954 730.29/732.38 c bounds 151 >= 28 @ 724.957 730.29/732.38 c bounds 150 >= 28 @ 724.96 730.29/732.38 c bounds 149 >= 28 @ 724.965 730.29/732.38 c bounds 148 >= 28 @ 724.972 730.29/732.38 c bounds 147 >= 28 @ 724.976 730.29/732.38 c bounds 146 >= 28 @ 724.98 730.29/732.38 c bounds 145 >= 28 @ 724.985 730.29/732.38 c bounds 144 >= 28 @ 724.988 730.29/732.38 c bounds 143 >= 28 @ 724.99 730.29/732.38 c bounds 142 >= 28 @ 724.994 730.29/732.38 c bounds 141 >= 28 @ 724.998 730.29/732.38 c bounds 140 >= 28 @ 725.003 730.29/732.38 c bounds 139 >= 28 @ 725.009 730.29/732.38 c bounds 138 >= 28 @ 725.013 730.29/732.38 c bounds 137 >= 28 @ 725.018 730.29/732.38 c bounds 136 >= 28 @ 725.021 730.29/732.38 c bounds 135 >= 28 @ 725.026 730.29/732.38 c bounds 134 >= 28 @ 725.031 730.29/732.38 c bounds 133 >= 28 @ 725.035 730.29/732.38 c bounds 132 >= 28 @ 725.038 730.29/732.38 c bounds 131 >= 28 @ 725.043 730.29/732.38 c bounds 130 >= 28 @ 725.047 730.29/732.38 c bounds 129 >= 28 @ 725.051 730.29/732.38 c bounds 128 >= 28 @ 725.055 730.29/732.38 c bounds 127 >= 28 @ 725.06 730.29/732.38 c bounds 126 >= 28 @ 725.064 730.29/732.38 c bounds 125 >= 28 @ 725.066 730.29/732.38 c bounds 124 >= 28 @ 725.071 730.29/732.38 c bounds 123 >= 28 @ 725.075 730.29/732.38 c bounds 122 >= 28 @ 725.078 730.29/732.38 c bounds 121 >= 28 @ 725.082 730.29/732.38 c bounds 120 >= 28 @ 725.086 730.29/732.38 c bounds 119 >= 28 @ 725.089 730.29/732.38 c bounds 118 >= 28 @ 725.094 730.29/732.38 c bounds 117 >= 28 @ 725.099 730.29/732.38 c bounds 116 >= 28 @ 725.103 730.29/732.38 c bounds 115 >= 28 @ 725.107 730.29/732.38 c bounds 114 >= 28 @ 725.111 730.29/732.38 c bounds 113 >= 28 @ 725.117 730.29/732.38 c bounds 112 >= 28 @ 725.124 730.29/732.38 c bounds 111 >= 28 @ 725.127 730.29/732.38 c bounds 110 >= 28 @ 725.131 730.29/732.38 c bounds 109 >= 28 @ 725.135 730.29/732.38 c bounds 108 >= 28 @ 725.141 730.29/732.38 c bounds 107 >= 28 @ 725.144 730.29/732.38 c bounds 106 >= 28 @ 725.149 730.29/732.38 c bounds 105 >= 28 @ 725.155 730.29/732.38 c bounds 104 >= 28 @ 725.16 730.29/732.38 c bounds 103 >= 28 @ 725.163 730.29/732.38 c bounds 102 >= 28 @ 725.168 730.29/732.38 c bounds 101 >= 28 @ 725.173 730.29/732.38 c bounds 100 >= 28 @ 725.179 730.29/732.38 c bounds 99 >= 28 @ 725.184 730.29/732.38 c bounds 98 >= 28 @ 725.187 730.29/732.38 c bounds 97 >= 28 @ 725.191 730.29/732.38 c bounds 96 >= 28 @ 725.196 730.29/732.38 c bounds 95 >= 28 @ 725.199 730.29/732.38 c bounds 94 >= 28 @ 725.203 730.29/732.38 c bounds 93 >= 28 @ 725.206 730.29/732.38 c bounds 92 >= 28 @ 725.211 730.29/732.38 c bounds 91 >= 28 @ 725.214 730.29/732.38 c bounds 90 >= 28 @ 725.219 730.29/732.38 c bounds 89 >= 28 @ 725.223 730.29/732.38 c bounds 88 >= 28 @ 725.228 730.29/732.38 c bounds 87 >= 28 @ 725.231 730.29/732.38 c bounds 86 >= 28 @ 725.238 730.29/732.38 c bounds 85 >= 28 @ 725.243 730.29/732.38 c bounds 84 >= 28 @ 725.248 730.29/732.38 c bounds 83 >= 28 @ 725.251 730.29/732.38 c bounds 82 >= 28 @ 725.257 730.29/732.38 c bounds 81 >= 28 @ 725.262 730.29/732.38 c bounds 80 >= 28 @ 725.265 730.29/732.38 c bounds 79 >= 28 @ 725.269 730.29/732.38 c bounds 78 >= 28 @ 725.272 730.29/732.38 c bounds 77 >= 28 @ 725.276 730.29/732.38 c bounds 76 >= 28 @ 725.281 730.29/732.38 c bounds 75 >= 28 @ 725.285 730.29/732.38 c bounds 74 >= 28 @ 725.289 730.29/732.38 c bounds 73 >= 28 @ 725.293 730.29/732.38 c bounds 72 >= 28 @ 725.298 730.29/732.38 c bounds 71 >= 28 @ 725.302 730.29/732.38 c bounds 70 >= 28 @ 725.306 730.29/732.38 c bounds 69 >= 28 @ 725.31 730.29/732.38 c bounds 68 >= 28 @ 725.313 730.29/732.38 c bounds 67 >= 28 @ 725.317 730.29/732.38 c bounds 66 >= 28 @ 725.322 730.29/732.38 c bounds 65 >= 28 @ 725.325 730.29/732.38 c bounds 64 >= 28 @ 725.33 730.29/732.38 c bounds 63 >= 28 @ 725.334 730.29/732.38 c bounds 62 >= 28 @ 725.337 730.29/732.38 c bounds 61 >= 28 @ 725.339 730.29/732.38 c bounds 60 >= 28 @ 725.341 730.29/732.38 c bounds 59 >= 28 @ 725.343 730.29/732.38 c bounds 58 >= 28 @ 725.346 730.29/732.38 c bounds 57 >= 28 @ 725.35 730.29/732.38 c bounds 56 >= 28 @ 725.354 730.29/732.38 c bounds 55 >= 28 @ 725.358 730.29/732.38 c bounds 54 >= 28 @ 725.364 730.29/732.38 c bounds 53 >= 28 @ 725.369 730.29/732.38 c bounds 52 >= 28 @ 725.378 730.29/732.38 c bounds 51 >= 28 @ 725.396 730.29/732.38 c bounds 50 >= 28 @ 725.42 730.29/732.38 c bounds 49 >= 28 @ 725.436 2989.70/2997.39 c bounds 48 >= 28 @ 725.454 2989.70/2997.39 c bounds 47 >= 28 @ 725.465 2989.70/2997.39 c bounds 46 >= 28 @ 725.479 2989.70/2997.39 c bounds 45 >= 28 @ 725.497 2989.70/2997.39 c #Conflicts: 5000 | #Constraints: 68588 2989.70/2997.39 c bounds 44 >= 28 @ 725.515 2989.70/2997.39 c bounds 43 >= 28 @ 725.528 2989.70/2997.39 c bounds 42 >= 28 @ 725.551 2989.70/2997.39 c bounds 41 >= 28 @ 725.568 2989.70/2997.39 c bounds 40 >= 28 @ 725.588 2989.70/2997.39 c bounds 39 >= 28 @ 725.596 2989.70/2997.39 c bounds 38 >= 28 @ 725.609 2989.70/2997.39 c bounds 37 >= 28 @ 725.621 2989.70/2997.39 c #Conflicts: 6000 | #Constraints: 69596 2989.70/2997.39 c INPROCESSING 2989.70/2997.39 c GARBAGE COLLECT 2989.70/2997.39 c #Conflicts: 7000 | #Constraints: 67939 2989.70/2997.39 c bounds 36 >= 28 @ 901.215 2989.70/2997.39 c #Conflicts: 8000 | #Constraints: 68940 2989.70/2997.39 c #Conflicts: 9000 | #Constraints: 69940 2989.70/2997.39 c INPROCESSING 2989.70/2997.39 c GARBAGE COLLECT 2989.70/2997.39 WSVECS04 Frhs2[26]: 6 -1.00005 0 shouldn't be 2989.70/2997.39 WSVECS04 Frhs2[3473]: 6 -1.00006 0 shouldn't be 2989.70/2997.39 WSVECS04 Frhs2[3474]: 6 -1.00006 0 shouldn't be 2989.70/2997.39 WSVECS04 Frhs2[4262]: 6 -1.00008 0 shouldn't be 3509.47/3518.40 WSVECS04 Frhs2[4]: 6 -1.00007 0 shouldn't be 3509.47/3518.40 WSVECS04 Frhs2[6]: 6 -1.00009 0 shouldn't be 3509.47/3518.40 WSVECS04 Frhs2[39]: 6 -1.00004 0 shouldn't be 3509.47/3518.40 WSVECS04 Frhs2[150]: 6 -1.00002 0 shouldn't be 3600.05/3609.20 c 3600.05/3609.20 s SATISFIABLE 3600.05/3609.20 v x1 x2 x3 x4 ~x5 x6 ~x7 ~x8 ~x9 ~x10 ~x11 x12 ~x13 ~x14 ~x15 ~x16 x17 ~x18 ~x19 x20 ~x21 ~x22 ~x23 ~x24 ~x25 x26 ~x27 ~x28 ~x29 ~x30 ~x31 x32 x33 ~x34 ~x35 ~x36 ~x37 ~x38 x39 ~x40 ~x41 ~x42 ~x43 ~x44 ~x45 x46 ~x47 x48 ~x49 ~x50 ~x51 ~x52 ~x53 ~x54 ~x55 ~x56 ~x57 ~x58 ~x59 ~x60 ~x61 ~x62 ~x63 ~x64 ~x65 ~x66 ~x67 ~x68 ~x69 ~x70 ~x71 ~x72 ~x73 ~x74 ~x75 ~x76 ~x77 ~x78 ~x79 ~x80 ~x81 ~x82 ~x83 ~x84 ~x85 ~x86 ~x87 ~x88 ~x89 ~x90 ~x91 ~x92 ~x93 ~x94 ~x95 ~x96 ~x97 ~x98 ~x99 ~x100 ~x101 ~x102 ~x103 ~x104 ~x105 ~x106 ~x107 ~x108 ~x109 ~x110 ~x111 ~x112 ~x113 ~x114 ~x115 ~x116 ~x117 ~x118 ~x119 ~x120 x121 ~x122 x123 ~x124 ~x125 ~x126 ~x127 ~x128 ~x129 ~x130 ~x131 ~x132 ~x133 ~x134 ~x135 ~x136 ~x137 ~x138 ~x139 ~x140 ~x141 ~x142 ~x143 ~x144 ~x145 ~x146 ~x147 ~x148 ~x149 ~x150 ~x151 ~x152 ~x153 ~x154 ~x155 ~x156 ~x157 ~x158 ~x159 ~x160 ~x161 ~x162 ~x163 ~x164 ~x165 ~x166 ~x167 ~x168 ~x169 ~x170 ~x171 ~x172 ~x173 ~x174 ~x175 ~x176 ~x177 ~x178 ~x179 ~x180 ~x181 ~x182 ~x183 ~x184 ~x185 ~x186 ~x187 ~x188 ~x189 ~x190 ~x191 ~x192 ~x193 ~x194 ~x195 ~x196 x197 x198 ~x199 ~x200 ~x201 ~x202 ~x203 ~x204 ~x205 ~x206 ~x207 ~x208 ~x209 ~x210 ~x211 ~x212 ~x213 ~x214 ~x215 ~x216 ~x217 ~x218 ~x219 ~x220 ~x221 ~x222 ~x223 ~x224 ~x225 ~x226 ~x227 ~x228 ~x229 ~x230 ~x231 ~x232 ~x233 ~x234 ~x235 ~x236 ~x237 ~x238 ~x239 ~x240 ~x241 ~x242 ~x243 ~x244 ~x245 ~x246 ~x247 ~x248 ~x249 ~x250 ~x251 ~x252 ~x253 ~x254 ~x255 ~x256 ~x257 x258 ~x259 ~x260 ~x261 ~x262 ~x263 ~x264 ~x265 ~x266 ~x267 ~x268 ~x269 ~x270 ~x271 ~x272 ~x273 ~x274 ~x275 ~x276 ~x277 ~x278 ~x279 ~x280 ~x281 ~x282 ~x283 ~x284 ~x285 ~x286 ~x287 x288 ~x289 ~x290 ~x291 ~x292 ~x293 ~x294 ~x295 ~x296 ~x297 ~x298 ~x299 ~x300 ~x301 ~x302 ~x303 ~x304 ~x305 ~x306 ~x307 ~x308 ~x309 ~x310 ~x311 ~x312 ~x313 ~x314 ~x315 ~x316 ~x317 ~x318 x319 x320 ~x321 ~x322 ~x323 ~x324 ~x325 ~x326 ~x327 ~x328 ~x329 ~x330 ~x331 ~x332 ~x333 ~x334 ~x335 ~x336 ~x337 ~x338 ~x339 ~x340 ~x341 ~x342 ~x343 ~x344 ~x345 ~x346 ~x347 ~x348 ~x349 ~x350 ~x351 ~x352 ~x353 ~x354 ~x355 ~x356 ~x357 ~x358 ~x359 ~x360 ~x361 ~x362 ~x363 ~x364 ~x365 ~x366 ~x367 ~x368 ~x369 ~x370 ~x371 ~x372 ~x373 ~x374 ~x375 ~x376 x377 ~x378 ~x379 ~x380 ~x381 ~x382 ~x383 ~x384 ~x385 ~x386 ~x387 ~x388 ~x389 ~x390 ~x391 ~x392 ~x393 ~x394 ~x395 ~x396 ~x397 ~x398 ~x399 ~x400 ~x401 ~x402 ~x403 ~x404 ~x405 ~x406 x407 ~x408 ~x409 ~x410 ~x411 ~x412 ~x413 ~x414 ~x415 ~x416 ~x417 ~x418 ~x419 ~x420 ~x421 ~x422 ~x423 ~x424 ~x425 ~x426 ~x427 ~x428 ~x429 ~x430 ~x431 ~x432 ~x433 ~x434 ~x435 ~x436 ~x437 x438 ~x439 ~x440 ~x441 ~x442 ~x443 ~x444 ~x445 ~x446 ~x447 ~x448 ~x449 ~x450 ~x451 ~x452 ~x453 ~x454 ~x455 ~x456 ~x457 ~x458 ~x459 ~x460 ~x461 ~x462 ~x463 ~x464 ~x465 ~x466 ~x467 ~x468 ~x469 ~x470 ~x471 ~x472 ~x473 ~x474 ~x475 ~x476 ~x477 ~x478 ~x479 ~x480 ~x481 ~x482 ~x483 ~x484 ~x485 ~x486 ~x487 ~x488 ~x489 ~x490 ~x491 ~x492 ~x493 ~x494 ~x495 ~x496 ~x497 ~x498 ~x499 ~x500 ~x501 ~x502 ~x503 ~x504 ~x505 ~x506 ~x507 ~x508 ~x509 ~x510 ~x511 ~x512 ~x513 ~x514 ~x515 ~x516 ~x517 ~x518 ~x519 ~x520 ~x521 ~x522 ~x523 ~x524 ~x525 ~x526 ~x527 ~x528 ~x529 ~x530 ~x531 ~x532 ~x533 ~x534 ~x535 ~x536 ~x537 ~x538 ~x539 ~x540 ~x541 ~x542 ~x543 ~x544 ~x545 ~x546 ~x547 ~x548 ~x549 ~x550 ~x551 ~x552 ~x553 ~x554 ~x555 ~x556 ~x557 ~x558 ~x559 ~x560 ~x561 ~x562 ~x563 ~x564 ~x565 ~x566 ~x567 ~x568 ~x569 ~x570 ~x571 ~x572 ~x573 ~x574 ~x575 ~x576 ~x577 ~x578 ~x579 ~x580 ~x581 ~x582 ~x583 ~x584 ~x585 ~x586 ~x587 ~x588 ~x589 ~x590 ~x591 ~x592 ~x593 ~x594 ~x595 ~x596 ~x597 ~x598 ~x599 ~x600 ~x601 ~x602 ~x603 ~x604 ~x605 ~x606 ~x607 ~x608 ~x609 ~x610 ~x611 ~x612 ~x613 ~x614 ~x615 ~x616 ~x617 ~x618 ~x619 ~x620 ~x621 ~x622 ~x623 ~x624 ~x625 ~x626 ~x627 ~x628 ~x629 ~x630 ~x631 ~x632 ~x633 ~x634 ~x635 ~x636 ~x637 ~x638 ~x639 ~x640 ~x641 ~x642 ~x643 ~x644 ~x645 ~x646 ~x647 ~x648 ~x649 ~x650 ~x651 ~x652 ~x653 ~x654 ~x655 ~x656 ~x657 ~x658 ~x659 ~x660 ~x661 ~x662 ~x663 ~x664 ~x665 ~x666 ~x667 ~x668 ~x669 ~x670 ~x671 ~x672 ~x673 ~x674 ~x675 ~x676 ~x677 ~x678 ~x679 x680 ~x681 ~x682 ~x683 ~x684 ~x685 ~x686 ~x687 ~x688 ~x689 ~x690 ~x691 ~x692 ~x693 ~x694 ~x695 ~x696 ~x697 ~x698 ~x699 ~x700 ~x701 ~x702 ~x703 ~x704 ~x705 ~x706 ~x707 ~x708 ~x709 ~x710 ~x711 ~x712 ~x713 ~x714 ~x715 ~x716 ~x717 ~x718 ~x719 ~x720 ~x721 ~x722 ~x723 ~x724 ~x725 ~x726 ~x727 ~x728 ~x729 ~x730 ~x731 ~x732 ~x733 ~x734 ~x735 ~x736 ~x737 ~x738 ~x739 ~x740 ~x741 ~x742 ~x743 ~x744 ~x745 ~x746 ~x747 ~x748 ~x749 ~x750 ~x751 ~x752 ~x753 ~x754 ~x755 ~x756 ~x757 ~x758 ~x759 ~x760 ~x761 ~x762 ~x763 ~x764 ~x765 ~x766 ~x767 ~x768 ~x769 ~x770 ~x771 ~x772 ~x773 ~x774 ~x775 ~x776 ~x777 ~x778 ~x779 ~x780 ~x781 ~x782 ~x783 ~x784 ~x785 ~x786 ~x787 ~x788 ~x789 ~x790 ~x791 ~x792 ~x793 ~x794 ~x795 ~x796 ~x797 ~x798 ~x799 ~x800 ~x801 ~x802 ~x803 ~x804 ~x805 ~x806 ~x807 ~x808 ~x809 ~x810 ~x811 ~x812 ~x813 ~x814 ~x815 ~x816 ~x817 ~x818 ~x819 ~x820 ~x821 ~x822 ~x823 ~x824 ~x825 ~x826 ~x827 ~x828 ~x829 ~x830 ~x831 ~x832 ~x833 ~x834 ~x835 ~x836 ~x837 ~x838 ~x839 ~x840 ~x841 ~x842 ~x843 ~x844 ~x845 ~x846 ~x847 ~x848 ~x849 ~x850 ~x851 ~x852 ~x853 ~x854 ~x855 ~x856 ~x857 ~x858 ~x859 ~x860 ~x861 ~x862 ~x863 ~x864 ~x865 ~x866 ~x867 ~x868 ~x869 ~x870 ~x871 ~x872 ~x873 ~x874 ~x875 ~x876 ~x877 ~x878 ~x879 ~x880 ~x881 ~x882 ~x883 ~x884 ~x885 ~x886 ~x887 ~x888 ~x889 ~x890 ~x891 ~x892 ~x893 ~x894 ~x895 ~x896 ~x897 ~x898 ~x899 ~x900 ~x901 ~x902 ~x903 ~x904 ~x905 ~x906 ~x907 ~x908 ~x909 ~x910 ~x911 ~x912 ~x913 ~x914 ~x915 ~x916 ~x917 ~x918 ~x919 ~x920 ~x921 ~x922 ~x923 ~x924 ~x925 ~x926 ~x927 ~x928 ~x929 ~x930 ~x931 ~x932 ~x933 ~x934 ~x935 ~x936 ~x937 ~x938 ~x939 ~x940 ~x941 ~x942 ~x943 ~x944 ~x945 ~x946 ~x947 ~x948 ~x949 ~x950 ~x951 ~x952 ~x953 ~x954 ~x955 ~x956 ~x957 ~x958 ~x959 ~x960 ~x961 ~x962 ~x963 ~x964 ~x965 ~x966 ~x967 ~x968 ~x969 ~x970 ~x971 ~x972 ~x973 ~x974 ~x975 ~x976 ~x977 ~x978 ~x979 ~x980 ~x981 ~x982 ~x983 ~x984 ~x985 ~x986 ~x987 ~x988 ~x989 ~x990 ~x991 ~x992 ~x993 ~x994 ~x995 ~x996 ~x997 ~x998 ~x999 ~x1000 ~x1001 ~x1002 ~x1003 ~x1004 ~x1005 ~x1006 ~x1007 ~x1008 ~x1009 ~x1010 ~x1011 ~x1012 ~x1013 ~x1014 ~x1015 ~x1016 ~x1017 ~x1018 ~x1019 ~x1020 ~x1021 ~x1022 ~x1023 ~x1024 ~x1025 ~x1026 ~x1027 ~x1028 ~x1029 ~x1030 ~x1031 ~x1032 ~x1033 ~x1034 ~x1035 ~x1036 ~x1037 ~x1038 ~x1039 ~x1040 ~x1041 ~x1042 ~x1043 ~x1044 ~x1045 ~x1046 ~x1047 ~x1048 ~x1049 ~x1050 ~x1051 ~x1052 ~x1053 ~x1054 ~x1055 ~x1056 ~x1057 ~x1058 ~x1059 ~x1060 ~x1061 ~x1062 ~x1063 ~x1064 ~x1065 ~x1066 ~x1067 ~x1068 ~x1069 ~x1070 ~x1071 ~x1072 ~x1073 ~x1074 ~x1075 ~x1076 ~x1077 ~x1078 ~x1079 ~x1080 ~x1081 ~x1082 ~x1083 ~x1084 ~x1085 ~x1086 ~x1087 ~x1088 ~x1089 ~x1090 ~x1091 ~x1092 ~x1093 ~x1094 ~x1095 ~x1096 ~x1097 ~x1098 ~x1099 ~x1100 ~x1101 ~x1102 ~x1103 ~x1104 ~x1105 ~x1106 ~x1107 ~x1108 ~x1109 ~x1110 ~x1111 ~x1112 ~x1113 ~x1114 ~x1115 ~x1116 ~x1117 ~x1118 ~x1119 ~x1120 ~x1121 ~x1122 ~x1123 ~x1124 ~x1125 ~x1126 ~x1127 ~x1128 ~x1129 ~x1130 ~x1131 ~x1132 ~x1133 ~x1134 ~x1135 ~x1136 ~x1137 ~x1138 ~x1139 ~x1140 ~x1141 ~x1142 ~x1143 ~x1144 ~x1145 ~x1146 ~x1147 ~x1148 ~x1149 ~x1150 ~x1151 ~x1152 ~x1153 ~x1154 ~x1155 ~x1156 ~x1157 ~x1158 ~x1159 ~x1160 ~x1161 ~x1162 ~x1163 ~x1164 ~x1165 ~x1166 ~x1167 ~x1168 ~x1169 ~x1170 ~x1171 ~x1172 ~x1173 ~x1174 ~x1175 ~x1176 ~x1177 ~x1178 ~x1179 ~x1180 ~x1181 ~x1182 ~x1183 ~x1184 ~x1185 ~x1186 ~x1187 ~x1188 ~x1189 ~x1190 ~x1191 ~x1192 ~x1193 ~x1194 ~x1195 ~x1196 ~x1197 ~x1198 ~x1199 ~x1200 ~x1201 ~x1202 ~x1203 ~x1204 ~x1205 ~x1206 ~x1207 ~x1208 ~x1209 ~x1210 ~x1211 ~x1212 ~x1213 ~x1214 ~x1215 ~x1216 ~x1217 ~x1218 ~x1219 ~x1220 ~x1221 ~x1222 ~x1223 ~x1224 ~x1225 ~x1226 ~x1227 ~x1228 ~x1229 ~x1230 ~x1231 ~x1232 ~x1233 ~x1234 ~x1235 ~x1236 ~x1237 ~x1238 ~x1239 ~x1240 ~x1241 ~x1242 ~x1243 ~x1244 ~x1245 ~x1246 ~x1247 ~x1248 ~x1249 ~x1250 ~x1251 ~x1252 ~x1253 ~x1254 ~x1255 ~x1256 ~x1257 ~x1258 ~x1259 ~x1260 ~x1261 ~x1262 ~x1263 ~x1264 ~x1265 ~x1266 ~x1267 ~x1268 ~x1269 ~x1270 ~x1271 ~x1272 ~x1273 ~x1274 ~x1275 ~x1276 ~x1277 ~x1278 ~x1279 ~x1280 ~x1281 ~x1282 ~x1283 ~x1284 ~x1285 ~x1286 ~x1287 ~x1288 ~x1289 ~x1290 ~x1291 ~x1292 ~x1293 ~x1294 ~x1295 ~x1296 ~x1297 ~x1298 ~x1299 ~x1300 ~x1301 ~x1302 ~x1303 ~x1304 ~x1305 ~x1306 ~x1307 ~x1308 ~x1309 ~x1310 ~x1311 ~x1312 ~x1313 ~x1314 ~x1315 ~x1316 ~x1317 ~x1318 ~x1319 ~x1320 ~x1321 ~x1322 ~x1323 ~x1324 ~x1325 ~x1326 ~x1327 ~x1328 ~x1329 ~x1330 ~x1331 ~x1332 ~x1333 ~x1334 ~x1335 ~x1336 ~x1337 ~x1338 ~x1339 ~x1340 ~x1341 ~x1342 ~x1343 ~x1344 ~x1345 ~x1346 ~x1347 ~x1348 ~x1349 ~x1350 ~x1351 ~x1352 ~x1353 ~x1354 ~x1355 ~x1356 ~x1357 ~x1358 ~x1359 ~x1360 ~x1361 ~x1362 ~x1363 ~x1364 ~x1365 ~x1366 ~x1367 ~x1368 ~x1369 ~x1370 ~x1371 ~x1372 ~x1373 ~x1374 ~x1375 ~x1376 ~x1377 ~x1378 ~x1379 ~x1380 ~x1381 ~x1382 ~x1383 ~x1384 ~x1385 ~x1386 ~x1387 ~x1388 ~x1389 ~x1390 ~x1391 ~x1392 ~x1393 ~x1394 ~x1395 ~x1396 ~x1397 ~x1398 ~x1399 ~x1400 ~x1401 ~x1402 ~x1403 ~x1404 ~x1405 ~x1406 ~x1407 ~x1408 ~x1409 ~x1410 ~x1411 ~x1412 ~x1413 ~x1414 ~x1415 ~x1416 ~x1417 ~x1418 ~x1419 ~x1420 ~x1421 ~x1422 ~x1423 ~x1424 ~x1425 ~x1426 ~x1427 ~x1428 ~x1429 ~x1430 ~x1431 ~x1432 ~x1433 ~x1434 ~x1435 ~x1436 ~x1437 ~x1438 ~x1439 ~x1440 ~x1441 ~x1442 ~x1443 ~x1444 ~x1445 ~x1446 ~x1447 ~x1448 ~x1449 ~x1450 ~x1451 ~x1452 ~x1453 ~x1454 ~x1455 ~x1456 ~x1457 ~x1458 ~x1459 ~x1460 ~x1461 ~x1462 ~x1463 ~x1464 ~x1465 ~x1466 ~x1467 ~x1468 ~x1469 ~x1470 ~x1471 ~x1472 ~x1473 ~x1474 ~x1475 ~x1476 ~x1477 ~x1478 ~x1479 ~x1480 ~x1481 ~x1482 ~x1483 ~x1484 ~x1485 ~x1486 ~x1487 ~x1488 ~x1489 ~x1490 ~x1491 ~x1492 ~x1493 ~x1494 ~x1495 ~x1496 ~x1497 ~x1498 ~x1499 ~x1500 ~x1501 ~x1502 ~x1503 ~x1504 ~x1505 ~x1506 ~x1507 ~x1508 ~x1509 ~x1510 ~x1511 ~x1512 ~x1513 ~x1514 ~x1515 ~x1516 ~x1517 ~x1518 ~x1519 ~x1520 ~x1521 ~x1522 ~x1523 ~x1524 ~x1525 ~x1526 ~x1527 ~x1528 ~x1529 ~x1530 ~x1531 ~x1532 ~x1533 ~x1534 ~x1535 ~x1536 ~x1537 ~x1538 ~x1539 ~x1540 ~x1541 ~x1542 ~x1543 ~x1544 ~x1545 ~x1546 ~x1547 ~x1548 ~x1549 ~x1550 ~x1551 ~x1552 ~x1553 ~x1554 ~x1555 ~x1556 ~x1557 ~x1558 ~x1559 ~x1560 ~x1561 ~x1562 ~x1563 ~x1564 ~x1565 ~x1566 ~x1567 ~x1568 ~x1569 ~x1570 ~x1571 ~x1572 ~x1573 ~x1574 ~x1575 ~x1576 ~x1577 ~x1578 ~x1579 ~x1580 ~x1581 ~x1582 ~x1583 ~x1584 ~x1585 ~x1586 ~x1587 ~x1588 ~x1589 ~x1590 ~x1591 ~x1592 ~x1593 ~x1594 ~x1595 ~x1596 ~x1597 ~x1598 ~x1599 ~x1600 ~x1601 ~x1602 ~x1603 ~x1604 ~x1605 ~x1606 ~x1607 ~x1608 ~x1609 ~x1610 ~x1611 ~x1612 ~x1613 ~x1614 ~x1615 ~x1616 ~x1617 ~x1618 ~x1619 ~x1620 ~x1621 ~x1622 ~x1623 ~x1624 ~x1625 ~x1626 ~x1627 ~x1628 ~x1629 ~x1630 ~x1631 ~x1632 ~x1633 ~x1634 ~x1635 ~x1636 ~x1637 ~x1638 ~x1639 ~x1640 ~x1641 ~x1642 ~x1643 ~x1644 ~x1645 ~x1646 ~x1647 ~x1648 ~x1649 ~x1650 ~x1651 ~x1652 ~x1653 ~x1654 ~x1655 ~x1656 ~x1657 ~x1658 ~x1659 ~x1660 ~x1661 ~x1662 ~x1663 ~x1664 ~x1665 ~x1666 ~x1667 ~x1668 ~x1669 ~x1670 ~x1671 ~x1672 ~x1673 ~x1674 ~x1675 ~x1676 ~x1677 ~x1678 ~x1679 ~x1680 ~x1681 ~x1682 ~x1683 ~x1684 ~x1685 ~x1686 ~x1687 ~x1688 ~x1689 ~x1690 ~x1691 ~x1692 ~x1693 ~x1694 ~x1695 ~x1696 ~x1697 ~x1698 ~x1699 ~x1700 ~x1701 ~x1702 ~x1703 ~x1704 ~x1705 ~x1706 ~x1707 ~x1708 ~x1709 ~x1710 ~x1711 ~x1712 ~x1713 ~x1714 ~x1715 ~x1716 ~x1717 ~x1718 ~x1719 ~x1720 ~x1721 ~x1722 ~x1723 ~x1724 ~x1725 ~x1726 ~x1727 ~x1728 ~x1729 ~x1730 ~x1731 ~x1732 ~x1733 ~x1734 ~x1735 ~x1736 ~x1737 ~x1738 ~x1739 ~x1740 ~x1741 ~x1742 ~x1743 ~x1744 ~x1745 ~x1746 ~x1747 ~x1748 ~x1749 ~x1750 ~x1751 ~x1752 ~x1753 ~x1754 ~x1755 ~x1756 ~x1757 ~x1758 ~x1759 ~x1760 ~x1761 ~x1762 ~x1763 ~x1764 ~x1765 ~x1766 ~x1767 ~x1768 ~x1769 ~x1770 ~x1771 ~x1772 ~x1773 ~x1774 ~x1775 ~x1776 ~x1777 ~x1778 ~x1779 ~x1780 ~x1781 ~x1782 ~x1783 ~x1784 ~x1785 ~x1786 ~x1787 ~x1788 ~x1789 ~x1790 ~x1791 ~x1792 ~x1793 ~x1794 ~x1795 ~x1796 ~x1797 ~x1798 ~x1799 ~x1800 ~x1801 ~x1802 ~x1803 ~x1804 ~x1805 ~x1806 ~x1807 ~x1808 ~x1809 ~x1810 ~x1811 ~x1812 ~x1813 ~x1814 ~x1815 ~x1816 ~x1817 ~x1818 ~x1819 ~x1820 ~x1821 ~x1822 ~x1823 ~x1824 ~x1825 ~x1826 ~x1827 ~x1828 ~x1829 ~x1830 ~x1831 ~x1832 ~x1833 ~x1834 ~x1835 ~x1836 ~x1837 ~x1838 ~x1839 ~x1840 ~x1841 ~x1842 ~x1843 ~x1844 ~x1845 ~x1846 ~x1847 ~x1848 ~x1849 ~x1850 ~x1851 ~x1852 ~x1853 ~x1854 ~x1855 ~x1856 ~x1857 ~x1858 ~x1859 ~x1860 ~x1861 ~x1862 ~x1863 ~x1864 ~x1865 ~x1866 ~x1867 ~x1868 ~x1869 ~x1870 ~x1871 ~x1872 ~x1873 ~x1874 ~x1875 ~x1876 ~x1877 ~x1878 ~x1879 ~x1880 ~x1881 ~x1882 ~x1883 ~x1884 ~x1885 ~x1886 ~x1887 ~x1888 ~x1889 ~x1890 ~x1891 ~x1892 ~x1893 ~x1894 ~x1895 ~x1896 ~x1897 ~x1898 ~x1899 ~x1900 ~x1901 ~x1902 ~x1903 ~x1904 ~x1905 ~x1906 ~x1907 ~x1908 ~x1909 ~x1910 ~x1911 ~x1912 ~x1913 ~x1914 ~x1915 ~x1916 ~x1917 ~x1918 ~x1919 ~x1920 ~x1921 ~x1922 ~x1923 ~x1924 ~x1925 ~x1926 ~x1927 ~x1928 ~x1929 ~x1930 ~x1931 ~x1932 ~x1933 ~x1934 ~x1935 ~x1936 ~x1937 ~x1938 ~x1939 ~x1940 ~x1941 ~x1942 ~x1943 ~x1944 ~x1945 ~x1946 ~x1947 ~x1948 ~x1949 ~x1950 ~x1951 ~x1952 ~x1953 ~x1954 ~x1955 ~x1956 ~x1957 ~x1958 ~x1959 ~x1960 ~x1961 ~x1962 ~x1963 ~x1964 ~x1965 ~x1966 ~x1967 ~x1968 ~x1969 ~x1970 ~x1971 ~x1972 ~x1973 ~x1974 ~x1975 ~x1976 ~x1977 ~x1978 ~x1979 ~x1980 ~x1981 ~x1982 ~x1983 ~x1984 ~x1985 ~x1986 ~x1987 ~x1988 ~x1989 ~x1990 ~x1991 ~x1992 ~x1993 ~x1994 ~x1995 ~x1996 ~x1997 ~x1998 ~x1999 ~x2000 ~x2001 ~x2002 ~x2003 ~x2004 ~x2005 ~x2006 ~x2007 ~x2008 ~x2009 ~x2010 ~x2011 ~x2012 ~x2013 ~x2014 ~x2015 ~x2016 ~x2017 ~x2018 ~x2019 ~x2020 ~x2021 ~x2022 ~x2023 ~x2024 ~x2025 ~x2026 ~x2027 ~x2028 ~x2029 ~x2030 ~x2031 ~x2032 ~x2033 ~x2034 ~x2035 ~x2036 ~x2037 ~x2038 ~x2039 ~x2040 ~x2041 ~x2042 ~x2043 ~x2044 ~x2045 ~x2046 ~x2047 ~x2048 ~x2049 ~x2050 ~x2051 ~x2052 ~x2053 ~x2054 ~x2055 ~x2056 ~x2057 ~x2058 ~x2059 ~x2060 ~x2061 ~x2062 ~x2063 ~x2064 ~x2065 ~x2066 ~x2067 ~x2068 ~x2069 ~x2070 ~x2071 ~x2072 ~x2073 ~x2074 ~x2075 ~x2076 ~x2077 ~x2078 ~x2079 ~x2080 ~x2081 ~x2082 ~x2083 ~x2084 ~x2085 ~x2086 ~x2087 ~x2088 ~x2089 ~x2090 ~x2091 ~x2092 ~x2093 ~x2094 ~x2095 ~x2096 ~x2097 ~x2098 ~x2099 ~x2100 ~x2101 ~x2102 ~x2103 ~x2104 ~x2105 ~x2106 ~x2107 ~x2108 ~x2109 ~x2110 ~x2111 ~x2112 ~x2113 ~x2114 ~x2115 ~x2116 ~x2117 ~x2118 ~x2119 ~x2120 ~x2121 ~x2122 ~x2123 ~x2124 ~x2125 ~x2126 ~x2127 ~x2128 ~x2129 ~x2130 ~x2131 ~x2132 ~x2133 ~x2134 ~x2135 ~x2136 ~x2137 ~x2138 ~x2139 ~x2140 ~x2141 ~x2142 ~x2143 ~x2144 ~x2145 ~x2146 ~x2147 ~x2148 ~x2149 ~x2150 ~x2151 ~x2152 ~x2153 ~x2154 ~x2155 ~x2156 ~x2157 ~x2158 ~x2159 ~x2160 ~x2161 ~x2162 ~x2163 ~x2164 ~x2165 ~x2166 ~x2167 ~x2168 ~x2169 ~x2170 ~x2171 ~x2172 ~x2173 ~x2174 ~x2175 ~x2176 ~x2177 ~x2178 ~x2179 ~x2180 ~x2181 ~x2182 ~x2183 ~x2184 ~x2185 ~x2186 ~x2187 ~x2188 ~x2189 ~x2190 ~x2191 ~x2192 ~x2193 ~x2194 ~x2195 ~x2196 ~x2197 ~x2198 ~x2199 ~x2200 ~x2201 ~x2202 ~x2203 ~x2204 ~x2205 ~x2206 ~x2207 ~x2208 ~x2209 ~x2210 ~x2211 ~x2212 ~x2213 ~x2214 ~x2215 ~x2216 ~x2217 ~x2218 ~x2219 ~x2220 ~x2221 ~x2222 ~x2223 ~x2224 ~x2225 ~x2226 ~x2227 ~x2228 ~x2229 ~x2230 ~x2231 ~x2232 ~x2233 ~x2234 ~x2235 ~x2236 ~x2237 ~x2238 ~x2239 ~x2240 ~x2241 ~x2242 ~x2243 ~x2244 ~x2245 ~x2246 ~x2247 ~x2248 ~x2249 ~x2250 ~x2251 ~x2252 ~x2253 ~x2254 ~x2255 ~x2256 ~x2257 ~x2258 ~x2259 ~x2260 ~x2261 ~x2262 ~x2263 ~x2264 ~x2265 ~x2266 ~x2267 ~x2268 ~x2269 ~x2270 ~x2271 ~x2272 ~x2273 ~x2274 ~x2275 ~x2276 ~x2277 ~x2278 ~x2279 ~x2280 ~x2281 ~x2282 ~x2283 ~x2284 ~x2285 ~x2286 ~x2287 ~x2288 ~x2289 ~x2290 ~x2291 ~x2292 ~x2293 ~x2294 ~x2295 ~x2296 ~x2297 ~x2298 ~x2299 ~x2300 ~x2301 ~x2302 ~x2303 ~x2304 ~x2305 ~x2306 ~x2307 ~x2308 ~x2309 ~x2310 ~x2311 ~x2312 ~x2313 ~x2314 ~x2315 ~x2316 ~x2317 ~x2318 ~x2319 ~x2320 ~x2321 ~x2322 ~x2323 ~x2324 ~x2325 ~x2326 ~x2327 ~x2328 ~x2329 ~x2330 ~x2331 ~x2332 ~x2333 ~x2334 ~x2335 ~x2336 ~x2337 ~x2338 ~x2339 ~x2340 ~x2341 ~x2342 ~x2343 ~x2344 ~x2345 ~x2346 ~x2347 ~x2348 ~x2349 ~x2350 ~x2351 ~x2352 ~x2353 ~x2354 ~x2355 ~x2356 ~x2357 ~x2358 ~x2359 ~x2360 ~x2361 ~x2362 ~x2363 ~x2364 ~x2365 ~x2366 ~x2367 ~x2368 ~x2369 ~x2370 ~x2371 ~x2372 ~x2373 ~x2374 ~x2375 ~x2376 ~x2377 ~x2378 ~x2379 ~x2380 ~x2381 ~x2382 ~x2383 ~x2384 ~x2385 ~x2386 ~x2387 ~x2388 ~x2389 ~x2390 ~x2391 ~x2392 ~x2393 ~x2394 ~x2395 ~x2396 ~x2397 ~x2398 ~x2399 ~x2400 ~x2401 ~x2402 ~x2403 ~x2404 ~x2405 ~x2406 ~x2407 ~x2408 ~x2409 ~x2410 ~x2411 ~x2412 ~x2413 ~x2414 ~x2415 ~x2416 ~x2417 ~x2418 ~x2419 ~x2420 ~x2421 ~x2422 ~x2423 ~x2424 ~x2425 ~x2426 ~x2427 ~x2428 ~x2429 ~x2430 ~x2431 ~x2432 ~x2433 ~x2434 ~x2435 ~x2436 ~x2437 ~x2438 ~x2439 ~x2440 ~x2441 ~x2442 ~x2443 ~x2444 ~x2445 ~x2446 ~x2447 ~x2448 ~x2449 ~x2450 ~x2451 ~x2452 ~x2453 ~x2454 ~x2455 ~x2456 ~x2457 ~x2458 ~x2459 ~x2460 ~x2461 ~x2462 ~x2463 ~x2464 ~x2465 ~x2466 ~x2467 ~x2468 ~x2469 ~x2470 ~x2471 ~x2472 ~x2473 ~x2474 ~x2475 ~x2476 ~x2477 ~x2478 ~x2479 ~x2480 ~x2481 ~x2482 ~x2483 ~x2484 ~x2485 ~x2486 ~x2487 ~x2488 ~x2489 ~x2490 ~x2491 ~x2492 ~x2493 ~x2494 ~x2495 ~x2496 ~x2497 ~x2498 ~x2499 ~x2500 ~x2501 ~x2502 ~x2503 ~x2504 ~x2505 ~x2506 ~x2507 ~x2508 ~x2509 ~x2510 ~x2511 ~x2512 ~x2513 ~x2514 ~x2515 ~x2516 ~x2517 ~x2518 ~x2519 ~x2520 ~x2521 ~x2522 ~x2523 ~x2524 ~x2525 ~x2526 ~x2527 ~x2528 ~x2529 ~x2530 ~x2531 ~x2532 ~x2533 ~x2534 ~x2535 ~x2536 ~x2537 ~x2538 ~x2539 ~x2540 ~x2541 ~x2542 ~x2543 ~x2544 ~x2545 ~x2546 ~x2547 ~x2548 ~x2549 ~x2550 ~x2551 ~x2552 ~x2553 ~x2554 ~x2555 ~x2556 ~x2557 ~x2558 ~x2559 ~x2560 ~x2561 ~x2562 ~x2563 ~x2564 ~x2565 ~x2566 ~x2567 ~x2568 ~x2569 ~x2570 ~x2571 ~x2572 ~x2573 ~x2574 ~x2575 ~x2576 ~x2577 ~x2578 ~x2579 ~x2580 ~x2581 ~x2582 ~x2583 ~x2584 ~x2585 ~x2586 ~x2587 ~x2588 ~x2589 ~x2590 ~x2591 ~x2592 ~x2593 ~x2594 ~x2595 ~x2596 ~x2597 ~x2598 ~x2599 ~x2600 ~x2601 ~x2602 ~x2603 ~x2604 ~x2605 ~x2606 ~x2607 ~x2608 ~x2609 ~x2610 ~x2611 ~x2612 ~x2613 ~x2614 ~x2615 ~x2616 ~x2617 ~x2618 ~x2619 ~x2620 ~x2621 ~x2622 ~x2623 ~x2624 ~x2625 ~x2626 ~x2627 ~x2628 ~x2629 ~x2630 ~x2631 ~x2632 ~x2633 ~x2634 ~x2635 ~x2636 ~x2637 ~x2638 ~x2639 ~x2640 ~x2641 ~x2642 ~x2643 ~x2644 ~x2645 ~x2646 ~x2647 ~x2648 ~x2649 ~x2650 ~x2651 ~x2652 ~x2653 ~x2654 ~x2655 ~x2656 ~x2657 ~x2658 ~x2659 ~x2660 ~x2661 ~x2662 ~x2663 ~x2664 ~x2665 ~x2666 ~x2667 ~x2668 ~x2669 ~x2670 ~x2671 ~x2672 ~x2673 ~x2674 ~x2675 ~x2676 ~x2677 ~x2678 ~x2679 ~x2680 ~x2681 ~x2682 ~x2683 ~x2684 ~x2685 ~x2686 ~x2687 ~x2688 ~x2689 ~x2690 ~x2691 ~x2692 ~x2693 ~x2694 ~x2695 ~x2696 ~x2697 ~x2698 ~x2699 ~x2700 ~x2701 ~x2702 ~x2703 ~x2704 ~x2705 ~x2706 ~x2707 ~x2708 ~x2709 ~x2710 ~x2711 ~x2712 ~x2713 ~x2714 ~x2715 ~x2716 ~x2717 ~x2718 ~x2719 ~x2720 ~x2721 ~x2722 ~x2723 ~x2724 ~x2725 ~x2726 ~x2727 ~x2728 ~x2729 ~x2730 ~x2731 ~x2732 ~x2733 ~x2734 ~x2735 ~x2736 ~x2737 ~x2738 ~x2739 ~x2740 ~x2741 ~x2742 ~x2743 ~x2744 ~x2745 ~x2746 ~x2747 ~x2748 ~x2749 ~x2750 ~x2751 ~x2752 ~x2753 ~x2754 ~x2755 ~x2756 ~x2757 ~x2758 ~x2759 ~x2760 ~x2761 ~x2762 ~x2763 ~x2764 ~x2765 ~x2766 ~x2767 ~x2768 ~x2769 ~x2770 ~x2771 ~x2772 ~x2773 ~x2774 ~x2775 ~x2776 ~x2777 ~x2778 ~x2779 ~x2780 ~x2781 ~x2782 ~x2783 ~x2784 ~x2785 ~x2786 ~x2787 ~x2788 ~x2789 ~x2790 ~x2791 ~x2792 ~x2793 ~x2794 ~x2795 ~x2796 ~x2797 ~x2798 ~x2799 ~x2800 ~x2801 ~x2802 ~x2803 ~x2804 ~x2805 ~x2806 ~x2807 ~x2808 ~x2809 ~x2810 ~x2811 ~x2812 ~x2813 ~x2814 ~x2815 ~x2816 ~x2817 ~x2818 ~x2819 ~x2820 ~x2821 ~x2822 ~x2823 ~x2824 ~x2825 ~x2826 ~x2827 ~x2828 ~x2829 ~x2830 ~x2831 ~x2832 ~x2833 ~x2834 ~x2835 ~x2836 ~x2837 ~x2838 ~x2839 ~x2840 ~x2841 ~x2842 ~x2843 ~x2844 ~x2845 ~x2846 ~x2847 ~x2848 ~x2849 ~x2850 ~x2851 ~x2852 ~x2853 ~x2854 ~x2855 ~x2856 ~x2857 ~x2858 ~x2859 ~x2860 ~x2861 ~x2862 ~x2863 ~x2864 ~x2865 ~x2866 ~x2867 ~x2868 ~x2869 ~x2870 ~x2871 ~x2872 ~x2873 ~x2874 ~x2875 ~x2876 ~x2877 ~x2878 ~x2879 ~x2880 ~x2881 ~x2882 ~x2883 ~x2884 ~x2885 ~x2886 ~x2887 ~x2888 ~x2889 ~x2890 ~x2891 ~x2892 ~x2893 ~x2894 ~x2895 ~x2896 ~x2897 ~x2898 ~x2899 ~x2900 ~x2901 ~x2902 ~x2903 ~x2904 ~x2905 ~x2906 ~x2907 ~x2908 ~x2909 ~x2910 ~x2911 ~x2912 ~x2913 ~x2914 ~x2915 ~x2916 ~x2917 ~x2918 ~x2919 ~x2920 ~x2921 ~x2922 ~x2923 ~x2924 ~x2925 ~x2926 ~x2927 ~x2928 ~x2929 ~x2930 ~x2931 ~x2932 ~x2933 ~x2934 ~x2935 ~x2936 ~x2937 ~x2938 ~x2939 ~x2940 ~x2941 ~x2942 ~x2943 ~x2944 ~x2945 ~x2946 ~x2947 ~x2948 ~x2949 ~x2950 ~x2951 ~x2952 ~x2953 ~x2954 ~x2955 ~x2956 ~x2957 ~x2958 ~x2959 ~x2960 ~x2961 ~x2962 ~x2963 ~x2964 ~x2965 ~x2966 ~x2967 ~x2968 ~x2969 ~x2970 ~x2971 ~x2972 ~x2973 ~x2974 ~x2975 ~x2976 ~x2977 ~x2978 ~x2979 ~x2980 ~x2981 ~x2982 ~x2983 ~x2984 ~x2985 ~x2986 ~x2987 ~x2988 ~x2989 ~x2990 ~x2991 ~x2992 ~x2993 ~x2994 ~x2995 ~x2996 ~x2997 ~x2998 ~x2999 ~x3000 ~x3001 ~x3002 ~x3003 ~x3004 ~x3005 ~x3006 ~x3007 ~x3008 ~x3009 ~x3010 ~x3011 ~x3012 ~x3013 ~x3014 ~x3015 ~x3016 ~x3017 ~x3018 ~x3019 ~x3020 ~x3021 ~x3022 ~x3023 ~x3024 ~x3025 ~x3026 ~x3027 ~x3028 ~x3029 ~x3030 ~x3031 ~x3032 ~x3033 ~x3034 ~x3035 ~x3036 ~x3037 ~x3038 ~x3039 ~x3040 ~x3041 ~x3042 ~x3043 ~x3044 ~x3045 ~x3046 ~x3047 ~x3048 ~x3049 ~x3050 ~x3051 ~x3052 ~x3053 ~x3054 ~x3055 ~x3056 ~x3057 ~x3058 ~x3059 ~x3060 ~x3061 ~x3062 ~x3063 ~x3064 ~x3065 ~x3066 ~x3067 ~x3068 ~x3069 ~x3070 ~x3071 ~x3072 ~x3073 ~x3074 ~x3075 ~x3076 ~x3077 ~x3078 ~x3079 ~x3080 ~x3081 ~x3082 ~x3083 ~x3084 ~x3085 ~x3086 ~x3087 ~x3088 ~x3089 ~x3090 ~x3091 ~x3092 ~x3093 ~x3094 ~x3095 ~x3096 ~x3097 ~x3098 ~x3099 ~x3100 ~x3101 ~x3102 ~x3103 ~x3104 ~x3105 ~x3106 ~x3107 ~x3108 ~x3109 ~x3110 ~x3111 ~x3112 ~x3113 ~x3114 ~x3115 ~x3116 ~x3117 ~x3118 ~x3119 ~x3120 ~x3121 ~x3122 ~x3123 ~x3124 ~x3125 ~x3126 ~x3127 ~x3128 ~x3129 ~x3130 ~x3131 ~x3132 ~x3133 ~x3134 ~x3135 ~x3136 ~x3137 ~x3138 ~x3139 ~x3140 ~x3141 ~x3142 ~x3143 ~x3144 ~x3145 ~x3146 ~x3147 ~x3148 ~x3149 ~x3150 ~x3151 ~x3152 ~x3153 ~x3154 ~x3155 ~x3156 ~x3157 ~x3158 ~x3159 ~x3160 ~x3161 ~x3162 ~x3163 ~x3164 ~x3165 ~x3166 ~x3167 ~x3168 ~x3169 ~x3170 ~x3171 ~x3172 ~x3173 ~x3174 ~x3175 ~x3176 ~x3177 ~x3178 ~x3179 ~x3180 ~x3181 ~x3182 ~x3183 ~x3184 ~x3185 ~x3186 ~x3187 ~x3188 ~x3189 ~x3190 ~x3191 ~x3192 ~x3193 ~x3194 ~x3195 ~x3196 ~x3197 ~x3198 ~x3199 ~x3200 ~x3201 ~x3202 ~x3203 ~x3204 ~x3205 ~x3206 ~x3207 ~x3208 ~x3209 ~x3210 ~x3211 ~x3212 ~x3213 ~x3214 ~x3215 ~x3216 ~x3217 ~x3218 ~x3219 ~x3220 ~x3221 ~x3222 ~x3223 ~x3224 ~x3225 ~x3226 ~x3227 ~x3228 ~x3229 ~x3230 ~x3231 ~x3232 ~x3233 ~x3234 ~x3235 ~x3236 ~x3237 ~x3238 ~x3239 ~x3240 ~x3241 ~x3242 ~x3243 ~x3244 ~x3245 ~x3246 ~x3247 ~x3248 ~x3249 ~x3250 ~x3251 ~x3252 ~x3253 ~x3254 ~x3255 ~x3256 ~x3257 ~x3258 ~x3259 ~x3260 ~x3261 ~x3262 ~x3263 ~x3264 ~x3265 ~x3266 ~x3267 ~x3268 ~x3269 ~x3270 ~x3271 ~x3272 ~x3273 ~x3274 ~x3275 ~x3276 ~x3277 ~x3278 ~x3279 ~x3280 ~x3281 ~x3282 ~x3283 ~x3284 ~x3285 ~x3286 ~x3287 ~x3288 ~x3289 ~x3290 ~x3291 ~x3292 ~x3293 ~x3294 ~x3295 ~x3296 ~x3297 ~x3298 ~x3299 ~x3300 ~x3301 ~x3302 ~x3303 ~x3304 ~x3305 ~x3306 ~x3307 ~x3308 ~x3309 ~x3310 ~x3311 ~x3312 ~x3313 ~x3314 ~x3315 ~x3316 ~x3317 ~x3318 ~x3319 ~x3320 ~x3321 ~x3322 ~x3323 ~x3324 ~x3325 ~x3326 ~x3327 ~x3328 ~x3329 ~x3330 ~x3331 ~x3332 ~x3333 ~x3334 ~x3335 ~x3336 ~x3337 ~x3338 ~x3339 ~x3340 ~x3341 ~x3342 ~x3343 ~x3344 ~x3345 ~x3346 ~x3347 ~x3348 ~x3349 ~x3350 ~x3351 ~x3352 ~x3353 ~x3354 ~x3355 ~x3356 ~x3357 ~x3358 ~x3359 ~x3360 ~x3361 ~x3362 ~x3363 ~x3364 ~x3365 ~x3366 ~x3367 ~x3368 ~x3369 ~x3370 ~x3371 ~x3372 ~x3373 ~x3374 ~x3375 ~x3376 ~x3377 ~x3378 ~x3379 ~x3380 ~x3381 ~x3382 ~x3383 ~x3384 ~x3385 ~x3386 ~x3387 ~x3388 ~x3389 ~x3390 ~x3391 ~x3392 ~x3393 ~x3394 ~x3395 ~x3396 ~x3397 ~x3398 ~x3399 ~x3400 ~x3401 ~x3402 ~x3403 ~x3404 ~x3405 ~x3406 ~x3407 ~x3408 ~x3409 ~x3410 ~x3411 ~x3412 ~x3413 ~x3414 ~x3415 ~x3416 ~x3417 ~x3418 ~x3419 ~x3420 ~x3421 ~x3422 ~x3423 ~x3424 ~x3425 ~x3426 ~x3427 ~x3428 ~x3429 ~x3430 ~x3431 ~x3432 ~x3433 ~x3434 ~x3435 ~x3436 ~x3437 ~x3438 ~x3439 ~x3440 ~x3441 ~x3442 ~x3443 ~x3444 ~x3445 ~x3446 ~x3447 ~x3448 ~x3449 ~x3450 ~x3451 ~x3452 ~x3453 ~x3454 ~x3455 ~x3456 ~x3457 ~x3458 ~x3459 ~x3460 ~x3461 ~x3462 ~x3463 ~x3464 ~x3465 ~x3466 ~x3467 ~x3468 ~x3469 ~x3470 ~x3471 ~x3472 x3473 x3474 ~x3475 ~x3476 ~x3477 ~x3478 ~x3479 ~x3480 ~x3481 ~x3482 ~x3483 ~x3484 ~x3485 ~x3486 ~x3487 ~x3488 ~x3489 ~x3490 ~x3491 ~x3492 ~x3493 ~x3494 ~x3495 ~x3496 ~x3497 ~x3498 ~x3499 ~x3500 ~x3501 ~x3502 ~x3503 ~x3504 ~x3505 ~x3506 ~x3507 ~x3508 ~x3509 ~x3510 ~x3511 ~x3512 ~x3513 ~x3514 ~x3515 ~x3516 ~x3517 ~x3518 ~x3519 ~x3520 ~x3521 ~x3522 ~x3523 ~x3524 ~x3525 ~x3526 ~x3527 ~x3528 ~x3529 ~x3530 ~x3531 ~x3532 ~x3533 ~x3534 ~x3535 ~x3536 ~x3537 ~x3538 ~x3539 ~x3540 ~x3541 ~x3542 ~x3543 ~x3544 ~x3545 ~x3546 ~x3547 ~x3548 ~x3549 ~x3550 ~x3551 ~x3552 ~x3553 ~x3554 ~x3555 ~x3556 ~x3557 ~x3558 ~x3559 ~x3560 ~x3561 ~x3562 ~x3563 ~x3564 ~x3565 ~x3566 ~x3567 ~x3568 ~x3569 ~x3570 ~x3571 ~x3572 ~x3573 ~x3574 ~x3575 ~x3576 ~x3577 ~x3578 ~x3579 ~x3580 ~x3581 ~x3582 ~x3583 ~x3584 ~x3585 ~x3586 ~x3587 ~x3588 ~x3589 ~x3590 ~x3591 ~x3592 ~x3593 ~x3594 ~x3595 ~x3596 ~x3597 ~x3598 ~x3599 ~x3600 ~x3601 ~x3602 ~x3603 ~x3604 ~x3605 ~x3606 ~x3607 ~x3608 ~x3609 ~x3610 ~x3611 ~x3612 ~x3613 ~x3614 ~x3615 ~x3616 ~x3617 ~x3618 ~x3619 ~x3620 ~x3621 ~x3622 ~x3623 ~x3624 ~x3625 ~x3626 ~x3627 ~x3628 ~x3629 ~x3630 ~x3631 ~x3632 ~x3633 ~x3634 ~x3635 ~x3636 ~x3637 ~x3638 ~x3639 ~x3640 ~x3641 ~x3642 ~x3643 ~x3644 ~x3645 ~x3646 ~x3647 ~x3648 ~x3649 ~x3650 ~x3651 ~x3652 ~x3653 ~x3654 ~x3655 ~x3656 ~x3657 ~x3658 ~x3659 ~x3660 ~x3661 ~x3662 ~x3663 ~x3664 ~x3665 ~x3666 ~x3667 ~x3668 ~x3669 ~x3670 ~x3671 ~x3672 ~x3673 ~x3674 ~x3675 ~x3676 ~x3677 ~x3678 ~x3679 ~x3680 ~x3681 ~x3682 ~x3683 ~x3684 ~x3685 ~x3686 ~x3687 ~x3688 ~x3689 ~x3690 ~x3691 ~x3692 ~x3693 ~x3694 ~x3695 ~x3696 ~x3697 ~x3698 ~x3699 ~x3700 ~x3701 ~x3702 ~x3703 ~x3704 ~x3705 ~x3706 ~x3707 ~x3708 ~x3709 ~x3710 ~x3711 ~x3712 ~x3713 ~x3714 ~x3715 ~x3716 ~x3717 ~x3718 ~x3719 ~x3720 ~x3721 ~x3722 ~x3723 ~x3724 ~x3725 ~x3726 ~x3727 ~x3728 ~x3729 ~x3730 ~x3731 ~x3732 ~x3733 ~x3734 ~x3735 ~x3736 ~x3737 ~x3738 ~x3739 ~x3740 ~x3741 ~x3742 ~x3743 ~x3744 ~x3745 ~x3746 ~x3747 ~x3748 ~x3749 ~x3750 ~x3751 ~x3752 ~x3753 ~x3754 ~x3755 ~x3756 ~x3757 ~x3758 ~x3759 ~x3760 ~x3761 ~x3762 ~x3763 ~x3764 ~x3765 ~x3766 ~x3767 ~x3768 ~x3769 ~x3770 ~x3771 ~x3772 ~x3773 ~x3774 x3775 ~x3776 ~x3777 ~x3778 ~x3779 ~x3780 ~x3781 ~x3782 ~x3783 ~x3784 ~x3785 ~x3786 ~x3787 ~x3788 ~x3789 ~x3790 ~x3791 ~x3792 ~x3793 ~x3794 ~x3795 ~x3796 ~x3797 ~x3798 ~x3799 ~x3800 ~x3801 ~x3802 ~x3803 ~x3804 ~x3805 ~x3806 ~x3807 ~x3808 ~x3809 ~x3810 ~x3811 ~x3812 ~x3813 ~x3814 ~x3815 ~x3816 ~x3817 ~x3818 ~x3819 ~x3820 ~x3821 ~x3822 ~x3823 ~x3824 ~x3825 ~x3826 ~x3827 ~x3828 ~x3829 ~x3830 ~x3831 ~x3832 ~x3833 ~x3834 ~x3835 ~x3836 ~x3837 ~x3838 ~x3839 ~x3840 ~x3841 ~x3842 ~x3843 ~x3844 ~x3845 ~x3846 ~x3847 ~x3848 ~x3849 ~x3850 ~x3851 ~x3852 ~x3853 ~x3854 ~x3855 ~x3856 ~x3857 ~x3858 ~x3859 ~x3860 ~x3861 ~x3862 ~x3863 ~x3864 ~x3865 ~x3866 ~x3867 ~x3868 ~x3869 ~x3870 ~x3871 ~x3872 ~x3873 ~x3874 ~x3875 ~x3876 ~x3877 ~x3878 ~x3879 ~x3880 ~x3881 ~x3882 ~x3883 ~x3884 ~x3885 ~x3886 ~x3887 ~x3888 ~x3889 ~x3890 ~x3891 ~x3892 ~x3893 ~x3894 ~x3895 ~x3896 ~x3897 ~x3898 ~x3899 ~x3900 ~x3901 ~x3902 ~x3903 ~x3904 ~x3905 ~x3906 ~x3907 ~x3908 ~x3909 ~x3910 ~x3911 ~x3912 ~x3913 ~x3914 ~x3915 ~x3916 ~x3917 ~x3918 ~x3919 ~x3920 ~x3921 ~x3922 ~x3923 ~x3924 ~x3925 ~x3926 ~x3927 ~x3928 ~x3929 ~x3930 ~x3931 ~x3932 ~x3933 ~x3934 ~x3935 ~x3936 ~x3937 ~x3938 ~x3939 ~x3940 ~x3941 ~x3942 ~x3943 ~x3944 ~x3945 ~x3946 ~x3947 ~x3948 ~x3949 ~x3950 ~x3951 ~x3952 ~x3953 ~x3954 ~x3955 ~x3956 ~x3957 ~x3958 ~x3959 ~x3960 ~x3961 ~x3962 ~x3963 ~x3964 ~x3965 ~x3966 ~x3967 ~x3968 ~x3969 ~x3970 ~x3971 ~x3972 ~x3973 ~x3974 ~x3975 ~x3976 ~x3977 ~x3978 ~x3979 ~x3980 ~x3981 ~x3982 ~x3983 ~x3984 ~x3985 ~x3986 ~x3987 ~x3988 ~x3989 ~x3990 ~x3991 ~x3992 ~x3993 ~x3994 ~x3995 ~x3996 ~x3997 ~x3998 ~x3999 ~x4000 ~x4001 ~x4002 ~x4003 ~x4004 ~x4005 ~x4006 ~x4007 ~x4008 ~x4009 ~x4010 ~x4011 ~x4012 ~x4013 ~x4014 ~x4015 ~x4016 ~x4017 ~x4018 x4019 ~x4020 ~x4021 ~x4022 ~x4023 ~x4024 ~x4025 ~x4026 ~x4027 ~x4028 ~x4029 ~x4030 ~x4031 ~x4032 ~x4033 ~x4034 ~x4035 ~x4036 ~x4037 ~x4038 ~x4039 ~x4040 ~x4041 ~x4042 ~x4043 ~x4044 ~x4045 ~x4046 ~x4047 ~x4048 ~x4049 ~x4050 ~x4051 ~x4052 ~x4053 ~x4054 ~x4055 ~x4056 ~x4057 ~x4058 ~x4059 ~x4060 ~x4061 ~x4062 ~x4063 ~x4064 ~x4065 ~x4066 ~x4067 ~x4068 ~x4069 ~x4070 ~x4071 ~x4072 ~x4073 ~x4074 ~x4075 ~x4076 ~x4077 ~x4078 ~x4079 ~x4080 ~x4081 ~x4082 ~x4083 ~x4084 ~x4085 ~x4086 ~x4087 ~x4088 ~x4089 ~x4090 ~x4091 ~x4092 ~x4093 ~x4094 ~x4095 ~x4096 ~x4097 ~x4098 ~x4099 ~x4100 ~x4101 ~x4102 ~x4103 ~x4104 ~x4105 ~x4106 ~x4107 ~x4108 ~x4109 ~x4110 ~x4111 ~x4112 ~x4113 ~x4114 ~x4115 ~x4116 ~x4117 ~x4118 ~x4119 ~x4120 ~x4121 ~x4122 ~x4123 ~x4124 ~x4125 ~x4126 ~x4127 ~x4128 ~x4129 ~x4130 ~x4131 ~x4132 ~x4133 ~x4134 ~x4135 ~x4136 ~x4137 ~x4138 ~x4139 x4140 ~x4141 ~x4142 ~x4143 ~x4144 ~x4145 ~x4146 ~x4147 ~x4148 ~x4149 ~x4150 ~x4151 ~x4152 ~x4153 ~x4154 ~x4155 ~x4156 ~x4157 ~x4158 ~x4159 ~x4160 ~x4161 ~x4162 ~x4163 ~x4164 ~x4165 ~x4166 ~x4167 ~x4168 ~x4169 ~x4170 ~x4171 ~x4172 ~x4173 ~x4174 ~x4175 ~x4176 ~x4177 ~x4178 ~x4179 ~x4180 ~x4181 ~x4182 ~x4183 ~x4184 ~x4185 ~x4186 ~x4187 ~x4188 ~x4189 ~x4190 ~x4191 ~x4192 ~x4193 ~x4194 ~x4195 ~x4196 ~x4197 ~x4198 ~x4199 ~x4200 ~x4201 ~x4202 ~x4203 ~x4204 ~x4205 ~x4206 ~x4207 ~x4208 ~x4209 ~x4210 ~x4211 ~x4212 ~x4213 ~x4214 ~x4215 ~x4216 ~x4217 ~x4218 ~x4219 ~x4220 ~x4221 ~x4222 ~x4223 ~x4224 ~x4225 ~x4226 ~x4227 ~x4228 ~x4229 ~x4230 ~x4231 ~x4232 ~x4233 ~x4234 ~x4235 ~x4236 ~x4237 ~x4238 ~x4239 ~x4240 ~x4241 ~x4242 ~x4243 ~x4244 ~x4245 ~x4246 ~x4247 ~x4248 ~x4249 ~x4250 ~x4251 ~x4252 ~x4253 ~x4254 ~x4255 ~x4256 ~x4257 ~x4258 ~x4259 ~x4260 x4261 x4262 ~x4263 ~x4264 ~x4265 ~x4266 ~x4267 ~x4268 ~x4269 ~x4270 ~x4271 ~x4272 ~x4273 ~x4274 ~x4275 ~x4276 ~x4277 ~x4278 ~x4279 ~x4280 ~x4281 ~x4282 ~x4283 ~x4284 ~x4285 ~x4286 ~x4287 ~x4288 ~x4289 ~x4290 ~x4291 ~x4292 ~x4293 ~x4294 ~x4295 ~x4296 ~x4297 ~x4298 ~x4299 ~x4300 ~x4301 ~x4302 ~x4303 ~x4304 ~x4305 ~x4306 ~x4307 ~x4308 ~x4309 ~x4310 ~x4311 ~x4312 ~x4313 ~x4314 ~x4315 ~x4316 ~x4317 ~x4318 ~x4319 ~x4320 ~x4321 ~x4322 ~x4323 ~x4324 ~x4325 ~x4326 ~x4327 ~x4328 ~x4329 ~x4330 ~x4331 ~x4332 ~x4333 ~x4334 ~x4335 ~x4336 ~x4337 ~x4338 ~x4339 ~x4340 ~x4341 ~x4342 ~x4343 ~x4344 ~x4345 ~x4346 ~x4347 ~x4348 ~x4349 ~x4350 ~x4351 ~x4352 ~x4353 ~x4354 ~x4355 ~x4356 ~x4357 ~x4358 ~x4359 ~x4360 ~x4361 ~x4362 ~x4363 ~x4364 ~x4365 ~x4366 ~x4367 ~x4368 ~x4369 ~x4370 ~x4371 ~x4372 ~x4373 ~x4374 ~x4375 ~x4376 ~x4377 ~x4378 ~x4379 ~x4380 ~x4381 ~x4382 ~x4383 ~x4384 ~x4385 ~x4386 ~x4387 ~x4388 ~x4389 ~x4390 ~x4391 ~x4392 ~x4393 ~x4394 ~x4395 ~x4396 ~x4397 ~x4398 ~x4399 ~x4400 ~x4401 ~x4402 ~x4403 ~x4404 ~x4405 ~x4406 ~x4407 ~x4408 ~x4409 ~x4410 ~x4411 ~x4412 ~x4413 ~x4414 ~x4415 ~x4416 ~x4417 ~x4418 ~x4419 ~x4420 ~x4421 ~x4422 ~x4423 ~x4424 ~x4425 ~x4426 ~x4427 ~x4428 ~x4429 ~x4430 ~x4431 ~x4432 ~x4433 ~x4434 ~x4435 ~x4436 ~x4437 ~x4438 ~x4439 ~x4440 ~x4441 ~x4442 ~x4443 ~x4444 ~x4445 ~x4446 ~x4447 ~x4448 ~x4449 ~x4450 ~x4451 ~x4452 ~x4453 ~x4454 ~x4455 ~x4456 ~x4457 ~x4458 ~x4459 ~x4460 ~x4461 ~x4462 ~x4463 ~x4464 ~x4465 ~x4466 ~x4467 ~x4468 ~x4469 ~x4470 ~x4471 ~x4472 ~x4473 ~x4474 ~x4475 ~x4476 ~x4477 ~x4478 ~x4479 ~x4480 ~x4481 ~x4482 ~x4483 ~x4484 ~x4485 ~x4486 ~x4487 ~x4488 ~x4489 ~x4490 ~x4491 ~x4492 ~x4493 ~x4494 ~x4495 ~x4496 ~x4497 ~x4498 ~x4499 ~x4500 ~x4501 ~x4502 ~x4503 ~x4504 ~x4505 ~x4506 ~x4507 ~x4508 ~x4509 ~x4510 ~x4511 ~x4512 ~x4513 ~x4514 ~x4515 ~x4516 ~x4517 ~x4518 ~x4519 ~x4520 ~x4521 ~x4522 ~x4523 ~x4524 ~x4525 ~x4526 ~x4527 ~x4528 ~x4529 ~x4530 ~x4531 ~x4532 ~x4533 ~x4534 ~x4535 ~x4536 ~x4537 ~x4538 ~x4539 ~x4540 ~x4541 ~x4542 ~x4543 ~x4544 ~x4545 ~x4546 ~x4547 ~x4548 ~x4549 ~x4550 ~x4551 ~x4552 ~x4553 ~x4554 ~x4555 ~x4556 ~x4557 ~x4558 ~x4559 ~x4560 ~x4561 ~x4562 ~x4563 x4564 ~x4565 ~x4566 ~x4567 ~x4568 ~x4569 ~x4570 ~x4571 ~x4572 ~x4573 ~x4574 ~x4575 ~x4576 ~x4577 ~x4578 ~x4579 ~x4580 ~x4581 ~x4582 ~x4583 ~x4584 ~x4585 ~x4586 ~x4587 ~x4588 ~x4589 ~x4590 ~x4591 ~x4592 ~x4593 ~x4594 ~x4595 ~x4596 ~x4597 ~x4598 ~x4599 ~x4600 ~x4601 ~x4602 ~x4603 ~x4604 ~x4605 ~x4606 ~x4607 ~x4608 ~x4609 ~x4610 ~x4611 ~x4612 ~x4613 ~x4614 ~x4615 ~x4616 ~x4617 ~x4618 ~x4619 ~x4620 ~x4621 ~x4622 ~x4623 ~x4624 ~x4625 ~x4626 ~x4627 ~x4628 ~x4629 ~x4630 ~x4631 ~x4632 ~x4633 ~x4634 ~x4635 ~x4636 ~x4637 ~x4638 ~x4639 ~x4640 ~x4641 ~x4642 ~x4643 ~x4644 ~x4645 ~x4646 ~x4647 ~x4648 ~x4649 ~x4650 ~x4651 ~x4652 ~x4653 ~x4654 ~x4655 ~x4656 ~x4657 ~x4658 ~x4659 ~x4660 ~x4661 ~x4662 ~x4663 ~x4664 ~x4665 ~x4666 ~x4667 ~x4668 ~x4669 ~x4670 ~x4671 ~x4672 ~x4673 ~x4674 ~x4675 ~x4676 ~x4677 ~x4678 ~x4679 ~x4680 ~x4681 ~x4682 ~x4683 ~x4684 x4685 ~x4686 ~x4687 ~x4688 ~x4689 ~x4690 ~x4691 ~x4692 ~x4693 ~x4694 ~x4695 ~x4696 ~x4697 ~x4698 ~x4699 ~x4700 ~x4701 ~x4702 ~x4703 ~x4704 ~x4705 ~x4706 ~x4707 ~x4708 ~x4709 ~x4710 ~x4711 ~x4712 ~x4713 ~x4714 ~x4715 ~x4716 ~x4717 ~x4718 ~x4719 ~x4720 ~x4721 ~x4722 ~x4723 ~x4724 ~x4725 ~x4726 ~x4727 ~x4728 ~x4729 ~x4730 ~x4731 ~x4732 ~x4733 ~x4734 ~x4735 ~x4736 ~x4737 ~x4738 ~x4739 ~x4740 ~x4741 ~x4742 ~x4743 ~x4744 ~x4745 ~x4746 ~x4747 ~x4748 ~x4749 ~x4750 ~x4751 ~x4752 ~x4753 ~x4754 ~x4755 ~x4756 ~x4757 ~x4758 ~x4759 ~x4760 ~x4761 ~x4762 ~x4763 ~x4764 ~x4765 ~x4766 ~x4767 ~x4768 ~x4769 ~x4770 ~x4771 ~x4772 ~x4773 ~x4774 ~x4775 ~x4776 ~x4777 ~x4778 ~x4779 ~x4780 ~x4781 ~x4782 ~x4783 ~x4784 ~x4785 ~x4786 ~x4787 ~x4788 ~x4789 ~x4790 ~x4791 ~x4792 ~x4793 ~x4794 ~x4795 ~x4796 ~x4797 ~x4798 ~x4799 ~x4800 ~x4801 ~x4802 ~x4803 ~x4804 ~x4805 x4806 ~x4807 ~x4808 ~x4809 ~x4810 ~x4811 ~x4812 ~x4813 ~x4814 ~x4815 ~x4816 ~x4817 ~x4818 ~x4819 ~x4820 ~x4821 ~x4822 ~x4823 ~x4824 ~x4825 ~x4826 ~x4827 ~x4828 ~x4829 ~x4830 ~x4831 ~x4832 ~x4833 ~x4834 ~x4835 ~x4836 ~x4837 ~x4838 ~x4839 ~x4840 ~x4841 ~x4842 ~x4843 ~x4844 ~x4845 ~x4846 ~x4847 ~x4848 ~x4849 ~x4850 ~x4851 ~x4852 ~x4853 ~x4854 ~x4855 ~x4856 ~x4857 ~x4858 ~x4859 ~x4860 ~x4861 ~x4862 ~x4863 ~x4864 ~x4865 ~x4866 ~x4867 ~x4868 ~x4869 ~x4870 ~x4871 ~x4872 ~x4873 ~x4874 ~x4875 ~x4876 ~x4877 ~x4878 ~x4879 ~x4880 ~x4881 ~x4882 ~x4883 ~x4884 ~x4885 ~x4886 ~x4887 ~x4888 ~x4889 ~x4890 ~x4891 ~x4892 ~x4893 ~x4894 ~x4895 ~x4896 ~x4897 ~x4898 ~x4899 ~x4900 ~x4901 ~x4902 ~x4903 ~x4904 ~x4905 ~x4906 ~x4907 ~x4908 ~x4909 ~x4910 ~x4911 ~x4912 ~x4913 ~x4914 ~x4915 ~x4916 ~x4917 ~x4918 ~x4919 ~x4920 ~x4921 ~x4922 ~x4923 ~x4924 ~x4925 ~x4926 ~x4927 ~x4928 ~x4929 ~x4930 ~x4931 ~x4932 ~x4933 ~x4934 ~x4935 ~x4936 ~x4937 ~x4938 ~x4939 ~x4940 ~x4941 ~x4942 ~x4943 ~x4944 ~x4945 ~x4946 ~x4947 ~x4948 ~x4949 ~x4950 ~x4951 ~x4952 ~x4953 ~x4954 ~x4955 ~x4956 ~x4957 ~x4958 ~x4959 ~x4960 ~x4961 ~x4962 ~x4963 ~x4964 ~x4965 ~x4966 ~x4967 ~x4968 ~x4969 ~x4970 ~x4971 ~x4972 ~x4973 ~x4974 ~x4975 ~x4976 ~x4977 ~x4978 ~x4979 ~x4980 ~x4981 ~x4982 ~x4983 ~x4984 ~x4985 ~x4986 ~x4987 ~x4988 ~x4989 ~x4990 ~x4991 ~x4992 ~x4993 ~x4994 ~x4995 ~x4996 ~x4997 ~x4998 ~x4999 ~x5000 ~x5001 ~x5002 ~x5003 ~x5004 ~x5005 ~x5006 ~x5007 ~x5008 ~x5009 ~x5010 ~x5011 ~x5012 ~x5013 ~x5014 ~x5015 ~x5016 ~x5017 ~x5018 ~x5019 ~x5020 ~x5021 ~x5022 ~x5023 ~x5024 ~x5025 ~x5026 ~x5027 ~x5028 ~x5029 ~x5030 ~x5031 ~x5032 ~x5033 ~x5034 ~x5035 ~x5036 ~x5037 ~x5038 ~x5039 ~x5040 ~x5041 ~x5042 ~x5043 ~x5044 ~x5045 ~x5046 ~x5047 ~x5048
OK 36
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 63931 MiB (58214 MiB free)
memory of node 1: 64510 MiB (60325 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4429614-1721050726/watcher-4429614-1721050726 -o /tmp/evaluation-result-4429614-1721050726/solver-4429614-1721050726 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1721048359-801018 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4429614-1721050726.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=802666, runsolver pid=802663
[startup+0.100092 s]*
/proc/loadavg: 4.16 4.18 4.09 5/254 802667
/proc/meminfo: memFree=121380148/131524600 swapFree=131071996/131071996
[pid=802666] ppid=802663 vsize=38728 memory=8788 CPUtime=0.09 cores=4,6
/proc/802666/stat : 802666 (roundingsat) R 802663 802666 801007 0 -1 4194304 831 0 0 0 9 0 0 0 20 0 1 0 157232790 39657472 2197 134679101440 4194304 7968869 140732017829936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659944 29298688 140732017832894 140732017833058 140732017833058 140732017840073 0
/proc/802666/statm: 9682 2197 1225 922 0 1634 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 38728 KiB
Current children cumulated memory: 8788 KiB
[startup+0.205485 s]*
/proc/loadavg: 4.16 4.18 4.09 5/254 802667
/proc/meminfo: memFree=121377856/131524600 swapFree=131071996/131071996
[pid=802666] ppid=802663 vsize=39064 memory=11212 CPUtime=0.2 cores=4,6
/proc/802666/stat : 802666 (roundingsat) R 802663 802666 801007 0 -1 4194304 896 0 0 0 18 2 0 0 20 0 1 0 157232790 40001536 2803 134679101440 4194304 7968869 140732017829936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659944 29298688 140732017832894 140732017833058 140732017833058 140732017840073 0
/proc/802666/statm: 9766 2803 1257 922 0 1718 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 39064 KiB
Current children cumulated memory: 11212 KiB
[startup+0.305442 s]*
/proc/loadavg: 4.16 4.18 4.09 5/254 802667
/proc/meminfo: memFree=121376708/131524600 swapFree=131071996/131071996
[pid=802666] ppid=802663 vsize=41920 memory=12404 CPUtime=0.3 cores=4,6
/proc/802666/stat : 802666 (roundingsat) R 802663 802666 801007 0 -1 4194304 1186 0 0 0 28 2 0 0 20 0 1 0 157232790 42926080 3101 134679101440 4194304 7968869 140732017829936 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659944 29298688 140732017832894 140732017833058 140732017833058 140732017840073 0
/proc/802666/statm: 10480 3101 1257 922 0 2432 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 41920 KiB
Current children cumulated memory: 12404 KiB
[startup+0.70021 s]
/proc/loadavg: 4.16 4.18 4.09 5/254 802667
/proc/meminfo: memFree=121372536/131524600 swapFree=131071996/131071996
[pid=802666] ppid=802663 vsize=59284 memory=25952 CPUtime=0.68 cores=4,6
/proc/802666/stat : 802666 (roundingsat) R 802663 802666 801007 0 -1 4194304 3898 0 0 0 63 5 0 0 20 0 1 0 157232790 60706816 6488 134679101440 4194304 7968869 140732017829936 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 29298688 140732017832894 140732017833058 140732017833058 140732017840073 0
/proc/802666/statm: 14821 6488 1575 922 0 6773 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 59284 KiB
Current children cumulated memory: 25952 KiB
[startup+1.50023 s]
/proc/loadavg: 4.16 4.18 4.09 5/254 802667
/proc/meminfo: memFree=121131940/131524600 swapFree=131071996/131071996
[pid=802666] ppid=802663 vsize=246252 memory=213240 CPUtime=1.49 cores=4,6
/proc/802666/stat : 802666 (roundingsat) R 802663 802666 801007 0 -1 4194304 29831 0 0 0 133 16 0 0 20 0 1 0 157232790 252162048 53310 134679101440 4194304 7968869 140732017829936 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 29298688 140732017832894 140732017833058 140732017833058 140732017840073 0
/proc/802666/statm: 61563 53310 1655 922 0 53515 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 246252 KiB
Current children cumulated memory: 213240 KiB
[startup+3.10565 s]
/proc/loadavg: 4.15 4.18 4.09 5/254 802667
/proc/meminfo: memFree=121176428/131524600 swapFree=131071996/131071996
[pid=802666] ppid=802663 vsize=246252 memory=213240 CPUtime=3.09 cores=4,6
/proc/802666/stat : 802666 (roundingsat) R 802663 802666 801007 0 -1 4194304 29868 0 0 0 293 16 0 0 20 0 1 0 157232790 252162048 53310 134679101440 4194304 7968869 140732017829936 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 29298688 140732017832894 140732017833058 140732017833058 140732017840073 0
/proc/802666/statm: 61563 53310 1655 922 0 53515 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 246252 KiB
Current children cumulated memory: 213240 KiB
[startup+6.30021 s]
/proc/loadavg: 4.15 4.18 4.09 5/255 802669
/proc/meminfo: memFree=121175848/131524600 swapFree=131071996/131071996
[pid=802666] ppid=802663 vsize=246252 memory=213624 CPUtime=6.27 cores=4,6
/proc/802666/stat : 802666 (roundingsat) R 802663 802666 801007 0 -1 4194304 29905 0 0 0 610 17 0 0 20 0 1 0 157232790 252162048 53406 134679101440 4194304 7968869 140732017829936 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 29298688 140732017832894 140732017833058 140732017833058 140732017840073 0
/proc/802666/statm: 61563 53406 1751 922 0 53515 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 246252 KiB
Current children cumulated memory: 213624 KiB
[startup+12.7002 s]
/proc/loadavg: 4.13 4.17 4.09 5/255 802669
/proc/meminfo: memFree=121156284/131524600 swapFree=131071996/131071996
[pid=802666] ppid=802663 vsize=257928 memory=230876 CPUtime=12.65 cores=4,6
/proc/802666/stat : 802666 (roundingsat) R 802663 802666 801007 0 -1 4194304 31136 0 0 0 1161 104 0 0 20 0 1 0 157232790 264118272 57719 134679101440 4194304 7968869 140732017829936 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 29298688 140732017832894 140732017833058 140732017833058 140732017840073 0
/proc/802666/statm: 64482 57719 1860 922 0 56434 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 257928 KiB
Current children cumulated memory: 230876 KiB
[startup+25.5002 s]
/proc/loadavg: 4.11 4.17 4.09 5/255 802671
/proc/meminfo: memFree=121120808/131524600 swapFree=131071996/131071996
[pid=802666] ppid=802663 vsize=293192 memory=262928 CPUtime=25.42 cores=4,6
/proc/802666/stat : 802666 (roundingsat) R 802663 802666 801007 0 -1 4194304 33665 0 0 0 2414 128 0 0 20 0 1 0 157232790 300228608 65732 134679101440 4194304 7968869 140732017829936 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 29298688 140732017832894 140732017833058 140732017833058 140732017840073 0
/proc/802666/statm: 73298 65732 1876 922 0 65250 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 293192 KiB
Current children cumulated memory: 262928 KiB
[startup+51.1055 s]
/proc/loadavg: 4.07 4.15 4.09 5/255 802675
/proc/meminfo: memFree=120985480/131524600 swapFree=131071996/131071996
[pid=802666] ppid=802663 vsize=415468 memory=379752 CPUtime=50.95 cores=4,6
/proc/802666/stat : 802666 (roundingsat) R 802663 802666 801007 0 -1 4194304 38433 0 0 0 4963 132 0 0 20 0 1 0 157232790 425439232 94938 134679101440 4194304 7968869 140732017829936 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 29298688 140732017832894 140732017833058 140732017833058 140732017840073 0
/proc/802666/statm: 103867 94938 1876 922 0 95819 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 415468 KiB
Current children cumulated memory: 379752 KiB
[startup+102.3 s]
/proc/loadavg: 4.08 4.14 4.09 5/257 802688
/proc/meminfo: memFree=120927236/131524600 swapFree=131071996/131071996
[pid=802666] ppid=802663 vsize=468184 memory=424992 CPUtime=102 cores=4,6
/proc/802666/stat : 802666 (roundingsat) R 802663 802666 801007 0 -1 4194304 38652 0 0 0 10066 134 0 0 20 0 1 0 157232790 479420416 106248 134679101440 4194304 7968869 140732017829936 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 29298688 140732017832894 140732017833058 140732017833058 140732017840073 0
/proc/802666/statm: 117046 106248 1876 922 0 108998 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 468184 KiB
Current children cumulated memory: 424992 KiB
[startup+162.3 s]
/proc/loadavg: 4.07 4.13 4.09 5/257 802699
/proc/meminfo: memFree=120896500/131524600 swapFree=131071996/131071996
[pid=802666] ppid=802663 vsize=468748 memory=437996 CPUtime=161.84 cores=4,6
/proc/802666/stat : 802666 (roundingsat) R 802663 802666 801007 0 -1 4194304 42850 0 0 0 16045 139 0 0 20 0 1 0 157232790 479997952 109499 134679101440 4194304 7968869 140732017829936 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 29298688 140732017832894 140732017833058 140732017833058 140732017840073 0
/proc/802666/statm: 117187 109499 1876 922 0 109139 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 468748 KiB
Current children cumulated memory: 437996 KiB
[startup+222.3 s]
/proc/loadavg: 4.41 4.22 4.12 5/257 802709
/proc/meminfo: memFree=120809432/131524600 swapFree=131071996/131071996
[pid=802666] ppid=802663 vsize=619028 memory=509360 CPUtime=221.68 cores=4,6
/proc/802666/stat : 802666 (roundingsat) R 802663 802666 801007 0 -1 4194304 47396 0 0 0 22022 146 0 0 20 0 1 0 157232790 633884672 127340 134679101440 4194304 7968869 140732017829936 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 29298688 140732017832894 140732017833058 140732017833058 140732017840073 0
/proc/802666/statm: 154757 127340 1876 922 0 146709 0
Current children cumulated CPU time: 221.68 s
Current children cumulated vsize: 619028 KiB
Current children cumulated memory: 509360 KiB
[startup+282.3 s]
/proc/loadavg: 4.15 4.18 4.11 5/257 802719
/proc/meminfo: memFree=120726892/131524600 swapFree=131071996/131071996
[pid=802666] ppid=802663 vsize=656572 memory=570036 CPUtime=281.52 cores=4,6
/proc/802666/stat : 802666 (roundingsat) R 802663 802666 801007 0 -1 4194304 49078 0 0 0 28003 149 0 0 20 0 1 0 157232790 672329728 142509 134679101440 4194304 7968869 140732017829936 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 29298688 140732017832894 140732017833058 140732017833058 140732017840073 0
/proc/802666/statm: 164143 142509 1876 922 0 156095 0
Current children cumulated CPU time: 281.52 s
Current children cumulated vsize: 656572 KiB
Current children cumulated memory: 570036 KiB
[startup+342.3 s]
/proc/loadavg: 4.16 4.18 4.11 5/256 802731
/proc/meminfo: memFree=120719376/131524600 swapFree=131071996/131071996
[pid=802666] ppid=802663 vsize=656856 memory=574404 CPUtime=341.36 cores=4,6
/proc/802666/stat : 802666 (roundingsat) R 802663 802666 801007 0 -1 4194304 49720 0 0 0 33984 152 0 0 20 0 1 0 157232790 672620544 143601 134679101440 4194304 7968869 140732017829936 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 29298688 140732017832894 140732017833058 140732017833058 140732017840073 0
/proc/802666/statm: 164214 143601 1876 922 0 156166 0
Current children cumulated CPU time: 341.36 s
Current children cumulated vsize: 656856 KiB
Current children cumulated memory: 574404 KiB
[startup+402.3 s]
/proc/loadavg: 4.12 4.16 4.11 5/255 802742
/proc/meminfo: memFree=120694240/131524600 swapFree=131071996/131071996
[pid=802666] ppid=802663 vsize=717956 memory=598888 CPUtime=401.19 cores=4,6
/proc/802666/stat : 802666 (roundingsat) R 802663 802666 801007 0 -1 4194304 50617 0 0 0 39964 155 0 0 20 0 1 0 157232790 735186944 149722 134679101440 4194304 7968869 140732017829936 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 29298688 140732017832894 140732017833058 140732017833058 140732017840073 0
/proc/802666/statm: 179489 149722 1876 922 0 171441 0
Current children cumulated CPU time: 401.19 s
Current children cumulated vsize: 717956 KiB
Current children cumulated memory: 598888 KiB
[startup+462.3 s]
/proc/loadavg: 4.09 4.14 4.10 5/255 802752
/proc/meminfo: memFree=120692760/131524600 swapFree=131071996/131071996
[pid=802666] ppid=802663 vsize=717956 memory=598888 CPUtime=461.03 cores=4,6
/proc/802666/stat : 802666 (roundingsat) R 802663 802666 801007 0 -1 4194304 50780 0 0 0 45947 156 0 0 20 0 1 0 157232790 735186944 149722 134679101440 4194304 7968869 140732017829936 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 29298688 140732017832894 140732017833058 140732017833058 140732017840073 0
/proc/802666/statm: 179489 149722 1876 922 0 171441 0
################
# More data... #
################
Current children cumulated memory: 804148 KiB
[startup+2862.3 s]
/proc/loadavg: 4.13 4.21 4.16 5/257 804337
/proc/meminfo: memFree=114336932/131524600 swapFree=131071996/131071996
[pid=802666] ppid=802663 vsize=962064 memory=804148 CPUtime=2855.02 cores=4,6
/proc/802666/stat : 802666 (roundingsat) R 802663 802666 801007 0 -1 4194304 71484 0 0 0 284920 582 0 0 20 0 1 0 157232790 985153536 201037 134679101440 4194304 7968869 140732017829936 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 29298688 140732017832894 140732017833058 140732017833058 140732017840073 0
/proc/802666/statm: 240516 201037 1876 922 0 232468 0
Current children cumulated CPU time: 2855.02 s
Current children cumulated vsize: 962064 KiB
Current children cumulated memory: 804148 KiB
[startup+2922.3 s]
/proc/loadavg: 4.16 4.20 4.16 5/257 804348
/proc/meminfo: memFree=114274832/131524600 swapFree=131071996/131071996
[pid=802666] ppid=802663 vsize=962064 memory=804148 CPUtime=2914.88 cores=4,6
/proc/802666/stat : 802666 (roundingsat) R 802663 802666 801007 0 -1 4194304 71747 0 0 0 290905 583 0 0 20 0 1 0 157232790 985153536 201037 134679101440 4194304 7968869 140732017829936 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 29298688 140732017832894 140732017833058 140732017833058 140732017840073 0
/proc/802666/statm: 240516 201037 1876 922 0 232468 0
Current children cumulated CPU time: 2914.88 s
Current children cumulated vsize: 962064 KiB
Current children cumulated memory: 804148 KiB
[startup+2982.3 s]
/proc/loadavg: 4.12 4.18 4.15 5/258 804528
/proc/meminfo: memFree=114251680/131524600 swapFree=131071996/131071996
[pid=802666] ppid=802663 vsize=962064 memory=804148 CPUtime=2974.73 cores=4,6
/proc/802666/stat : 802666 (roundingsat) R 802663 802666 801007 0 -1 4194304 72051 0 0 0 296889 584 0 0 20 0 1 0 157232790 985153536 201037 134679101440 4194304 7968869 140732017829936 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 29298688 140732017832894 140732017833058 140732017833058 140732017840073 0
/proc/802666/statm: 240516 201037 1876 922 0 232468 0
Current children cumulated CPU time: 2974.73 s
Current children cumulated vsize: 962064 KiB
Current children cumulated memory: 804148 KiB
[startup+3042.3 s]
/proc/loadavg: 4.09 4.16 4.15 5/258 804538
/proc/meminfo: memFree=114142128/131524600 swapFree=131071996/131071996
[pid=802666] ppid=802663 vsize=962064 memory=804148 CPUtime=3034.59 cores=4,6
/proc/802666/stat : 802666 (roundingsat) R 802663 802666 801007 0 -1 4194304 72368 0 0 0 302874 585 0 0 20 0 1 0 157232790 985153536 201037 134679101440 4194304 7968869 140732017829936 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 29298688 140732017832894 140732017833058 140732017833058 140732017840073 0
/proc/802666/statm: 240516 201037 1876 922 0 232468 0
Current children cumulated CPU time: 3034.59 s
Current children cumulated vsize: 962064 KiB
Current children cumulated memory: 804148 KiB
[startup+3102.3 s]
/proc/loadavg: 4.14 4.16 4.15 5/257 804605
/proc/meminfo: memFree=114073736/131524600 swapFree=131071996/131071996
[pid=802666] ppid=802663 vsize=962064 memory=804148 CPUtime=3094.44 cores=4,6
/proc/802666/stat : 802666 (roundingsat) R 802663 802666 801007 0 -1 4194304 72631 0 0 0 308859 585 0 0 20 0 1 0 157232790 985153536 201037 134679101440 4194304 7968869 140732017829936 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 29298688 140732017832894 140732017833058 140732017833058 140732017840073 0
/proc/802666/statm: 240516 201037 1876 922 0 232468 0
Current children cumulated CPU time: 3094.44 s
Current children cumulated vsize: 962064 KiB
Current children cumulated memory: 804148 KiB
[startup+3162.3 s]
/proc/loadavg: 4.18 4.17 4.15 5/257 804617
/proc/meminfo: memFree=114057328/131524600 swapFree=131071996/131071996
[pid=802666] ppid=802663 vsize=962064 memory=804148 CPUtime=3154.29 cores=4,6
/proc/802666/stat : 802666 (roundingsat) R 802663 802666 801007 0 -1 4194304 72940 0 0 0 314843 586 0 0 20 0 1 0 157232790 985153536 201037 134679101440 4194304 7968869 140732017829936 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 29298688 140732017832894 140732017833058 140732017833058 140732017840073 0
/proc/802666/statm: 240516 201037 1876 922 0 232468 0
Current children cumulated CPU time: 3154.29 s
Current children cumulated vsize: 962064 KiB
Current children cumulated memory: 804148 KiB
[startup+3222.3 s]
/proc/loadavg: 4.10 4.15 4.15 5/257 804628
/proc/meminfo: memFree=113995692/131524600 swapFree=131071996/131071996
[pid=802666] ppid=802663 vsize=962064 memory=804148 CPUtime=3214.15 cores=4,6
/proc/802666/stat : 802666 (roundingsat) R 802663 802666 801007 0 -1 4194304 73257 0 0 0 320828 587 0 0 20 0 1 0 157232790 985153536 201037 134679101440 4194304 7968869 140732017829936 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 29298688 140732017832894 140732017833058 140732017833058 140732017840073 0
/proc/802666/statm: 240516 201037 1876 922 0 232468 0
Current children cumulated CPU time: 3214.15 s
Current children cumulated vsize: 962064 KiB
Current children cumulated memory: 804148 KiB
[startup+3282.3 s]*
/proc/loadavg: 4.13 4.15 4.14 5/256 804638
/proc/meminfo: memFree=113965680/131524600 swapFree=131071996/131071996
[pid=802666] ppid=802663 vsize=962064 memory=804148 CPUtime=3273.98 cores=4,6
/proc/802666/stat : 802666 (roundingsat) R 802663 802666 801007 0 -1 4194304 73537 0 0 0 326811 587 0 0 20 0 1 0 157232790 985153536 201037 134679101440 4194304 7968869 140732017829936 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 29298688 140732017832894 140732017833058 140732017833058 140732017840073 0
/proc/802666/statm: 240516 201037 1876 922 0 232468 0
Current children cumulated CPU time: 3273.98 s
Current children cumulated vsize: 962064 KiB
Current children cumulated memory: 804148 KiB
[startup+3342.3 s]*
/proc/loadavg: 4.09 4.14 4.14 5/255 804650
/proc/meminfo: memFree=113960072/131524600 swapFree=131071996/131071996
[pid=802666] ppid=802663 vsize=962064 memory=804148 CPUtime=3333.84 cores=4,6
/proc/802666/stat : 802666 (roundingsat) R 802663 802666 801007 0 -1 4194304 73837 0 0 0 332796 588 0 0 20 0 1 0 157232790 985153536 201037 134679101440 4194304 7968869 140732017829936 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 29298688 140732017832894 140732017833058 140732017833058 140732017840073 0
/proc/802666/statm: 240516 201037 1876 922 0 232468 0
Current children cumulated CPU time: 3333.84 s
Current children cumulated vsize: 962064 KiB
Current children cumulated memory: 804148 KiB
[startup+3402.3 s]*
/proc/loadavg: 4.13 4.14 4.14 5/254 804661
/proc/meminfo: memFree=113956496/131524600 swapFree=131071996/131071996
[pid=802666] ppid=802663 vsize=962064 memory=804148 CPUtime=3393.69 cores=4,6
/proc/802666/stat : 802666 (roundingsat) R 802663 802666 801007 0 -1 4194304 74147 0 0 0 338781 588 0 0 20 0 1 0 157232790 985153536 201037 134679101440 4194304 7968869 140732017829936 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 29298688 140732017832894 140732017833058 140732017833058 140732017840073 0
/proc/802666/statm: 240516 201037 1876 922 0 232468 0
Current children cumulated CPU time: 3393.69 s
Current children cumulated vsize: 962064 KiB
Current children cumulated memory: 804148 KiB
[startup+3462.3 s]*
/proc/loadavg: 4.10 4.13 4.13 5/254 804671
/proc/meminfo: memFree=113951244/131524600 swapFree=131071996/131071996
[pid=802666] ppid=802663 vsize=962064 memory=804148 CPUtime=3453.55 cores=4,6
/proc/802666/stat : 802666 (roundingsat) R 802663 802666 801007 0 -1 4194304 74421 0 0 0 344766 589 0 0 20 0 1 0 157232790 985153536 201037 134679101440 4194304 7968869 140732017829936 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 29298688 140732017832894 140732017833058 140732017833058 140732017840073 0
/proc/802666/statm: 240516 201037 1876 922 0 232468 0
Current children cumulated CPU time: 3453.55 s
Current children cumulated vsize: 962064 KiB
Current children cumulated memory: 804148 KiB
[startup+3522.3 s]
/proc/loadavg: 4.15 4.13 4.13 5/254 804682
/proc/meminfo: memFree=113937376/131524600 swapFree=131071996/131071996
[pid=802666] ppid=802663 vsize=962064 memory=804148 CPUtime=3513.36 cores=4,6
/proc/802666/stat : 802666 (roundingsat) R 802663 802666 801007 0 -1 4194304 74702 0 0 0 350747 589 0 0 20 0 1 0 157232790 985153536 201037 134679101440 4194304 7968869 140732017829936 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 29298688 140732017832894 140732017833058 140732017833058 140732017840073 0
/proc/802666/statm: 240516 201037 1876 922 0 232468 0
Current children cumulated CPU time: 3513.36 s
Current children cumulated vsize: 962064 KiB
Current children cumulated memory: 804148 KiB
[startup+3582.3 s]
/proc/loadavg: 4.12 4.12 4.13 5/254 804693
/proc/meminfo: memFree=113926232/131524600 swapFree=131071996/131071996
[pid=802666] ppid=802663 vsize=962064 memory=804148 CPUtime=3573.21 cores=4,6
/proc/802666/stat : 802666 (roundingsat) R 802663 802666 801007 0 -1 4194304 75033 0 0 0 356731 590 0 0 20 0 1 0 157232790 985153536 201037 134679101440 4194304 7968869 140732017829936 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 29298688 140732017832894 140732017833058 140732017833058 140732017840073 0
/proc/802666/statm: 240516 201037 1876 922 0 232468 0
Current children cumulated CPU time: 3573.21 s
Current children cumulated vsize: 962064 KiB
Current children cumulated memory: 804148 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.2 s]
/proc/loadavg: 4.15 4.13 4.13 5/254 804698
/proc/meminfo: memFree=113929560/131524600 swapFree=131071996/131071996
[pid=802666] ppid=802663 vsize=962064 memory=804148 CPUtime=3600.05 cores=4,6
/proc/802666/stat : 802666 (roundingsat) R 802663 802666 801007 0 -1 4194304 75119 0 0 0 359414 591 0 0 20 0 1 0 157232790 985153536 201037 134679101440 4194304 7968869 140732017829936 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 29298688 140732017832894 140732017833058 140732017833058 140732017840073 0
/proc/802666/statm: 240516 201037 1876 922 0 232468 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 962064 KiB
Current children cumulated memory: 804148 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.2 s]
# the end of solver process 802666 was just reported to runsolver
# Child status: 1
# cumulated CPU time of all completed processes: user=3594.14 s, system=5.91327 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 3609.2
CPU time (s): 3600.06
CPU user time (s): 3594.14
CPU system time (s): 5.91327
CPU usage (%): 99.7466
Max. virtual memory (cumulated for all children) (KiB): 962064
Max. memory (cumulated for all children) (KiB): 804148
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3594.14
system time used= 5.91327
maximum resident set size= 804148
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 75197
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= 14
involuntary context switches= 1134
# summary of solver processes directly reported to runsolver:
# pid: 802666
# total CPU time (s): 3600.06
# total CPU user time (s): 3594.14
# total CPU system time (s): 5.91327
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.94998 second user time and 17.9313 second system time
The end
Begin job on nodeC015 at 2024-07-15 15:38:58 IDJOB=4429614 IDBENCH=155403 IDSOLVER=3051 FILE ID=nodeC015/4429614-1721050726 RUNJOBID= nodeC015-1721048359-801018 SLURM_JOB_ID= 7505459 Free space on /tmp= 890012 MiB SOLVER NAME= RoundingSat nolog BENCH NAME= PB24/normalized-PB11/OPT-LIN/kullmann/normalized-mul_8_3_shg.opb COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4429614-1721050726/watcher-4429614-1721050726 -o /tmp/evaluation-result-4429614-1721050726/solver-4429614-1721050726 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1721048359-801018 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4429614-1721050726.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 9f3f50f555350d326304759fc873d478 RANDOM SEED=1443472427 nodeC015.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3670.101 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.61 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3687.194 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.25 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3609.045 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.61 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.059 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.25 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3665.247 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.61 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3687.214 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.25 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3648.696 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.61 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.042 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.25 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 121384956 kB MemAvailable: 126642600 kB Buffers: 352108 kB Cached: 5734480 kB SwapCached: 0 kB Active: 1200776 kB Inactive: 8324380 kB Active(anon): 1548 kB Inactive(anon): 3474752 kB Active(file): 1199228 kB Inactive(file): 4849628 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 25932 kB Writeback: 8 kB AnonPages: 3434996 kB Mapped: 112824 kB Shmem: 37720 kB KReclaimable: 96868 kB Slab: 203020 kB SReclaimable: 96868 kB SUnreclaim: 106152 kB KernelStack: 4064 kB PageTables: 16272 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 4095760 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 61504 kB HardwareCorrupted: 0 kB AnonHugePages: 2238464 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 228052 kB DirectMap2M: 33099776 kB DirectMap1G: 102760448 kB Free space on /tmp at the end= 889984 MiB End job on nodeC015 at 2024-07-15 16:39:07