Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS4 2007-03-23 | No Cert. | 1800.02 | 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/351974-1176619028/instance-351974-1176619028.opb ...... 0.04/0.09 c done parsing opb. 0.04/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.24 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.27 o 14105 0.19/0.28 o 14104 0.19/0.29 o 14102 0.29/0.30 o 14101 0.29/0.31 o 10092 0.29/0.31 o 10071 0.29/0.32 o 8833 0.29/0.32 o 8753 0.29/0.33 o 8749 0.29/0.33 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.37 o 8342 0.29/0.38 o 8341 0.29/0.38 o 8337 0.29/0.39 o 8241 0.29/0.39 o 8240 0.39/0.40 o 8204 0.39/0.40 o 8203 0.39/0.42 o 8202 24.79/24.80 o 8201 24.79/24.81 o 8200 24.79/24.83 o 8199 24.79/24.84 o 8198 24.79/24.85 o 8197 24.79/24.85 o 8196 24.79/24.86 o 8195 24.79/24.86 o 8194 24.79/24.86 o 8193 24.79/24.87 o 8192 24.79/24.87 o 8191 24.79/24.88 o 8190 24.79/24.88 o 8189 24.79/24.88 o 8188 24.79/24.89 o 8187 24.79/24.89 o 8186 24.79/24.89 o 8185 24.88/24.90 o 8184 24.98/25.06 o 8183 24.98/25.07 o 8182 24.98/25.08 o 8181 24.98/25.09 o 8180 24.98/25.09 o 8179 24.98/25.09 o 8178 25.08/25.10 o 8177 25.08/25.10 o 8176 25.08/25.11 o 8175 25.08/25.11 o 8174 25.08/25.11 o 8173 25.08/25.12 o 8172 25.08/25.12 o 8171 25.08/25.13 o 8170 25.08/25.13 o 8169 25.08/25.14 o 8168 25.08/25.14 o 8167 25.08/25.14 o 8166 25.08/25.15 o 8165 25.08/25.15 o 8164 25.08/25.15 o 8163 25.08/25.16 o 8162 25.08/25.16 o 8161 25.08/25.16 o 8160 25.08/25.17 o 8159 25.08/25.17 o 8158 25.08/25.17 o 8157 25.08/25.18 o 8156 25.08/25.18 o 8155 25.08/25.19 o 8154 25.08/25.19 o 8153 25.08/25.19 o 8152 25.08/25.20 o 8151 25.08/25.20 o 8150 25.19/25.20 o 8149 25.19/25.21 o 8148 25.19/25.21 o 8147 25.19/25.21 o 8146 25.19/25.22 o 8145 25.19/25.22 o 8144 25.19/25.22 o 8143 25.19/25.23 o 8142 25.19/25.23 o 8141 29.59/29.63 o 8140 29.59/29.65 o 8139 29.59/29.65 o 8138 29.59/29.65 o 8137 29.59/29.66 o 8136 29.59/29.66 o 8135 29.59/29.67 o 8134 29.59/29.67 o 8133 29.59/29.68 o 8132 29.59/29.68 o 8131 29.59/29.68 o 8130 29.59/29.69 o 8129 29.59/29.69 o 8128 29.59/29.70 o 8127 29.59/29.70 o 8126 29.68/29.70 o 8125 29.68/29.71 o 8124 29.68/29.71 o 8123 29.68/29.72 o 8122 29.68/29.72 o 8121 29.68/29.73 o 8120 29.68/29.73 o 8119 29.68/29.73 o 8118 29.68/29.74 o 8117 29.68/29.74 o 8116 29.68/29.74 o 8115 29.68/29.75 o 8114 29.68/29.75 o 8113 29.68/29.75 o 8112 29.68/29.76 o 8111 29.68/29.76 o 8110 29.68/29.76 o 8109 29.68/29.77 o 8108 29.68/29.77 o 8107 29.68/29.77 o 8106 29.68/29.78 o 8105 29.68/29.78 o 8104 29.68/29.78 o 8103 29.68/29.79 o 8102 29.68/29.79 o 8101 29.68/29.79 o 8100 29.68/29.80 o 8099 29.78/29.80 o 8098 29.78/29.80 o 8097 29.78/29.81 o 8096 29.78/29.81 o 8095 29.78/29.81 o 8094 29.78/29.82 o 8093 29.78/29.82 o 8092 29.78/29.82 o 8091 29.78/29.83 o 8090 50.77/50.89 o 8089 50.87/50.90 o 8088 50.87/50.91 o 8087 50.87/50.92 o 8086 50.87/50.92 o 8085 50.87/50.93 o 8084 50.87/50.93 o 8083 50.87/50.94 o 8082 50.87/50.94 o 8081 50.87/50.95 o 8080 50.87/50.95 o 8079 50.87/50.96 o 8078 50.87/50.96 o 8077 50.87/50.97 o 8076 50.87/50.97 o 8075 50.87/50.98 o 8074 50.87/50.98 o 8073 50.87/50.99 o 8072 50.87/50.99 o 8071 50.87/50.99 o 8070 50.87/51.00 o 8069 50.98/51.00 o 8068 50.98/51.01 o 8067 50.98/51.01 o 8066 50.98/51.01 o 8065 50.98/51.02 o 8064 50.98/51.02 o 8063 50.98/51.03 o 8062 50.98/51.03 o 8061 50.98/51.04 o 8060 50.98/51.04 o 8059 50.98/51.05 o 8058 50.98/51.05 o 8057 50.98/51.06 o 8056 50.98/51.07 o 8055 50.98/51.07 o 8054 51.07/51.19 o 8053 51.07/51.19 o 8052 51.18/51.20 o 8051 51.18/51.20 o 8050 51.18/51.21 o 8049 51.18/51.21 o 8048 51.18/51.22 o 8047 51.18/51.27 o 8046 63.17/63.24 o 8045 63.17/63.25 o 8044 63.17/63.26 o 8043 83.56/83.60 o 8042 83.56/83.61 o 8041 83.56/83.61 o 8040 83.56/83.62 o 8039 83.56/83.62 o 8038 83.56/83.63 o 8037 83.56/83.63 o 8036 83.56/83.63 o 8035 83.56/83.64 o 8034 83.56/83.64 o 8033 83.56/83.64 o 8032 83.56/83.65 o 8031 83.56/83.65 o 8030 83.56/83.65 o 8029 83.56/83.66 o 8028 83.56/83.66 o 8027 83.56/83.66 o 8026 83.56/83.67 o 8025 83.56/83.67 o 8024 83.56/83.67 o 8023 83.56/83.68 o 8022 83.56/83.68 o 8021 83.56/83.69 o 8020 83.56/83.69 o 8019 83.56/83.69 o 8018 83.56/83.70 o 8017 83.67/83.70 o 8016 83.67/83.70 o 8015 83.67/83.71 o 8014 83.67/83.71 o 8013 83.67/83.71 o 8012 83.67/83.72 o 8011 83.67/83.72 o 8010 83.67/83.72 o 8009 83.67/83.73 o 8008 83.67/83.73 o 8007 83.67/83.74 o 8006 83.67/83.74 o 8005 83.67/83.74 o 8004 83.67/83.75 o 8003 83.67/83.75 o 8002 83.67/83.75 o 8001 83.67/83.76 o 8000 83.67/83.76 o 7999 83.67/83.76 o 7998 83.67/83.77 o 7997 83.67/83.77 o 7996 83.67/83.77 o 7995 83.67/83.78 o 7994 83.67/83.78 o 7993 83.67/83.79 o 7992 83.67/83.79 o 7991 83.67/83.79 o 7990 83.67/83.80 o 7989 83.76/83.80 o 7988 83.76/83.80 o 7987 83.76/83.81 o 7986 83.76/83.81 o 7985 83.76/83.81 o 7984 83.76/83.82 o 7983 83.76/83.82 o 7982 83.76/83.82 o 7981 83.76/83.83 o 7980 83.76/83.83 o 7979 83.76/83.83 o 7978 83.76/83.84 o 7977 83.76/83.84 o 7976 83.76/83.85 o 7975 83.76/83.85 o 7974 83.76/83.85 o 7973 83.76/83.85 o 7972 83.76/83.86 o 7971 83.76/83.86 o 7970 83.76/83.87 o 7969 83.76/83.87 o 7968 83.76/83.87 o 7967 83.76/83.88 o 7966 83.76/83.88 o 7965 83.76/83.88 o 7964 83.76/83.89 o 7963 83.76/83.89 o 7962 83.76/83.89 o 7961 83.87/83.90 o 7960 83.87/83.90 o 7959 83.87/83.90 o 7958 83.87/83.91 o 7957 83.87/83.91 o 7956 83.87/83.92 o 7955 83.87/83.92 o 7954 83.87/83.92 o 7953 83.87/83.92 o 7952 83.87/83.93 o 7951 83.87/83.93 o 7950 83.87/83.94 o 7949 83.87/83.94 o 7948 83.87/83.94 o 7947 83.87/83.95 o 7946 83.87/83.95 o 7945 83.87/83.95 o 7944 83.87/83.96 o 7943 83.87/83.96 o 7942 83.87/83.96 o 7941 83.87/83.97 o 7940 83.87/83.97 o 7939 83.87/83.97 o 7938 83.87/83.98 o 7937 83.87/83.98 o 7936 83.87/83.98 o 7935 83.87/83.99 o 7934 83.87/83.99 o 7933 83.87/83.99 o 7932 83.96/84.00 o 7931 83.96/84.00 o 7930 83.96/84.00 o 7929 83.96/84.01 o 7928 83.96/84.01 o 7927 83.96/84.02 o 7926 83.96/84.02 o 7925 83.96/84.02 o 7924 83.96/84.03 o 7923 83.96/84.03 o 7922 83.96/84.04 o 7921 83.96/84.04 o 7920 83.96/84.04 o 7919 83.96/84.05 o 7918 83.96/84.05 o 7917 83.96/84.05 o 7916 83.96/84.05 o 7915 83.96/84.06 o 7914 83.96/84.06 o 7913 83.96/84.07 o 7912 83.96/84.07 o 7911 83.96/84.07 o 7910 83.96/84.08 o 7909 83.96/84.08 o 7908 83.96/84.08 o 7907 83.96/84.09 o 7906 83.96/84.09 o 7905 83.96/84.09 o 7904 83.96/84.10 o 7903 84.06/84.10 o 7902 84.06/84.10 o 7901 84.06/84.10 o 7900 84.06/84.11 o 7899 84.06/84.11 o 7898 84.06/84.11 o 7897 84.27/84.31 o 7896 195.73/195.84 o 7895 199.13/199.27 o 7894 199.13/199.27 o 7893 199.13/199.28 o 7892 199.13/199.28 o 7891 199.13/199.29 o 7890 199.13/199.29 o 7889 199.13/199.30 o 7888 199.23/199.30 o 7887 199.23/199.30 o 7886 199.23/199.31 o 7885 199.23/199.31 o 7884 199.23/199.32 o 7883 199.23/199.32 o 7882 199.23/199.33 o 7881 199.23/199.33 o 7880 199.23/199.34 o 7879 199.23/199.34 o 7878 199.23/199.35 o 7877 199.23/199.35 o 7876 199.23/199.36 o 7875 199.23/199.36 o 7874 199.23/199.37 o 7873 199.23/199.37 o 7872 199.23/199.38 o 7871 199.23/199.38 o 7870 199.23/199.38 o 7869 199.23/199.39 o 7868 199.23/199.39 o 7867 199.32/199.40 o 7866 199.32/199.40 o 7865 199.32/199.41 o 7864 199.32/199.41 o 7863 199.32/199.41 o 7862 199.32/199.42 o 7861 199.32/199.42 o 7860 199.32/199.43 o 7859 199.32/199.43 o 7858 199.32/199.44 o 7857 199.32/199.44 o 7856 199.32/199.44 o 7855 199.32/199.45 o 7854 199.32/199.45 o 7853 199.32/199.46 o 7852 199.32/199.46 o 7851 199.32/199.47 o 7850 199.32/199.47 o 7849 199.32/199.47 o 7848 199.32/199.48 o 7847 199.32/199.48 o 7846 199.32/199.49 o 7845 199.32/199.49 o 7844 199.32/199.50 o 7843 199.43/199.50 o 7842 199.43/199.51 o 7841 199.43/199.51 o 7840 199.43/199.51 o 7839 199.43/199.52 o 7838 199.43/199.52 o 7837 199.43/199.53 o 7836 199.43/199.53 o 7835 199.43/199.54 o 7834 199.43/199.54 o 7833 199.43/199.55 o 7832 199.43/199.55 o 7831 199.43/199.55 o 7830 199.43/199.56 o 7829 199.43/199.56 o 7828 199.43/199.57 o 7827 199.43/199.57 o 7826 199.43/199.58 o 7825 199.43/199.58 o 7824 199.43/199.58 o 7823 199.43/199.59 o 7822 199.43/199.59 o 7821 199.43/199.60 o 7820 199.53/199.60 o 7819 199.53/199.60 o 7818 199.53/199.61 o 7817 199.53/199.61 o 7816 199.53/199.62 o 7815 199.53/199.62 o 7814 199.53/199.63 o 7813 199.53/199.63 o 7812 199.53/199.63 o 7811 199.53/199.64 o 7810 199.53/199.64 o 7809 199.53/199.65 o 7808 199.53/199.65 o 7807 199.53/199.66 o 7806 199.53/199.66 o 7805 199.53/199.66 o 7804 199.53/199.67 o 7803 199.53/199.67 o 7802 199.53/199.68 o 7801 199.53/199.68 o 7800 199.53/199.68 o 7799 199.53/199.69 o 7798 199.53/199.69 o 7797 199.53/199.70 o 7796 199.62/199.70 o 7795 199.62/199.70 o 7794 199.62/199.71 o 7793 199.62/199.71 o 7792 199.62/199.72 o 7791 199.62/199.72 o 7790 199.62/199.72 o 7789 199.62/199.73 o 7788 199.62/199.73 o 7787 199.62/199.74 o 7786 199.62/199.74 o 7785 199.62/199.74 o 7784 199.62/199.75 o 7783 199.62/199.75 o 7782 199.62/199.76 o 7781 199.62/199.76 o 7780 199.62/199.76 o 7779 199.62/199.77 o 7778 199.62/199.77 o 7777 199.62/199.78 o 7776 199.62/199.78 o 7775 199.62/199.78 o 7774 199.62/199.79 o 7773 199.62/199.79 o 7772 199.62/199.80 o 7771 199.73/199.80 o 7770 199.73/199.80 o 7769 199.73/199.81 o 7768 199.73/199.81 o 7767 199.73/199.82 o 7766 199.73/199.82 o 7765 199.73/199.82 o 7764 199.73/199.83 o 7763 199.73/199.83 o 7762 199.73/199.84 o 7761 199.73/199.84 o 7760 199.73/199.84 o 7759 199.73/199.85 o 7758 199.73/199.85 o 7757 199.73/199.85 o 7756 199.73/199.86 o 7755 199.73/199.86 o 7754 199.73/199.87 o 7753 199.73/199.87 o 7752 199.73/199.87 o 7751 199.73/199.88 o 7750 199.73/199.88 o 7749 199.73/199.89 o 7748 199.73/199.89 o 7747 199.73/199.89 o 7746 199.83/199.90 o 7745 199.83/199.90 o 7744 199.83/199.91 o 7743 199.83/199.91 o 7742 199.83/199.91 o 7741 199.83/199.92 o 7740 199.83/199.92 o 7739 199.83/199.92 o 7738 199.83/199.93 o 7737 199.83/199.93 o 7736 199.83/199.94 o 7735 199.83/199.94 o 7734 199.83/199.95 o 7733 199.83/199.95 o 7732 199.83/199.96 o 7731 199.83/199.96 o 7730 199.83/199.97 o 7729 199.83/199.97 o 7728 199.83/199.98 o 7727 199.83/199.98 o 7726 199.83/199.98 o 7725 199.83/199.99 o 7724 199.83/199.99 o 7723 199.92/200.00 o 7722 199.92/200.00 o 7721 199.92/200.01 o 7720 199.92/200.01 o 7719 199.92/200.01 o 7718 199.92/200.02 o 7717 199.92/200.02 o 7716 199.92/200.03 o 7715 199.92/200.03 o 7714 199.92/200.03 o 7713 199.92/200.04 o 7712 199.92/200.04 o 7711 199.92/200.05 o 7710 199.92/200.05 o 7709 199.92/200.05 o 7708 199.92/200.06 o 7707 199.92/200.07 o 7706 199.92/200.07 o 7705 202.33/202.44 o 7704 202.33/202.45 o 7703 202.33/202.45 o 7702 202.33/202.46 o 7701 202.33/202.46 o 7700 202.33/202.46 o 7699 202.33/202.47 o 7698 202.33/202.47 o 7697 202.33/202.48 o 7696 202.33/202.48 o 7695 202.33/202.48 o 7694 202.33/202.49 o 7693 202.33/202.49 o 7692 202.33/202.49 o 7691 202.42/202.50 o 7690 202.42/202.50 o 7689 202.42/202.51 o 7688 202.42/202.51 o 7687 202.42/202.51 o 7686 202.42/202.52 o 7685 202.42/202.52 o 7684 202.42/202.53 o 7683 202.42/202.53 o 7682 202.42/202.53 o 7681 202.42/202.54 o 7680 202.42/202.54 o 7679 202.42/202.55 o 7678 202.42/202.55 o 7677 202.42/202.55 o 7676 202.42/202.56 o 7675 202.42/202.56 o 7674 202.42/202.56 o 7673 202.42/202.57 o 7672 202.42/202.57 o 7671 202.42/202.57 o 7670 202.42/202.58 o 7669 202.42/202.58 o 7668 202.42/202.58 o 7667 202.42/202.59 o 7666 202.42/202.59 o 7665 202.42/202.59 o 7664 202.52/202.60 o 7663 202.52/202.65 o 7662 234.62/234.73 o 7661 234.62/234.73 o 7660 234.62/234.74 o 7659 234.62/234.74 o 7658 234.62/234.75 o 7657 234.62/234.75 o 7656 234.62/234.76 o 7655 234.62/234.77 o 7654 234.62/234.77 o 7653 234.62/234.78 o 7652 234.62/234.78 o 7651 234.62/234.78 o 7650 234.62/234.79 o 7649 234.62/234.79 o 7648 234.62/234.79 o 7647 234.71/234.80 o 7646 234.71/234.80 o 7645 234.71/234.81 o 7644 234.71/234.81 o 7643 234.71/234.81 o 7642 234.71/234.82 o 7641 234.71/234.82 o 7640 234.71/234.83 o 7639 234.71/234.83 o 7638 234.71/234.83 o 7637 234.71/234.84 o 7636 234.71/234.84 o 7635 234.71/234.84 o 7634 234.71/234.85 o 7633 234.71/234.85 o 7632 234.71/234.85 o 7631 234.71/234.86 o 7630 234.71/234.86 o 7629 234.71/234.87 o 7628 234.71/234.87 o 7627 234.71/234.87 o 7626 234.71/234.88 o 7625 234.71/234.88 o 7624 234.71/234.89 o 7623 234.71/234.89 o 7622 234.81/234.90 o 7621 234.81/234.90 o 7620 234.81/234.91 o 7619 234.81/234.91 o 7618 234.81/234.91 o 7617 234.81/234.92 o 7616 234.81/234.92 o 7615 234.81/234.93 o 7614 234.81/234.93 o 7613 234.81/234.93 o 7612 234.81/234.94 o 7611 234.81/234.94 o 7610 234.81/234.94 o 7609 234.81/234.95 o 7608 234.81/234.95 o 7607 234.81/234.96 o 7606 234.81/234.96 o 7605 234.81/234.96 o 7604 234.81/234.97 o 7603 234.81/234.97 o 7602 234.81/234.97 o 7601 234.81/234.98 o 7600 234.81/234.98 o 7599 234.81/234.98 o 7598 234.81/234.99 o 7597 234.81/234.99 o 7596 234.81/235.00 o 7595 234.91/235.00 o 7594 234.91/235.00 o 7593 234.91/235.01 o 7592 234.91/235.01 o 7591 234.91/235.01 o 7590 234.91/235.02 o 7589 234.91/235.02 o 7588 234.91/235.02 o 7587 234.91/235.03 o 7586 234.91/235.03 o 7585 234.91/235.04 o 7584 234.91/235.04 o 7583 234.91/235.04 o 7582 234.91/235.05 o 7581 234.91/235.05 o 7580 234.91/235.06 o 7579 234.91/235.06 o 7578 234.91/235.06 o 7577 234.91/235.07 o 7576 234.91/235.07 o 7575 234.91/235.08 o 7574 234.91/235.08 o 7573 234.91/235.08 o 7572 234.91/235.09 o 7571 234.91/235.09 o 7570 234.91/235.10 o 7569 235.01/235.10 o 7568 235.01/235.10 o 7567 235.01/235.11 o 7566 235.01/235.11 o 7565 235.01/235.11 o 7564 235.01/235.12 o 7563 235.01/235.12 o 7562 235.01/235.13 o 7561 235.01/235.13 o 7560 235.01/235.13 o 7559 235.01/235.14 o 7558 235.01/235.14 o 7557 235.01/235.14 o 7556 235.01/235.15 o 7555 235.01/235.15 o 7554 235.01/235.16 o 7553 235.01/235.16 o 7552 235.01/235.17 o 7551 235.01/235.17 o 7550 235.01/235.17 o 7549 235.01/235.18 o 7548 235.22/235.39 o 7547 235.22/235.40 o 7546 235.31/235.40 o 7545 235.31/235.40 o 7544 235.31/235.41 o 7543 235.31/235.41 o 7542 235.31/235.42 o 7541 235.31/235.42 o 7540 235.31/235.42 o 7539 235.31/235.43 o 7538 235.31/235.43 o 7537 235.31/235.44 o 7536 235.31/235.44 o 7535 235.31/235.45 o 7534 235.31/235.45 o 7533 235.31/235.45 o 7532 235.31/235.46 o 7531 235.31/235.46 o 7530 235.31/235.47 o 7529 235.31/235.47 o 7528 235.31/235.47 o 7527 235.31/235.48 o 7526 235.31/235.48 o 7525 235.31/235.48 o 7524 235.31/235.49 o 7523 235.31/235.49 o 7522 235.31/235.49 o 7521 235.42/235.50 o 7520 235.42/235.50 o 7519 235.42/235.51 o 7518 235.42/235.51 o 7517 235.42/235.53 o 7516 235.42/235.53 o 7515 235.42/235.54 o 7514 235.42/235.54 o 7513 235.42/235.55 o 7512 235.42/235.55 o 7511 235.42/235.56 o 7510 235.42/235.56 o 7509 235.42/235.56 o 7508 235.42/235.57 o 7507 235.42/235.57 o 7506 235.42/235.58 o 7505 235.42/235.58 o 7504 235.42/235.58 o 7503 235.42/235.59 o 7502 235.42/235.59 o 7501 235.52/235.60 o 7500 235.52/235.60 o 7499 235.52/235.60 o 7498 235.52/235.61 o 7497 235.52/235.61 o 7496 235.52/235.61 o 7495 235.52/235.62 o 7494 235.52/235.62 o 7493 235.52/235.62 o 7492 235.52/235.63 o 7491 235.52/235.63 o 7490 235.52/235.63 o 7489 235.52/235.64 o 7488 235.52/235.64 o 7487 235.52/235.64 o 7486 235.52/235.65 o 7485 235.52/235.65 o 7484 235.52/235.65 o 7483 235.52/235.66 o 7482 235.52/235.66 o 7481 235.52/235.66 o 7480 235.52/235.67 o 7479 235.52/235.67 o 7478 235.52/235.67 o 7477 235.52/235.68 o 7476 235.52/235.68 o 7475 235.52/235.68 o 7474 235.52/235.69 o 7473 235.52/235.69 o 7472 235.52/235.69 o 7471 235.61/235.70 o 7470 235.61/235.70 o 7469 235.91/236.03 o 7468 235.91/236.05 o 7467 235.91/236.06 o 7466 235.91/236.06 o 7465 235.91/236.06 o 7464 235.91/236.07 o 7463 235.91/236.08 o 7462 235.91/236.08 o 7461 235.91/236.08 o 7460 235.91/236.09 o 7459 235.91/236.09 o 7458 236.02/236.10 o 7457 236.02/236.10 o 7456 236.02/236.11 o 7455 236.02/236.11 o 7454 236.02/236.12 o 7453 236.02/236.12 o 7452 236.02/236.13 o 7451 236.02/236.13 o 7450 236.02/236.14 o 7449 236.02/236.14 o 7448 236.02/236.15 o 7447 236.02/236.15 o 7446 236.02/236.16 o 7445 236.02/236.18 o 7444 236.61/236.76 o 7443 236.61/236.76 o 7442 236.61/236.77 o 7441 236.61/236.77 o 7440 236.61/236.78 o 7439 236.61/236.78 o 7438 236.61/236.78 o 7437 236.61/236.79 o 7436 236.61/236.79 o 7435 236.72/236.80 o 7434 236.72/236.80 o 7433 236.72/236.80 o 7432 236.72/236.81 o 7431 236.72/236.81 o 7430 236.72/236.82 o 7429 236.72/236.82 o 7428 236.72/236.83 o 7427 236.72/236.83 o 7426 236.72/236.84 o 7425 236.72/236.84 o 7424 236.72/236.85 o 7423 236.72/236.85 o 7422 236.72/236.85 o 7421 236.72/236.86 o 7420 236.72/236.86 o 7419 236.72/236.87 o 7418 236.72/236.87 o 7417 236.72/236.87 o 7416 236.72/236.88 o 7415 236.72/236.88 o 7414 236.72/236.89 o 7413 236.72/236.89 o 7412 236.72/236.89 o 7411 236.81/236.90 o 7410 236.81/236.90 o 7409 236.81/236.91 o 7408 236.81/236.91 o 7407 236.81/236.91 o 7406 236.81/236.92 o 7405 236.81/236.92 o 7404 236.81/236.93 o 7403 236.81/236.93 o 7402 236.81/236.93 o 7401 236.81/236.94 o 7400 236.81/236.94 o 7399 236.81/236.95 o 7398 236.81/236.95 o 7397 236.81/236.95 o 7396 236.81/236.96 o 7395 236.81/236.96 o 7394 236.81/236.97 o 7393 236.81/236.97 o 7392 236.81/236.97 o 7391 236.81/236.98 o 7390 236.81/236.98 o 7389 236.81/236.99 o 7388 236.81/236.99 o 7387 236.81/236.99 o 7386 236.92/237.00 o 7385 236.92/237.00 o 7384 236.92/237.01 o 7383 236.92/237.01 o 7382 236.92/237.01 o 7381 236.92/237.02 o 7380 236.92/237.02 o 7379 236.92/237.03 o 7378 236.92/237.03 o 7377 236.92/237.04 o 7376 236.92/237.05 o 7375 236.92/237.05 o 7374 236.92/237.06 o 7373 236.92/237.06 o 7372 236.92/237.06 o 7371 236.92/237.07 o 7370 236.92/237.08 o 7369 237.11/237.21 o 7368 237.11/237.21 o 7367 237.11/237.22 o 7366 237.11/237.22 o 7365 237.11/237.22 o 7364 237.11/237.23 o 7363 237.11/237.23 o 7362 237.11/237.23 o 7361 237.11/237.24 o 7360 237.11/237.24 o 7359 237.11/237.24 o 7358 237.11/237.25 o 7357 237.11/237.25 o 7356 237.11/237.25 o 7355 237.11/237.26 o 7354 237.11/237.26 o 7353 237.11/237.26 o 7352 237.11/237.27 o 7351 237.11/237.27 o 7350 237.11/237.27 o 7349 237.11/237.28 o 7348 237.11/237.28 o 7347 237.11/237.28 o 7346 237.11/237.29 o 7345 237.11/237.29 o 7344 237.11/237.29 o 7343 237.11/237.30 o 7342 237.22/237.30 o 7341 237.22/237.30 o 7340 237.22/237.31 o 7339 237.22/237.31 o 7338 237.22/237.31 o 7337 237.22/237.32 o 7336 237.22/237.32 o 7335 237.22/237.32 o 7334 237.22/237.33 o 7333 237.22/237.33 o 7332 237.22/237.33 o 7331 237.22/237.33 o 7330 237.22/237.34 o 7329 237.22/237.34 o 7328 237.22/237.34 o 7327 237.22/237.35 o 7326 237.22/237.35 o 7325 237.22/237.35 o 7324 237.22/237.36 o 7323 237.22/237.36 o 7322 237.22/237.36 o 7321 237.22/237.37 o 7320 237.22/237.37 o 7319 237.22/237.37 o 7318 237.22/237.38 o 7317 237.22/237.38 o 7316 237.22/237.38 o 7315 237.22/237.39 o 7314 237.22/237.39 o 7313 237.22/237.39 o 7312 237.31/237.40 o 7311 237.31/237.40 o 7310 237.31/237.40 o 7309 237.31/237.41 o 7308 237.31/237.41 o 7307 237.31/237.41 o 7306 237.31/237.42 o 7305 237.31/237.42 o 7304 237.31/237.42 o 7303 237.31/237.43 o 7302 237.31/237.43 o 7301 237.31/237.43 o 7300 237.31/237.44 o 7299 237.31/237.44 o 7298 237.31/237.44 o 7297 237.31/237.45 o 7296 237.31/237.45 o 7295 237.31/237.45 o 7294 237.31/237.46 o 7293 237.31/237.46 o 7292 237.31/237.46 o 7291 237.31/237.46 o 7290 237.31/237.47 o 7289 237.31/237.47 o 7288 237.31/237.47 o 7287 237.31/237.48 o 7286 237.31/237.48 o 7285 237.31/237.48 o 7284 237.31/237.49 o 7283 237.31/237.49 o 7282 237.31/237.49 o 7281 237.42/237.50 o 7280 237.42/237.50 o 7279 237.42/237.50 o 7278 237.42/237.51 o 7277 237.42/237.51 o 7276 237.42/237.51 o 7275 237.42/237.52 o 7274 237.42/237.52 o 7273 237.42/237.52 o 7272 237.42/237.53 o 7271 237.42/237.53 o 7270 237.42/237.53 o 7269 237.42/237.54 o 7268 237.42/237.54 o 7267 237.42/237.54 o 7266 237.42/237.55 o 7265 237.42/237.55 o 7264 237.42/237.55 o 7263 237.42/237.56 o 7262 237.42/237.56 o 7261 237.42/237.56 o 7260 237.42/237.57 o 7259 237.42/237.57 o 7258 237.42/237.57 o 7257 237.42/237.57 o 7256 237.42/237.58 o 7255 237.42/237.58 o 7254 237.42/237.58 o 7253 237.42/237.59 o 7252 237.42/237.59 o 7251 237.42/237.59 o 7250 237.42/237.60 o 7249 237.51/237.60 o 7248 237.51/237.60 o 7247 237.51/237.61 o 7246 237.51/237.61 o 7245 237.51/237.61 o 7244 237.51/237.62 o 7243 237.51/237.62 o 7242 237.51/237.62 o 7241 237.51/237.63 o 7240 237.51/237.63 o 7239 237.51/237.63 o 7238 237.51/237.64 o 7237 237.51/237.64 o 7236 237.51/237.64 o 7235 237.51/237.65 o 7234 237.51/237.65 o 7233 237.51/237.65 o 7232 237.51/237.66 o 7231 237.51/237.66 o 7230 237.51/237.66 o 7229 237.51/237.67 o 7228 237.51/237.67 o 7227 237.51/237.67 o 7226 237.51/237.68 o 7225 237.51/237.68 o 7224 237.51/237.68 o 7223 237.51/237.69 o 7222 237.51/237.69 o 7221 237.51/237.69 o 7220 237.51/237.69 o 7219 237.61/237.70 o 7218 237.61/237.70 o 7217 237.61/237.70 o 7216 237.61/237.71 o 7215 237.61/237.71 o 7214 237.61/237.71 o 7213 237.61/237.72 o 7212 237.61/237.72 o 7211 237.61/237.72 o 7210 237.61/237.73 o 7209 237.61/237.73 o 7208 237.61/237.73 o 7207 237.61/237.74 o 7206 237.61/237.74 o 7205 237.61/237.74 o 7204 237.61/237.75 o 7203 237.61/237.75 o 7202 237.61/237.75 o 7201 237.61/237.76 o 7200 237.61/237.76 o 7199 237.61/237.76 o 7198 237.61/237.77 o 7197 237.61/237.77 o 7196 237.61/237.77 o 7195 237.61/237.78 o 7194 237.61/237.78 o 7193 237.61/237.78 o 7192 237.61/237.79 o 7191 237.61/237.79 o 7190 237.61/237.79 o 7189 237.61/237.80 o 7188 237.72/237.80 o 7187 237.72/237.80 o 7186 237.72/237.81 o 7185 237.72/237.81 o 7184 237.72/237.81 o 7183 237.72/237.82 o 7182 237.72/237.82 o 7181 237.72/237.82 o 7180 237.72/237.83 o 7179 237.72/237.83 o 7178 237.72/237.83 o 7177 237.72/237.84 o 7176 237.72/237.84 o 7175 237.72/237.85 o 7174 237.72/237.85 o 7173 237.72/237.85 o 7172 237.72/237.86 o 7171 237.72/237.86 o 7170 237.72/237.86 o 7169 237.72/237.87 o 7168 237.72/237.87 o 7167 237.72/237.87 o 7166 237.72/237.88 o 7165 237.72/237.88 o 7164 237.72/237.89 o 7163 237.72/237.89 o 7162 237.72/237.89 o 7161 237.82/237.90 o 7160 237.82/237.90 o 7159 237.82/237.91 o 7158 237.82/237.91 o 7157 237.82/237.91 o 7156 237.82/237.92 o 7155 237.82/237.92 o 7154 237.82/237.93 o 7153 237.82/237.93 o 7152 237.82/237.95 o 7151 246.21/246.34 o 7150 246.21/246.35 o 7149 246.21/246.35 o 7148 246.21/246.36 o 7147 246.21/246.36 o 7146 246.21/246.37 o 7145 246.21/246.37 o 7144 246.21/246.37 o 7143 246.21/246.38 o 7142 246.21/246.38 o 7141 246.21/246.38 o 7140 246.21/246.39 o 7139 246.21/246.39 o 7138 246.31/246.40 o 7137 246.31/246.41 o 7136 246.31/246.41 o 7135 246.31/246.42 o 7134 246.31/246.42 o 7133 246.31/246.43 o 7132 246.31/246.43 o 7131 246.31/246.43 o 7130 246.31/246.44 o 7129 246.31/246.44 o 7128 246.31/246.45 o 7127 246.31/246.45 o 7126 246.31/246.46 o 7125 246.31/246.46 o 7124 246.31/246.46 o 7123 246.31/246.47 o 7122 246.31/246.47 o 7121 246.31/246.48 o 7120 246.31/246.48 o 7119 246.31/246.48 o 7118 246.31/246.49 o 7117 246.31/246.49 o 7116 246.31/246.50 o 7115 246.41/246.50 o 7114 246.41/246.50 o 7113 246.41/246.51 o 7112 246.41/246.51 o 7111 246.41/246.52 o 7110 246.41/246.52 o 7109 246.41/246.53 o 7108 246.41/246.53 o 7107 246.41/246.53 o 7106 246.41/246.54 o 7105 246.41/246.54 o 7104 246.41/246.55 o 7103 246.41/246.55 o 7102 246.41/246.55 o 7101 246.41/246.56 o 7100 246.41/246.56 o 7099 246.41/246.57 o 7098 246.41/246.57 o 7097 246.41/246.57 o 7096 246.41/246.58 o 7095 246.41/246.58 o 7094 246.41/246.59 o 7093 246.41/246.59 o 7092 246.41/246.59 o 7091 246.51/246.60 o 7090 246.51/246.60 o 7089 246.51/246.61 o 7088 246.51/246.61 o 7087 246.51/246.61 o 7086 246.51/246.62 o 7085 246.51/246.62 o 7084 246.51/246.63 o 7083 246.51/246.63 o 7082 246.51/246.63 o 7081 246.51/246.64 o 7080 246.51/246.64 o 7079 246.51/246.65 o 7078 246.51/246.65 o 7077 246.51/246.65 o 7076 246.51/246.66 o 7075 246.51/246.66 o 7074 246.51/246.67 o 7073 246.51/246.67 o 7072 246.51/246.68 o 7071 246.51/246.68 o 7070 246.51/246.68 o 7069 246.51/246.69 o 7068 246.51/246.70 o 7067 246.61/246.70 o 7066 246.61/246.70 o 7065 246.61/246.71 o 7064 246.61/246.71 o 7063 246.61/246.71 o 7062 246.61/246.72 o 7061 246.61/246.72 o 7060 246.61/246.73 o 7059 246.61/246.73 o 7058 246.61/246.74 o 7057 246.61/246.74 o 7056 246.61/246.74 o 7055 246.61/246.75 o 7054 246.61/246.75 o 7053 246.61/246.76 o 7052 246.61/246.76 o 7051 246.61/246.77 o 7050 246.61/246.77 o 7049 246.61/246.77 o 7048 246.61/246.78 o 7047 246.61/246.78 o 7046 246.61/246.78 o 7045 246.61/246.79 o 7044 246.71/246.80 o 7043 246.71/246.80 o 7042 246.71/246.81 o 7041 246.71/246.81 o 7040 246.71/246.81 o 7039 246.71/246.82 o 7038 246.71/246.82 o 7037 246.71/246.82 o 7036 246.71/246.83 o 7035 246.71/246.83 o 7034 246.71/246.83 o 7033 246.71/246.84 o 7032 246.71/246.84 o 7031 246.71/246.84 o 7030 246.71/246.85 o 7029 246.71/246.85 o 7028 246.71/246.85 o 7027 246.71/246.86 o 7026 246.71/246.86 o 7025 246.71/246.86 o 7024 246.71/246.87 o 7023 246.71/246.87 o 7022 246.71/246.87 o 7021 246.71/246.88 o 7020 246.71/246.88 o 7019 246.71/246.88 o 7018 246.71/246.89 o 7017 246.71/246.89 o 7016 246.71/246.90 o 7015 246.81/246.90 o 7014 246.81/246.90 o 7013 246.81/246.91 o 7012 246.81/246.91 o 7011 246.81/246.91 o 7010 246.81/246.92 o 7009 246.81/246.92 o 7008 246.81/246.92 o 7007 246.81/246.93 o 7006 246.81/246.93 o 7005 246.81/246.93 o 7004 246.81/246.94 o 7003 246.81/246.94 o 7002 246.81/246.94 o 7001 246.81/246.95 o 7000 246.81/246.95 o 6999 246.81/246.95 o 6998 246.81/246.96 o 6997 246.81/246.96 o 6996 246.81/246.96 o 6995 246.81/246.97 o 6994 246.81/246.97 o 6993 246.81/246.97 o 6992 246.81/246.98 o 6991 246.81/246.98 o 6990 246.81/246.98 o 6989 246.81/246.99 o 6988 246.81/246.99 o 6987 246.81/246.99 o 6986 246.91/247.00 o 6985 246.91/247.00 o 6984 246.91/247.00 o 6983 246.91/247.01 o 6982 246.91/247.01 o 6981 246.91/247.01 o 6980 246.91/247.02 o 6979 246.91/247.02 o 6978 246.91/247.02 o 6977 246.91/247.03 o 6976 246.91/247.03 o 6975 246.91/247.03 o 6974 246.91/247.04 o 6973 246.91/247.04 o 6972 246.91/247.05 o 6971 246.91/247.05 o 6970 246.91/247.05 o 6969 246.91/247.06 o 6968 246.91/247.06 o 6967 246.91/247.06 o 6966 246.91/247.07 o 6965 246.91/247.07 o 6964 246.91/247.07 o 6963 246.91/247.08 o 6962 246.91/247.08 o 6961 246.91/247.08 o 6960 246.91/247.09 o 6959 246.91/247.09 o 6958 246.91/247.09 o 6957 247.01/247.10 o 6956 247.01/247.10 o 6955 247.01/247.10 o 6954 247.01/247.11 o 6953 247.01/247.11 o 6952 247.01/247.11 o 6951 247.01/247.12 o 6950 247.01/247.12 o 6949 247.01/247.12 o 6948 247.01/247.13 o 6947 247.01/247.13 o 6946 247.01/247.14 o 6945 247.01/247.14 o 6944 247.01/247.14 o 6943 247.01/247.15 o 6942 247.01/247.15 o 6941 247.01/247.15 o 6940 247.01/247.16 o 6939 247.01/247.16 o 6938 247.01/247.17 o 6937 247.01/247.17 o 6936 247.01/247.17 o 6935 247.01/247.18 o 6934 247.01/247.18 o 6933 247.01/247.18 o 6932 247.01/247.19 o 6931 247.01/247.19 o 6930 247.01/247.19 o 6929 247.11/247.20 o 6928 247.11/247.20 o 6927 247.11/247.21 o 6926 247.11/247.21 o 6925 247.11/247.21 o 6924 247.11/247.22 o 6923 247.11/247.22 o 6922 247.11/247.22 o 6921 247.11/247.23 o 6920 247.11/247.23 o 6919 247.11/247.23 o 6918 247.11/247.24 o 6917 247.11/247.24 o 6916 247.11/247.25 o 6915 247.11/247.25 o 6914 247.11/247.25 o 6913 247.11/247.26 o 6912 247.11/247.26 o 6911 247.11/247.26 o 6910 247.11/247.27 o 6909 247.11/247.27 o 6908 247.11/247.27 o 6907 247.11/247.28 o 6906 247.11/247.28 o 6905 247.11/247.29 o 6904 247.11/247.29 o 6903 247.11/247.29 o 6902 247.11/247.30 o 6901 247.21/247.30 o 6900 247.21/247.30 o 6899 247.21/247.31 o 6898 247.21/247.31 o 6897 247.21/247.32 o 6896 247.21/247.32 o 6895 247.21/247.32 o 6894 247.21/247.33 o 6893 247.21/247.33 o 6892 247.21/247.34 o 6891 247.21/247.34 o 6890 247.21/247.34 o 6889 247.21/247.35 o 6888 247.21/247.36 o 6887 247.21/247.36 o 6886 247.21/247.36 o 6885 247.21/247.37 o 6884 247.21/247.37 o 6883 247.21/247.38 o 6882 247.21/247.38 o 6881 247.21/247.39 o 6880 247.21/247.39 o 6879 247.21/247.39 o 6878 247.21/247.40 o 6877 247.32/247.40 o 6876 247.32/247.41 o 6875 247.32/247.41 o 6874 247.32/247.41 o 6873 247.32/247.42 o 6872 247.32/247.42 o 6871 247.32/247.42 o 6870 247.32/247.43 o 6869 247.32/247.43 o 6868 247.32/247.43 o 6867 247.32/247.44 o 6866 247.32/247.44 o 6865 247.32/247.44 o 6864 247.32/247.45 o 6863 247.32/247.45 o 6862 247.32/247.46 o 6861 247.32/247.46 o 6860 247.32/247.46 o 6859 247.32/247.47 o 6858 247.32/247.47 o 6857 247.32/247.47 o 6856 247.32/247.48 o 6855 247.32/247.48 o 6854 247.32/247.48 o 6853 247.32/247.49 o 6852 247.32/247.49 o 6851 247.41/247.51 o 6850 298.89/299.05 o 6849 298.89/299.06 o 6848 298.89/299.06 o 6847 298.89/299.06 o 6846 298.89/299.07 o 6845 298.89/299.07 o 6844 298.89/299.07 o 6843 298.89/299.08 o 6842 298.89/299.08 o 6841 298.89/299.09 o 6840 298.89/299.09 o 6839 298.89/299.09 o 6838 298.89/299.10 o 6837 298.89/299.10 o 6836 299.00/299.10 o 6835 299.00/299.11 o 6834 299.00/299.11 o 6833 299.00/299.11 o 6832 299.00/299.12 o 6831 299.00/299.12 o 6830 299.00/299.13 o 6829 299.00/299.13 o 6828 299.00/299.13 o 6827 299.00/299.14 o 6826 299.00/299.14 o 6825 299.00/299.14 o 6824 299.00/299.15 o 6823 299.00/299.15 o 6822 299.00/299.15 o 6821 299.00/299.16 o 6820 299.00/299.17 o 6819 299.00/299.17 o 6818 299.00/299.17 o 6817 299.00/299.18 o 6816 299.00/299.18 o 6815 299.00/299.18 o 6814 299.00/299.19 o 6813 299.00/299.19 o 6812 299.00/299.19 o 6811 299.00/299.20 o 6810 299.09/299.20 o 6809 299.09/299.21 o 6808 299.09/299.21 o 6807 299.09/299.21 o 6806 299.09/299.22 o 6805 299.09/299.22 o 6804 299.09/299.22 o 6803 299.09/299.23 o 6802 299.09/299.23 o 6801 299.09/299.23 o 6800 299.09/299.24 o 6799 299.09/299.24 o 6798 299.09/299.24 o 6797 299.09/299.25 o 6796 299.09/299.25 o 6795 299.09/299.26 o 6794 299.09/299.26 o 6793 299.09/299.26 o 6792 299.09/299.27 o 6791 299.09/299.27 o 6790 299.09/299.27 o 6789 299.09/299.28 o 6788 299.09/299.28 o 6787 299.09/299.28 o 6786 299.09/299.29 o 6785 299.09/299.29 o 6784 299.09/299.29 o 6783 299.19/299.30 o 6782 299.19/299.30 o 6781 299.19/299.31 o 6780 299.19/299.31 o 6779 299.19/299.31 o 6778 299.19/299.32 o 6777 299.19/299.32 o 6776 299.19/299.32 o 6775 299.19/299.33 o 6774 299.19/299.33 o 6773 299.19/299.33 o 6772 299.19/299.34 o 6771 299.19/299.34 o 6770 299.19/299.34 o 6769 299.19/299.35 o 6768 299.19/299.35 o 6767 299.19/299.35 o 6766 299.19/299.36 o 6765 299.19/299.36 o 6764 299.19/299.36 o 6763 299.19/299.37 o 6762 299.19/299.37 o 6761 299.19/299.37 o 6760 299.19/299.38 o 6759 299.19/299.38 o 6758 299.19/299.39 o 6757 299.19/299.39 o 6756 299.19/299.39 o 6755 299.19/299.40 o 6754 299.29/299.40 o 6753 299.29/299.40 o 6752 299.29/299.41 o 6751 299.29/299.41 o 6750 299.29/299.41 o 6749 299.29/299.42 o 6748 299.29/299.42 o 6747 299.29/299.42 o 6746 299.29/299.43 o 6745 299.29/299.43 o 6744 299.29/299.43 o 6743 299.29/299.44 o 6742 299.29/299.44 o 6741 299.29/299.44 o 6740 299.29/299.45 o 6739 299.29/299.45 o 6738 299.29/299.45 o 6737 299.29/299.46 o 6736 299.29/299.46 o 6735 299.29/299.46 o 6734 299.29/299.47 o 6733 299.29/299.47 o 6732 299.29/299.48 o 6731 299.29/299.48 o 6730 299.29/299.48 o 6729 299.29/299.49 o 6728 299.29/299.49 o 6727 299.29/299.49 o 6726 299.29/299.50 o 6725 299.39/299.50 o 6724 299.39/299.50 o 6723 299.39/299.51 o 6722 299.39/299.51 o 6721 299.39/299.51 o 6720 299.39/299.52 o 6719 299.39/299.52 o 6718 299.39/299.52 o 6717 299.39/299.53 o 6716 299.39/299.53 o 6715 299.39/299.53 o 6714 299.39/299.54 o 6713 299.39/299.54 o 6712 299.39/299.54 o 6711 299.39/299.55 o 6710 299.39/299.55 o 6709 299.39/299.55 o 6708 299.39/299.56 o 6707 299.39/299.56 o 6706 299.39/299.56 o 6705 299.39/299.57 o 6704 299.39/299.57 o 6703 299.39/299.57 o 6702 299.39/299.58 o 6701 299.39/299.58 o 6700 299.39/299.58 o 6699 299.39/299.59 o 6698 299.39/299.59 o 6697 299.39/299.59 o 6696 299.48/299.60 o 6695 299.48/299.60 o 6694 299.48/299.60 o 6693 299.48/299.61 o 6692 299.48/299.61 o 6691 299.48/299.62 o 6690 299.48/299.62 o 6689 299.48/299.62 o 6688 299.48/299.63 o 6687 299.48/299.63 o 6686 299.48/299.63 o 6685 299.48/299.64 o 6684 299.48/299.64 o 6683 299.48/299.64 o 6682 299.48/299.65 o 6681 299.48/299.65 o 6680 299.48/299.65 o 6679 299.48/299.66 o 6678 299.48/299.66 o 6677 299.48/299.66 o 6676 299.48/299.67 o 6675 299.48/299.67 o 6674 299.48/299.67 o 6673 299.48/299.68 o 6672 299.48/299.68 o 6671 299.48/299.68 o 6670 299.48/299.69 o 6669 299.48/299.69 o 6668 299.48/299.69 o 6667 299.48/299.70 o 6666 299.59/299.70 o 6665 299.59/299.70 o 6664 299.59/299.71 o 6663 299.59/299.71 o 6662 299.59/299.71 o 6661 299.59/299.72 o 6660 299.59/299.72 o 6659 299.59/299.72 o 6658 299.59/299.73 o 6657 299.59/299.73 o 6656 299.59/299.73 o 6655 299.59/299.74 o 6654 299.59/299.74 o 6653 299.59/299.74 o 6652 299.59/299.75 o 6651 299.59/299.75 o 6650 299.59/299.75 o 6649 299.59/299.76 o 6648 299.59/299.76 o 6647 299.59/299.76 o 6646 299.59/299.77 o 6645 299.59/299.77 o 6644 299.59/299.77 o 6643 299.59/299.78 o 6642 299.59/299.78 o 6641 299.59/299.78 o 6640 299.59/299.79 o 6639 299.59/299.79 o 6638 299.59/299.80 o 6637 299.69/299.80 o 6636 299.69/299.80 o 6635 299.69/299.81 o 6634 299.69/299.81 o 6633 299.69/299.81 o 6632 299.69/299.82 o 6631 299.69/299.82 o 6630 299.69/299.82 o 6629 299.69/299.83 o 6628 299.69/299.83 o 6627 299.69/299.83 o 6626 299.69/299.84 o 6625 299.69/299.84 o 6624 299.69/299.84 o 6623 299.69/299.85 o 6622 299.69/299.85 o 6621 299.69/299.85 o 6620 299.69/299.86 o 6619 299.69/299.86 o 6618 299.69/299.86 o 6617 299.69/299.87 o 6616 299.69/299.87 o 6615 299.69/299.87 o 6614 299.69/299.88 o 6613 299.69/299.88 o 6612 299.69/299.88 o 6611 299.69/299.89 o 6610 299.69/299.89 o 6609 299.69/299.89 o 6608 299.69/299.90 o 6607 299.78/299.90 o 6606 299.78/299.90 o 6605 299.78/299.91 o 6604 299.78/299.91 o 6603 299.78/299.91 o 6602 299.78/299.92 o 6601 299.78/299.92 o 6600 299.78/299.92 o 6599 299.78/299.93 o 6598 299.78/299.93 o 6597 299.78/299.93 o 6596 299.78/299.94 o 6595 299.78/299.94 o 6594 299.78/299.94 o 6593 299.78/299.95 o 6592 299.78/299.95 o 6591 299.78/299.95 o 6590 299.78/299.96 o 6589 299.78/299.96 o 6588 299.78/299.97 o 6587 299.78/299.97 o 6586 299.78/299.97 o 6585 299.78/299.98 o 6584 299.78/299.98 o 6583 299.78/299.98 o 6582 299.78/299.99 o 6581 299.78/299.99 o 6580 299.78/299.99 o 6579 299.78/300.00 o 6578 299.89/300.00 o 6577 299.89/300.00 o 6576 299.89/300.01 o 6575 299.89/300.01 o 6574 299.89/300.01 o 6573 299.89/300.02 o 6572 299.89/300.02 o 6571 299.89/300.02 o 6570 299.89/300.03 o 6569 299.89/300.03 o 6568 299.89/300.03 o 6567 299.89/300.04 o 6566 299.89/300.04 o 6565 299.89/300.04 o 6564 299.89/300.05 o 6563 299.89/300.05 o 6562 299.89/300.05 o 6561 299.89/300.06 o 6560 299.89/300.06 o 6559 299.89/300.06 o 6558 299.89/300.07 o 6557 299.89/300.07 o 6556 299.89/300.07 o 6555 299.89/300.08 o 6554 299.89/300.08 o 6553 299.89/300.08 o 6552 299.89/300.09 o 6551 299.89/300.09 o 6550 299.89/300.09 o 6549 299.89/300.10 o 6548 299.98/300.10 o 6547 299.98/300.10 o 6546 299.98/300.11 o 6545 299.98/300.11 o 6544 299.98/300.11 o 6543 299.98/300.12 o 6542 299.98/300.12 o 6541 299.98/300.12 o 6540 299.98/300.13 o 6539 299.98/300.13 o 6538 299.98/300.13 o 6537 299.98/300.14 o 6536 299.98/300.14 o 6535 299.98/300.15 o 6534 299.98/300.15 o 6533 299.98/300.15 o 6532 299.98/300.16 o 6531 299.98/300.16 o 6530 299.98/300.16 o 6529 299.98/300.17 o 6528 299.98/300.17 o 6527 299.98/300.17 o 6526 299.98/300.18 o 6525 299.98/300.18 o 6524 299.98/300.18 o 6523 299.98/300.19 o 6522 299.98/300.19 o 6521 299.98/300.19 o 6520 299.98/300.20 o 6519 299.98/300.20 o 6518 300.08/300.20 o 6517 300.08/300.21 o 6516 300.08/300.21 o 6515 300.08/300.21 o 6514 300.08/300.22 o 6513 300.08/300.22 o 6512 300.08/300.23 o 6511 300.08/300.23 o 6510 300.08/300.23 o 6509 300.08/300.24 o 6508 300.08/300.24 o 6507 300.08/300.24 o 6506 300.08/300.25 o 6505 300.08/300.25 o 6504 300.08/300.25 o 6503 300.08/300.26 o 6502 300.08/300.26 o 6501 300.08/300.26 o 6500 300.08/300.27 o 6499 300.08/300.27 o 6498 300.08/300.27 o 6497 300.08/300.28 o 6496 300.08/300.28 o 6495 300.08/300.28 o 6494 300.08/300.29 o 6493 300.08/300.29 o 6492 300.08/300.29 o 6491 300.08/300.30 o 6490 300.08/300.30 o 6489 300.19/300.30 o 6488 300.19/300.31 o 6487 300.19/300.31 o 6486 300.19/300.31 o 6485 300.19/300.32 o 6484 300.19/300.32 o 6483 300.19/300.32 o 6482 300.19/300.33 o 6481 300.19/300.33 o 6480 300.19/300.33 o 6479 300.19/300.34 o 6478 300.19/300.34 o 6477 300.19/300.34 o 6476 300.19/300.35 o 6475 300.19/300.35 o 6474 300.19/300.35 o 6473 300.19/300.36 o 6472 300.19/300.36 o 6471 300.19/300.36 o 6470 300.19/300.37 o 6469 300.19/300.37 o 6468 300.19/300.37 o 6467 300.19/300.38 o 6466 300.19/300.38 o 6465 300.19/300.38 o 6464 300.19/300.39 o 6463 300.19/300.39 o 6462 300.19/300.39 o 6461 300.19/300.40 o 6460 300.28/300.41 o 6459 354.07/354.25 o 6458 354.07/354.25 o 6457 354.07/354.26 o 6456 354.07/354.26 o 6455 354.07/354.26 o 6454 354.07/354.27 o 6453 354.07/354.27 o 6452 354.07/354.27 o 6451 354.07/354.28 o 6450 354.07/354.28 o 6449 354.07/354.29 o 6448 354.07/354.29 o 6447 354.07/354.29 o 6446 354.07/354.30 o 6445 354.17/354.30 o 6444 354.17/354.30 o 6443 354.17/354.31 o 6442 354.17/354.31 o 6441 354.17/354.32 o 6440 354.17/354.32 o 6439 354.17/354.32 o 6438 354.17/354.33 o 6437 354.17/354.33 o 6436 354.17/354.33 o 6435 354.17/354.34 o 6434 354.17/354.34 o 6433 354.17/354.34 o 6432 354.17/354.35 o 6431 354.17/354.35 o 6430 354.17/354.36 o 6429 354.17/354.36 o 6428 354.17/354.36 o 6427 354.17/354.37 o 6426 354.17/354.37 o 6425 354.17/354.37 o 6424 354.17/354.38 o 6423 354.17/354.38 o 6422 354.17/354.38 o 6421 354.17/354.39 o 6420 354.17/354.39 o 6419 354.17/354.39 o 6418 354.27/354.40 o 6417 354.27/354.40 o 6416 354.27/354.40 o 6415 354.27/354.41 o 6414 354.27/354.41 o 6413 354.27/354.42 o 6412 354.27/354.42 o 6411 354.27/354.42 o 6410 354.27/354.43 o 6409 354.27/354.43 o 6408 354.27/354.43 o 6407 354.27/354.44 o 6406 354.27/354.44 o 6405 354.27/354.44 o 6404 354.27/354.45 o 6403 354.27/354.45 o 6402 354.27/354.46 o 6401 354.27/354.46 o 6400 354.27/354.46 o 6399 354.27/354.47 o 6398 354.27/354.47 o 6397 354.27/354.47 o 6396 354.27/354.48 o 6395 354.27/354.48 o 6394 354.27/354.49 o 6393 354.27/354.49 o 6392 354.27/354.49 o 6391 354.27/354.50 o 6390 354.37/354.50 o 6389 354.37/354.50 o 6388 354.37/354.51 o 6387 354.37/354.51 o 6386 354.37/354.52 o 6385 354.37/354.52 o 6384 354.37/354.52 o 6383 354.37/354.53 o 6382 354.37/354.53 o 6381 354.37/354.53 o 6380 354.37/354.54 o 6379 354.37/354.54 o 6378 354.37/354.54 o 6377 354.37/354.55 o 6376 354.37/354.55 o 6375 354.37/354.55 o 6374 354.37/354.56 o 6373 354.37/354.56 o 6372 354.37/354.57 o 6371 354.37/354.57 o 6370 354.37/354.57 o 6369 354.37/354.58 o 6368 354.37/354.58 o 6367 354.37/354.58 o 6366 354.37/354.59 o 6365 354.37/354.59 o 6364 354.37/354.59 o 6363 354.37/354.60 o 6362 354.47/354.60 o 6361 354.47/354.60 o 6360 354.47/354.61 o 6359 354.47/354.61 o 6358 354.47/354.61 o 6357 354.47/354.62 o 6356 354.47/354.62 o 6355 354.47/354.62 o 6354 354.47/354.63 o 6353 354.47/354.63 o 6352 354.47/354.63 o 6351 354.47/354.64 o 6350 354.47/354.64 o 6349 354.47/354.64 o 6348 354.47/354.65 o 6347 354.47/354.65 o 6346 354.47/354.65 o 6345 354.47/354.66 o 6344 354.47/354.66 o 6343 354.47/354.66 o 6342 354.47/354.67 o 6341 354.47/354.67 o 6340 354.47/354.68 o 6339 354.47/354.68 o 6338 354.47/354.68 o 6337 354.47/354.69 o 6336 354.47/354.69 o 6335 354.47/354.69 o 6334 354.47/354.70 o 6333 354.56/354.70 o 6332 354.56/354.70 o 6331 354.56/354.71 o 6330 354.56/354.71 o 6329 354.56/354.71 o 6328 354.56/354.72 o 6327 354.56/354.72 o 6326 354.56/354.72 o 6325 354.56/354.73 o 6324 354.56/354.73 o 6323 354.56/354.73 o 6322 354.56/354.74 o 6321 354.56/354.74 o 6320 354.56/354.75 o 6319 354.56/354.75 o 6318 354.56/354.75 o 6317 354.56/354.76 o 6316 354.56/354.76 o 6315 354.56/354.76 o 6314 354.56/354.77 o 6313 354.56/354.77 o 6312 354.56/354.78 o 6311 354.56/354.78 o 6310 354.56/354.78 o 6309 354.56/354.79 o 6308 354.56/354.79 o 6307 354.56/354.79 o 6306 354.66/354.80 o 6305 354.66/354.80 o 6304 354.66/354.80 o 6303 354.66/354.81 o 6302 354.66/354.81 o 6301 354.66/354.82 o 6300 354.66/354.82 o 6299 354.66/354.82 o 6298 354.66/354.83 o 6297 354.66/354.83 o 6296 354.66/354.83 o 6295 354.66/354.84 o 6294 354.66/354.84 o 6293 354.66/354.84 o 6292 354.66/354.85 o 6291 354.66/354.85 o 6290 354.66/354.85 o 6289 354.66/354.86 o 6288 354.66/354.86 o 6287 354.66/354.86 o 6286 354.66/354.87 o 6285 354.66/354.87 o 6284 354.66/354.87 o 6283 354.66/354.88 o 6282 354.66/354.88 o 6281 354.66/354.89 o 6280 354.66/354.89 o 6279 354.66/354.89 o 6278 354.66/354.90 o 6277 354.77/354.90 o 6276 354.77/354.90 o 6275 354.77/354.91 o 6274 354.77/354.91 o 6273 354.77/354.91 o 6272 354.77/354.92 o 6271 354.77/354.92 o 6270 354.77/354.92 o 6269 354.77/354.93 o 6268 354.77/354.93 o 6267 354.77/354.94 o 6266 354.77/354.95 o 6265 354.77/354.95 o 6264 354.77/354.95 o 6263 354.77/354.96 o 6262 354.77/354.96 o 6261 354.77/354.96 o 6260 354.77/354.97 o 6259 354.77/354.97 o 6258 354.77/354.97 o 6257 354.77/354.98 o 6256 354.77/354.98 o 6255 354.77/354.98 o 6254 354.77/354.99 o 6253 354.77/354.99 o 6252 354.77/354.99 o 6251 354.77/355.00 o 6250 354.87/355.00 o 6249 354.87/355.01 o 6248 354.87/355.01 o 6247 354.87/355.01 o 6246 354.87/355.02 o 6245 354.87/355.02 o 6244 354.87/355.02 o 6243 354.87/355.03 o 6242 354.87/355.03 o 6241 354.87/355.03 o 6240 354.87/355.04 o 6239 354.87/355.04 o 6238 354.87/355.04 o 6237 354.87/355.05 o 6236 354.87/355.05 o 6235 354.87/355.05 o 6234 354.87/355.06 o 6233 354.87/355.06 o 6232 354.87/355.07 o 6231 354.87/355.07 o 6230 354.87/355.07 o 6229 354.87/355.08 o 6228 354.87/355.08 o 6227 354.87/355.08 o 6226 354.87/355.09 o 6225 354.87/355.09 o 6224 354.87/355.09 o 6223 354.97/355.10 o 6222 354.97/355.10 o 6221 354.97/355.10 o 6220 354.97/355.11 o 6219 354.97/355.11 o 6218 354.97/355.12 o 6217 354.97/355.12 o 6216 354.97/355.12 o 6215 354.97/355.13 o 6214 354.97/355.13 o 6213 354.97/355.13 o 6212 354.97/355.14 o 6211 354.97/355.14 o 6210 354.97/355.14 o 6209 354.97/355.15 o 6208 354.97/355.15 o 6207 354.97/355.15 o 6206 354.97/355.16 o 6205 354.97/355.16 o 6204 354.97/355.16 o 6203 354.97/355.17 o 6202 354.97/355.17 o 6201 354.97/355.17 o 6200 354.97/355.18 o 6199 354.97/355.18 o 6198 354.97/355.18 o 6197 354.97/355.19 o 6196 354.97/355.19 o 6195 354.97/355.19 o 6194 354.97/355.20 o 6193 355.06/355.20 o 6192 355.06/355.20 o 6191 355.06/355.21 o 6190 355.06/355.21 o 6189 355.06/355.21 o 6188 355.06/355.22 o 6187 355.06/355.22 o 6186 355.06/355.22 o 6185 355.06/355.23 o 6184 355.06/355.23 o 6183 355.06/355.23 o 6182 355.06/355.24 o 6181 355.06/355.24 o 6180 355.06/355.24 o 6179 355.06/355.25 o 6178 355.06/355.25 o 6177 355.06/355.25 o 6176 355.06/355.26 o 6175 355.06/355.26 o 6174 355.06/355.26 o 6173 355.06/355.27 o 6172 355.06/355.27 o 6171 355.06/355.27 o 6170 355.06/355.28 o 6169 355.06/355.28 o 6168 355.06/355.28 o 6167 355.06/355.29 o 6166 355.06/355.30 o 6165 355.17/355.31 o 6164 359.16/359.35 o 6163 377.56/377.77 o 6162 381.15/381.32 o 6161 381.15/381.33 o 6160 381.15/381.34 o 6159 397.05/397.30 o 6158 399.94/400.19 o 6157 403.65/403.81 o 6156 418.54/418.78 o 6155 419.84/420.05 o 6154 419.84/420.07 o 6153 420.24/420.47 o 6152 566.60/566.81 o 6151 712.85/713.15 o 6150 788.63/788.91 o 6149 788.63/788.91 o 6148 788.63/788.91 o 6147 788.63/788.92 o 6146 788.63/788.92 o 6145 788.63/788.92 o 6144 788.63/788.93 o 6143 788.63/788.93 o 6142 788.63/788.93 o 6141 788.63/788.94 o 6140 788.63/788.94 o 6139 788.63/788.94 o 6138 788.63/788.95 o 6137 788.63/788.95 o 6136 788.63/788.95 o 6135 788.63/788.95 o 6134 788.63/788.96 o 6133 788.63/788.96 o 6132 788.63/788.96 o 6131 788.63/788.97 o 6130 788.63/788.97 o 6129 788.63/788.97 o 6128 788.63/788.98 o 6127 788.63/788.98 o 6126 788.63/788.99 o 6125 788.63/788.99 o 6124 788.63/788.99 o 6123 788.63/789.00 o 6122 788.72/789.00 o 6121 788.72/789.00 o 6120 788.72/789.00 o 6119 788.72/789.01 o 6118 788.72/789.01 o 6117 788.72/789.01 o 6116 788.72/789.02 o 6115 788.72/789.02 o 6114 788.72/789.02 o 6113 788.72/789.03 o 6112 788.72/789.03 o 6111 788.72/789.03 o 6110 788.72/789.04 o 6109 788.72/789.05 o 6108 788.72/789.06 o 6107 788.72/789.06 o 6106 788.72/789.06 o 6105 788.72/789.07 o 6104 788.72/789.07 o 6103 788.72/789.07 o 6102 788.72/789.08 o 6101 788.72/789.08 o 6100 788.72/789.08 o 6099 788.72/789.08 o 6098 788.72/789.09 o 6097 788.72/789.09 o 6096 788.72/789.09 o 6095 788.83/789.10 o 6094 788.83/789.10 o 6093 788.83/789.10 o 6092 788.83/789.11 o 6091 788.83/789.11 o 6090 788.83/789.12 o 6089 788.83/789.13 o 6088 788.83/789.13 o 6087 788.83/789.14 o 6086 788.83/789.14 o 6085 788.83/789.14 o 6084 788.83/789.15 o 6083 788.83/789.15 o 6082 788.83/789.15 o 6081 788.83/789.15 o 6080 788.83/789.16 o 6079 788.83/789.17 o 6078 788.83/789.17 o 6077 788.83/789.17 o 6076 788.83/789.18 o 6075 788.83/789.18 o 6074 788.83/789.19 o 6073 788.83/789.19 o 6072 788.83/789.19 o 6071 788.93/789.20 o 6070 788.93/789.20 o 6069 788.93/789.20 o 6068 788.93/789.21 o 6067 788.93/789.21 o 6066 788.93/789.21 o 6065 788.93/789.22 o 6064 788.93/789.22 o 6063 788.93/789.22 o 6062 788.93/789.22 o 6061 788.93/789.23 o 6060 788.93/789.23 o 6059 788.93/789.23 o 6058 788.93/789.24 o 6057 788.93/789.24 o 6056 788.93/789.24 o 6055 788.93/789.25 o 6054 788.93/789.25 o 6053 788.93/789.25 o 6052 788.93/789.26 o 6051 788.93/789.26 o 6050 788.93/789.26 o 6049 788.93/789.26 o 6048 788.93/789.27 o 6047 788.93/789.27 o 6046 788.93/789.27 o 6045 788.93/789.28 o 6044 788.93/789.28 o 6043 788.93/789.28 o 6042 788.93/789.29 o 6041 788.93/789.29 o 6040 788.93/789.29 o 6039 788.93/789.30 o 6038 789.03/789.30 o 6037 789.03/789.30 o 6036 789.03/789.31 o 6035 789.03/789.31 o 6034 789.03/789.31 o 6033 789.03/789.31 o 6032 789.03/789.32 o 6031 789.03/789.32 o 6030 789.03/789.32 o 6029 789.03/789.33 o 6028 789.03/789.33 o 6027 789.03/789.33 o 6026 789.03/789.34 o 6025 789.03/789.34 o 6024 789.03/789.34 o 6023 789.03/789.35 o 6022 789.03/789.35 o 6021 789.03/789.35 o 6020 789.03/789.35 o 6019 789.03/789.36 o 6018 789.03/789.36 o 6017 789.03/789.36 o 6016 789.03/789.37 o 6015 789.03/789.37 o 6014 789.03/789.37 o 6013 789.03/789.38 o 6012 789.03/789.38 o 6011 789.03/789.38 o 6010 789.03/789.39 o 6009 789.03/789.39 o 6008 789.03/789.39 o 6007 789.03/789.39 o 6006 789.12/789.40 o 6005 789.12/789.40 o 6004 789.12/789.40 o 6003 789.12/789.41 o 6002 789.12/789.41 o 6001 789.12/789.41 o 6000 789.12/789.42 o 5999 789.12/789.42 o 5998 789.12/789.42 o 5997 789.12/789.43 o 5996 789.12/789.43 o 5995 789.12/789.43 o 5994 789.12/789.43 o 5993 789.12/789.44 o 5992 789.12/789.44 o 5991 789.12/789.44 o 5990 789.12/789.45 o 5989 789.12/789.45 o 5988 789.12/789.45 o 5987 789.12/789.46 o 5986 789.12/789.46 o 5985 789.12/789.46 o 5984 789.12/789.47 o 5983 789.12/789.47 o 5982 789.12/789.47 o 5981 789.12/789.47 o 5980 789.12/789.48 o 5979 789.12/789.48 o 5978 789.12/789.48 o 5977 789.12/789.49 o 5976 789.12/789.49 o 5975 789.12/789.49 o 5974 789.12/789.50 o 5973 789.23/789.50 o 5972 789.23/789.50 o 5971 789.23/789.51 o 5970 789.23/789.51 o 5969 789.23/789.51 o 5968 789.23/789.51 o 5967 789.23/789.52 o 5966 789.23/789.52 o 5965 789.23/789.53 o 5964 789.23/789.53 o 5963 789.23/789.53 o 5962 789.23/789.54 o 5961 789.23/789.54 o 5960 789.23/789.54 o 5959 789.23/789.55 o 5958 789.23/789.55 o 5957 789.23/789.55 o 5956 789.23/789.56 o 5955 789.23/789.56 o 5954 789.23/789.56 o 5953 789.23/789.56 o 5952 789.23/789.58 o 5951 1050.44/1050.90 o 5950 1050.54/1050.94 o 5949 1216.68/1217.14 o 5948 1246.88/1247.31 o 5947 1651.45/1652.10 o 5946 1692.83/1693.51 o 5945 1784.40/1785.12 o 5944 1800.01/1800.70 s SATISFIABLE
ERROR: no interpretation found !
/tmp/evaluation/351974-1176619028/instance-351974-1176619028.opb is already a linear file
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node58/watcher-351974-1176619028 -o ROOT/results/node58/solver-351974-1176619028 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/351974-1176619028/PBS4 /tmp/evaluation/351974-1176619028/instance-351974-1176619028.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.04 1.04 1.00 3/64 10785 /proc/meminfo: memFree=1592504/2055920 swapFree=4184728/4192956 [pid=10785] ppid=10783 vsize=1716 CPUtime=0 /proc/10785/stat : 10785 (PBS4) R 10783 10785 9317 0 -1 4194304 226 0 0 0 0 0 0 0 18 0 1 0 109812508 1757184 208 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135006597 0 0 4096 0 0 0 0 17 1 0 0 /proc/10785/statm: 429 208 86 219 0 206 0 [startup+0.048138 s] /proc/loadavg: 1.04 1.04 1.00 3/64 10785 /proc/meminfo: memFree=1592504/2055920 swapFree=4184728/4192956 [pid=10785] ppid=10783 vsize=2032 CPUtime=0.04 /proc/10785/stat : 10785 (PBS4) R 10783 10785 9317 0 -1 4194304 298 0 0 0 4 0 0 0 18 0 1 0 109812508 2080768 280 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135057389 0 0 4096 0 0 0 0 17 1 0 0 /proc/10785/statm: 508 280 87 219 0 285 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 2032 [startup+0.101146 s] /proc/loadavg: 1.04 1.04 1.00 3/64 10785 /proc/meminfo: memFree=1592504/2055920 swapFree=4184728/4192956 [pid=10785] ppid=10783 vsize=2292 CPUtime=0.09 /proc/10785/stat : 10785 (PBS4) R 10783 10785 9317 0 -1 4194304 377 0 0 0 9 0 0 0 18 0 1 0 109812508 2347008 359 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10785/statm: 573 359 102 219 0 350 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2292 [startup+0.301179 s] /proc/loadavg: 1.04 1.04 1.00 3/64 10785 /proc/meminfo: memFree=1592504/2055920 swapFree=4184728/4192956 [pid=10785] ppid=10783 vsize=2292 CPUtime=0.29 /proc/10785/stat : 10785 (PBS4) R 10783 10785 9317 0 -1 4194304 381 0 0 0 26 3 0 0 19 0 1 0 109812508 2347008 363 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134548010 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10785/statm: 573 363 102 219 0 350 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 2292 [startup+0.701244 s] /proc/loadavg: 1.04 1.04 1.00 3/64 10785 /proc/meminfo: memFree=1592504/2055920 swapFree=4184728/4192956 [pid=10785] ppid=10783 vsize=2292 CPUtime=0.69 /proc/10785/stat : 10785 (PBS4) R 10783 10785 9317 0 -1 4194304 424 0 0 0 63 6 0 0 22 0 1 0 109812508 2347008 406 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134548056 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10785/statm: 573 406 102 219 0 350 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 2292 [startup+1.50238 s] /proc/loadavg: 1.04 1.04 1.00 2/65 10786 /proc/meminfo: memFree=1591152/2055920 swapFree=4184728/4192956 [pid=10785] ppid=10783 vsize=2680 CPUtime=1.49 /proc/10785/stat : 10785 (PBS4) R 10783 10785 9317 0 -1 4194304 489 0 0 0 143 6 0 0 25 0 1 0 109812508 2744320 471 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135006386 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10785/statm: 670 471 103 219 0 447 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 2680 [startup+3.10164 s] /proc/loadavg: 1.04 1.04 1.00 2/65 10786 /proc/meminfo: memFree=1590640/2055920 swapFree=4184728/4192956 [pid=10785] ppid=10783 vsize=3192 CPUtime=3.09 /proc/10785/stat : 10785 (PBS4) R 10783 10785 9317 0 -1 4194304 621 0 0 0 302 7 0 0 25 0 1 0 109812508 3268608 603 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559751 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10785/statm: 798 603 103 219 0 575 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 3192 [startup+6.30117 s] /proc/loadavg: 1.03 1.04 1.00 2/65 10786 /proc/meminfo: memFree=1589296/2055920 swapFree=4184728/4192956 [pid=10785] ppid=10783 vsize=4352 CPUtime=6.29 /proc/10785/stat : 10785 (PBS4) R 10783 10785 9317 0 -1 4194304 949 0 0 0 621 8 0 0 25 0 1 0 109812508 4456448 931 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559787 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10785/statm: 1088 931 103 219 0 865 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 4352 [startup+12.7012 s] /proc/loadavg: 1.03 1.04 1.00 2/65 10786 /proc/meminfo: memFree=1587120/2055920 swapFree=4184728/4192956 [pid=10785] ppid=10783 vsize=6400 CPUtime=12.68 /proc/10785/stat : 10785 (PBS4) R 10783 10785 9317 0 -1 4194304 1472 0 0 0 1260 8 0 0 25 0 1 0 109812508 6553600 1454 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559787 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10785/statm: 1600 1454 103 219 0 1377 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 6400 [startup+25.5014 s] /proc/loadavg: 1.02 1.03 1.00 2/65 10786 /proc/meminfo: memFree=1582576/2055920 swapFree=4184728/4192956 [pid=10785] ppid=10783 vsize=19128 CPUtime=25.48 /proc/10785/stat : 10785 (PBS4) R 10783 10785 9317 0 -1 4194304 2647 0 0 0 2536 12 0 0 25 0 1 0 109812508 19587072 2629 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10785/statm: 4782 2629 103 219 0 4559 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 19128 [startup+51.1016 s] /proc/loadavg: 1.01 1.03 1.00 2/65 10786 /proc/meminfo: memFree=1576240/2055920 swapFree=4184728/4192956 [pid=10785] ppid=10783 vsize=20244 CPUtime=51.07 /proc/10785/stat : 10785 (PBS4) R 10783 10785 9317 0 -1 4194304 4215 0 0 0 5089 18 0 0 25 0 1 0 109812508 20729856 4148 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10785/statm: 5061 4148 104 219 0 4838 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 20244 [startup+102.305 s] /proc/loadavg: 1.00 1.02 1.00 2/65 10788 /proc/meminfo: memFree=1573616/2055920 swapFree=4184728/4192956 [pid=10785] ppid=10783 vsize=21068 CPUtime=102.26 /proc/10785/stat : 10785 (PBS4) R 10783 10785 9317 0 -1 4194304 4843 0 0 0 10203 23 0 0 25 0 1 0 109812508 21573632 4776 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10785/statm: 5267 4776 104 219 0 5044 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 21068 [startup+162.301 s] /proc/loadavg: 1.11 1.05 1.01 2/65 10788 /proc/meminfo: memFree=1573168/2055920 swapFree=4184728/4192956 [pid=10785] ppid=10783 vsize=21356 CPUtime=162.24 /proc/10785/stat : 10785 (PBS4) R 10783 10785 9317 0 -1 4194304 4943 0 0 0 16199 25 0 0 25 0 1 0 109812508 21868544 4876 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559724 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10785/statm: 5339 4876 104 219 0 5116 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 21356 [startup+222.302 s] /proc/loadavg: 1.19 1.08 1.02 2/65 10788 /proc/meminfo: memFree=1571376/2055920 swapFree=4184728/4192956 [pid=10785] ppid=10783 vsize=22132 CPUtime=222.22 /proc/10785/stat : 10785 (PBS4) R 10783 10785 9317 0 -1 4194304 5484 0 0 0 22185 37 0 0 25 0 1 0 109812508 22663168 5320 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559739 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10785/statm: 5533 5320 104 219 0 5310 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 22132 [startup+282.302 s] /proc/loadavg: 1.07 1.06 1.01 2/65 10788 /proc/meminfo: memFree=1571056/2055920 swapFree=4184728/4192956 [pid=10785] ppid=10783 vsize=22492 CPUtime=282.2 /proc/10785/stat : 10785 (PBS4) R 10783 10785 9317 0 -1 4194304 5563 0 0 0 28153 67 0 0 25 0 1 0 109812508 23031808 5399 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559782 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10785/statm: 5623 5399 104 219 0 5400 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 22492 [startup+342.302 s] /proc/loadavg: 1.02 1.05 1.00 3/65 10788 /proc/meminfo: memFree=1570928/2055920 swapFree=4184728/4192956 [pid=10785] ppid=10783 vsize=22492 CPUtime=342.17 /proc/10785/stat : 10785 (PBS4) R 10783 10785 9317 0 -1 4194304 5586 0 0 0 34139 78 0 0 25 0 1 0 109812508 23031808 5422 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559792 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10785/statm: 5623 5422 104 219 0 5400 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 22492 [startup+402.302 s] /proc/loadavg: 1.01 1.04 1.00 2/65 10788 /proc/meminfo: memFree=1570544/2055920 swapFree=4184728/4192956 [pid=10785] ppid=10783 vsize=22724 CPUtime=402.15 /proc/10785/stat : 10785 (PBS4) R 10783 10785 9317 0 -1 4194304 5679 0 0 0 40124 91 0 0 25 0 1 0 109812508 23269376 5515 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10785/statm: 5681 5515 104 219 0 5458 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 22724 [startup+462.302 s] /proc/loadavg: 1.00 1.03 1.00 2/65 10788 /proc/meminfo: memFree=1570096/2055920 swapFree=4184728/4192956 [pid=10785] ppid=10783 vsize=23112 CPUtime=462.13 /proc/10785/stat : 10785 (PBS4) R 10783 10785 9317 0 -1 4194304 5787 0 0 0 46117 96 0 0 25 0 1 0 109812508 23666688 5623 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559792 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10785/statm: 5778 5623 104 219 0 5555 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 23112 [startup+522.302 s] /proc/loadavg: 1.00 1.02 1.00 2/65 10788 /proc/meminfo: memFree=1569904/2055920 swapFree=4184728/4192956 [pid=10785] ppid=10783 vsize=23880 CPUtime=522.1 /proc/10785/stat : 10785 (PBS4) R 10783 10785 9317 0 -1 4194304 6015 0 0 0 52113 97 0 0 25 0 1 0 109812508 24453120 5658 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559785 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10785/statm: 5970 5658 104 219 0 5747 0 Current children cumulated CPU time (s) 522.1 Current children cumulated vsize (KiB) 23880 [startup+582.302 s] /proc/loadavg: 1.00 1.02 1.00 2/65 10788 /proc/meminfo: memFree=1569904/2055920 swapFree=4184728/4192956 [pid=10785] ppid=10783 vsize=23996 CPUtime=582.09 /proc/10785/stat : 10785 (PBS4) R 10783 10785 9317 0 -1 4194304 6027 0 0 0 58111 98 0 0 25 0 1 0 109812508 24571904 5670 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559824 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10785/statm: 5999 5670 104 219 0 5776 0 Current children cumulated CPU time (s) 582.09 Current children cumulated vsize (KiB) 23996 [startup+642.302 s] /proc/loadavg: 1.00 1.01 1.00 2/65 10788 /proc/meminfo: memFree=1569648/2055920 swapFree=4184728/4192956 [pid=10785] ppid=10783 vsize=24244 CPUtime=642.08 /proc/10785/stat : 10785 (PBS4) R 10783 10785 9317 0 -1 4194304 6089 0 0 0 64107 101 0 0 25 0 1 0 109812508 24825856 5732 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559787 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10785/statm: 6061 5732 104 219 0 5838 0 Current children cumulated CPU time (s) 642.08 Current children cumulated vsize (KiB) 24244 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10788 /proc/meminfo: memFree=1569072/2055920 swapFree=4184728/4192956 [pid=10785] ppid=10783 vsize=24648 CPUtime=882 /proc/10785/stat : 10785 (PBS4) R 10783 10785 9317 0 -1 4194304 6258 0 0 0 88088 112 0 0 25 0 1 0 109812508 25239552 5901 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559782 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10785/statm: 6162 5901 104 219 0 5939 0 Current children cumulated CPU time (s) 882 Current children cumulated vsize (KiB) 24648 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10788 /proc/meminfo: memFree=1568880/2055920 swapFree=4184728/4192956 [pid=10785] ppid=10783 vsize=24648 CPUtime=941.98 /proc/10785/stat : 10785 (PBS4) R 10783 10785 9317 0 -1 4194304 6304 0 0 0 94083 115 0 0 25 0 1 0 109812508 25239552 5947 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559787 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10785/statm: 6162 5947 104 219 0 5939 0 Current children cumulated CPU time (s) 941.98 Current children cumulated vsize (KiB) 24648 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10788 /proc/meminfo: memFree=1568560/2055920 swapFree=4184728/4192956 [pid=10785] ppid=10783 vsize=24916 CPUtime=1001.96 /proc/10785/stat : 10785 (PBS4) R 10783 10785 9317 0 -1 4194304 6369 0 0 0 100079 117 0 0 25 0 1 0 109812508 25513984 6012 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559787 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10785/statm: 6229 6012 104 219 0 6006 0 Current children cumulated CPU time (s) 1001.96 Current children cumulated vsize (KiB) 24916 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10788 /proc/meminfo: memFree=1568304/2055920 swapFree=4184728/4192956 [pid=10785] ppid=10783 vsize=25084 CPUtime=1061.93 /proc/10785/stat : 10785 (PBS4) R 10783 10785 9317 0 -1 4194304 6446 0 0 0 106073 120 0 0 25 0 1 0 109812508 25686016 6089 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559787 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10785/statm: 6271 6089 104 219 0 6048 0 Current children cumulated CPU time (s) 1061.93 Current children cumulated vsize (KiB) 25084 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10788 /proc/meminfo: memFree=1567856/2055920 swapFree=4184728/4192956 [pid=10785] ppid=10783 vsize=41716 CPUtime=1121.92 /proc/10785/stat : 10785 (PBS4) R 10783 10785 9317 0 -1 4194304 6569 0 0 0 112068 124 0 0 25 0 1 0 109812508 42717184 6212 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559768 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10785/statm: 10429 6212 104 219 0 10206 0 Current children cumulated CPU time (s) 1121.92 Current children cumulated vsize (KiB) 41716 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10788 /proc/meminfo: memFree=1565680/2055920 swapFree=4184728/4192956 [pid=10785] ppid=10783 vsize=43492 CPUtime=1181.9 /proc/10785/stat : 10785 (PBS4) R 10783 10785 9317 0 -1 4194304 7474 0 0 0 118059 131 0 0 25 0 1 0 109812508 44535808 6732 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559868 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10785/statm: 10873 6732 104 219 0 10650 0 Current children cumulated CPU time (s) 1181.9 Current children cumulated vsize (KiB) 43492 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10788 /proc/meminfo: memFree=1563632/2055920 swapFree=4184728/4192956 [pid=10785] ppid=10783 vsize=43744 CPUtime=1241.88 /proc/10785/stat : 10785 (PBS4) R 10783 10785 9317 0 -1 4194304 7993 0 0 0 124053 135 0 0 25 0 1 0 109812508 44793856 7251 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559765 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10785/statm: 10936 7251 104 219 0 10713 0 Current children cumulated CPU time (s) 1241.88 Current children cumulated vsize (KiB) 43744 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10788 /proc/meminfo: memFree=1558384/2055920 swapFree=4184728/4192956 [pid=10785] ppid=10783 vsize=44032 CPUtime=1301.86 /proc/10785/stat : 10785 (PBS4) R 10783 10785 9317 0 -1 4194304 9306 0 0 0 130046 140 0 0 25 0 1 0 109812508 45088768 8564 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559864 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10785/statm: 11008 8564 104 219 0 10785 0 Current children cumulated CPU time (s) 1301.86 Current children cumulated vsize (KiB) 44032 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10788 /proc/meminfo: memFree=1558192/2055920 swapFree=4184728/4192956 [pid=10785] ppid=10783 vsize=44032 CPUtime=1361.84 /proc/10785/stat : 10785 (PBS4) R 10783 10785 9317 0 -1 4194304 9356 0 0 0 136041 143 0 0 25 0 1 0 109812508 45088768 8614 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559412 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10785/statm: 11008 8614 104 219 0 10785 0 Current children cumulated CPU time (s) 1361.84 Current children cumulated vsize (KiB) 44032 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10788 /proc/meminfo: memFree=1557936/2055920 swapFree=4184728/4192956 [pid=10785] ppid=10783 vsize=44264 CPUtime=1421.83 /proc/10785/stat : 10785 (PBS4) R 10783 10785 9317 0 -1 4194304 9403 0 0 0 142038 145 0 0 25 0 1 0 109812508 45326336 8661 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559787 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10785/statm: 11066 8661 104 219 0 10843 0 Current children cumulated CPU time (s) 1421.83 Current children cumulated vsize (KiB) 44264 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/71 10962 /proc/meminfo: memFree=1556528/2055920 swapFree=4184728/4192956 [pid=10785] ppid=10783 vsize=44264 CPUtime=1481.72 /proc/10785/stat : 10785 (PBS4) R 10783 10785 9317 0 -1 4194304 9453 0 0 0 148025 147 0 0 25 0 1 0 109812508 45326336 8711 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559787 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10785/statm: 11066 8711 104 219 0 10843 0 Current children cumulated CPU time (s) 1481.72 Current children cumulated vsize (KiB) 44264 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10986 /proc/meminfo: memFree=1557488/2055920 swapFree=4184728/4192956 [pid=10785] ppid=10783 vsize=44380 CPUtime=1541.69 /proc/10785/stat : 10785 (PBS4) R 10783 10785 9317 0 -1 4194304 9493 0 0 0 154020 149 0 0 25 0 1 0 109812508 45445120 8751 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559868 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10785/statm: 11095 8751 104 219 0 10872 0 Current children cumulated CPU time (s) 1541.69 Current children cumulated vsize (KiB) 44380 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10986 /proc/meminfo: memFree=1555056/2055920 swapFree=4184728/4192956 [pid=10785] ppid=10783 vsize=44596 CPUtime=1601.66 /proc/10785/stat : 10785 (PBS4) R 10783 10785 9317 0 -1 4194304 10117 0 0 0 160014 152 0 0 25 0 1 0 109812508 45666304 9375 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559736 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10785/statm: 11149 9375 104 219 0 10926 0 Current children cumulated CPU time (s) 1601.66 Current children cumulated vsize (KiB) 44596 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10986 /proc/meminfo: memFree=1554864/2055920 swapFree=4184728/4192956 [pid=10785] ppid=10783 vsize=44784 CPUtime=1661.64 /proc/10785/stat : 10785 (PBS4) R 10783 10785 9317 0 -1 4194304 10156 0 0 0 166009 155 0 0 25 0 1 0 109812508 45858816 9414 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559787 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10785/statm: 11196 9414 104 219 0 10973 0 Current children cumulated CPU time (s) 1661.64 Current children cumulated vsize (KiB) 44784 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10986 /proc/meminfo: memFree=1554544/2055920 swapFree=4184728/4192956 [pid=10785] ppid=10783 vsize=44916 CPUtime=1721.63 /proc/10785/stat : 10785 (PBS4) R 10783 10785 9317 0 -1 4194304 10227 0 0 0 172005 158 0 0 25 0 1 0 109812508 45993984 9485 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559787 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10785/statm: 11229 9485 104 219 0 11006 0 Current children cumulated CPU time (s) 1721.63 Current children cumulated vsize (KiB) 44916 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10986 /proc/meminfo: memFree=1554416/2055920 swapFree=4184728/4192956 [pid=10785] ppid=10783 vsize=45028 CPUtime=1781.6 /proc/10785/stat : 10785 (PBS4) R 10783 10785 9317 0 -1 4194304 10254 0 0 0 178001 159 0 0 25 0 1 0 109812508 46108672 9512 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10785/statm: 11257 9512 104 219 0 11034 0 Current children cumulated CPU time (s) 1781.6 Current children cumulated vsize (KiB) 45028 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10986 /proc/meminfo: memFree=1554416/2055920 swapFree=4184728/4192956 [pid=10785] ppid=10783 vsize=45028 CPUtime=1800.01 /proc/10785/stat : 10785 (PBS4) R 10783 10785 9317 0 -1 4194304 10282 0 0 0 179840 161 0 0 25 0 1 0 109812508 46108672 9540 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559759 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10785/statm: 11257 9540 104 219 0 11034 0 Current children cumulated CPU time (s) 1800.01 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 1.00 1.00 2/65 10986 /proc/meminfo: memFree=1554416/2055920 swapFree=4184728/4192956 [pid=10785] ppid=10783 vsize=45028 CPUtime=1800.01 /proc/10785/stat : 10785 (PBS4) R 10783 10785 9317 0 -1 4194304 10282 0 0 0 179840 161 0 0 25 0 1 0 109812508 46108672 9540 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559759 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10785/statm: 11257 9540 104 219 0 11034 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 45028 Child status: 0 Real time (s): 1800.72 CPU time (s): 1800.02 CPU user time (s): 1798.41 CPU system time (s): 1.61775 CPU usage (%): 99.9615 Max. virtual memory (cumulated for all children) (KiB): 45028 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.41 system time used= 1.61775 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= 3945 runsolver used 1.2968 second user time and 3.74443 second system time The end
Begin job on node58 on Sun Apr 15 06:37:08 UTC 2007 IDJOB= 351974 IDBENCH= 1871 IDSOLVER= 157 FILE ID= node58/351974-1176619028 PBS_JOBID= 4557036 Free space on /tmp= 66563 MiB SOLVER NAME= PBS4 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= /tmp/evaluation/351974-1176619028/PBS4 /tmp/evaluation/351974-1176619028/instance-351974-1176619028.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node58/convwatcher-351974-1176619028 -o ROOT/results/node58/conversion-351974-1176619028 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/351974-1176619028/instance-351974-1176619028.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node58/watcher-351974-1176619028 -o ROOT/results/node58/solver-351974-1176619028 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/351974-1176619028/PBS4 /tmp/evaluation/351974-1176619028/instance-351974-1176619028.opb META MD5SUM SOLVER= b6c24e28fef9e1efa7891be58ea9e46f MD5SUM BENCH= 54b9b4de78a7992fd69d0caeed32daef RANDOM SEED= 385404272 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node58.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.265 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.265 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: 1592976 kB Buffers: 38388 kB Cached: 315916 kB SwapCached: 2696 kB Active: 138832 kB Inactive: 226844 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1592976 kB SwapTotal: 4192956 kB SwapFree: 4184728 kB Dirty: 1240 kB Writeback: 0 kB Mapped: 17868 kB Slab: 83356 kB Committed_AS: 174388 kB PageTables: 1384 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= 66563 MiB End job on node58 on Sun Apr 15 07:07:11 UTC 2007