Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS4_v2 2007-03-23 | SAT (TO) | 5944 | 1800.05 | 1800.72 |
Name | normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-p2756.opb |
MD5SUM | 54b9b4de78a7992fd69d0caeed32daef |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 3695 |
Best CPU time to get the best result obtained on this benchmark | 1800.38 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 3695 |
Optimality of the best value was proved | NO |
Number of variables | 2756 |
Total number of constraints | 749 |
Number of constraints which are clauses | 132 |
Number of constraints which are cardinality constraints (but not clauses) | 220 |
Number of constraints which are nor clauses,nor cardinality constraints | 397 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 546 |
Number of terms in the objective function | 2166 |
Biggest coefficient in the objective function | 11000 |
Number of bits for the biggest coefficient in the objective function | 14 |
Sum of the numbers in the objective function | 321831 |
Number of bits of the sum of numbers in the objective function | 19 |
Biggest number in a constraint | 11000 |
Number of bits of the biggest number in a constraint | 14 |
Biggest sum of numbers in a constraint | 321831 |
Number of bits of the biggest sum of numbers | 19 |
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 PBS v4 by Bashar Al-Rawi & Fadi Aloul 0.00/0.00 c Solving /tmp/evaluation/458722-1178641303/instance-458722-1178641303.opb ...... 0.01/0.09 c done parsing opb. 0.01/0.09 o 69309 0.09/0.10 o 63766 0.09/0.10 o 52951 0.09/0.11 o 52924 0.09/0.12 o 51285 0.09/0.13 o 47895 0.09/0.13 o 44456 0.09/0.14 o 39363 0.09/0.15 o 39360 0.09/0.16 o 39096 0.09/0.16 o 38033 0.09/0.17 o 37412 0.09/0.18 o 37098 0.09/0.19 o 35973 0.09/0.19 o 35661 0.19/0.21 o 35660 0.19/0.22 o 27420 0.19/0.23 o 26201 0.19/0.23 o 15509 0.19/0.24 o 15297 0.19/0.25 o 14530 0.19/0.25 o 14277 0.19/0.26 o 14108 0.19/0.26 o 14107 0.19/0.27 o 14106 0.19/0.28 o 14105 0.19/0.28 o 14104 0.19/0.29 o 14102 0.29/0.31 o 14101 0.29/0.31 o 10092 0.29/0.32 o 10071 0.29/0.32 o 8833 0.29/0.33 o 8753 0.29/0.33 o 8749 0.29/0.34 o 8747 0.29/0.34 o 8745 0.29/0.35 o 8705 0.29/0.35 o 8676 0.29/0.36 o 8627 0.29/0.36 o 8603 0.29/0.37 o 8343 0.29/0.38 o 8342 0.29/0.38 o 8341 0.29/0.39 o 8337 0.29/0.39 o 8241 0.29/0.40 o 8240 0.39/0.40 o 8204 0.39/0.41 o 8203 0.39/0.42 o 8202 24.68/24.79 o 8201 24.68/24.80 o 8200 24.78/24.81 o 8199 24.78/24.82 o 8198 24.78/24.83 o 8197 24.78/24.83 o 8196 24.78/24.84 o 8195 24.78/24.84 o 8194 24.78/24.84 o 8193 24.78/24.85 o 8192 24.78/24.85 o 8191 24.78/24.86 o 8190 24.78/24.86 o 8189 24.78/24.86 o 8188 24.78/24.87 o 8187 24.78/24.87 o 8186 24.78/24.88 o 8185 24.78/24.88 o 8184 24.98/25.05 o 8183 24.98/25.06 o 8182 24.98/25.06 o 8181 24.98/25.07 o 8180 24.98/25.07 o 8179 24.98/25.08 o 8178 24.98/25.08 o 8177 24.98/25.09 o 8176 24.98/25.09 o 8175 24.98/25.09 o 8174 24.98/25.10 o 8173 25.08/25.10 o 8172 25.08/25.11 o 8171 25.08/25.11 o 8170 25.08/25.12 o 8169 25.08/25.12 o 8168 25.08/25.12 o 8167 25.08/25.13 o 8166 25.08/25.13 o 8165 25.08/25.14 o 8164 25.08/25.14 o 8163 25.08/25.14 o 8162 25.08/25.15 o 8161 25.08/25.15 o 8160 25.08/25.15 o 8159 25.08/25.16 o 8158 25.08/25.16 o 8157 25.08/25.16 o 8156 25.08/25.17 o 8155 25.08/25.17 o 8154 25.08/25.17 o 8153 25.08/25.18 o 8152 25.08/25.18 o 8151 25.08/25.18 o 8150 25.08/25.19 o 8149 25.08/25.19 o 8148 25.08/25.20 o 8147 25.08/25.20 o 8146 25.18/25.20 o 8145 25.18/25.21 o 8144 25.18/25.21 o 8143 25.18/25.21 o 8142 25.18/25.22 o 8141 29.59/29.62 o 8140 29.59/29.64 o 8139 29.59/29.64 o 8138 29.59/29.65 o 8137 29.59/29.65 o 8136 29.59/29.65 o 8135 29.59/29.66 o 8134 29.59/29.67 o 8133 29.59/29.67 o 8132 29.59/29.67 o 8131 29.59/29.68 o 8130 29.59/29.68 o 8129 29.59/29.69 o 8128 29.59/29.69 o 8127 29.59/29.69 o 8126 29.59/29.70 o 8125 29.68/29.70 o 8124 29.68/29.71 o 8123 29.68/29.71 o 8122 29.68/29.72 o 8121 29.68/29.72 o 8120 29.68/29.72 o 8119 29.68/29.73 o 8118 29.68/29.73 o 8117 29.68/29.73 o 8116 29.68/29.74 o 8115 29.68/29.74 o 8114 29.68/29.74 o 8113 29.68/29.75 o 8112 29.68/29.75 o 8111 29.68/29.75 o 8110 29.68/29.76 o 8109 29.68/29.76 o 8108 29.68/29.76 o 8107 29.68/29.77 o 8106 29.68/29.77 o 8105 29.68/29.77 o 8104 29.68/29.78 o 8103 29.68/29.78 o 8102 29.68/29.78 o 8101 29.68/29.79 o 8100 29.68/29.79 o 8099 29.68/29.79 o 8098 29.68/29.80 o 8097 29.78/29.80 o 8096 29.78/29.80 o 8095 29.78/29.81 o 8094 29.78/29.81 o 8093 29.78/29.81 o 8092 29.78/29.82 o 8091 29.78/29.82 o 8090 50.77/50.88 o 8089 50.77/50.89 o 8088 50.87/50.90 o 8087 50.87/50.91 o 8086 50.87/50.91 o 8085 50.87/50.92 o 8084 50.87/50.92 o 8083 50.87/50.93 o 8082 50.87/50.93 o 8081 50.87/50.94 o 8080 50.87/50.94 o 8079 50.87/50.95 o 8078 50.87/50.95 o 8077 50.87/50.96 o 8076 50.87/50.96 o 8075 50.87/50.97 o 8074 50.87/50.97 o 8073 50.87/50.98 o 8072 50.87/50.98 o 8071 50.87/50.98 o 8070 50.87/50.99 o 8069 50.87/50.99 o 8068 50.98/51.00 o 8067 50.98/51.00 o 8066 50.98/51.01 o 8065 50.98/51.01 o 8064 50.98/51.01 o 8063 50.98/51.02 o 8062 50.98/51.02 o 8061 50.98/51.03 o 8060 50.98/51.03 o 8059 50.98/51.04 o 8058 50.98/51.04 o 8057 50.98/51.05 o 8056 50.98/51.06 o 8055 50.98/51.06 o 8054 51.07/51.18 o 8053 51.07/51.18 o 8052 51.07/51.19 o 8051 51.07/51.19 o 8050 51.07/51.20 o 8049 51.17/51.20 o 8048 51.17/51.21 o 8047 51.17/51.26 o 8046 63.26/63.30 o 8045 63.26/63.31 o 8044 63.26/63.32 o 8043 83.56/83.68 o 8042 83.56/83.68 o 8041 83.56/83.69 o 8040 83.56/83.69 o 8039 83.56/83.69 o 8038 83.66/83.70 o 8037 83.66/83.70 o 8036 83.66/83.71 o 8035 83.66/83.71 o 8034 83.66/83.71 o 8033 83.66/83.72 o 8032 83.66/83.72 o 8031 83.66/83.72 o 8030 83.66/83.73 o 8029 83.66/83.73 o 8028 83.66/83.73 o 8027 83.66/83.74 o 8026 83.66/83.74 o 8025 83.66/83.74 o 8024 83.66/83.75 o 8023 83.66/83.75 o 8022 83.66/83.76 o 8021 83.66/83.76 o 8020 83.66/83.76 o 8019 83.66/83.77 o 8018 83.66/83.77 o 8017 83.66/83.78 o 8016 83.66/83.78 o 8015 83.66/83.78 o 8014 83.66/83.79 o 8013 83.66/83.79 o 8012 83.66/83.79 o 8011 83.66/83.79 o 8010 83.76/83.80 o 8009 83.76/83.80 o 8008 83.76/83.81 o 8007 83.76/83.81 o 8006 83.76/83.81 o 8005 83.76/83.82 o 8004 83.76/83.82 o 8003 83.76/83.82 o 8002 83.76/83.83 o 8001 83.76/83.83 o 8000 83.76/83.83 o 7999 83.76/83.84 o 7998 83.76/83.84 o 7997 83.76/83.84 o 7996 83.76/83.85 o 7995 83.76/83.85 o 7994 83.76/83.85 o 7993 83.76/83.86 o 7992 83.76/83.86 o 7991 83.76/83.87 o 7990 83.76/83.87 o 7989 83.76/83.87 o 7988 83.76/83.88 o 7987 83.76/83.88 o 7986 83.76/83.89 o 7985 83.76/83.89 o 7984 83.76/83.89 o 7983 83.76/83.90 o 7982 83.86/83.90 o 7981 83.86/83.90 o 7980 83.86/83.91 o 7979 83.86/83.91 o 7978 83.86/83.91 o 7977 83.86/83.92 o 7976 83.86/83.92 o 7975 83.86/83.92 o 7974 83.86/83.93 o 7973 83.86/83.93 o 7972 83.86/83.94 o 7971 83.86/83.94 o 7970 83.86/83.94 o 7969 83.86/83.95 o 7968 83.86/83.95 o 7967 83.86/83.95 o 7966 83.86/83.96 o 7965 83.86/83.96 o 7964 83.86/83.96 o 7963 83.86/83.97 o 7962 83.86/83.97 o 7961 83.86/83.97 o 7960 83.86/83.98 o 7959 83.86/83.98 o 7958 83.86/83.98 o 7957 83.86/83.99 o 7956 83.86/83.99 o 7955 83.86/83.99 o 7954 83.96/84.00 o 7953 83.96/84.00 o 7952 83.96/84.00 o 7951 83.96/84.01 o 7950 83.96/84.01 o 7949 83.96/84.02 o 7948 83.96/84.02 o 7947 83.96/84.02 o 7946 83.96/84.03 o 7945 83.96/84.03 o 7944 83.96/84.03 o 7943 83.96/84.04 o 7942 83.96/84.04 o 7941 83.96/84.04 o 7940 83.96/84.05 o 7939 83.96/84.05 o 7938 83.96/84.05 o 7937 83.96/84.06 o 7936 83.96/84.06 o 7935 83.96/84.06 o 7934 83.96/84.07 o 7933 83.96/84.07 o 7932 83.96/84.07 o 7931 83.96/84.08 o 7930 83.96/84.08 o 7929 83.96/84.08 o 7928 83.96/84.09 o 7927 83.96/84.09 o 7926 84.06/84.10 o 7925 84.06/84.10 o 7924 84.06/84.10 o 7923 84.06/84.11 o 7922 84.06/84.11 o 7921 84.06/84.12 o 7920 84.06/84.12 o 7919 84.06/84.12 o 7918 84.06/84.13 o 7917 84.06/84.13 o 7916 84.06/84.13 o 7915 84.06/84.14 o 7914 84.06/84.14 o 7913 84.06/84.14 o 7912 84.06/84.15 o 7911 84.06/84.15 o 7910 84.06/84.15 o 7909 84.06/84.16 o 7908 84.06/84.16 o 7907 84.06/84.16 o 7906 84.06/84.17 o 7905 84.06/84.17 o 7904 84.06/84.17 o 7903 84.06/84.18 o 7902 84.06/84.18 o 7901 84.06/84.18 o 7900 84.06/84.19 o 7899 84.06/84.19 o 7898 84.06/84.19 o 7897 84.26/84.39 o 7896 195.92/196.02 o 7895 199.32/199.43 o 7894 199.32/199.44 o 7893 199.32/199.44 o 7892 199.32/199.44 o 7891 199.32/199.45 o 7890 199.32/199.45 o 7889 199.32/199.46 o 7888 199.32/199.46 o 7887 199.32/199.47 o 7886 199.32/199.47 o 7885 199.32/199.48 o 7884 199.32/199.48 o 7883 199.32/199.48 o 7882 199.32/199.49 o 7881 199.32/199.49 o 7880 199.42/199.50 o 7879 199.42/199.50 o 7878 199.42/199.51 o 7877 199.42/199.52 o 7876 199.42/199.52 o 7875 199.42/199.52 o 7874 199.42/199.53 o 7873 199.42/199.53 o 7872 199.42/199.54 o 7871 199.42/199.54 o 7870 199.42/199.55 o 7869 199.42/199.55 o 7868 199.42/199.56 o 7867 199.42/199.56 o 7866 199.42/199.56 o 7865 199.42/199.57 o 7864 199.42/199.57 o 7863 199.42/199.58 o 7862 199.42/199.58 o 7861 199.42/199.59 o 7860 199.42/199.59 o 7859 199.42/199.59 o 7858 199.52/199.60 o 7857 199.52/199.60 o 7856 199.52/199.61 o 7855 199.52/199.61 o 7854 199.52/199.62 o 7853 199.52/199.62 o 7852 199.52/199.62 o 7851 199.52/199.63 o 7850 199.52/199.63 o 7849 199.52/199.64 o 7848 199.52/199.64 o 7847 199.52/199.65 o 7846 199.52/199.65 o 7845 199.52/199.66 o 7844 199.52/199.66 o 7843 199.52/199.66 o 7842 199.52/199.67 o 7841 199.52/199.67 o 7840 199.52/199.68 o 7839 199.52/199.68 o 7838 199.52/199.69 o 7837 199.52/199.69 o 7836 199.62/199.70 o 7835 199.62/199.70 o 7834 199.62/199.71 o 7833 199.62/199.71 o 7832 199.62/199.71 o 7831 199.62/199.72 o 7830 199.62/199.72 o 7829 199.62/199.73 o 7828 199.62/199.73 o 7827 199.62/199.74 o 7826 199.62/199.74 o 7825 199.62/199.74 o 7824 199.62/199.75 o 7823 199.62/199.75 o 7822 199.62/199.76 o 7821 199.62/199.76 o 7820 199.62/199.76 o 7819 199.62/199.77 o 7818 199.62/199.77 o 7817 199.62/199.78 o 7816 199.62/199.78 o 7815 199.62/199.79 o 7814 199.62/199.79 o 7813 199.62/199.80 o 7812 199.72/199.80 o 7811 199.72/199.80 o 7810 199.72/199.81 o 7809 199.72/199.81 o 7808 199.72/199.82 o 7807 199.72/199.82 o 7806 199.72/199.82 o 7805 199.72/199.83 o 7804 199.72/199.83 o 7803 199.72/199.84 o 7802 199.72/199.84 o 7801 199.72/199.85 o 7800 199.72/199.85 o 7799 199.72/199.85 o 7798 199.72/199.86 o 7797 199.72/199.86 o 7796 199.72/199.86 o 7795 199.72/199.87 o 7794 199.72/199.87 o 7793 199.72/199.88 o 7792 199.72/199.88 o 7791 199.72/199.89 o 7790 199.72/199.89 o 7789 199.72/199.89 o 7788 199.72/199.90 o 7787 199.82/199.90 o 7786 199.82/199.90 o 7785 199.82/199.91 o 7784 199.82/199.91 o 7783 199.82/199.92 o 7782 199.82/199.92 o 7781 199.82/199.93 o 7780 199.82/199.93 o 7779 199.82/199.93 o 7778 199.82/199.94 o 7777 199.82/199.94 o 7776 199.82/199.95 o 7775 199.82/199.95 o 7774 199.82/199.95 o 7773 199.82/199.96 o 7772 199.82/199.96 o 7771 199.82/199.97 o 7770 199.82/199.97 o 7769 199.82/199.97 o 7768 199.82/199.98 o 7767 199.82/199.98 o 7766 199.82/199.99 o 7765 199.82/199.99 o 7764 199.82/199.99 o 7763 199.92/200.00 o 7762 199.92/200.00 o 7761 199.92/200.01 o 7760 199.92/200.01 o 7759 199.92/200.01 o 7758 199.92/200.02 o 7757 199.92/200.02 o 7756 199.92/200.03 o 7755 199.92/200.03 o 7754 199.92/200.03 o 7753 199.92/200.04 o 7752 199.92/200.04 o 7751 199.92/200.04 o 7750 199.92/200.05 o 7749 199.92/200.05 o 7748 199.92/200.06 o 7747 199.92/200.06 o 7746 199.92/200.06 o 7745 199.92/200.07 o 7744 199.92/200.07 o 7743 199.92/200.08 o 7742 199.92/200.08 o 7741 199.92/200.08 o 7740 199.92/200.09 o 7739 199.92/200.09 o 7738 199.92/200.10 o 7737 199.92/200.10 o 7736 200.03/200.10 o 7735 200.03/200.11 o 7734 200.03/200.12 o 7733 200.03/200.12 o 7732 200.03/200.13 o 7731 200.03/200.13 o 7730 200.03/200.14 o 7729 200.03/200.14 o 7728 200.03/200.14 o 7727 200.03/200.15 o 7726 200.03/200.15 o 7725 200.03/200.16 o 7724 200.03/200.16 o 7723 200.03/200.17 o 7722 200.03/200.17 o 7721 200.03/200.17 o 7720 200.03/200.18 o 7719 200.03/200.18 o 7718 200.03/200.19 o 7717 200.03/200.19 o 7716 200.03/200.20 o 7715 200.03/200.20 o 7714 200.13/200.20 o 7713 200.13/200.21 o 7712 200.13/200.21 o 7711 200.13/200.22 o 7710 200.13/200.22 o 7709 200.13/200.22 o 7708 200.13/200.23 o 7707 200.13/200.24 o 7706 200.13/200.24 o 7705 202.52/202.61 o 7704 202.52/202.62 o 7703 202.52/202.62 o 7702 202.52/202.63 o 7701 202.52/202.63 o 7700 202.52/202.64 o 7699 202.52/202.64 o 7698 202.52/202.64 o 7697 202.52/202.65 o 7696 202.52/202.65 o 7695 202.52/202.66 o 7694 202.52/202.66 o 7693 202.52/202.66 o 7692 202.52/202.67 o 7691 202.52/202.67 o 7690 202.52/202.68 o 7689 202.52/202.68 o 7688 202.52/202.68 o 7687 202.52/202.69 o 7686 202.52/202.69 o 7685 202.52/202.69 o 7684 202.62/202.70 o 7683 202.62/202.70 o 7682 202.62/202.71 o 7681 202.62/202.71 o 7680 202.62/202.72 o 7679 202.62/202.72 o 7678 202.62/202.72 o 7677 202.62/202.73 o 7676 202.62/202.73 o 7675 202.62/202.73 o 7674 202.62/202.74 o 7673 202.62/202.74 o 7672 202.62/202.74 o 7671 202.62/202.75 o 7670 202.62/202.75 o 7669 202.62/202.75 o 7668 202.62/202.76 o 7667 202.62/202.76 o 7666 202.62/202.77 o 7665 202.62/202.77 o 7664 202.62/202.77 o 7663 202.72/202.82 o 7662 234.80/234.92 o 7661 234.80/234.92 o 7660 234.80/234.93 o 7659 234.80/234.93 o 7658 234.80/234.94 o 7657 234.80/234.94 o 7656 234.80/234.95 o 7655 234.80/234.96 o 7654 234.80/234.96 o 7653 234.80/234.97 o 7652 234.80/234.97 o 7651 234.80/234.97 o 7650 234.80/234.98 o 7649 234.80/234.98 o 7648 234.80/234.98 o 7647 234.80/234.99 o 7646 234.80/234.99 o 7645 234.80/235.00 o 7644 234.90/235.00 o 7643 234.90/235.00 o 7642 234.90/235.01 o 7641 234.90/235.01 o 7640 234.90/235.02 o 7639 234.90/235.02 o 7638 234.90/235.02 o 7637 234.90/235.03 o 7636 234.90/235.03 o 7635 234.90/235.03 o 7634 234.90/235.04 o 7633 234.90/235.04 o 7632 234.90/235.04 o 7631 234.90/235.05 o 7630 234.90/235.05 o 7629 234.90/235.06 o 7628 234.90/235.06 o 7627 234.90/235.06 o 7626 234.90/235.07 o 7625 234.90/235.07 o 7624 234.90/235.08 o 7623 234.90/235.08 o 7622 234.90/235.09 o 7621 234.90/235.09 o 7620 235.00/235.10 o 7619 235.00/235.10 o 7618 235.00/235.10 o 7617 235.00/235.11 o 7616 235.00/235.11 o 7615 235.00/235.12 o 7614 235.00/235.12 o 7613 235.00/235.12 o 7612 235.00/235.13 o 7611 235.00/235.13 o 7610 235.00/235.13 o 7609 235.00/235.14 o 7608 235.00/235.14 o 7607 235.00/235.15 o 7606 235.00/235.15 o 7605 235.00/235.15 o 7604 235.00/235.16 o 7603 235.00/235.16 o 7602 235.00/235.16 o 7601 235.00/235.17 o 7600 235.00/235.17 o 7599 235.00/235.17 o 7598 235.00/235.18 o 7597 235.00/235.18 o 7596 235.00/235.19 o 7595 235.00/235.19 o 7594 235.00/235.19 o 7593 235.10/235.20 o 7592 235.10/235.20 o 7591 235.10/235.20 o 7590 235.10/235.21 o 7589 235.10/235.21 o 7588 235.10/235.22 o 7587 235.10/235.22 o 7586 235.10/235.22 o 7585 235.10/235.23 o 7584 235.10/235.23 o 7583 235.10/235.23 o 7582 235.10/235.24 o 7581 235.10/235.24 o 7580 235.10/235.25 o 7579 235.10/235.25 o 7578 235.10/235.25 o 7577 235.10/235.26 o 7576 235.10/235.26 o 7575 235.10/235.27 o 7574 235.10/235.27 o 7573 235.10/235.27 o 7572 235.10/235.28 o 7571 235.10/235.28 o 7570 235.10/235.29 o 7569 235.10/235.29 o 7568 235.10/235.29 o 7567 235.10/235.30 o 7566 235.20/235.30 o 7565 235.20/235.31 o 7564 235.20/235.31 o 7563 235.20/235.31 o 7562 235.20/235.32 o 7561 235.20/235.32 o 7560 235.20/235.32 o 7559 235.20/235.33 o 7558 235.20/235.33 o 7557 235.20/235.34 o 7556 235.20/235.34 o 7555 235.20/235.34 o 7554 235.20/235.35 o 7553 235.20/235.35 o 7552 235.20/235.36 o 7551 235.20/235.36 o 7550 235.20/235.37 o 7549 235.20/235.37 o 7548 235.40/235.58 o 7547 235.40/235.58 o 7546 235.40/235.59 o 7545 235.40/235.59 o 7544 235.50/235.60 o 7543 235.50/235.60 o 7542 235.50/235.60 o 7541 235.50/235.61 o 7540 235.50/235.61 o 7539 235.50/235.62 o 7538 235.50/235.62 o 7537 235.50/235.63 o 7536 235.50/235.63 o 7535 235.50/235.63 o 7534 235.50/235.64 o 7533 235.50/235.64 o 7532 235.50/235.65 o 7531 235.50/235.65 o 7530 235.50/235.65 o 7529 235.50/235.66 o 7528 235.50/235.66 o 7527 235.50/235.66 o 7526 235.50/235.67 o 7525 235.50/235.67 o 7524 235.50/235.67 o 7523 235.50/235.68 o 7522 235.50/235.68 o 7521 235.50/235.69 o 7520 235.50/235.69 o 7519 235.50/235.70 o 7518 235.60/235.70 o 7517 235.60/235.72 o 7516 235.60/235.72 o 7515 235.60/235.73 o 7514 235.60/235.73 o 7513 235.60/235.74 o 7512 235.60/235.74 o 7511 235.60/235.75 o 7510 235.60/235.75 o 7509 235.60/235.75 o 7508 235.60/235.76 o 7507 235.60/235.76 o 7506 235.60/235.77 o 7505 235.60/235.77 o 7504 235.60/235.77 o 7503 235.60/235.78 o 7502 235.60/235.78 o 7501 235.60/235.79 o 7500 235.60/235.79 o 7499 235.60/235.79 o 7498 235.60/235.80 o 7497 235.70/235.80 o 7496 235.70/235.80 o 7495 235.70/235.81 o 7494 235.70/235.81 o 7493 235.70/235.81 o 7492 235.70/235.82 o 7491 235.70/235.82 o 7490 235.70/235.82 o 7489 235.70/235.83 o 7488 235.70/235.83 o 7487 235.70/235.83 o 7486 235.70/235.84 o 7485 235.70/235.84 o 7484 235.70/235.84 o 7483 235.70/235.85 o 7482 235.70/235.85 o 7481 235.70/235.85 o 7480 235.70/235.86 o 7479 235.70/235.86 o 7478 235.70/235.86 o 7477 235.70/235.87 o 7476 235.70/235.87 o 7475 235.70/235.87 o 7474 235.70/235.88 o 7473 235.70/235.88 o 7472 235.70/235.88 o 7471 235.70/235.89 o 7470 235.70/235.89 o 7469 236.10/236.21 o 7468 236.10/236.24 o 7467 236.10/236.24 o 7466 236.10/236.24 o 7465 236.10/236.25 o 7464 236.10/236.26 o 7463 236.10/236.26 o 7462 236.10/236.26 o 7461 236.10/236.27 o 7460 236.10/236.27 o 7459 236.10/236.28 o 7458 236.10/236.28 o 7457 236.10/236.29 o 7456 236.10/236.29 o 7455 236.20/236.30 o 7454 236.20/236.30 o 7453 236.20/236.31 o 7452 236.20/236.31 o 7451 236.20/236.32 o 7450 236.20/236.32 o 7449 236.20/236.33 o 7448 236.20/236.33 o 7447 236.20/236.33 o 7446 236.20/236.34 o 7445 236.20/236.37 o 7444 236.80/236.93 o 7443 236.80/236.94 o 7442 236.80/236.94 o 7441 236.80/236.95 o 7440 236.80/236.95 o 7439 236.80/236.96 o 7438 236.80/236.96 o 7437 236.80/236.96 o 7436 236.80/236.97 o 7435 236.80/236.97 o 7434 236.80/236.98 o 7433 236.80/236.98 o 7432 236.80/236.98 o 7431 236.80/236.99 o 7430 236.80/236.99 o 7429 236.90/237.00 o 7428 236.90/237.00 o 7427 236.90/237.01 o 7426 236.90/237.01 o 7425 236.90/237.02 o 7424 236.90/237.02 o 7423 236.90/237.03 o 7422 236.90/237.03 o 7421 236.90/237.03 o 7420 236.90/237.04 o 7419 236.90/237.04 o 7418 236.90/237.05 o 7417 236.90/237.05 o 7416 236.90/237.05 o 7415 236.90/237.06 o 7414 236.90/237.06 o 7413 236.90/237.07 o 7412 236.90/237.07 o 7411 236.90/237.07 o 7410 236.90/237.08 o 7409 236.90/237.08 o 7408 236.90/237.09 o 7407 236.90/237.09 o 7406 236.90/237.09 o 7405 237.00/237.10 o 7404 237.00/237.10 o 7403 237.00/237.11 o 7402 237.00/237.11 o 7401 237.00/237.11 o 7400 237.00/237.12 o 7399 237.00/237.12 o 7398 237.00/237.13 o 7397 237.00/237.13 o 7396 237.00/237.13 o 7395 237.00/237.14 o 7394 237.00/237.14 o 7393 237.00/237.15 o 7392 237.00/237.15 o 7391 237.00/237.15 o 7390 237.00/237.16 o 7389 237.00/237.16 o 7388 237.00/237.17 o 7387 237.00/237.17 o 7386 237.00/237.17 o 7385 237.00/237.18 o 7384 237.00/237.18 o 7383 237.00/237.19 o 7382 237.00/237.19 o 7381 237.00/237.19 o 7380 237.10/237.20 o 7379 237.10/237.20 o 7378 237.10/237.21 o 7377 237.10/237.22 o 7376 237.10/237.22 o 7375 237.10/237.23 o 7374 237.10/237.23 o 7373 237.10/237.24 o 7372 237.10/237.24 o 7371 237.10/237.25 o 7370 237.10/237.25 o 7369 237.20/237.39 o 7368 237.20/237.39 o 7367 237.30/237.40 o 7366 237.30/237.40 o 7365 237.30/237.40 o 7364 237.30/237.41 o 7363 237.30/237.41 o 7362 237.30/237.41 o 7361 237.30/237.42 o 7360 237.30/237.42 o 7359 237.30/237.42 o 7358 237.30/237.43 o 7357 237.30/237.43 o 7356 237.30/237.43 o 7355 237.30/237.44 o 7354 237.30/237.44 o 7353 237.30/237.44 o 7352 237.30/237.45 o 7351 237.30/237.45 o 7350 237.30/237.45 o 7349 237.30/237.46 o 7348 237.30/237.46 o 7347 237.30/237.46 o 7346 237.30/237.47 o 7345 237.30/237.47 o 7344 237.30/237.47 o 7343 237.30/237.48 o 7342 237.30/237.48 o 7341 237.30/237.48 o 7340 237.30/237.49 o 7339 237.30/237.49 o 7338 237.30/237.49 o 7337 237.30/237.50 o 7336 237.41/237.50 o 7335 237.41/237.50 o 7334 237.41/237.51 o 7333 237.41/237.51 o 7332 237.41/237.51 o 7331 237.41/237.52 o 7330 237.41/237.52 o 7329 237.41/237.52 o 7328 237.41/237.53 o 7327 237.41/237.53 o 7326 237.41/237.53 o 7325 237.41/237.54 o 7324 237.41/237.54 o 7323 237.41/237.54 o 7322 237.41/237.55 o 7321 237.41/237.55 o 7320 237.41/237.55 o 7319 237.41/237.56 o 7318 237.41/237.56 o 7317 237.41/237.56 o 7316 237.41/237.57 o 7315 237.41/237.57 o 7314 237.41/237.57 o 7313 237.41/237.58 o 7312 237.41/237.58 o 7311 237.41/237.58 o 7310 237.41/237.59 o 7309 237.41/237.59 o 7308 237.41/237.59 o 7307 237.41/237.60 o 7306 237.41/237.60 o 7305 237.50/237.60 o 7304 237.50/237.61 o 7303 237.50/237.61 o 7302 237.50/237.61 o 7301 237.50/237.62 o 7300 237.50/237.62 o 7299 237.50/237.62 o 7298 237.50/237.63 o 7297 237.50/237.63 o 7296 237.50/237.63 o 7295 237.50/237.64 o 7294 237.50/237.64 o 7293 237.50/237.64 o 7292 237.50/237.65 o 7291 237.50/237.65 o 7290 237.50/237.65 o 7289 237.50/237.66 o 7288 237.50/237.66 o 7287 237.50/237.66 o 7286 237.50/237.67 o 7285 237.50/237.67 o 7284 237.50/237.67 o 7283 237.50/237.68 o 7282 237.50/237.68 o 7281 237.50/237.68 o 7280 237.50/237.69 o 7279 237.50/237.69 o 7278 237.50/237.69 o 7277 237.50/237.70 o 7276 237.60/237.70 o 7275 237.60/237.70 o 7274 237.60/237.71 o 7273 237.60/237.71 o 7272 237.60/237.71 o 7271 237.60/237.72 o 7270 237.60/237.72 o 7269 237.60/237.72 o 7268 237.60/237.73 o 7267 237.60/237.73 o 7266 237.60/237.73 o 7265 237.60/237.74 o 7264 237.60/237.74 o 7263 237.60/237.74 o 7262 237.60/237.75 o 7261 237.60/237.75 o 7260 237.60/237.75 o 7259 237.60/237.76 o 7258 237.60/237.76 o 7257 237.60/237.76 o 7256 237.60/237.77 o 7255 237.60/237.77 o 7254 237.60/237.77 o 7253 237.60/237.77 o 7252 237.60/237.78 o 7251 237.60/237.78 o 7250 237.60/237.78 o 7249 237.60/237.79 o 7248 237.60/237.79 o 7247 237.60/237.79 o 7246 237.70/237.80 o 7245 237.70/237.80 o 7244 237.70/237.80 o 7243 237.70/237.81 o 7242 237.70/237.81 o 7241 237.70/237.81 o 7240 237.70/237.82 o 7239 237.70/237.82 o 7238 237.70/237.82 o 7237 237.70/237.83 o 7236 237.70/237.83 o 7235 237.70/237.83 o 7234 237.70/237.84 o 7233 237.70/237.84 o 7232 237.70/237.84 o 7231 237.70/237.85 o 7230 237.70/237.85 o 7229 237.70/237.85 o 7228 237.70/237.86 o 7227 237.70/237.86 o 7226 237.70/237.86 o 7225 237.70/237.87 o 7224 237.70/237.87 o 7223 237.70/237.87 o 7222 237.70/237.88 o 7221 237.70/237.88 o 7220 237.70/237.88 o 7219 237.70/237.89 o 7218 237.70/237.89 o 7217 237.70/237.89 o 7216 237.80/237.90 o 7215 237.80/237.90 o 7214 237.80/237.90 o 7213 237.80/237.91 o 7212 237.80/237.91 o 7211 237.80/237.91 o 7210 237.80/237.92 o 7209 237.80/237.92 o 7208 237.80/237.92 o 7207 237.80/237.93 o 7206 237.80/237.93 o 7205 237.80/237.93 o 7204 237.80/237.94 o 7203 237.80/237.94 o 7202 237.80/237.94 o 7201 237.80/237.95 o 7200 237.80/237.95 o 7199 237.80/237.95 o 7198 237.80/237.96 o 7197 237.80/237.96 o 7196 237.80/237.96 o 7195 237.80/237.97 o 7194 237.80/237.97 o 7193 237.80/237.97 o 7192 237.80/237.98 o 7191 237.80/237.98 o 7190 237.80/237.98 o 7189 237.80/237.99 o 7188 237.80/237.99 o 7187 237.80/237.99 o 7186 237.80/238.00 o 7185 237.89/238.00 o 7184 237.89/238.00 o 7183 237.89/238.01 o 7182 237.89/238.01 o 7181 237.89/238.01 o 7180 237.89/238.02 o 7179 237.89/238.02 o 7178 237.89/238.03 o 7177 237.89/238.03 o 7176 237.89/238.03 o 7175 237.89/238.04 o 7174 237.89/238.04 o 7173 237.89/238.05 o 7172 237.89/238.05 o 7171 237.89/238.05 o 7170 237.89/238.06 o 7169 237.89/238.06 o 7168 237.89/238.06 o 7167 237.89/238.07 o 7166 237.89/238.07 o 7165 237.89/238.07 o 7164 237.89/238.08 o 7163 237.89/238.08 o 7162 237.89/238.09 o 7161 237.89/238.09 o 7160 237.89/238.09 o 7159 237.99/238.10 o 7158 237.99/238.10 o 7157 237.99/238.11 o 7156 237.99/238.11 o 7155 237.99/238.12 o 7154 237.99/238.12 o 7153 237.99/238.13 o 7152 237.99/238.14 o 7151 246.39/246.60 o 7150 246.49/246.60 o 7149 246.49/246.61 o 7148 246.49/246.61 o 7147 246.49/246.61 o 7146 246.49/246.62 o 7145 246.49/246.62 o 7144 246.49/246.63 o 7143 246.49/246.63 o 7142 246.49/246.63 o 7141 246.49/246.64 o 7140 246.49/246.64 o 7139 246.49/246.65 o 7138 246.49/246.65 o 7137 246.49/246.66 o 7136 246.49/246.67 o 7135 246.49/246.67 o 7134 246.49/246.68 o 7133 246.49/246.68 o 7132 246.49/246.68 o 7131 246.49/246.69 o 7130 246.49/246.69 o 7129 246.59/246.70 o 7128 246.59/246.70 o 7127 246.59/246.71 o 7126 246.59/246.71 o 7125 246.59/246.71 o 7124 246.59/246.72 o 7123 246.59/246.72 o 7122 246.59/246.73 o 7121 246.59/246.73 o 7120 246.59/246.73 o 7119 246.59/246.74 o 7118 246.59/246.74 o 7117 246.59/246.75 o 7116 246.59/246.75 o 7115 246.59/246.76 o 7114 246.59/246.76 o 7113 246.59/246.76 o 7112 246.59/246.77 o 7111 246.59/246.77 o 7110 246.59/246.78 o 7109 246.59/246.78 o 7108 246.59/246.79 o 7107 246.59/246.79 o 7106 246.59/246.79 o 7105 246.69/246.80 o 7104 246.69/246.80 o 7103 246.69/246.81 o 7102 246.69/246.81 o 7101 246.69/246.81 o 7100 246.69/246.82 o 7099 246.69/246.82 o 7098 246.69/246.83 o 7097 246.69/246.83 o 7096 246.69/246.83 o 7095 246.69/246.84 o 7094 246.69/246.84 o 7093 246.69/246.85 o 7092 246.69/246.85 o 7091 246.69/246.86 o 7090 246.69/246.86 o 7089 246.69/246.86 o 7088 246.69/246.87 o 7087 246.69/246.87 o 7086 246.69/246.88 o 7085 246.69/246.88 o 7084 246.69/246.88 o 7083 246.69/246.89 o 7082 246.69/246.89 o 7081 246.69/246.90 o 7080 246.79/246.90 o 7079 246.79/246.90 o 7078 246.79/246.91 o 7077 246.79/246.91 o 7076 246.79/246.92 o 7075 246.79/246.92 o 7074 246.79/246.93 o 7073 246.79/246.93 o 7072 246.79/246.94 o 7071 246.79/246.94 o 7070 246.79/246.94 o 7069 246.79/246.95 o 7068 246.79/246.95 o 7067 246.79/246.96 o 7066 246.79/246.96 o 7065 246.79/246.97 o 7064 246.79/246.97 o 7063 246.79/246.97 o 7062 246.79/246.98 o 7061 246.79/246.98 o 7060 246.79/246.99 o 7059 246.79/246.99 o 7058 246.79/247.00 o 7057 246.90/247.00 o 7056 246.90/247.00 o 7055 246.90/247.01 o 7054 246.90/247.01 o 7053 246.90/247.02 o 7052 246.90/247.02 o 7051 246.90/247.03 o 7050 246.90/247.03 o 7049 246.90/247.03 o 7048 246.90/247.04 o 7047 246.90/247.04 o 7046 246.90/247.05 o 7045 246.90/247.05 o 7044 246.90/247.06 o 7043 246.90/247.06 o 7042 246.90/247.07 o 7041 246.90/247.07 o 7040 246.90/247.08 o 7039 246.90/247.08 o 7038 246.90/247.08 o 7037 246.90/247.09 o 7036 246.90/247.09 o 7035 246.90/247.09 o 7034 246.90/247.10 o 7033 246.99/247.10 o 7032 246.99/247.10 o 7031 246.99/247.11 o 7030 246.99/247.11 o 7029 246.99/247.11 o 7028 246.99/247.12 o 7027 246.99/247.12 o 7026 246.99/247.12 o 7025 246.99/247.13 o 7024 246.99/247.13 o 7023 246.99/247.13 o 7022 246.99/247.14 o 7021 246.99/247.14 o 7020 246.99/247.14 o 7019 246.99/247.15 o 7018 246.99/247.15 o 7017 246.99/247.16 o 7016 246.99/247.16 o 7015 246.99/247.16 o 7014 246.99/247.17 o 7013 246.99/247.17 o 7012 246.99/247.17 o 7011 246.99/247.18 o 7010 246.99/247.18 o 7009 246.99/247.18 o 7008 246.99/247.19 o 7007 246.99/247.19 o 7006 246.99/247.19 o 7005 247.09/247.20 o 7004 247.09/247.20 o 7003 247.09/247.20 o 7002 247.09/247.21 o 7001 247.09/247.21 o 7000 247.09/247.21 o 6999 247.09/247.22 o 6998 247.09/247.22 o 6997 247.09/247.22 o 6996 247.09/247.23 o 6995 247.09/247.23 o 6994 247.09/247.24 o 6993 247.09/247.24 o 6992 247.09/247.24 o 6991 247.09/247.25 o 6990 247.09/247.25 o 6989 247.09/247.25 o 6988 247.09/247.26 o 6987 247.09/247.26 o 6986 247.09/247.26 o 6985 247.09/247.27 o 6984 247.09/247.27 o 6983 247.09/247.27 o 6982 247.09/247.28 o 6981 247.09/247.28 o 6980 247.09/247.28 o 6979 247.09/247.29 o 6978 247.09/247.29 o 6977 247.09/247.29 o 6976 247.19/247.30 o 6975 247.19/247.30 o 6974 247.19/247.31 o 6973 247.19/247.31 o 6972 247.19/247.31 o 6971 247.19/247.32 o 6970 247.19/247.32 o 6969 247.19/247.32 o 6968 247.19/247.33 o 6967 247.19/247.33 o 6966 247.19/247.33 o 6965 247.19/247.34 o 6964 247.19/247.34 o 6963 247.19/247.34 o 6962 247.19/247.35 o 6961 247.19/247.35 o 6960 247.19/247.35 o 6959 247.19/247.36 o 6958 247.19/247.36 o 6957 247.19/247.36 o 6956 247.19/247.37 o 6955 247.19/247.37 o 6954 247.19/247.37 o 6953 247.19/247.38 o 6952 247.19/247.38 o 6951 247.19/247.38 o 6950 247.19/247.39 o 6949 247.19/247.39 o 6948 247.19/247.40 o 6947 247.19/247.40 o 6946 247.30/247.40 o 6945 247.30/247.41 o 6944 247.30/247.41 o 6943 247.30/247.41 o 6942 247.30/247.42 o 6941 247.30/247.42 o 6940 247.30/247.42 o 6939 247.30/247.43 o 6938 247.30/247.43 o 6937 247.30/247.44 o 6936 247.30/247.44 o 6935 247.30/247.44 o 6934 247.30/247.45 o 6933 247.30/247.45 o 6932 247.30/247.45 o 6931 247.30/247.46 o 6930 247.30/247.46 o 6929 247.30/247.47 o 6928 247.30/247.47 o 6927 247.30/247.47 o 6926 247.30/247.48 o 6925 247.30/247.48 o 6924 247.30/247.48 o 6923 247.30/247.49 o 6922 247.30/247.49 o 6921 247.30/247.49 o 6920 247.30/247.50 o 6919 247.39/247.50 o 6918 247.39/247.51 o 6917 247.39/247.51 o 6916 247.39/247.51 o 6915 247.39/247.52 o 6914 247.39/247.52 o 6913 247.39/247.52 o 6912 247.39/247.53 o 6911 247.39/247.53 o 6910 247.39/247.53 o 6909 247.39/247.54 o 6908 247.39/247.54 o 6907 247.39/247.55 o 6906 247.39/247.55 o 6905 247.39/247.55 o 6904 247.39/247.56 o 6903 247.39/247.56 o 6902 247.39/247.56 o 6901 247.39/247.57 o 6900 247.39/247.57 o 6899 247.39/247.58 o 6898 247.39/247.58 o 6897 247.39/247.58 o 6896 247.39/247.59 o 6895 247.39/247.59 o 6894 247.39/247.60 o 6893 247.49/247.60 o 6892 247.49/247.60 o 6891 247.49/247.61 o 6890 247.49/247.61 o 6889 247.49/247.62 o 6888 247.49/247.62 o 6887 247.49/247.63 o 6886 247.49/247.63 o 6885 247.49/247.64 o 6884 247.49/247.64 o 6883 247.49/247.64 o 6882 247.49/247.65 o 6881 247.49/247.65 o 6880 247.49/247.66 o 6879 247.49/247.66 o 6878 247.49/247.67 o 6877 247.49/247.67 o 6876 247.49/247.67 o 6875 247.49/247.68 o 6874 247.49/247.68 o 6873 247.49/247.69 o 6872 247.49/247.69 o 6871 247.49/247.69 o 6870 247.49/247.70 o 6869 247.59/247.70 o 6868 247.59/247.70 o 6867 247.59/247.71 o 6866 247.59/247.71 o 6865 247.59/247.71 o 6864 247.59/247.72 o 6863 247.59/247.72 o 6862 247.59/247.72 o 6861 247.59/247.73 o 6860 247.59/247.73 o 6859 247.59/247.73 o 6858 247.59/247.74 o 6857 247.59/247.74 o 6856 247.59/247.75 o 6855 247.59/247.75 o 6854 247.59/247.75 o 6853 247.59/247.75 o 6852 247.59/247.76 o 6851 247.59/247.78 o 6850 299.08/299.22 o 6849 299.08/299.22 o 6848 299.08/299.22 o 6847 299.08/299.23 o 6846 299.08/299.23 o 6845 299.08/299.24 o 6844 299.08/299.24 o 6843 299.08/299.24 o 6842 299.08/299.25 o 6841 299.08/299.25 o 6840 299.08/299.25 o 6839 299.08/299.26 o 6838 299.08/299.26 o 6837 299.08/299.26 o 6836 299.08/299.27 o 6835 299.08/299.27 o 6834 299.08/299.28 o 6833 299.08/299.28 o 6832 299.08/299.28 o 6831 299.08/299.29 o 6830 299.08/299.29 o 6829 299.08/299.29 o 6828 299.17/299.30 o 6827 299.17/299.30 o 6826 299.17/299.31 o 6825 299.17/299.31 o 6824 299.17/299.31 o 6823 299.17/299.32 o 6822 299.17/299.32 o 6821 299.17/299.33 o 6820 299.17/299.33 o 6819 299.17/299.33 o 6818 299.17/299.34 o 6817 299.17/299.34 o 6816 299.17/299.35 o 6815 299.17/299.35 o 6814 299.17/299.35 o 6813 299.17/299.36 o 6812 299.17/299.36 o 6811 299.17/299.36 o 6810 299.17/299.37 o 6809 299.17/299.37 o 6808 299.17/299.38 o 6807 299.17/299.38 o 6806 299.17/299.38 o 6805 299.17/299.39 o 6804 299.17/299.39 o 6803 299.17/299.39 o 6802 299.17/299.40 o 6801 299.27/299.40 o 6800 299.27/299.40 o 6799 299.27/299.41 o 6798 299.27/299.41 o 6797 299.27/299.41 o 6796 299.27/299.42 o 6795 299.27/299.42 o 6794 299.27/299.43 o 6793 299.27/299.43 o 6792 299.27/299.43 o 6791 299.27/299.44 o 6790 299.27/299.44 o 6789 299.27/299.44 o 6788 299.27/299.45 o 6787 299.27/299.45 o 6786 299.27/299.45 o 6785 299.27/299.46 o 6784 299.27/299.46 o 6783 299.27/299.47 o 6782 299.27/299.47 o 6781 299.27/299.47 o 6780 299.27/299.48 o 6779 299.27/299.48 o 6778 299.27/299.48 o 6777 299.27/299.49 o 6776 299.27/299.49 o 6775 299.27/299.49 o 6774 299.27/299.50 o 6773 299.37/299.50 o 6772 299.37/299.50 o 6771 299.37/299.51 o 6770 299.37/299.51 o 6769 299.37/299.51 o 6768 299.37/299.52 o 6767 299.37/299.52 o 6766 299.37/299.52 o 6765 299.37/299.53 o 6764 299.37/299.53 o 6763 299.37/299.54 o 6762 299.37/299.54 o 6761 299.37/299.54 o 6760 299.37/299.55 o 6759 299.37/299.55 o 6758 299.37/299.55 o 6757 299.37/299.56 o 6756 299.37/299.56 o 6755 299.37/299.56 o 6754 299.37/299.57 o 6753 299.37/299.57 o 6752 299.37/299.57 o 6751 299.37/299.58 o 6750 299.37/299.58 o 6749 299.37/299.58 o 6748 299.37/299.59 o 6747 299.37/299.59 o 6746 299.37/299.59 o 6745 299.47/299.60 o 6744 299.47/299.60 o 6743 299.47/299.61 o 6742 299.47/299.61 o 6741 299.47/299.61 o 6740 299.47/299.62 o 6739 299.47/299.62 o 6738 299.47/299.62 o 6737 299.47/299.63 o 6736 299.47/299.63 o 6735 299.47/299.63 o 6734 299.47/299.64 o 6733 299.47/299.64 o 6732 299.47/299.64 o 6731 299.47/299.65 o 6730 299.47/299.65 o 6729 299.47/299.65 o 6728 299.47/299.66 o 6727 299.47/299.66 o 6726 299.47/299.66 o 6725 299.47/299.67 o 6724 299.47/299.67 o 6723 299.47/299.68 o 6722 299.47/299.68 o 6721 299.47/299.68 o 6720 299.47/299.69 o 6719 299.47/299.69 o 6718 299.47/299.69 o 6717 299.47/299.70 o 6716 299.57/299.70 o 6715 299.57/299.70 o 6714 299.57/299.71 o 6713 299.57/299.71 o 6712 299.57/299.71 o 6711 299.57/299.72 o 6710 299.57/299.72 o 6709 299.57/299.72 o 6708 299.57/299.73 o 6707 299.57/299.73 o 6706 299.57/299.73 o 6705 299.57/299.74 o 6704 299.57/299.74 o 6703 299.57/299.74 o 6702 299.57/299.75 o 6701 299.57/299.75 o 6700 299.57/299.75 o 6699 299.57/299.76 o 6698 299.57/299.76 o 6697 299.57/299.76 o 6696 299.57/299.77 o 6695 299.57/299.77 o 6694 299.57/299.77 o 6693 299.57/299.78 o 6692 299.57/299.78 o 6691 299.57/299.79 o 6690 299.57/299.79 o 6689 299.57/299.79 o 6688 299.57/299.80 o 6687 299.67/299.80 o 6686 299.67/299.80 o 6685 299.67/299.81 o 6684 299.67/299.81 o 6683 299.67/299.81 o 6682 299.67/299.82 o 6681 299.67/299.82 o 6680 299.67/299.82 o 6679 299.67/299.83 o 6678 299.67/299.83 o 6677 299.67/299.83 o 6676 299.67/299.84 o 6675 299.67/299.84 o 6674 299.67/299.84 o 6673 299.67/299.85 o 6672 299.67/299.85 o 6671 299.67/299.85 o 6670 299.67/299.86 o 6669 299.67/299.86 o 6668 299.67/299.86 o 6667 299.67/299.87 o 6666 299.67/299.87 o 6665 299.67/299.87 o 6664 299.67/299.88 o 6663 299.67/299.88 o 6662 299.67/299.88 o 6661 299.67/299.89 o 6660 299.67/299.89 o 6659 299.67/299.89 o 6658 299.77/299.90 o 6657 299.77/299.90 o 6656 299.77/299.91 o 6655 299.77/299.91 o 6654 299.77/299.91 o 6653 299.77/299.92 o 6652 299.77/299.92 o 6651 299.77/299.92 o 6650 299.77/299.93 o 6649 299.77/299.93 o 6648 299.77/299.93 o 6647 299.77/299.94 o 6646 299.77/299.94 o 6645 299.77/299.94 o 6644 299.77/299.95 o 6643 299.77/299.95 o 6642 299.77/299.95 o 6641 299.77/299.96 o 6640 299.77/299.96 o 6639 299.77/299.96 o 6638 299.77/299.97 o 6637 299.77/299.97 o 6636 299.77/299.97 o 6635 299.77/299.98 o 6634 299.77/299.98 o 6633 299.77/299.98 o 6632 299.77/299.99 o 6631 299.77/299.99 o 6630 299.77/299.99 o 6629 299.86/300.00 o 6628 299.86/300.00 o 6627 299.86/300.00 o 6626 299.86/300.01 o 6625 299.86/300.01 o 6624 299.86/300.02 o 6623 299.86/300.02 o 6622 299.86/300.02 o 6621 299.86/300.03 o 6620 299.86/300.03 o 6619 299.86/300.03 o 6618 299.86/300.04 o 6617 299.86/300.04 o 6616 299.86/300.04 o 6615 299.86/300.05 o 6614 299.86/300.05 o 6613 299.86/300.05 o 6612 299.86/300.06 o 6611 299.86/300.06 o 6610 299.86/300.06 o 6609 299.86/300.07 o 6608 299.86/300.07 o 6607 299.86/300.07 o 6606 299.86/300.08 o 6605 299.86/300.08 o 6604 299.86/300.08 o 6603 299.86/300.09 o 6602 299.86/300.09 o 6601 299.86/300.09 o 6600 299.96/300.10 o 6599 299.96/300.10 o 6598 299.96/300.10 o 6597 299.96/300.11 o 6596 299.96/300.11 o 6595 299.96/300.11 o 6594 299.96/300.12 o 6593 299.96/300.12 o 6592 299.96/300.12 o 6591 299.96/300.13 o 6590 299.96/300.13 o 6589 299.96/300.14 o 6588 299.96/300.14 o 6587 299.96/300.14 o 6586 299.96/300.15 o 6585 299.96/300.15 o 6584 299.96/300.15 o 6583 299.96/300.16 o 6582 299.96/300.16 o 6581 299.96/300.16 o 6580 299.96/300.17 o 6579 299.96/300.17 o 6578 299.96/300.17 o 6577 299.96/300.18 o 6576 299.96/300.18 o 6575 299.96/300.18 o 6574 299.96/300.19 o 6573 299.96/300.19 o 6572 299.96/300.19 o 6571 299.96/300.20 o 6570 300.07/300.20 o 6569 300.07/300.20 o 6568 300.07/300.21 o 6567 300.07/300.21 o 6566 300.07/300.21 o 6565 300.07/300.22 o 6564 300.07/300.22 o 6563 300.07/300.22 o 6562 300.07/300.23 o 6561 300.07/300.23 o 6560 300.07/300.24 o 6559 300.07/300.24 o 6558 300.07/300.24 o 6557 300.07/300.25 o 6556 300.07/300.25 o 6555 300.07/300.25 o 6554 300.07/300.25 o 6553 300.07/300.26 o 6552 300.07/300.26 o 6551 300.07/300.27 o 6550 300.07/300.27 o 6549 300.07/300.27 o 6548 300.07/300.28 o 6547 300.07/300.28 o 6546 300.07/300.28 o 6545 300.07/300.29 o 6544 300.07/300.29 o 6543 300.07/300.29 o 6542 300.07/300.30 o 6541 300.16/300.30 o 6540 300.16/300.30 o 6539 300.16/300.31 o 6538 300.16/300.31 o 6537 300.16/300.31 o 6536 300.16/300.32 o 6535 300.16/300.32 o 6534 300.16/300.32 o 6533 300.16/300.33 o 6532 300.16/300.33 o 6531 300.16/300.33 o 6530 300.16/300.34 o 6529 300.16/300.34 o 6528 300.16/300.35 o 6527 300.16/300.35 o 6526 300.16/300.35 o 6525 300.16/300.36 o 6524 300.16/300.36 o 6523 300.16/300.36 o 6522 300.16/300.37 o 6521 300.16/300.37 o 6520 300.16/300.37 o 6519 300.16/300.38 o 6518 300.16/300.38 o 6517 300.16/300.38 o 6516 300.16/300.39 o 6515 300.16/300.39 o 6514 300.16/300.39 o 6513 300.16/300.40 o 6512 300.26/300.40 o 6511 300.26/300.41 o 6510 300.26/300.41 o 6509 300.26/300.41 o 6508 300.26/300.42 o 6507 300.26/300.42 o 6506 300.26/300.42 o 6505 300.26/300.43 o 6504 300.26/300.43 o 6503 300.26/300.43 o 6502 300.26/300.44 o 6501 300.26/300.44 o 6500 300.26/300.44 o 6499 300.26/300.45 o 6498 300.26/300.45 o 6497 300.26/300.45 o 6496 300.26/300.46 o 6495 300.26/300.46 o 6494 300.26/300.46 o 6493 300.26/300.47 o 6492 300.26/300.47 o 6491 300.26/300.47 o 6490 300.26/300.48 o 6489 300.26/300.48 o 6488 300.26/300.48 o 6487 300.26/300.49 o 6486 300.26/300.49 o 6485 300.26/300.49 o 6484 300.36/300.50 o 6483 300.36/300.50 o 6482 300.36/300.50 o 6481 300.36/300.51 o 6480 300.36/300.51 o 6479 300.36/300.51 o 6478 300.36/300.52 o 6477 300.36/300.52 o 6476 300.36/300.52 o 6475 300.36/300.53 o 6474 300.36/300.53 o 6473 300.36/300.53 o 6472 300.36/300.54 o 6471 300.36/300.54 o 6470 300.36/300.54 o 6469 300.36/300.55 o 6468 300.36/300.55 o 6467 300.36/300.56 o 6466 300.36/300.56 o 6465 300.36/300.56 o 6464 300.36/300.57 o 6463 300.36/300.57 o 6462 300.36/300.57 o 6461 300.36/300.58 o 6460 300.36/300.59 o 6459 354.24/354.40 o 6458 354.24/354.40 o 6457 354.24/354.41 o 6456 354.24/354.41 o 6455 354.24/354.41 o 6454 354.24/354.42 o 6453 354.24/354.42 o 6452 354.24/354.42 o 6451 354.24/354.43 o 6450 354.24/354.43 o 6449 354.24/354.44 o 6448 354.24/354.44 o 6447 354.24/354.44 o 6446 354.24/354.45 o 6445 354.24/354.45 o 6444 354.24/354.45 o 6443 354.24/354.46 o 6442 354.24/354.46 o 6441 354.24/354.47 o 6440 354.24/354.47 o 6439 354.24/354.47 o 6438 354.24/354.48 o 6437 354.24/354.48 o 6436 354.24/354.48 o 6435 354.24/354.49 o 6434 354.24/354.49 o 6433 354.24/354.49 o 6432 354.34/354.50 o 6431 354.34/354.50 o 6430 354.34/354.51 o 6429 354.34/354.51 o 6428 354.34/354.51 o 6427 354.34/354.52 o 6426 354.34/354.52 o 6425 354.34/354.52 o 6424 354.34/354.53 o 6423 354.34/354.53 o 6422 354.34/354.53 o 6421 354.34/354.54 o 6420 354.34/354.54 o 6419 354.34/354.54 o 6418 354.34/354.55 o 6417 354.34/354.55 o 6416 354.34/354.55 o 6415 354.34/354.56 o 6414 354.34/354.56 o 6413 354.34/354.56 o 6412 354.34/354.57 o 6411 354.34/354.57 o 6410 354.34/354.57 o 6409 354.34/354.58 o 6408 354.34/354.58 o 6407 354.34/354.59 o 6406 354.34/354.59 o 6405 354.34/354.59 o 6404 354.44/354.60 o 6403 354.44/354.60 o 6402 354.44/354.60 o 6401 354.44/354.61 o 6400 354.44/354.61 o 6399 354.44/354.62 o 6398 354.44/354.62 o 6397 354.44/354.62 o 6396 354.44/354.63 o 6395 354.44/354.63 o 6394 354.44/354.63 o 6393 354.44/354.64 o 6392 354.44/354.64 o 6391 354.44/354.65 o 6390 354.44/354.65 o 6389 354.44/354.65 o 6388 354.44/354.66 o 6387 354.44/354.66 o 6386 354.44/354.66 o 6385 354.44/354.67 o 6384 354.44/354.67 o 6383 354.44/354.67 o 6382 354.44/354.68 o 6381 354.44/354.68 o 6380 354.44/354.69 o 6379 354.44/354.69 o 6378 354.44/354.69 o 6377 354.44/354.70 o 6376 354.54/354.70 o 6375 354.54/354.70 o 6374 354.54/354.71 o 6373 354.54/354.71 o 6372 354.54/354.71 o 6371 354.54/354.72 o 6370 354.54/354.72 o 6369 354.54/354.72 o 6368 354.54/354.73 o 6367 354.54/354.73 o 6366 354.54/354.73 o 6365 354.54/354.74 o 6364 354.54/354.74 o 6363 354.54/354.74 o 6362 354.54/354.75 o 6361 354.54/354.75 o 6360 354.54/354.75 o 6359 354.54/354.76 o 6358 354.54/354.76 o 6357 354.54/354.76 o 6356 354.54/354.77 o 6355 354.54/354.77 o 6354 354.54/354.78 o 6353 354.54/354.78 o 6352 354.54/354.78 o 6351 354.54/354.79 o 6350 354.54/354.79 o 6349 354.54/354.79 o 6348 354.54/354.80 o 6347 354.64/354.80 o 6346 354.64/354.80 o 6345 354.64/354.81 o 6344 354.64/354.81 o 6343 354.64/354.81 o 6342 354.64/354.82 o 6341 354.64/354.82 o 6340 354.64/354.82 o 6339 354.64/354.83 o 6338 354.64/354.83 o 6337 354.64/354.83 o 6336 354.64/354.84 o 6335 354.64/354.84 o 6334 354.64/354.84 o 6333 354.64/354.85 o 6332 354.64/354.85 o 6331 354.64/354.85 o 6330 354.64/354.86 o 6329 354.64/354.86 o 6328 354.64/354.86 o 6327 354.64/354.87 o 6326 354.64/354.87 o 6325 354.64/354.87 o 6324 354.64/354.88 o 6323 354.64/354.88 o 6322 354.64/354.89 o 6321 354.64/354.89 o 6320 354.64/354.89 o 6319 354.74/354.90 o 6318 354.74/354.90 o 6317 354.74/354.90 o 6316 354.74/354.91 o 6315 354.74/354.91 o 6314 354.74/354.91 o 6313 354.74/354.92 o 6312 354.74/354.92 o 6311 354.74/354.93 o 6310 354.74/354.93 o 6309 354.74/354.93 o 6308 354.74/354.94 o 6307 354.74/354.94 o 6306 354.74/354.94 o 6305 354.74/354.95 o 6304 354.74/354.95 o 6303 354.74/354.95 o 6302 354.74/354.96 o 6301 354.74/354.96 o 6300 354.74/354.97 o 6299 354.74/354.97 o 6298 354.74/354.97 o 6297 354.74/354.98 o 6296 354.74/354.98 o 6295 354.74/354.98 o 6294 354.74/354.99 o 6293 354.74/354.99 o 6292 354.74/354.99 o 6291 354.84/355.00 o 6290 354.84/355.00 o 6289 354.84/355.00 o 6288 354.84/355.01 o 6287 354.84/355.01 o 6286 354.84/355.01 o 6285 354.84/355.02 o 6284 354.84/355.02 o 6283 354.84/355.02 o 6282 354.84/355.03 o 6281 354.84/355.03 o 6280 354.84/355.03 o 6279 354.84/355.04 o 6278 354.84/355.04 o 6277 354.84/355.04 o 6276 354.84/355.05 o 6275 354.84/355.05 o 6274 354.84/355.06 o 6273 354.84/355.06 o 6272 354.84/355.06 o 6271 354.84/355.07 o 6270 354.84/355.07 o 6269 354.84/355.07 o 6268 354.84/355.08 o 6267 354.84/355.08 o 6266 354.84/355.09 o 6265 354.84/355.09 o 6264 354.94/355.10 o 6263 354.94/355.10 o 6262 354.94/355.10 o 6261 354.94/355.11 o 6260 354.94/355.11 o 6259 354.94/355.11 o 6258 354.94/355.12 o 6257 354.94/355.12 o 6256 354.94/355.13 o 6255 354.94/355.13 o 6254 354.94/355.13 o 6253 354.94/355.14 o 6252 354.94/355.14 o 6251 354.94/355.14 o 6250 354.94/355.15 o 6249 354.94/355.15 o 6248 354.94/355.15 o 6247 354.94/355.16 o 6246 354.94/355.16 o 6245 354.94/355.17 o 6244 354.94/355.17 o 6243 354.94/355.17 o 6242 354.94/355.18 o 6241 354.94/355.18 o 6240 354.94/355.18 o 6239 354.94/355.19 o 6238 354.94/355.19 o 6237 354.94/355.19 o 6236 354.94/355.20 o 6235 354.94/355.20 o 6234 355.05/355.20 o 6233 355.05/355.21 o 6232 355.05/355.21 o 6231 355.05/355.21 o 6230 355.05/355.22 o 6229 355.05/355.22 o 6228 355.05/355.23 o 6227 355.05/355.23 o 6226 355.05/355.23 o 6225 355.05/355.24 o 6224 355.05/355.24 o 6223 355.05/355.24 o 6222 355.05/355.25 o 6221 355.05/355.25 o 6220 355.05/355.25 o 6219 355.05/355.26 o 6218 355.05/355.26 o 6217 355.05/355.26 o 6216 355.05/355.27 o 6215 355.05/355.27 o 6214 355.05/355.27 o 6213 355.05/355.28 o 6212 355.05/355.28 o 6211 355.05/355.28 o 6210 355.05/355.29 o 6209 355.05/355.29 o 6208 355.05/355.29 o 6207 355.05/355.30 o 6206 355.14/355.30 o 6205 355.14/355.30 o 6204 355.14/355.31 o 6203 355.14/355.31 o 6202 355.14/355.31 o 6201 355.14/355.32 o 6200 355.14/355.32 o 6199 355.14/355.32 o 6198 355.14/355.33 o 6197 355.14/355.33 o 6196 355.14/355.33 o 6195 355.14/355.34 o 6194 355.14/355.34 o 6193 355.14/355.34 o 6192 355.14/355.35 o 6191 355.14/355.35 o 6190 355.14/355.36 o 6189 355.14/355.36 o 6188 355.14/355.36 o 6187 355.14/355.37 o 6186 355.14/355.37 o 6185 355.14/355.37 o 6184 355.14/355.38 o 6183 355.14/355.38 o 6182 355.14/355.38 o 6181 355.14/355.39 o 6180 355.14/355.39 o 6179 355.14/355.39 o 6178 355.14/355.39 o 6177 355.24/355.40 o 6176 355.24/355.40 o 6175 355.24/355.40 o 6174 355.24/355.41 o 6173 355.24/355.41 o 6172 355.24/355.41 o 6171 355.24/355.42 o 6170 355.24/355.42 o 6169 355.24/355.42 o 6168 355.24/355.43 o 6167 355.24/355.43 o 6166 355.24/355.44 o 6165 355.24/355.45 o 6164 359.33/359.52 o 6163 377.63/377.86 o 6162 381.23/381.45 o 6161 381.23/381.46 o 6160 381.23/381.48 o 6159 397.22/397.43 o 6158 400.13/400.36 o 6157 403.82/404.00 o 6156 418.71/418.98 o 6155 420.02/420.26 o 6154 420.02/420.28 o 6153 420.42/420.69 o 6152 566.67/566.90 o 6151 713.21/713.52 o 6150 789.29/789.61 o 6149 789.29/789.62 o 6148 789.29/789.62 o 6147 789.29/789.62 o 6146 789.29/789.63 o 6145 789.29/789.63 o 6144 789.29/789.63 o 6143 789.29/789.64 o 6142 789.29/789.64 o 6141 789.29/789.64 o 6140 789.29/789.65 o 6139 789.29/789.65 o 6138 789.29/789.65 o 6137 789.29/789.65 o 6136 789.29/789.66 o 6135 789.29/789.66 o 6134 789.29/789.66 o 6133 789.29/789.67 o 6132 789.29/789.67 o 6131 789.29/789.67 o 6130 789.29/789.68 o 6129 789.29/789.68 o 6128 789.29/789.68 o 6127 789.29/789.69 o 6126 789.29/789.69 o 6125 789.29/789.70 o 6124 789.29/789.70 o 6123 789.39/789.70 o 6122 789.39/789.70 o 6121 789.39/789.71 o 6120 789.39/789.71 o 6119 789.39/789.71 o 6118 789.39/789.72 o 6117 789.39/789.72 o 6116 789.39/789.72 o 6115 789.39/789.73 o 6114 789.39/789.73 o 6113 789.39/789.73 o 6112 789.39/789.74 o 6111 789.39/789.74 o 6110 789.39/789.74 o 6109 789.39/789.76 o 6108 789.39/789.76 o 6107 789.39/789.77 o 6106 789.39/789.77 o 6105 789.39/789.77 o 6104 789.39/789.78 o 6103 789.39/789.78 o 6102 789.39/789.78 o 6101 789.39/789.78 o 6100 789.39/789.79 o 6099 789.39/789.79 o 6098 789.39/789.79 o 6097 789.39/789.80 o 6096 789.39/789.80 o 6095 789.50/789.80 o 6094 789.50/789.81 o 6093 789.50/789.81 o 6092 789.50/789.81 o 6091 789.50/789.82 o 6090 789.50/789.83 o 6089 789.50/789.83 o 6088 789.50/789.84 o 6087 789.50/789.84 o 6086 789.50/789.85 o 6085 789.50/789.85 o 6084 789.50/789.85 o 6083 789.50/789.86 o 6082 789.50/789.86 o 6081 789.50/789.86 o 6080 789.50/789.86 o 6079 789.50/789.87 o 6078 789.50/789.88 o 6077 789.50/789.88 o 6076 789.50/789.88 o 6075 789.50/789.89 o 6074 789.50/789.89 o 6073 789.59/789.90 o 6072 789.59/789.90 o 6071 789.59/789.90 o 6070 789.59/789.91 o 6069 789.59/789.91 o 6068 789.59/789.91 o 6067 789.59/789.92 o 6066 789.59/789.92 o 6065 789.59/789.92 o 6064 789.59/789.93 o 6063 789.59/789.93 o 6062 789.59/789.93 o 6061 789.59/789.93 o 6060 789.59/789.94 o 6059 789.59/789.94 o 6058 789.59/789.94 o 6057 789.59/789.95 o 6056 789.59/789.95 o 6055 789.59/789.95 o 6054 789.59/789.96 o 6053 789.59/789.96 o 6052 789.59/789.96 o 6051 789.59/789.97 o 6050 789.59/789.97 o 6049 789.59/789.97 o 6048 789.59/789.97 o 6047 789.59/789.98 o 6046 789.59/789.98 o 6045 789.59/789.98 o 6044 789.59/789.99 o 6043 789.59/789.99 o 6042 789.59/789.99 o 6041 789.59/790.00 o 6040 789.69/790.00 o 6039 789.69/790.00 o 6038 789.69/790.01 o 6037 789.69/790.01 o 6036 789.69/790.01 o 6035 789.69/790.02 o 6034 789.69/790.02 o 6033 789.69/790.02 o 6032 789.69/790.02 o 6031 789.69/790.03 o 6030 789.69/790.03 o 6029 789.69/790.03 o 6028 789.69/790.04 o 6027 789.69/790.04 o 6026 789.69/790.04 o 6025 789.69/790.05 o 6024 789.69/790.05 o 6023 789.69/790.05 o 6022 789.69/790.06 o 6021 789.69/790.06 o 6020 789.69/790.06 o 6019 789.69/790.07 o 6018 789.69/790.07 o 6017 789.69/790.07 o 6016 789.69/790.07 o 6015 789.69/790.08 o 6014 789.69/790.08 o 6013 789.69/790.08 o 6012 789.69/790.09 o 6011 789.69/790.09 o 6010 789.69/790.09 o 6009 789.69/790.10 o 6008 789.78/790.10 o 6007 789.78/790.10 o 6006 789.78/790.11 o 6005 789.78/790.11 o 6004 789.78/790.11 o 6003 789.78/790.11 o 6002 789.78/790.12 o 6001 789.78/790.12 o 6000 789.78/790.12 o 5999 789.78/790.13 o 5998 789.78/790.13 o 5997 789.78/790.13 o 5996 789.78/790.14 o 5995 789.78/790.14 o 5994 789.78/790.14 o 5993 789.78/790.15 o 5992 789.78/790.15 o 5991 789.78/790.15 o 5990 789.78/790.15 o 5989 789.78/790.16 o 5988 789.78/790.16 o 5987 789.78/790.16 o 5986 789.78/790.17 o 5985 789.78/790.17 o 5984 789.78/790.17 o 5983 789.78/790.18 o 5982 789.78/790.18 o 5981 789.78/790.18 o 5980 789.78/790.19 o 5979 789.78/790.19 o 5978 789.78/790.19 o 5977 789.78/790.19 o 5976 789.89/790.20 o 5975 789.89/790.20 o 5974 789.89/790.20 o 5973 789.89/790.21 o 5972 789.89/790.21 o 5971 789.89/790.21 o 5970 789.89/790.22 o 5969 789.89/790.22 o 5968 789.89/790.22 o 5967 789.89/790.23 o 5966 789.89/790.23 o 5965 789.89/790.24 o 5964 789.89/790.24 o 5963 789.89/790.24 o 5962 789.89/790.25 o 5961 789.89/790.25 o 5960 789.89/790.25 o 5959 789.89/790.25 o 5958 789.89/790.26 o 5957 789.89/790.26 o 5956 789.89/790.26 o 5955 789.89/790.27 o 5954 789.89/790.27 o 5953 789.89/790.27 o 5952 789.89/790.28 o 5951 1051.60/1052.08 o 5950 1051.70/1052.12 o 5949 1217.84/1218.35 o 5948 1248.12/1248.64 o 5947 1653.17/1653.86 o 5946 1694.56/1695.27 o 5945 1786.43/1787.15 o 5944 1800.04/1800.70 s SATISFIABLE 1800.04/1800.70 v -x1 -x10 -x100 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 x101 -x1010 -x1011 -x1012 -x1013 -x1014 1800.04/1800.70 v -x1015 -x1016 -x1017 -x1018 -x1019 -x102 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x103 -x1030 1800.04/1800.70 v -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 x1038 -x1039 -x104 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 1800.04/1800.70 v -x1048 -x1049 -x105 -x1050 -x1051 -x1052 -x1053 -x1054 x1055 -x1056 -x1057 -x1058 -x1059 -x106 -x1060 -x1061 -x1062 -x1063 1800.04/1800.70 v -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x107 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 1800.04/1800.70 v -x108 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x109 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 1800.04/1800.70 v -x1096 -x1097 -x1098 -x1099 -x11 -x110 x1100 -x1101 -x1102 -x1103 x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x111 -x1110 1800.04/1800.70 v -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x112 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 1800.04/1800.70 v -x1127 -x1128 -x1129 -x113 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x114 -x1140 -x1141 -x1142 1800.04/1800.70 v -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x115 -x1150 -x1151 -x1152 -x1153 x1154 x1155 -x1156 x1157 -x1158 -x1159 1800.04/1800.70 v -x116 -x1160 -x1161 -x1162 x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x117 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 1800.04/1800.70 v -x1176 -x1177 -x1178 -x1179 -x118 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x119 -x1190 -x1191 1800.04/1800.70 v x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x12 -x120 -x1200 -x1201 x1202 -x1203 -x1204 -x1205 -x1206 -x1207 1800.04/1800.70 v -x1208 -x1209 -x121 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 x1217 -x1218 -x1219 -x122 -x1220 -x1221 -x1222 -x1223 1800.04/1800.70 v -x1224 x1225 -x1226 -x1227 -x1228 -x1229 -x123 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x124 1800.04/1800.70 v -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x125 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 1800.04/1800.70 v -x1256 -x1257 -x1258 -x1259 -x126 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x127 -x1270 -x1271 1800.04/1800.70 v -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x128 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 1800.04/1800.70 v -x1288 -x1289 -x129 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x13 -x130 -x1300 -x1301 -x1302 1800.04/1800.70 v -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x131 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 1800.04/1800.70 v -x1319 -x132 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x133 -x1330 -x1331 x1332 -x1333 x1334 1800.04/1800.70 v -x1335 -x1336 -x1337 -x1338 x1339 -x134 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x135 -x1350 1800.04/1800.70 v x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x136 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 x1366 -x1367 1800.04/1800.70 v -x1368 -x1369 -x137 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 x1378 -x1379 -x138 -x1380 -x1381 -x1382 -x1383 1800.04/1800.70 v -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x139 -x1390 -x1391 -x1392 -x1393 -x1394 x1395 -x1396 -x1397 -x1398 -x1399 -x14 1800.04/1800.70 v -x140 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x141 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 1800.04/1800.70 v -x1416 -x1417 -x1418 -x1419 -x142 -x1420 -x1421 -x1422 -x1423 -x1424 x1425 -x1426 -x1427 -x1428 -x1429 -x143 -x1430 -x1431 1800.04/1800.70 v -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x144 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 1800.04/1800.70 v -x1448 -x1449 -x145 -x1450 -x1451 x1452 x1453 -x1454 x1455 -x1456 -x1457 -x1458 -x1459 -x146 -x1460 x1461 -x1462 -x1463 1800.04/1800.70 v -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x147 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 1800.04/1800.70 v -x148 -x1480 -x1481 x1482 -x1483 x1484 -x1485 -x1486 -x1487 -x1488 x1489 -x149 -x1490 x1491 -x1492 -x1493 -x1494 -x1495 1800.04/1800.70 v x1496 -x1497 -x1498 -x1499 -x15 -x150 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x151 -x1510 1800.04/1800.70 v -x1511 -x1512 -x1513 -x1514 x1515 -x1516 -x1517 -x1518 -x1519 -x152 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 x1526 x1527 1800.04/1800.70 v -x1528 x1529 -x153 -x1530 -x1531 -x1532 -x1533 x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x154 -x1540 -x1541 -x1542 -x1543 1800.04/1800.70 v -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x155 -x1550 -x1551 -x1552 -x1553 -x1554 x1555 -x1556 -x1557 -x1558 x1559 -x156 1800.04/1800.70 v -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x157 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 1800.04/1800.70 v -x1576 -x1577 -x1578 -x1579 -x158 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x159 -x1590 -x1591 1800.04/1800.70 v -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x16 -x160 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 1800.04/1800.70 v -x1608 -x1609 -x161 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x162 -x1620 -x1621 -x1622 -x1623 1800.04/1800.70 v -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x163 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 1800.04/1800.70 v -x164 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 x1649 -x165 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 1800.04/1800.70 v -x1656 -x1657 -x1658 -x1659 -x166 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 x1666 -x1667 -x1668 -x1669 -x167 -x1670 -x1671 1800.04/1800.70 v -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x168 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 x1687 -x1688 1800.04/1800.70 v -x1689 -x169 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 x1697 -x1698 -x1699 -x17 -x170 -x1700 -x1701 -x1702 -x1703 1800.04/1800.70 v -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x171 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 1800.04/1800.70 v -x172 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x173 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 1800.04/1800.70 v -x1736 -x1737 -x1738 -x1739 -x174 -x1740 -x1741 x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x175 -x1750 -x1751 1800.04/1800.70 v -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x176 -x1760 -x1761 x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 1800.04/1800.70 v -x1769 -x177 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 x1779 -x178 -x1780 -x1781 x1782 -x1783 -x1784 1800.04/1800.70 v -x1785 -x1786 -x1787 -x1788 -x1789 x179 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x18 -x180 1800.04/1800.70 v -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x181 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 1800.04/1800.70 v -x1816 -x1817 -x1818 -x1819 -x182 x1820 -x1821 x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x183 -x1830 x1831 1800.04/1800.70 v -x1832 x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x184 x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 1800.04/1800.70 v -x1849 -x185 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x186 -x1860 -x1861 -x1862 -x1863 x1864 1800.04/1800.70 v -x1865 -x1866 -x1867 -x1868 -x1869 -x187 x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 x1879 -x188 -x1880 1800.04/1800.70 v -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x189 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 1800.04/1800.70 v -x1897 -x1898 -x1899 -x19 -x190 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x191 -x1910 -x1911 1800.04/1800.70 v x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 x192 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 x1926 -x1927 -x1928 1800.04/1800.70 v -x1929 -x193 -x1930 -x1931 -x1932 -x1933 x1934 -x1935 -x1936 x1937 -x1938 -x1939 -x194 -x1940 -x1941 -x1942 -x1943 -x1944 1800.04/1800.70 v -x1945 -x1946 -x1947 -x1948 x1949 -x195 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x196 -x1960 1800.04/1800.70 v -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x197 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 1800.04/1800.70 v -x1977 -x1978 -x1979 -x198 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x199 -x1990 -x1991 -x1992 1800.04/1800.70 v -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2 x20 -x200 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 1800.04/1800.70 v -x2008 -x2009 -x201 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 x2019 -x202 -x2020 -x2021 -x2022 -x2023 1800.04/1800.70 v -x2024 -x2025 -x2026 -x2027 x2028 -x2029 -x203 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 x2037 -x2038 -x2039 -x204 1800.04/1800.70 v -x2040 -x2041 x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x205 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 1800.04/1800.70 v -x2057 -x2058 -x2059 -x206 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x207 -x2070 -x2071 -x2072 1800.04/1800.70 v -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x208 x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 1800.04/1800.70 v -x209 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x21 -x210 -x2100 -x2101 -x2102 -x2103 -x2104 1800.04/1800.70 v -x2105 -x2106 -x2107 -x2108 -x2109 -x211 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x212 -x2120 1800.04/1800.70 v -x2121 x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x213 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 1800.04/1800.70 v -x2138 -x2139 -x214 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x215 -x2150 -x2151 -x2152 -x2153 1800.04/1800.70 v -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x216 -x2160 x2161 -x2162 x2163 -x2164 -x2165 -x2166 -x2167 x2168 -x2169 -x217 1800.04/1800.70 v -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 x2177 -x2178 -x2179 -x218 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 1800.04/1800.70 v -x2187 -x2188 -x2189 -x219 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x22 -x220 -x2200 -x2201 1800.04/1800.70 v -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x221 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 1800.04/1800.70 v -x2218 -x2219 -x222 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x223 -x2230 -x2231 -x2232 -x2233 1800.04/1800.70 v -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x224 -x2240 x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x225 1800.04/1800.70 v -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 x2256 -x2257 -x2258 -x2259 -x226 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 1800.04/1800.70 v -x2267 -x2268 -x2269 -x227 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x228 -x2280 -x2281 -x2282 1800.04/1800.70 v -x2283 -x2284 -x2285 x2286 -x2287 -x2288 -x2289 -x229 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 1800.04/1800.70 v -x23 -x230 -x2300 -x2301 -x2302 -x2303 x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x231 -x2310 -x2311 -x2312 -x2313 -x2314 1800.04/1800.70 v -x2315 -x2316 -x2317 -x2318 -x2319 -x232 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x233 -x2330 1800.04/1800.70 v -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x234 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 1800.04/1800.70 v -x2347 -x2348 -x2349 -x235 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 x2358 -x2359 -x236 -x2360 -x2361 -x2362 1800.04/1800.70 v -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x237 -x2370 -x2371 -x2372 x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 1800.04/1800.70 v -x238 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x239 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 1800.04/1800.70 v -x2396 -x2397 -x2398 -x2399 -x24 -x240 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x241 -x2410 1800.04/1800.70 v -x2411 -x2412 x2413 -x2414 -x2415 -x2416 -x2417 -x2418 x2419 -x242 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 1800.04/1800.70 v -x2428 -x2429 -x243 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x244 -x2440 -x2441 -x2442 -x2443 1800.04/1800.70 v -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x245 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 1800.04/1800.70 v -x246 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x247 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 1800.04/1800.70 v -x2476 -x2477 -x2478 -x2479 -x248 -x2480 -x2481 -x2482 x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x249 -x2490 -x2491 1800.04/1800.70 v -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x25 -x250 x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 1800.04/1800.70 v -x2508 -x2509 -x251 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x252 -x2520 -x2521 -x2522 -x2523 1800.04/1800.70 v -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x253 x2530 -x2531 -x2532 -x2533 -x2534 x2535 -x2536 -x2537 -x2538 -x2539 -x254 1800.04/1800.70 v -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 x2548 -x2549 -x255 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 1800.04/1800.70 v -x2557 x2558 x2559 -x256 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 x2567 -x2568 -x2569 -x257 -x2570 -x2571 -x2572 1800.04/1800.70 v -x2573 x2574 -x2575 -x2576 -x2577 -x2578 -x2579 x258 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 1800.04/1800.70 v -x259 -x2590 -x2591 -x2592 -x2593 -x2594 x2595 -x2596 -x2597 -x2598 -x2599 -x26 -x260 -x2600 -x2601 -x2602 -x2603 -x2604 1800.04/1800.70 v x2605 x2606 -x2607 -x2608 -x2609 -x261 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 x2618 -x2619 -x262 -x2620 1800.04/1800.70 v -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x263 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 1800.04/1800.70 v -x2637 -x2638 x2639 -x264 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 x2649 -x265 x2650 x2651 -x2652 1800.04/1800.70 v -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x266 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 x2667 -x2668 -x2669 1800.04/1800.70 v -x267 x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x268 -x2680 -x2681 -x2682 -x2683 -x2684 x2685 1800.04/1800.70 v -x2686 x2687 -x2688 -x2689 -x269 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 x2696 -x2697 -x2698 x2699 -x27 -x270 -x2700 1800.04/1800.70 v -x2701 -x2702 -x2703 -x2704 -x2705 x2706 -x2707 -x2708 -x2709 -x271 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 x2717 1800.04/1800.70 v -x2718 -x2719 -x272 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x273 -x2730 -x2731 -x2732 -x2733 1800.04/1800.70 v -x2734 -x2735 -x2736 x2737 -x2738 -x2739 -x274 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x275 1800.04/1800.70 v -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x276 -x277 -x278 x279 -x28 x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 1800.04/1800.70 v -x288 -x289 -x29 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x3 -x30 -x300 -x301 -x302 -x303 -x304 -x305 1800.04/1800.70 v -x306 -x307 -x308 -x309 -x31 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 x32 -x320 -x321 -x322 -x323 -x324 1800.04/1800.70 v -x325 -x326 -x327 -x328 -x329 -x33 -x330 -x331 -x332 -x333 -x334 x335 x336 -x337 -x338 -x339 x34 -x340 -x341 -x342 -x343 -x344 1800.04/1800.70 v -x345 -x346 -x347 -x348 -x349 -x35 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x36 -x360 -x361 -x362 -x363 1800.04/1800.70 v -x364 -x365 -x366 -x367 -x368 -x369 -x37 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x38 -x380 -x381 -x382 1800.04/1800.70 v -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x39 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x4 -x40 -x400 1800.04/1800.70 v -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x41 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x42 1800.04/1800.70 v -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 x428 -x429 -x43 -x430 -x431 -x432 -x433 x434 -x435 x436 -x437 -x438 -x439 1800.04/1800.70 v -x44 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x45 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 1800.04/1800.70 v -x459 -x46 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x47 -x470 x471 -x472 -x473 -x474 -x475 -x476 -x477 1800.04/1800.70 v -x478 -x479 -x48 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x49 -x490 -x491 -x492 -x493 -x494 -x495 -x496 1800.04/1800.70 v -x497 -x498 -x499 -x5 -x50 -x500 -x501 -x502 -x503 -x504 -x505 -x506 x507 -x508 x509 -x51 -x510 -x511 -x512 -x513 -x514 -x515 1800.04/1800.70 v -x516 -x517 -x518 -x519 -x52 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 x529 -x53 -x530 -x531 -x532 -x533 -x534 1800.04/1800.70 v -x535 -x536 -x537 -x538 -x539 -x54 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x55 -x550 -x551 -x552 -x553 1800.04/1800.70 v -x554 -x555 -x556 -x557 -x558 -x559 -x56 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 x569 -x57 x570 -x571 -x572 1800.04/1800.70 v -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x58 x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x59 -x590 -x591 1800.04/1800.70 v -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x6 -x60 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x61 1800.04/1800.70 v -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x62 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 1800.04/1800.70 v -x63 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x64 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 1800.04/1800.70 v -x649 -x65 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 x658 -x659 -x66 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 1800.04/1800.70 v -x668 -x669 -x67 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 x678 -x679 -x68 -x680 -x681 -x682 -x683 -x684 -x685 -x686 1800.04/1800.70 v -x687 -x688 -x689 -x69 -x690 -x691 -x692 x693 -x694 -x695 -x696 -x697 -x698 -x699 -x7 -x70 -x700 x701 -x702 x703 -x704 -x705 1800.04/1800.70 v -x706 -x707 -x708 -x709 -x71 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x72 -x720 -x721 -x722 -x723 x724 1800.04/1800.70 v -x725 -x726 -x727 -x728 -x729 -x73 -x730 -x731 x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x74 -x740 -x741 -x742 -x743 1800.04/1800.70 v -x744 -x745 -x746 -x747 -x748 -x749 -x75 -x750 x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x76 -x760 -x761 -x762 1800.04/1800.70 v -x763 -x764 -x765 -x766 -x767 -x768 -x769 x77 -x770 -x771 x772 -x773 -x774 -x775 -x776 x777 -x778 -x779 -x78 -x780 -x781 -x782 1800.04/1800.70 v -x783 -x784 -x785 x786 x787 -x788 -x789 -x79 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x8 -x80 -x800 -x801 1800.04/1800.70 v -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x81 -x810 -x811 x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x82 -x820 1800.04/1800.70 v -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x83 -x830 -x831 x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x84 1800.04/1800.70 v -x840 -x841 -x842 -x843 -x844 x845 -x846 -x847 -x848 x849 -x85 -x850 -x851 -x852 -x853 x854 -x855 -x856 -x857 -x858 -x859 1800.04/1800.70 v -x86 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x87 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 1800.04/1800.70 v -x879 -x88 x880 x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x89 x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 1800.04/1800.70 v -x899 -x9 -x90 -x900 -x901 -x902 -x903 -x904 -x905 -x906 x907 -x908 -x909 -x91 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 1800.04/1800.70 v -x918 -x919 -x92 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x93 -x930 -x931 -x932 -x933 -x934 -x935 -x936 1800.04/1800.70 v -x937 -x938 -x939 -x94 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x95 -x950 -x951 -x952 -x953 -x954 -x955 1800.04/1800.70 v -x956 -x957 -x958 -x959 -x96 -x960 x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x97 -x970 -x971 -x972 -x973 -x974 1800.04/1800.70 v -x975 -x976 -x977 -x978 -x979 -x98 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x99 -x990 -x991 -x992 -x993 1800.04/1800.70 v -x994 -x995 -x996 -x997 -x998 -x999
OK 5944
/tmp/evaluation/458722-1178641303/instance-458722-1178641303.opb is already a linear file
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node59/watcher-458722-1178641303 -o ROOT/results/node59/solver-458722-1178641303 -C 1800 -W 3600 -M 1800 --output-limit 1,15 PBS4_SAT07v2 /tmp/evaluation/458722-1178641303/instance-458722-1178641303.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 0.99 0.99 3/64 18933 /proc/meminfo: memFree=1608640/2055920 swapFree=4184640/4192956 [pid=18933] ppid=18931 vsize=1716 CPUtime=0 /proc/18933/stat : 18933 (PBS4_SAT07v2) R 18931 18933 18332 0 -1 4194304 223 0 0 0 0 0 0 0 18 0 1 0 312039917 1757184 205 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135023167 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18933/statm: 429 205 84 219 0 206 0 [startup+0.014587 s] /proc/loadavg: 1.00 0.99 0.99 3/64 18933 /proc/meminfo: memFree=1608640/2055920 swapFree=4184640/4192956 [pid=18933] ppid=18931 vsize=1872 CPUtime=0.01 /proc/18933/stat : 18933 (PBS4_SAT07v2) R 18931 18933 18332 0 -1 4194304 249 0 0 0 1 0 0 0 18 0 1 0 312039917 1916928 231 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134586474 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18933/statm: 468 231 86 219 0 245 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 1872 [startup+0.101604 s] /proc/loadavg: 1.00 0.99 0.99 3/64 18933 /proc/meminfo: memFree=1608640/2055920 swapFree=4184640/4192956 [pid=18933] ppid=18931 vsize=2292 CPUtime=0.09 /proc/18933/stat : 18933 (PBS4_SAT07v2) R 18931 18933 18332 0 -1 4194304 377 0 0 0 9 0 0 0 18 0 1 0 312039917 2347008 359 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18933/statm: 573 359 102 219 0 350 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2292 [startup+0.301641 s] /proc/loadavg: 1.00 0.99 0.99 3/64 18933 /proc/meminfo: memFree=1608640/2055920 swapFree=4184640/4192956 [pid=18933] ppid=18931 vsize=2292 CPUtime=0.29 /proc/18933/stat : 18933 (PBS4_SAT07v2) R 18931 18933 18332 0 -1 4194304 381 0 0 0 25 4 0 0 19 0 1 0 312039917 2347008 363 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18933/statm: 573 363 102 219 0 350 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 2292 [startup+0.701717 s] /proc/loadavg: 1.00 0.99 0.99 3/64 18933 /proc/meminfo: memFree=1608640/2055920 swapFree=4184640/4192956 [pid=18933] ppid=18931 vsize=2292 CPUtime=0.69 /proc/18933/stat : 18933 (PBS4_SAT07v2) R 18931 18933 18332 0 -1 4194304 421 0 0 0 63 6 0 0 22 0 1 0 312039917 2347008 403 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557448 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18933/statm: 573 403 102 219 0 350 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 2292 [startup+1.50187 s] /proc/loadavg: 1.00 0.99 0.99 2/65 18934 /proc/meminfo: memFree=1607224/2055920 swapFree=4184640/4192956 [pid=18933] ppid=18931 vsize=2680 CPUtime=1.49 /proc/18933/stat : 18933 (PBS4_SAT07v2) R 18931 18933 18332 0 -1 4194304 488 0 0 0 143 6 0 0 25 0 1 0 312039917 2744320 470 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557362 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18933/statm: 670 470 102 219 0 447 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 2680 [startup+3.10117 s] /proc/loadavg: 1.00 0.99 0.99 2/65 18934 /proc/meminfo: memFree=1606776/2055920 swapFree=4184640/4192956 [pid=18933] ppid=18931 vsize=3192 CPUtime=3.09 /proc/18933/stat : 18933 (PBS4_SAT07v2) R 18931 18933 18332 0 -1 4194304 618 0 0 0 302 7 0 0 25 0 1 0 312039917 3268608 600 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18933/statm: 798 600 102 219 0 575 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 3192 [startup+6.30178 s] /proc/loadavg: 1.00 0.99 0.99 2/65 18934 /proc/meminfo: memFree=1605304/2055920 swapFree=4184640/4192956 [pid=18933] ppid=18931 vsize=4352 CPUtime=6.29 /proc/18933/stat : 18933 (PBS4_SAT07v2) R 18931 18933 18332 0 -1 4194304 946 0 0 0 621 8 0 0 25 0 1 0 312039917 4456448 928 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557362 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18933/statm: 1088 928 102 219 0 865 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 4352 [startup+12.702 s] /proc/loadavg: 1.00 0.99 0.99 2/65 18934 /proc/meminfo: memFree=1603000/2055920 swapFree=4184640/4192956 [pid=18933] ppid=18931 vsize=6400 CPUtime=12.69 /proc/18933/stat : 18933 (PBS4_SAT07v2) R 18931 18933 18332 0 -1 4194304 1473 0 0 0 1260 9 0 0 25 0 1 0 312039917 6553600 1455 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557348 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18933/statm: 1600 1455 102 219 0 1377 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 6400 [startup+25.5014 s] /proc/loadavg: 1.00 0.99 0.99 2/65 18934 /proc/meminfo: memFree=1598520/2055920 swapFree=4184640/4192956 [pid=18933] ppid=18931 vsize=19128 CPUtime=25.48 /proc/18933/stat : 18933 (PBS4_SAT07v2) R 18931 18933 18332 0 -1 4194304 2650 0 0 0 2535 13 0 0 25 0 1 0 312039917 19587072 2632 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557336 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18933/statm: 4782 2632 102 219 0 4559 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 19128 [startup+51.1013 s] /proc/loadavg: 1.00 0.99 0.99 2/65 18934 /proc/meminfo: memFree=1592056/2055920 swapFree=4184640/4192956 [pid=18933] ppid=18931 vsize=20244 CPUtime=51.07 /proc/18933/stat : 18933 (PBS4_SAT07v2) R 18931 18933 18332 0 -1 4194304 4213 0 0 0 5088 19 0 0 25 0 1 0 312039917 20729856 4146 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18933/statm: 5061 4146 102 219 0 4838 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 20244 [startup+102.304 s] /proc/loadavg: 1.00 0.99 0.99 2/65 18934 /proc/meminfo: memFree=1589560/2055920 swapFree=4184640/4192956 [pid=18933] ppid=18931 vsize=21068 CPUtime=102.26 /proc/18933/stat : 18933 (PBS4_SAT07v2) R 18931 18933 18332 0 -1 4194304 4841 0 0 0 10201 25 0 0 25 0 1 0 312039917 21573632 4774 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557385 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18933/statm: 5267 4774 102 219 0 5044 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 21068 [startup+162.302 s] /proc/loadavg: 1.00 0.99 0.99 2/65 18934 /proc/meminfo: memFree=1589112/2055920 swapFree=4184640/4192956 [pid=18933] ppid=18931 vsize=21356 CPUtime=162.23 /proc/18933/stat : 18933 (PBS4_SAT07v2) R 18931 18933 18332 0 -1 4194304 4941 0 0 0 16196 27 0 0 25 0 1 0 312039917 21868544 4874 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18933/statm: 5339 4874 102 219 0 5116 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 21356 [startup+222.302 s] /proc/loadavg: 1.00 0.99 0.99 2/65 18934 /proc/meminfo: memFree=1587320/2055920 swapFree=4184640/4192956 [pid=18933] ppid=18931 vsize=22132 CPUtime=222.21 /proc/18933/stat : 18933 (PBS4_SAT07v2) R 18931 18933 18332 0 -1 4194304 5482 0 0 0 22179 42 0 0 25 0 1 0 312039917 22663168 5318 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18933/statm: 5533 5318 102 219 0 5310 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 22132 [startup+282.301 s] /proc/loadavg: 1.00 0.99 0.99 2/65 18934 /proc/meminfo: memFree=1587000/2055920 swapFree=4184640/4192956 [pid=18933] ppid=18931 vsize=22492 CPUtime=282.17 /proc/18933/stat : 18933 (PBS4_SAT07v2) R 18931 18933 18332 0 -1 4194304 5561 0 0 0 28147 70 0 0 25 0 1 0 312039917 23031808 5397 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557375 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18933/statm: 5623 5397 102 219 0 5400 0 Current children cumulated CPU time (s) 282.17 Current children cumulated vsize (KiB) 22492 [startup+342.302 s] /proc/loadavg: 1.00 0.99 0.99 2/65 18934 /proc/meminfo: memFree=1586872/2055920 swapFree=4184640/4192956 [pid=18933] ppid=18931 vsize=22492 CPUtime=342.14 /proc/18933/stat : 18933 (PBS4_SAT07v2) R 18931 18933 18332 0 -1 4194304 5584 0 0 0 34132 82 0 0 25 0 1 0 312039917 23031808 5420 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557308 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18933/statm: 5623 5420 102 219 0 5400 0 Current children cumulated CPU time (s) 342.14 Current children cumulated vsize (KiB) 22492 [startup+402.301 s] /proc/loadavg: 1.00 0.99 0.99 2/65 18934 /proc/meminfo: memFree=1586552/2055920 swapFree=4184640/4192956 [pid=18933] ppid=18931 vsize=22724 CPUtime=402.12 /proc/18933/stat : 18933 (PBS4_SAT07v2) R 18931 18933 18332 0 -1 4194304 5675 0 0 0 40115 97 0 0 25 0 1 0 312039917 23269376 5511 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557448 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18933/statm: 5681 5511 102 219 0 5458 0 Current children cumulated CPU time (s) 402.12 Current children cumulated vsize (KiB) 22724 [startup+462.302 s] /proc/loadavg: 1.00 0.99 0.99 2/65 18934 /proc/meminfo: memFree=1586104/2055920 swapFree=4184640/4192956 [pid=18933] ppid=18931 vsize=23112 CPUtime=462.11 /proc/18933/stat : 18933 (PBS4_SAT07v2) R 18931 18933 18332 0 -1 4194304 5785 0 0 0 46109 102 0 0 25 0 1 0 312039917 23666688 5621 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557348 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18933/statm: 5778 5621 102 219 0 5555 0 Current children cumulated CPU time (s) 462.11 Current children cumulated vsize (KiB) 23112 [startup+522.302 s] /proc/loadavg: 1.00 0.99 0.99 2/65 18934 /proc/meminfo: memFree=1585848/2055920 swapFree=4184640/4192956 [pid=18933] ppid=18931 vsize=23880 CPUtime=522.08 /proc/18933/stat : 18933 (PBS4_SAT07v2) R 18931 18933 18332 0 -1 4194304 6013 0 0 0 52104 104 0 0 25 0 1 0 312039917 24453120 5656 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557292 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18933/statm: 5970 5656 102 219 0 5747 0 Current children cumulated CPU time (s) 522.08 Current children cumulated vsize (KiB) 23880 [startup+582.301 s] /proc/loadavg: 1.00 0.99 0.99 2/65 18934 /proc/meminfo: memFree=1585848/2055920 swapFree=4184640/4192956 [pid=18933] ppid=18931 vsize=23996 CPUtime=582.06 /proc/18933/stat : 18933 (PBS4_SAT07v2) R 18931 18933 18332 0 -1 4194304 6025 0 0 0 58101 105 0 0 25 0 1 0 312039917 24571904 5668 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557362 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18933/statm: 5999 5668 102 219 0 5776 0 Current children cumulated CPU time (s) 582.06 Current children cumulated vsize (KiB) 23996 [startup+642.302 s] /proc/loadavg: 1.00 0.99 0.99 2/65 18934 /proc/meminfo: memFree=1585592/2055920 swapFree=4184640/4192956 [pid=18933] ppid=18931 vsize=24244 CPUtime=642.05 /proc/18933/stat : 18933 (PBS4_SAT07v2) R 18931 18933 18332 0 -1 4194304 6087 0 0 0 64096 109 0 0 25 0 1 0 312039917 24825856 5730 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557316 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18933/statm: 6061 5730 102 219 0 5838 0 Current children cumulated CPU time (s) 642.05 Current children cumulated vsize (KiB) 24244 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 0.99 0.99 2/65 18934 /proc/meminfo: memFree=1584952/2055920 swapFree=4184640/4192956 [pid=18933] ppid=18931 vsize=24648 CPUtime=881.95 /proc/18933/stat : 18933 (PBS4_SAT07v2) R 18931 18933 18332 0 -1 4194304 6256 0 0 0 88076 119 0 0 25 0 1 0 312039917 25239552 5899 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18933/statm: 6162 5899 102 219 0 5939 0 Current children cumulated CPU time (s) 881.95 Current children cumulated vsize (KiB) 24648 [startup+942.302 s] /proc/loadavg: 1.00 0.99 0.99 2/65 18934 /proc/meminfo: memFree=1584760/2055920 swapFree=4184640/4192956 [pid=18933] ppid=18931 vsize=24648 CPUtime=941.93 /proc/18933/stat : 18933 (PBS4_SAT07v2) R 18931 18933 18332 0 -1 4194304 6301 0 0 0 94071 122 0 0 25 0 1 0 312039917 25239552 5944 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557348 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18933/statm: 6162 5944 102 219 0 5939 0 Current children cumulated CPU time (s) 941.93 Current children cumulated vsize (KiB) 24648 [startup+1002.3 s] /proc/loadavg: 1.00 0.99 0.99 2/65 18934 /proc/meminfo: memFree=1584440/2055920 swapFree=4184640/4192956 [pid=18933] ppid=18931 vsize=24916 CPUtime=1001.91 /proc/18933/stat : 18933 (PBS4_SAT07v2) R 18931 18933 18332 0 -1 4194304 6366 0 0 0 100066 125 0 0 25 0 1 0 312039917 25513984 6009 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557336 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18933/statm: 6229 6009 102 219 0 6006 0 Current children cumulated CPU time (s) 1001.91 Current children cumulated vsize (KiB) 24916 [startup+1062.3 s] /proc/loadavg: 1.00 0.99 0.99 2/65 18934 /proc/meminfo: memFree=1584120/2055920 swapFree=4184640/4192956 [pid=18933] ppid=18931 vsize=25084 CPUtime=1061.89 /proc/18933/stat : 18933 (PBS4_SAT07v2) R 18931 18933 18332 0 -1 4194304 6444 0 0 0 106061 128 0 0 25 0 1 0 312039917 25686016 6087 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18933/statm: 6271 6087 102 219 0 6048 0 Current children cumulated CPU time (s) 1061.89 Current children cumulated vsize (KiB) 25084 [startup+1122.3 s] /proc/loadavg: 1.00 0.99 0.99 2/65 18934 /proc/meminfo: memFree=1583800/2055920 swapFree=4184640/4192956 [pid=18933] ppid=18931 vsize=25332 CPUtime=1121.87 /proc/18933/stat : 18933 (PBS4_SAT07v2) R 18931 18933 18332 0 -1 4194304 6525 0 0 0 112055 132 0 0 25 0 1 0 312039917 25939968 6168 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557301 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18933/statm: 6333 6168 102 219 0 6110 0 Current children cumulated CPU time (s) 1121.87 Current children cumulated vsize (KiB) 25332 [startup+1182.3 s] /proc/loadavg: 1.00 0.99 0.99 2/65 18934 /proc/meminfo: memFree=1581560/2055920 swapFree=4184640/4192956 [pid=18933] ppid=18931 vsize=43492 CPUtime=1181.85 /proc/18933/stat : 18933 (PBS4_SAT07v2) R 18931 18933 18332 0 -1 4194304 7471 0 0 0 118048 137 0 0 25 0 1 0 312039917 44535808 6729 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18933/statm: 10873 6729 102 219 0 10650 0 Current children cumulated CPU time (s) 1181.85 Current children cumulated vsize (KiB) 43492 [startup+1242.3 s] /proc/loadavg: 1.00 0.99 0.99 2/65 18934 /proc/meminfo: memFree=1579448/2055920 swapFree=4184640/4192956 [pid=18933] ppid=18931 vsize=43744 CPUtime=1241.83 /proc/18933/stat : 18933 (PBS4_SAT07v2) R 18931 18933 18332 0 -1 4194304 7987 0 0 0 124042 141 0 0 25 0 1 0 312039917 44793856 7245 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557448 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18933/statm: 10936 7245 102 219 0 10713 0 Current children cumulated CPU time (s) 1241.83 Current children cumulated vsize (KiB) 43744 [startup+1302.3 s] /proc/loadavg: 1.00 0.99 0.99 2/65 18934 /proc/meminfo: memFree=1574136/2055920 swapFree=4184640/4192956 [pid=18933] ppid=18931 vsize=44032 CPUtime=1301.81 /proc/18933/stat : 18933 (PBS4_SAT07v2) R 18931 18933 18332 0 -1 4194304 9304 0 0 0 130036 145 0 0 25 0 1 0 312039917 45088768 8562 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18933/statm: 11008 8562 102 219 0 10785 0 Current children cumulated CPU time (s) 1301.81 Current children cumulated vsize (KiB) 44032 [startup+1362.3 s] /proc/loadavg: 1.00 0.99 0.99 2/65 18936 /proc/meminfo: memFree=1573944/2055920 swapFree=4184640/4192956 [pid=18933] ppid=18931 vsize=44032 CPUtime=1361.78 /proc/18933/stat : 18933 (PBS4_SAT07v2) R 18931 18933 18332 0 -1 4194304 9354 0 0 0 136030 148 0 0 25 0 1 0 312039917 45088768 8612 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557385 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18933/statm: 11008 8612 102 219 0 10785 0 Current children cumulated CPU time (s) 1361.78 Current children cumulated vsize (KiB) 44032 [startup+1422.3 s] /proc/loadavg: 1.00 0.99 0.99 2/65 18936 /proc/meminfo: memFree=1573880/2055920 swapFree=4184640/4192956 [pid=18933] ppid=18931 vsize=44264 CPUtime=1421.76 /proc/18933/stat : 18933 (PBS4_SAT07v2) R 18931 18933 18332 0 -1 4194304 9390 0 0 0 142026 150 0 0 25 0 1 0 312039917 45326336 8648 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557448 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18933/statm: 11066 8648 102 219 0 10843 0 Current children cumulated CPU time (s) 1421.76 Current children cumulated vsize (KiB) 44264 [startup+1482.3 s] /proc/loadavg: 1.00 0.99 0.99 2/65 18936 /proc/meminfo: memFree=1573624/2055920 swapFree=4184640/4192956 [pid=18933] ppid=18931 vsize=44264 CPUtime=1481.74 /proc/18933/stat : 18933 (PBS4_SAT07v2) R 18931 18933 18332 0 -1 4194304 9450 0 0 0 148021 153 0 0 25 0 1 0 312039917 45326336 8708 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557375 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18933/statm: 11066 8708 102 219 0 10843 0 Current children cumulated CPU time (s) 1481.74 Current children cumulated vsize (KiB) 44264 [startup+1542.3 s] /proc/loadavg: 1.00 0.99 0.99 2/65 18936 /proc/meminfo: memFree=1573432/2055920 swapFree=4184640/4192956 [pid=18933] ppid=18931 vsize=44380 CPUtime=1541.71 /proc/18933/stat : 18933 (PBS4_SAT07v2) R 18931 18933 18332 0 -1 4194304 9491 0 0 0 154016 155 0 0 25 0 1 0 312039917 45445120 8749 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557351 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18933/statm: 11095 8749 102 219 0 10872 0 Current children cumulated CPU time (s) 1541.71 Current children cumulated vsize (KiB) 44380 [startup+1602.3 s] /proc/loadavg: 1.00 0.99 0.99 2/65 18936 /proc/meminfo: memFree=1570936/2055920 swapFree=4184640/4192956 [pid=18933] ppid=18931 vsize=44596 CPUtime=1601.7 /proc/18933/stat : 18933 (PBS4_SAT07v2) R 18931 18933 18332 0 -1 4194304 10114 0 0 0 160012 158 0 0 25 0 1 0 312039917 45666304 9372 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557385 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18933/statm: 11149 9372 102 219 0 10926 0 Current children cumulated CPU time (s) 1601.7 Current children cumulated vsize (KiB) 44596 [startup+1662.3 s] /proc/loadavg: 1.00 0.99 0.99 2/65 18936 /proc/meminfo: memFree=1570744/2055920 swapFree=4184640/4192956 [pid=18933] ppid=18931 vsize=44784 CPUtime=1661.67 /proc/18933/stat : 18933 (PBS4_SAT07v2) R 18931 18933 18332 0 -1 4194304 10153 0 0 0 166007 160 0 0 25 0 1 0 312039917 45858816 9411 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18933/statm: 11196 9411 102 219 0 10973 0 Current children cumulated CPU time (s) 1661.67 Current children cumulated vsize (KiB) 44784 [startup+1722.3 s] /proc/loadavg: 1.00 0.99 0.99 2/65 18936 /proc/meminfo: memFree=1570424/2055920 swapFree=4184640/4192956 [pid=18933] ppid=18931 vsize=44916 CPUtime=1721.65 /proc/18933/stat : 18933 (PBS4_SAT07v2) R 18931 18933 18332 0 -1 4194304 10225 0 0 0 172001 164 0 0 25 0 1 0 312039917 45993984 9483 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18933/statm: 11229 9483 102 219 0 11006 0 Current children cumulated CPU time (s) 1721.65 Current children cumulated vsize (KiB) 44916 [startup+1782.3 s] /proc/loadavg: 1.00 0.99 0.99 2/65 18936 /proc/meminfo: memFree=1570360/2055920 swapFree=4184640/4192956 [pid=18933] ppid=18931 vsize=45028 CPUtime=1781.64 /proc/18933/stat : 18933 (PBS4_SAT07v2) R 18931 18933 18332 0 -1 4194304 10250 0 0 0 177997 167 0 0 25 0 1 0 312039917 46108672 9508 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134561209 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18933/statm: 11257 9508 102 219 0 11034 0 Current children cumulated CPU time (s) 1781.64 Current children cumulated vsize (KiB) 45028 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.00 0.99 0.99 2/65 18936 /proc/meminfo: memFree=1570232/2055920 swapFree=4184640/4192956 [pid=18933] ppid=18931 vsize=45028 CPUtime=1800.04 /proc/18933/stat : 18933 (PBS4_SAT07v2) R 18931 18933 18332 0 -1 4194304 10280 0 0 0 179836 168 0 0 25 0 1 0 312039917 46108672 9538 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557316 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18933/statm: 11257 9538 102 219 0 11034 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 45028 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.71 s] /proc/loadavg: 1.00 0.99 0.99 2/65 18936 /proc/meminfo: memFree=1570232/2055920 swapFree=4184640/4192956 [pid=18933] ppid=18931 vsize=45028 CPUtime=1800.04 /proc/18933/stat : 18933 (PBS4_SAT07v2) R 18931 18933 18332 0 -1 4194304 10280 0 0 0 179836 168 0 0 25 0 1 0 312039917 46108672 9538 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557316 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18933/statm: 11257 9538 102 219 0 11034 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 45028 Child status: 0 Real time (s): 1800.72 CPU time (s): 1800.05 CPU user time (s): 1798.36 CPU system time (s): 1.68874 CPU usage (%): 99.963 Max. virtual memory (cumulated for all children) (KiB): 45028 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.36 system time used= 1.68874 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 10283 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= 8 involuntary context switches= 3176 runsolver used 1.44078 second user time and 3.53146 second system time The end
Begin job on node59 on Tue May 8 16:21:43 UTC 2007 IDJOB= 458722 IDBENCH= 1871 IDSOLVER= 200 FILE ID= node59/458722-1178641303 PBS_JOBID= 5218328 Free space on /tmp= 66562 MiB SOLVER NAME= PBS4_v2 2007-03-23 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-p2756.opb COMMAND LINE= PBS4_SAT07v2 /tmp/evaluation/458722-1178641303/instance-458722-1178641303.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node59/convwatcher-458722-1178641303 -o ROOT/results/node59/conversion-458722-1178641303 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/458722-1178641303/instance-458722-1178641303.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node59/watcher-458722-1178641303 -o ROOT/results/node59/solver-458722-1178641303 -C 1800 -W 3600 -M 1800 --output-limit 1,15 PBS4_SAT07v2 /tmp/evaluation/458722-1178641303/instance-458722-1178641303.opb META MD5SUM SOLVER= 18cd8c68a4d3bfb01f29079966475a33 MD5SUM BENCH= 54b9b4de78a7992fd69d0caeed32daef RANDOM SEED= 11768901 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node59.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.268 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.268 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1608984 kB Buffers: 33952 kB Cached: 306148 kB SwapCached: 2348 kB Active: 85832 kB Inactive: 264248 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1608984 kB SwapTotal: 4192956 kB SwapFree: 4184640 kB Dirty: 2368 kB Writeback: 0 kB Mapped: 16720 kB Slab: 82840 kB Committed_AS: 8063912 kB PageTables: 1472 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66562 MiB End job on node59 on Tue May 8 16:51:46 UTC 2007