Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS4_v2 2007-03-23 | SAT (TO) | 28 | 1800.11 | 1800.72 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-saucier.r.opb |
MD5SUM | aa80468537d69826ea16800f352007ec |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 7 |
Best CPU time to get the best result obtained on this benchmark | 1800.3 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 7 |
Optimality of the best value was proved | NO |
Number of variables | 6207 |
Total number of constraints | 171 |
Number of constraints which are clauses | 171 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 5184 |
Number of terms in the objective function | 6207 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 6207 |
Number of bits of the sum of numbers in the objective function | 13 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 6207 |
Number of bits of the biggest sum of numbers | 13 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c PBS v4 by Bashar Al-Rawi & Fadi Aloul 0.00/0.00 c Solving /tmp/evaluation/459079-1178648319/instance-459079-1178648319.opb ...... 1.99/2.02 c done parsing opb. 1.99/2.02 o 6207 2.19/2.23 o 6206 2.39/2.45 o 6205 2.59/2.66 o 6204 2.79/2.88 o 6203 2.99/3.09 o 6202 3.29/3.30 o 6201 3.49/3.52 o 6200 3.69/3.74 o 6199 3.89/3.95 o 6198 4.09/4.16 o 6197 4.29/4.38 o 6196 4.48/4.59 o 6195 4.79/4.81 o 6194 4.99/5.02 o 6193 5.18/5.24 o 6192 5.39/5.45 o 6191 5.59/5.66 o 6190 5.79/5.88 o 6189 5.99/6.09 o 6188 6.29/6.31 o 6187 6.49/6.52 o 6186 6.69/6.73 o 6185 6.89/6.95 o 6184 7.09/7.17 o 6183 7.29/7.38 o 6182 7.59/7.60 o 6181 7.78/7.81 o 6180 7.99/8.03 o 6179 8.19/8.24 o 6178 8.39/8.46 o 6177 8.59/8.67 o 6176 8.79/8.89 o 6175 9.09/9.11 o 6174 9.29/9.32 o 6173 9.49/9.54 o 6172 9.69/9.75 o 6171 9.90/9.97 o 6170 10.09/10.18 o 6169 10.29/10.40 o 6168 10.59/10.61 o 6167 10.79/10.83 o 6166 10.99/11.04 o 6165 11.19/11.26 o 6164 11.39/11.47 o 6163 11.59/11.69 o 6162 11.89/11.90 o 6161 12.09/12.12 o 6160 12.29/12.33 o 6159 12.48/12.54 o 6158 12.69/12.76 o 6157 12.88/12.97 o 6156 13.09/13.19 o 6155 13.39/13.40 o 6154 13.58/13.62 o 6153 13.79/13.83 o 6152 13.99/14.04 o 6151 14.19/14.26 o 6150 14.39/14.47 o 6149 14.59/14.68 o 6148 14.89/14.90 o 6147 15.09/15.11 o 6146 15.29/15.33 o 6145 15.48/15.54 o 6144 15.68/15.75 o 6143 15.89/15.97 o 6142 16.09/16.18 o 6141 16.29/16.39 o 6140 16.58/16.60 o 6139 16.79/16.82 o 6138 16.99/17.03 o 6137 17.19/17.24 o 6136 17.38/17.45 o 6135 17.59/17.66 o 6134 17.78/17.87 o 6133 17.99/18.08 o 6132 18.19/18.29 o 6131 18.49/18.50 o 6130 18.69/18.72 o 6129 18.88/18.93 o 6128 19.09/19.14 o 6127 19.28/19.35 o 6126 19.48/19.56 o 6125 19.69/19.77 o 6124 19.88/19.98 o 6123 20.08/20.19 o 6122 20.38/20.40 o 6121 20.58/20.61 o 6120 20.79/20.82 o 6119 20.99/21.04 o 6118 21.18/21.25 o 6117 21.38/21.46 o 6116 21.58/21.67 o 6115 21.79/21.88 o 6114 21.99/22.09 o 6113 22.28/22.30 o 6112 22.48/22.51 o 6111 22.68/22.72 o 6110 22.88/22.93 o 6109 23.09/23.14 o 6108 23.28/23.35 o 6107 23.49/23.56 o 6106 23.68/23.77 o 6105 23.88/23.99 o 6104 24.09/24.20 o 6103 24.38/24.41 o 6102 24.59/24.62 o 6101 24.78/24.83 o 6100 24.98/25.04 o 6099 25.19/25.25 o 6098 25.38/25.46 o 6097 25.59/25.67 o 6096 25.78/25.88 o 6095 25.98/26.09 o 6094 26.19/26.30 o 6093 26.49/26.51 o 6092 26.68/26.72 o 6091 26.88/26.93 o 6090 27.08/27.14 o 6089 27.28/27.36 o 6088 27.49/27.57 o 6087 27.68/27.78 o 6086 27.89/27.99 o 6085 28.18/28.20 o 6084 28.38/28.42 o 6083 28.59/28.63 o 6082 28.78/28.84 o 6081 28.99/29.05 o 6080 29.18/29.26 o 6079 29.38/29.48 o 6078 29.59/29.69 o 6077 29.88/29.90 o 6076 30.08/30.11 o 6075 30.28/30.32 o 6074 30.48/30.53 o 6073 30.69/30.75 o 6072 30.88/30.96 o 6071 31.08/31.17 o 6070 31.29/31.38 o 6069 31.48/31.59 o 6068 31.79/31.80 o 6067 31.98/32.02 o 6066 32.18/32.23 o 6065 32.38/32.44 o 6064 32.58/32.65 o 6063 32.78/32.86 o 6062 32.98/33.07 o 6061 33.18/33.28 o 6060 33.38/33.49 o 6059 33.67/33.71 o 6058 33.88/33.92 o 6057 34.08/34.13 o 6056 34.28/34.34 o 6055 34.48/34.55 o 6054 34.68/34.76 o 6053 34.88/34.97 o 6052 35.08/35.18 o 6051 35.27/35.39 o 6050 35.58/35.60 o 6049 35.78/35.82 o 6048 35.98/36.03 o 6047 36.18/36.24 o 6046 36.37/36.45 o 6045 36.58/36.66 o 6044 36.77/36.87 o 6043 36.98/37.08 o 6042 37.18/37.28 o 6041 37.38/37.49 o 6040 37.67/37.70 o 6039 37.87/37.91 o 6038 38.08/38.12 o 6037 38.27/38.33 o 6036 38.48/38.54 o 6035 38.67/38.74 o 6034 38.87/38.95 o 6033 39.08/39.16 o 6032 39.28/39.37 o 6031 39.47/39.58 o 6030 39.68/39.79 o 6029 39.88/39.99 o 6028 40.17/40.20 o 6027 40.37/40.41 o 6026 40.57/40.62 o 6025 40.77/40.83 o 6024 40.98/41.03 o 6023 41.17/41.24 o 6022 41.37/41.45 o 6021 41.57/41.66 o 6020 41.78/41.86 o 6019 41.98/42.07 o 6018 42.17/42.28 o 6017 42.37/42.49 o 6016 42.57/42.69 o 6015 42.87/42.90 o 6014 43.07/43.11 o 6013 43.27/43.31 o 6012 43.47/43.52 o 6011 43.67/43.73 o 6010 43.88/43.94 o 6009 44.08/44.14 o 6008 44.27/44.35 o 6007 44.47/44.56 o 6006 44.67/44.76 o 6005 44.87/44.97 o 6004 45.07/45.18 o 6003 45.27/45.38 o 6002 45.47/45.59 o 6001 45.67/45.80 o 6000 45.97/46.00 o 5999 46.18/46.21 o 5998 46.38/46.42 o 5997 46.57/46.62 o 5986 46.77/46.83 o 5966 46.97/47.04 o 5965 47.17/47.24 o 5964 47.37/47.45 o 5963 47.57/47.66 o 5962 47.77/47.86 o 5961 47.97/48.07 o 5960 48.17/48.28 o 5959 48.37/48.48 o 5958 48.57/48.69 o 5957 48.87/48.90 o 5956 49.07/49.10 o 5955 49.27/49.31 o 5954 49.47/49.51 o 5953 49.66/49.72 o 5952 49.87/49.93 o 5951 50.07/50.13 o 5950 50.27/50.34 o 5949 50.48/50.55 o 5948 50.67/50.75 o 5947 50.87/50.96 o 5946 51.07/51.16 o 5945 51.27/51.37 o 5944 51.47/51.57 o 5943 51.67/51.78 o 5942 51.87/51.99 o 5941 52.07/52.19 o 5940 52.37/52.40 o 5939 52.57/52.60 o 5938 52.77/52.81 o 5937 52.97/53.01 o 5936 53.17/53.22 o 5935 53.36/53.43 o 5934 53.56/53.63 o 5887 53.77/53.83 o 5886 53.97/54.04 o 5875 54.17/54.24 o 5872 54.36/54.44 o 5871 54.57/54.65 o 5870 54.76/54.85 o 5869 54.97/55.05 o 5868 55.17/55.25 o 5867 55.36/55.46 o 5866 55.57/55.66 o 5865 55.76/55.86 o 5864 55.97/56.06 o 5863 56.17/56.27 o 5862 56.37/56.47 o 5861 56.57/56.67 o 5860 56.77/56.87 o 5859 56.97/57.07 o 5858 57.17/57.27 o 5857 57.36/57.47 o 5856 57.57/57.67 o 5855 57.77/57.87 o 5854 57.97/58.07 o 5853 58.18/58.27 o 5852 58.37/58.47 o 5851 58.56/58.67 o 5850 58.77/58.87 o 5849 58.96/59.07 o 5848 59.17/59.27 o 5847 59.37/59.47 o 5846 59.57/59.67 o 5845 59.77/59.87 o 5844 59.97/60.07 o 5843 60.16/60.27 o 5842 60.37/60.47 o 5841 60.57/60.67 o 5840 60.76/60.87 o 5839 60.97/61.07 o 5838 61.16/61.27 o 5837 61.36/61.47 o 5836 61.57/61.67 o 5835 61.67/61.79 o 3057 61.87/61.90 o 3056 61.96/62.01 o 3055 62.07/62.12 o 3054 62.16/62.23 o 3053 62.27/62.34 o 3052 62.37/62.45 o 3051 62.47/62.56 o 3050 62.57/62.67 o 3046 62.67/62.78 o 3045 62.76/62.89 o 3044 62.86/63.00 o 3043 63.07/63.10 o 3042 63.16/63.21 o 3041 63.26/63.32 o 3031 63.37/63.43 o 3030 63.46/63.54 o 3029 63.56/63.65 o 3028 63.67/63.76 o 3027 63.77/63.87 o 3026 63.87/63.98 o 3025 63.96/64.08 o 3024 64.07/64.19 o 3023 64.17/64.30 o 3022 64.37/64.40 o 3021 64.47/64.51 o 3020 64.56/64.62 o 3019 64.66/64.73 o 3018 64.77/64.84 o 3017 64.87/64.94 o 3016 64.97/65.05 o 3015 65.06/65.16 o 3014 65.16/65.27 o 3013 65.26/65.38 o 3012 65.36/65.48 o 3011 65.46/65.59 o 3010 65.66/65.70 o 3009 65.76/65.81 o 3008 65.86/65.91 o 3007 65.96/66.02 o 3006 66.07/66.13 o 3005 66.16/66.23 o 3004 66.27/66.34 o 3003 66.37/66.45 o 3002 66.46/66.56 o 3001 66.57/66.66 o 3000 66.66/66.77 o 2999 66.77/66.88 o 2998 66.87/66.99 o 2997 66.96/67.10 o 2996 67.16/67.21 o 2995 67.26/67.32 o 2994 67.37/67.42 o 2993 67.46/67.53 o 2992 67.56/67.64 o 2991 67.66/67.75 o 2990 67.76/67.85 o 2989 67.87/67.96 o 2988 67.96/68.07 o 2987 68.06/68.18 o 2986 68.17/68.28 o 2985 68.26/68.39 o 2984 68.37/68.49 o 2983 68.56/68.60 o 2982 68.67/68.71 o 2981 68.76/68.82 o 2980 68.86/68.92 o 2979 68.97/69.03 o 2978 69.07/69.14 o 2977 69.16/69.25 o 2976 69.27/69.35 o 2975 69.36/69.46 o 2974 69.46/69.57 o 2973 69.57/69.68 o 2972 69.66/69.78 o 2971 69.76/69.89 o 2970 69.96/70.00 o 2969 70.06/70.10 o 2968 70.16/70.21 o 2967 70.27/70.32 o 2966 70.36/70.43 o 2965 70.47/70.53 o 2964 70.56/70.64 o 2963 70.66/70.74 o 2962 70.76/70.85 o 2961 70.86/70.95 o 2960 70.96/71.06 o 2959 71.06/71.17 o 2958 71.17/71.27 o 2957 71.27/71.38 o 2956 71.36/71.49 o 2955 71.47/71.59 o 2954 71.66/71.70 o 2953 71.76/71.80 o 2952 71.87/71.91 o 2951 71.96/72.01 o 2950 72.07/72.12 o 2949 72.16/72.23 o 2948 72.26/72.33 o 2947 72.37/72.44 o 2946 72.47/72.54 o 2945 72.57/72.65 o 2944 72.66/72.76 o 2943 72.77/72.86 o 2942 72.86/72.97 o 2941 72.96/73.08 o 2940 73.06/73.18 o 2939 73.16/73.29 o 2938 73.26/73.39 o 2937 73.46/73.50 o 2936 73.57/73.60 o 2935 73.66/73.71 o 2934 73.76/73.82 o 2933 73.87/73.92 o 2932 73.97/74.03 o 2931 74.06/74.13 o 2930 74.16/74.24 o 2929 74.26/74.34 o 2928 74.36/74.45 o 2927 74.46/74.55 o 2926 74.56/74.66 o 2925 74.66/74.76 o 2924 74.76/74.87 o 2923 74.86/74.97 o 2922 74.96/75.08 o 2921 75.06/75.18 o 2920 75.16/75.29 o 2919 75.26/75.39 o 2918 75.46/75.50 o 2917 75.56/75.61 o 2916 75.66/75.71 o 2915 75.77/75.82 o 2914 75.87/75.92 o 2913 75.96/76.03 o 2912 76.06/76.13 o 2911 76.16/76.24 o 2910 76.26/76.34 o 2909 76.36/76.44 o 2908 76.46/76.55 o 2907 76.56/76.65 o 2906 76.66/76.76 o 2905 76.76/76.86 o 2904 76.87/76.97 o 2903 76.96/77.07 o 2902 77.06/77.17 o 2901 77.16/77.28 o 2900 77.26/77.38 o 2899 77.36/77.49 o 2898 77.46/77.59 o 2897 77.56/77.69 o 2896 77.76/77.80 o 2895 77.86/77.90 o 2894 77.97/78.00 o 2893 78.06/78.11 o 2892 78.16/78.21 o 2891 78.26/78.31 o 2890 78.36/78.42 o 2889 78.46/78.52 o 2888 78.56/78.62 o 2887 78.66/78.72 o 2886 78.76/78.83 o 2885 78.86/78.93 o 2884 78.96/79.03 o 2883 79.06/79.14 o 2882 79.16/79.24 o 2881 79.26/79.34 o 2880 79.36/79.45 o 2879 79.46/79.55 o 2878 79.56/79.65 o 2877 79.66/79.75 o 2876 79.76/79.86 o 2875 79.86/79.96 o 2874 79.96/80.06 o 2873 80.06/80.17 o 2872 80.16/80.27 o 2871 80.27/80.37 o 2870 80.36/80.47 o 2869 80.46/80.57 o 2868 80.56/80.67 o 2867 80.66/80.78 o 2866 80.76/80.88 o 2865 80.86/80.98 o 2864 80.96/81.09 o 2863 81.05/81.19 o 2862 81.16/81.29 o 2861 81.26/81.39 o 2860 81.36/81.49 o 2859 81.46/81.60 o 2858 81.66/81.70 o 2857 81.76/81.80 o 2856 81.86/81.90 o 2855 81.96/82.01 o 2854 82.06/82.11 o 2853 82.16/82.21 o 2852 82.26/82.31 o 2851 82.37/82.41 o 2850 82.46/82.51 o 2849 82.56/82.62 o 2848 82.65/82.72 o 2847 82.76/82.82 o 2846 82.86/82.92 o 2845 82.96/83.02 o 2844 83.06/83.12 o 2843 83.16/83.23 o 2842 83.25/83.33 o 2841 83.36/83.43 o 2840 83.46/83.53 o 2839 83.56/83.63 o 2838 83.66/83.73 o 2837 83.75/83.83 o 2836 83.86/83.93 o 2835 83.96/84.04 o 2834 84.06/84.14 o 2833 84.26/84.33 o 2832 84.36/84.41 o 1678 84.36/84.47 o 1677 84.45/84.53 o 1676 84.56/84.60 o 1665 84.56/84.66 o 1664 84.66/84.73 o 1663 84.66/84.79 o 1662 84.76/84.86 o 1661 84.85/84.92 o 1660 84.85/84.99 o 1659 84.96/85.05 o 1658 85.06/85.12 o 1657 85.06/85.18 o 1656 85.16/85.25 o 1655 85.25/85.31 o 1631 85.25/85.37 o 1630 85.36/85.44 o 1629 85.46/85.50 o 1628 85.46/85.56 o 1627 85.55/85.63 o 1626 85.55/85.69 o 1625 85.66/85.75 o 1624 85.77/85.81 o 1623 85.77/85.87 o 1622 85.85/85.94 o 1621 85.96/86.00 o 1620 85.96/86.06 o 1619 86.06/86.12 o 1618 86.06/86.19 o 1617 86.15/86.25 o 1616 86.26/86.31 o 1615 86.26/86.37 o 1614 86.36/86.43 o 1613 86.36/86.49 o 1612 86.46/86.54 o 1611 86.56/86.60 o 1610 86.56/86.66 o 1609 86.66/86.78 o 1608 86.76/86.84 o 1607 86.76/86.90 o 1606 86.86/86.96 o 1605 86.96/87.01 o 1604 86.96/87.07 o 1603 87.06/87.13 o 1602 87.06/87.19 o 1601 87.16/87.25 o 1600 87.26/87.31 o 1599 87.26/87.37 o 1598 87.36/87.42 o 1597 87.36/87.48 o 1596 87.46/87.53 o 1595 87.46/87.59 o 1594 87.56/87.65 o 1593 87.66/87.71 o 1592 87.66/87.77 o 1591 87.76/87.82 o 1590 87.76/87.88 o 1589 87.87/87.94 o 1588 87.87/87.99 o 1587 87.96/88.05 o 1586 88.06/88.10 o 1585 88.06/88.16 o 1584 88.16/88.22 o 1583 88.16/88.27 o 1582 88.26/88.33 o 1581 88.26/88.39 o 1580 88.36/88.44 o 1579 88.45/88.50 o 1578 88.45/88.55 o 1577 88.56/88.61 o 1576 88.56/88.66 o 1575 88.65/88.72 o 1574 88.65/88.78 o 1573 88.76/88.84 o 1572 88.85/88.90 o 1571 88.85/88.95 o 1570 88.96/89.01 o 1569 88.96/89.07 o 1568 89.06/89.13 o 1567 89.06/89.19 o 1566 89.16/89.25 o 1565 89.26/89.30 o 1564 89.26/89.36 o 1563 89.35/89.42 o 1562 89.35/89.48 o 1561 89.46/89.53 o 1560 89.46/89.59 o 1559 89.55/89.65 o 1558 89.66/89.70 o 1557 89.66/89.76 o 1556 89.76/89.82 o 1555 89.76/89.88 o 1554 89.85/89.93 o 1553 89.85/89.99 o 1552 89.95/90.05 o 1551 90.06/90.10 o 1550 90.06/90.16 o 1549 90.16/90.22 o 1548 90.16/90.27 o 1547 90.26/90.33 o 1546 90.26/90.38 o 1545 90.35/90.44 o 1544 90.35/90.49 o 1543 90.46/90.55 o 1542 90.56/90.60 o 1541 90.56/90.66 o 1540 90.65/90.72 o 1539 90.65/90.77 o 1538 90.76/90.82 o 1537 90.76/90.88 o 1536 90.85/90.94 o 1535 90.85/90.99 o 1534 90.96/91.05 o 1533 91.05/91.10 o 1532 91.05/91.16 o 1531 91.16/91.22 o 1530 91.16/91.28 o 1529 91.26/91.33 o 1528 91.26/91.39 o 1527 91.36/91.44 o 1526 91.45/91.50 o 1525 91.45/91.56 o 1524 91.56/91.61 o 1523 91.56/91.67 o 1522 91.66/91.72 o 1521 91.66/91.78 o 1520 91.75/91.84 o 1519 91.75/91.89 o 1518 91.86/91.95 o 1517 91.96/92.01 o 1516 91.96/92.06 o 1515 92.05/92.12 o 1514 92.05/92.17 o 1513 92.16/92.23 o 1512 92.16/92.28 o 1511 92.26/92.34 o 1510 92.26/92.39 o 1509 92.36/92.45 o 1508 92.46/92.51 o 1507 92.46/92.56 o 1506 92.55/92.62 o 1505 92.55/92.68 o 1504 92.66/92.73 o 1503 92.66/92.79 o 1502 92.75/92.84 o 1501 92.75/92.90 o 1500 92.86/92.95 o 1499 92.96/93.01 o 1498 92.96/93.07 o 1497 93.05/93.12 o 1496 93.05/93.18 o 1495 93.15/93.23 o 1494 93.15/93.29 o 1493 93.26/93.35 o 1492 93.36/93.40 o 1491 93.36/93.46 o 1490 93.46/93.51 o 1489 93.46/93.57 o 1488 93.55/93.62 o 1487 93.55/93.68 o 1486 93.66/93.74 o 1485 93.66/93.79 o 1484 93.76/93.85 o 1483 93.86/93.90 o 1482 93.86/93.96 o 1481 93.96/94.01 o 1480 93.96/94.07 o 1479 94.05/94.12 o 1478 94.05/94.18 o 1477 94.15/94.23 o 1476 94.15/94.28 o 1475 94.26/94.34 o 1474 94.26/94.39 o 1473 94.36/94.45 o 1472 94.46/94.50 o 1471 94.46/94.56 o 1470 94.56/94.61 o 1469 94.56/94.67 o 1468 94.66/94.72 o 1467 94.66/94.78 o 1466 94.75/94.83 o 1465 94.75/94.89 o 1464 94.85/94.94 o 1463 94.96/95.00 o 1462 94.96/95.05 o 1461 95.06/95.11 o 1460 95.06/95.16 o 1459 95.15/95.22 o 1458 95.15/95.27 o 1457 95.26/95.33 o 1456 95.26/95.38 o 1455 95.35/95.44 o 1454 95.35/95.49 o 1453 95.45/95.55 o 1452 95.56/95.60 o 1451 95.56/95.65 o 1450 95.66/95.71 o 1449 95.66/95.76 o 1448 95.75/95.82 o 1447 95.75/95.87 o 1446 95.86/95.93 o 1445 95.86/95.98 o 1444 95.95/96.04 o 1443 95.95/96.09 o 1442 96.05/96.14 o 1441 96.16/96.20 o 1440 96.16/96.25 o 1439 96.25/96.31 o 1438 96.25/96.36 o 1437 96.35/96.41 o 1436 96.35/96.47 o 1435 96.46/96.52 o 1434 96.46/96.57 o 1433 96.55/96.63 o 1432 96.55/96.68 o 1431 96.65/96.74 o 1430 96.65/96.79 o 1429 96.76/96.84 o 1428 96.76/96.90 o 1427 96.85/96.95 o 1426 96.96/97.00 o 1425 96.96/97.06 o 1424 97.06/97.11 o 1423 97.06/97.16 o 1422 97.15/97.22 o 1421 97.15/97.27 o 1420 97.25/97.32 o 1419 97.25/97.38 o 1418 97.35/97.43 o 1417 97.35/97.48 o 1416 97.45/97.53 o 1415 97.45/97.58 o 1414 97.55/97.64 o 1413 97.55/97.69 o 1412 97.65/97.74 o 1411 97.65/97.79 o 1410 97.76/97.84 o 1409 97.76/97.89 o 1408 97.86/97.95 o 1407 97.95/98.00 o 1406 97.95/98.05 o 1405 98.06/98.10 o 1404 98.06/98.15 o 1403 98.15/98.20 o 1402 98.15/98.25 o 1401 98.25/98.31 o 1400 98.25/98.36 o 1399 98.36/98.41 o 1398 98.36/98.46 o 1397 98.45/98.51 o 1396 98.45/98.57 o 1395 98.55/98.62 o 1394 98.55/98.67 o 1393 98.65/98.72 o 1392 98.65/98.77 o 1391 98.76/98.82 o 1390 98.76/98.87 o 1389 98.86/98.92 o 1388 98.86/98.98 o 1387 98.96/99.03 o 1386 98.96/99.08 o 1385 99.06/99.13 o 1384 99.06/99.18 o 1383 99.15/99.23 o 1382 99.15/99.29 o 1381 99.26/99.34 o 1380 99.26/99.39 o 1379 99.35/99.44 o 1378 99.35/99.49 o 1377 99.45/99.54 o 1376 99.45/99.59 o 1375 99.56/99.64 o 1374 99.56/99.69 o 1373 99.65/99.74 o 1372 99.65/99.80 o 1371 99.75/99.85 o 1370 99.86/99.90 o 1369 99.86/99.95 o 1368 99.95/100.00 o 1367 99.95/100.05 o 1366 99.95/100.10 o 1365 100.06/100.15 o 1364 100.15/100.20 o 1363 100.15/100.25 o 1362 100.26/100.30 o 1361 100.26/100.35 o 1360 100.35/100.40 o 1359 100.35/100.45 o 1358 100.45/100.50 o 1357 100.45/100.55 o 1356 100.56/100.60 o 1355 100.56/100.65 o 1354 100.65/100.70 o 1353 100.65/100.75 o 1352 100.75/100.80 o 1351 100.75/100.85 o 1350 100.75/100.89 o 1349 100.86/100.94 o 1348 100.86/100.99 o 1347 100.95/101.04 o 1346 100.95/101.09 o 1345 101.06/101.14 o 1344 101.06/101.19 o 1343 101.16/101.24 o 1342 101.16/101.29 o 1341 101.25/101.34 o 1340 101.25/101.39 o 1339 101.35/101.44 o 1338 101.35/101.49 o 1337 101.45/101.53 o 1336 101.45/101.58 o 1335 101.55/101.63 o 1334 101.55/101.68 o 1333 101.65/101.72 o 1332 101.65/101.77 o 1331 101.75/101.82 o 1330 101.75/101.87 o 1329 101.85/101.92 o 1328 101.85/101.97 o 1327 101.95/102.02 o 1326 101.95/102.07 o 1325 102.05/102.11 o 1324 102.05/102.16 o 1323 102.16/102.21 o 1322 102.16/102.26 o 1321 102.25/102.31 o 1320 102.25/102.35 o 1319 102.35/102.40 o 1318 102.35/102.45 o 1317 102.46/102.50 o 1316 102.46/102.55 o 1315 102.46/102.59 o 1314 102.55/102.64 o 1313 102.55/102.69 o 1312 102.65/102.74 o 1311 102.65/102.78 o 1310 102.75/102.83 o 1309 102.75/102.88 o 1308 102.85/102.92 o 1307 102.85/102.97 o 1306 102.95/103.02 o 1305 102.95/103.07 o 1304 103.05/103.12 o 1303 103.05/103.16 o 1302 103.15/103.21 o 1301 103.15/103.26 o 1300 103.26/103.30 o 1299 103.26/103.35 o 1298 103.26/103.40 o 1297 103.35/103.44 o 1296 103.35/103.49 o 1295 103.45/103.54 o 1294 103.45/103.58 o 1293 103.55/103.63 o 1292 103.55/103.68 o 1291 103.66/103.72 o 1290 103.66/103.77 o 1289 103.76/103.82 o 1288 103.76/103.86 o 1287 103.85/103.91 o 1286 103.85/103.96 o 1285 103.96/104.00 o 1284 103.96/104.05 o 1283 103.96/104.09 o 1282 104.05/104.14 o 1281 104.05/104.19 o 1280 104.15/104.23 o 1279 104.15/104.28 o 1278 104.25/104.32 o 1277 104.25/104.37 o 1276 104.36/104.41 o 1275 104.36/104.46 o 1274 104.45/104.51 o 1273 104.45/104.55 o 1272 104.56/104.60 o 1271 104.56/104.64 o 1270 104.56/104.69 o 1269 104.65/104.74 o 1268 104.65/104.78 o 1267 104.75/104.83 o 1266 104.75/104.87 o 1265 104.86/104.92 o 1264 104.86/104.96 o 1263 104.95/105.01 o 1262 104.95/105.05 o 1261 105.05/105.10 o 1260 105.05/105.14 o 1259 105.05/105.19 o 1258 105.15/105.23 o 1257 105.15/105.28 o 1256 105.25/105.32 o 1255 105.25/105.37 o 1254 105.36/105.41 o 1253 105.36/105.46 o 1252 105.46/105.50 o 1251 105.46/105.55 o 1250 105.46/105.59 o 1249 105.55/105.64 o 1248 105.55/105.68 o 1247 105.66/105.73 o 1246 105.66/105.77 o 1245 105.75/105.82 o 1244 105.75/105.86 o 1243 105.85/105.91 o 1242 105.85/105.95 o 1241 105.95/106.00 o 1240 105.95/106.04 o 1239 105.95/106.09 o 1238 106.05/106.13 o 1237 106.05/106.17 o 1236 106.15/106.21 o 1235 106.15/106.25 o 1234 106.25/106.30 o 1233 106.25/106.34 o 1232 106.25/106.39 o 1231 106.35/106.43 o 1230 106.35/106.47 o 1229 106.45/106.52 o 1228 106.45/106.56 o 1227 106.56/106.61 o 1226 106.56/106.65 o 1225 106.56/106.69 o 1224 106.65/106.74 o 1223 106.65/106.78 o 1222 106.75/106.83 o 1221 106.75/106.87 o 1220 106.85/106.91 o 1219 106.85/106.95 o 1218 106.95/107.00 o 1217 106.95/107.04 o 1216 106.95/107.09 o 1215 107.05/107.13 o 1214 107.05/107.17 o 1213 107.15/107.22 o 1212 107.15/107.26 o 1211 107.25/107.30 o 1210 107.25/107.35 o 1209 107.25/107.39 o 1208 107.35/107.44 o 1207 107.35/107.48 o 1206 107.45/107.52 o 1205 107.45/107.57 o 1204 107.55/107.61 o 1203 107.55/107.65 o 1202 107.55/107.70 o 1201 107.65/107.74 o 1200 107.65/107.78 o 1199 107.75/107.83 o 1198 107.75/107.87 o 1197 107.85/107.91 o 1196 107.85/107.96 o 1195 107.95/108.00 o 1194 107.95/108.04 o 1193 107.95/108.08 o 1192 108.05/108.13 o 1191 108.05/108.17 o 1190 108.15/108.21 o 1189 108.15/108.26 o 1188 108.25/108.30 o 1187 108.25/108.34 o 1186 108.25/108.38 o 1185 108.35/108.42 o 1184 108.35/108.47 o 1183 108.45/108.51 o 1182 108.45/108.55 o 1181 108.45/108.59 o 1180 108.55/108.63 o 1179 108.55/108.67 o 1178 108.65/108.72 o 1177 108.65/108.76 o 1176 108.75/108.80 o 1175 108.75/108.84 o 1174 108.75/108.88 o 1173 108.86/108.93 o 1172 108.86/108.97 o 1171 108.95/109.01 o 1170 108.95/109.05 o 1169 108.95/109.10 o 1168 109.05/109.14 o 1167 109.05/109.18 o 1166 109.15/109.22 o 1165 109.15/109.26 o 1164 109.25/109.30 o 1163 109.25/109.34 o 1162 109.25/109.39 o 1161 109.35/109.43 o 1160 109.35/109.47 o 1159 109.45/109.51 o 1158 109.45/109.55 o 1157 109.45/109.59 o 1156 109.55/109.63 o 1155 109.55/109.67 o 1154 109.65/109.71 o 1153 109.65/109.75 o 1152 109.65/109.79 o 1151 109.75/109.83 o 1150 109.75/109.87 o 1149 109.85/109.91 o 1148 109.85/109.95 o 1147 109.85/110.00 o 1146 109.95/110.04 o 1145 109.95/110.08 o 1144 110.05/110.12 o 1143 110.05/110.16 o 1142 110.05/110.20 o 1141 110.15/110.23 o 1140 110.15/110.27 o 1139 110.25/110.31 o 1138 110.25/110.35 o 1137 110.25/110.39 o 1136 110.35/110.44 o 1135 110.35/110.48 o 1134 110.45/110.52 o 1133 110.45/110.55 o 1132 110.45/110.60 o 1131 110.55/110.64 o 1130 110.55/110.68 o 1129 110.65/110.72 o 1128 110.65/110.76 o 1127 110.75/110.80 o 1126 110.75/110.84 o 1125 110.75/110.88 o 1124 110.85/110.92 o 1123 110.85/110.96 o 1122 110.95/111.00 o 1121 110.95/111.04 o 1120 110.95/111.08 o 1119 111.06/111.12 o 1118 111.06/111.15 o 1117 111.06/111.19 o 1116 111.15/111.23 o 1115 111.15/111.27 o 1114 111.25/111.31 o 1113 111.25/111.35 o 1112 111.25/111.39 o 1111 111.35/111.43 o 1110 111.35/111.47 o 1109 111.45/111.50 o 1108 111.45/111.54 o 1107 111.45/111.58 o 1106 111.55/111.62 o 1105 111.55/111.66 o 1104 111.65/111.70 o 1103 111.65/111.74 o 1102 111.65/111.78 o 1101 111.75/111.82 o 1100 111.75/111.86 o 1099 111.85/111.90 o 1098 111.85/111.94 o 1097 111.85/111.98 o 1096 111.95/112.02 o 1095 111.95/112.05 o 1094 111.95/112.09 o 1093 112.05/112.13 o 1092 112.05/112.17 o 1091 112.15/112.21 o 1090 112.15/112.25 o 1089 112.15/112.29 o 1088 112.25/112.33 o 1087 112.25/112.36 o 1086 112.35/112.40 o 1085 112.35/112.44 o 1084 112.35/112.48 o 1083 112.45/112.52 o 1082 112.45/112.56 o 1081 112.45/112.60 o 1080 112.55/112.63 o 1079 112.55/112.67 o 1078 112.65/112.71 o 1077 112.65/112.75 o 1076 112.65/112.79 o 1075 112.75/112.82 o 1074 112.75/112.86 o 1073 112.85/112.90 o 1072 112.85/112.93 o 1071 112.85/112.97 o 1070 112.95/113.01 o 1069 112.95/113.05 o 1068 112.95/113.08 o 1067 113.05/113.12 o 1066 113.05/113.16 o 1065 113.05/113.20 o 1064 113.16/113.24 o 1063 113.16/113.27 o 1062 113.25/113.31 o 1061 113.25/113.35 o 1060 113.25/113.38 o 1059 113.35/113.42 o 1058 113.35/113.46 o 1057 113.45/113.50 o 1056 113.45/113.53 o 1055 113.45/113.57 o 1054 113.55/113.61 o 1053 113.55/113.64 o 1052 113.55/113.68 o 1051 113.65/113.72 o 1050 113.65/113.76 o 1049 113.65/113.79 o 1048 113.75/113.83 o 1047 113.75/113.87 o 1046 113.85/113.91 o 1045 113.85/113.94 o 1044 113.85/113.98 o 1043 113.94/114.02 o 1042 113.94/114.05 o 1041 113.94/114.09 o 1040 114.05/114.13 o 1039 114.05/114.17 o 1038 114.14/114.20 o 1037 114.14/114.24 o 1036 114.14/114.28 o 1035 114.25/114.31 o 1034 114.25/114.35 o 1033 114.25/114.38 o 1032 114.35/114.42 o 1031 114.35/114.46 o 1030 114.35/114.49 o 1029 114.44/114.53 o 1028 114.44/114.57 o 1027 114.54/114.60 o 1026 114.54/114.64 o 1025 114.54/114.68 o 1024 114.65/114.71 o 1023 114.65/114.75 o 1022 114.65/114.78 o 1021 114.74/114.82 o 1020 114.74/114.86 o 1019 114.74/114.89 o 1018 114.84/114.93 o 1017 114.84/114.96 o 1016 114.95/115.00 o 1015 114.95/115.04 o 1014 114.95/115.07 o 1013 115.05/115.11 o 1012 115.05/115.15 o 1011 115.05/115.18 o 1010 115.14/115.22 o 1009 115.14/115.25 o 1008 115.14/115.29 o 1007 115.25/115.32 o 1006 115.25/115.36 o 1005 115.25/115.39 o 1004 115.35/115.43 o 1003 115.35/115.46 o 1002 115.35/115.50 o 1001 115.45/115.53 o 1000 115.45/115.57 o 999 115.54/115.60 o 998 115.54/115.64 o 997 115.54/115.67 o 996 115.65/115.71 o 995 115.65/115.74 o 994 115.65/115.78 o 993 115.75/115.81 o 992 115.75/115.85 o 991 115.75/115.89 o 990 115.84/115.92 o 989 115.84/115.96 o 988 115.84/115.99 o 987 115.95/116.03 o 986 115.95/116.06 o 985 116.04/116.10 o 984 116.04/116.13 o 983 116.04/116.17 o 982 116.14/116.20 o 981 116.14/116.24 o 980 116.14/116.27 o 979 116.25/116.31 o 978 116.25/116.34 o 977 116.25/116.38 o 976 116.35/116.41 o 975 116.35/116.45 o 974 116.35/116.48 o 973 116.45/116.52 o 972 116.45/116.55 o 971 116.45/116.59 o 970 116.55/116.62 o 969 116.55/116.66 o 968 116.55/116.69 o 967 116.65/116.72 o 966 116.65/116.76 o 965 116.65/116.79 o 964 116.74/116.83 o 963 116.74/116.86 o 962 116.74/116.89 o 961 116.84/116.93 o 960 116.84/116.96 o 959 116.84/117.00 o 958 116.95/117.03 o 957 116.95/117.06 o 956 117.04/117.10 o 955 117.04/117.13 o 954 117.04/117.17 o 953 117.14/117.20 o 952 117.14/117.23 o 951 117.14/117.27 o 950 117.25/117.30 o 949 117.25/117.33 o 948 117.25/117.37 o 947 117.34/117.40 o 946 117.34/117.43 o 945 117.34/117.47 o 944 117.45/117.50 o 943 117.45/117.53 o 942 117.45/117.57 o 941 117.45/117.60 o 940 117.55/117.63 o 939 117.55/117.67 o 938 117.64/117.70 o 937 117.64/117.73 o 936 117.64/117.77 o 935 117.75/117.80 o 934 117.75/117.83 o 933 117.75/117.86 o 932 117.84/117.90 o 931 117.84/117.93 o 930 117.84/117.96 o 929 117.94/118.00 o 928 117.94/118.03 o 927 117.94/118.06 o 926 117.94/118.10 o 925 118.04/118.13 o 924 118.04/118.16 o 923 118.04/118.20 o 922 118.14/118.23 o 921 118.14/118.26 o 920 118.14/118.29 o 919 118.24/118.33 o 918 118.24/118.36 o 917 118.24/118.39 o 916 118.34/118.43 o 915 118.34/118.46 o 914 118.34/118.49 o 913 118.44/118.52 o 912 118.44/118.55 o 911 118.44/118.59 o 910 118.54/118.62 o 909 118.54/118.65 o 908 118.54/118.68 o 907 118.64/118.72 o 906 118.64/118.75 o 905 118.64/118.78 o 904 118.75/118.81 o 903 118.75/118.84 o 902 118.75/118.88 o 901 118.84/118.91 o 900 118.84/118.94 o 899 118.84/118.97 o 898 118.94/119.00 o 897 118.94/119.04 o 896 118.94/119.07 o 895 119.04/119.10 o 894 119.04/119.13 o 893 119.04/119.16 o 892 119.15/119.20 o 891 119.15/119.23 o 890 119.15/119.26 o 889 119.15/119.29 o 888 119.24/119.32 o 887 119.24/119.35 o 886 119.24/119.39 o 885 119.34/119.42 o 884 119.34/119.45 o 883 119.34/119.48 o 882 119.44/119.51 o 881 119.44/119.54 o 880 119.44/119.58 o 879 119.54/119.61 o 878 119.54/119.64 o 877 119.54/119.67 o 876 119.64/119.70 o 875 119.64/119.73 o 874 119.64/119.76 o 873 119.64/119.80 o 872 119.74/119.83 o 871 119.74/119.86 o 870 119.74/119.89 o 869 119.85/119.92 o 868 119.85/119.95 o 867 119.85/119.98 o 866 119.94/120.01 o 865 119.94/120.05 o 864 119.94/120.08 o 863 120.04/120.11 o 862 120.04/120.14 o 861 120.04/120.17 o 860 120.14/120.20 o 859 120.14/120.23 o 858 120.14/120.26 o 857 120.14/120.29 o 856 120.24/120.33 o 855 120.24/120.36 o 854 120.24/120.39 o 853 120.34/120.42 o 852 120.34/120.45 o 851 120.34/120.48 o 850 120.44/120.51 o 849 120.44/120.54 o 848 120.44/120.57 o 847 120.54/120.60 o 846 120.54/120.63 o 845 120.54/120.66 o 844 120.54/120.69 o 843 120.64/120.72 o 842 120.64/120.75 o 841 120.64/120.79 o 840 120.74/120.82 o 839 120.74/120.85 o 838 120.74/120.88 o 837 120.85/120.91 o 836 120.85/120.94 o 835 120.85/120.97 o 834 120.85/121.00 o 833 120.95/121.03 o 832 120.95/121.06 o 831 120.95/121.09 o 830 121.04/121.12 o 829 121.04/121.15 o 828 121.04/121.18 o 827 121.14/121.21 o 826 121.14/121.24 o 825 121.14/121.27 o 824 121.24/121.30 o 823 121.24/121.33 o 822 121.24/121.36 o 821 121.24/121.39 o 820 121.34/121.42 o 819 121.34/121.45 o 818 121.34/121.48 o 817 121.44/121.53 o 816 121.44/121.56 o 815 121.44/121.60 o 814 121.54/121.63 o 813 121.54/121.66 o 812 121.54/121.69 o 811 121.64/121.72 o 810 121.64/121.75 o 809 121.64/121.78 o 808 121.74/121.81 o 807 121.74/121.84 o 806 121.74/121.87 o 805 121.84/121.90 o 804 121.84/121.93 o 803 121.84/121.96 o 802 121.84/121.99 o 801 121.94/122.02 o 800 121.94/122.05 o 799 121.94/122.08 o 798 122.05/122.11 o 797 122.05/122.14 o 796 122.05/122.17 o 795 122.14/122.20 o 794 122.14/122.23 o 793 122.14/122.26 o 792 122.14/122.29 o 791 122.23/122.31 o 790 122.23/122.34 o 789 122.23/122.37 o 788 122.34/122.40 o 787 122.34/122.43 o 786 122.34/122.45 o 785 122.34/122.48 o 784 122.44/122.51 o 783 122.44/122.57 o 782 122.54/122.60 o 781 122.54/122.63 o 780 122.54/122.66 o 779 122.54/122.69 o 778 122.64/122.72 o 777 122.64/122.75 o 776 122.64/122.78 o 775 122.74/122.80 o 774 122.74/122.83 o 773 122.74/122.86 o 772 122.74/122.89 o 771 122.84/122.92 o 770 122.84/122.95 o 769 122.84/122.98 o 768 122.93/123.01 o 767 122.93/123.03 o 766 122.93/123.06 o 765 122.93/123.09 o 764 123.04/123.12 o 763 123.04/123.15 o 762 123.04/123.18 o 761 123.14/123.21 o 760 123.14/123.23 o 759 123.14/123.26 o 758 123.14/123.29 o 757 123.24/123.32 o 756 123.24/123.35 o 755 123.24/123.37 o 754 123.34/123.40 o 753 123.34/123.43 o 752 123.34/123.45 o 751 123.34/123.48 o 750 123.43/123.51 o 749 123.43/123.53 o 748 123.43/123.56 o 747 123.43/123.59 o 746 123.54/123.61 o 745 123.54/123.64 o 744 123.54/123.67 o 743 123.54/123.69 o 742 123.63/123.72 o 741 123.63/123.75 o 740 123.63/123.77 o 739 123.74/123.80 o 738 123.74/123.82 o 737 123.74/123.85 o 736 123.74/123.88 o 735 123.84/123.90 o 734 123.84/123.93 o 733 123.84/123.95 o 732 123.84/123.98 o 731 123.94/124.01 o 730 123.94/124.03 o 729 123.94/124.06 o 728 123.94/124.08 o 727 124.04/124.11 o 726 124.04/124.13 o 725 124.04/124.16 o 724 124.04/124.19 o 723 124.15/124.21 o 722 124.15/124.24 o 721 124.15/124.26 o 720 124.15/124.29 o 719 124.24/124.31 o 718 124.24/124.34 o 717 124.24/124.37 o 716 124.24/124.39 o 715 124.34/124.41 o 714 124.34/124.44 o 713 124.34/124.47 o 712 124.34/124.49 o 711 124.43/124.52 o 710 124.43/124.54 o 709 124.43/124.57 o 708 124.43/124.59 o 707 124.54/124.61 o 706 124.54/124.64 o 705 124.54/124.66 o 704 124.54/124.69 o 703 124.64/124.71 o 702 124.64/124.74 o 701 124.64/124.76 o 700 124.64/124.79 o 699 124.74/124.81 o 698 124.74/124.84 o 697 124.74/124.86 o 696 124.74/124.89 o 695 124.84/124.91 o 694 124.84/124.94 o 693 124.84/124.96 o 692 124.84/124.99 o 691 124.94/125.01 o 690 124.94/125.03 o 689 124.94/125.06 o 688 124.94/125.08 o 687 125.04/125.11 o 686 125.04/125.13 o 685 125.04/125.15 o 684 125.04/125.18 o 683 125.14/125.20 o 682 125.14/125.23 o 681 125.14/125.25 o 680 125.14/125.27 o 679 125.14/125.30 o 678 125.24/125.32 o 677 125.24/125.34 o 676 125.24/125.37 o 675 125.24/125.39 o 674 125.34/125.42 o 673 125.34/125.44 o 672 125.34/125.46 o 671 125.34/125.48 o 670 125.43/125.51 o 669 125.43/125.53 o 668 125.43/125.56 o 667 125.43/125.58 o 666 125.54/125.60 o 665 125.54/125.62 o 664 125.54/125.65 o 663 125.54/125.67 o 662 125.54/125.69 o 661 125.64/125.72 o 660 125.64/125.74 o 659 125.64/125.76 o 658 125.64/125.78 o 657 125.74/125.81 o 656 125.74/125.83 o 655 125.74/125.85 o 654 125.74/125.87 o 653 125.83/125.90 o 652 125.83/125.92 o 651 125.83/125.94 o 650 125.83/125.97 o 649 125.83/125.99 o 648 125.94/126.01 o 647 125.94/126.03 o 646 125.94/126.06 o 645 125.94/126.08 o 644 126.04/126.10 o 643 126.04/126.12 o 642 126.04/126.14 o 641 126.04/126.17 o 640 126.04/126.19 o 639 126.14/126.21 o 638 126.14/126.23 o 637 126.14/126.26 o 636 126.14/126.28 o 635 126.24/126.30 o 634 126.24/126.32 o 633 126.24/126.34 o 632 126.24/126.37 o 631 126.24/126.39 o 630 126.35/126.41 o 629 126.35/126.43 o 628 126.35/126.45 o 627 126.35/126.47 o 626 126.35/126.50 o 625 126.44/126.52 o 624 126.44/126.54 o 623 126.44/126.56 o 622 126.44/126.58 o 621 126.54/126.61 o 620 126.54/126.63 o 619 126.54/126.65 o 618 126.54/126.67 o 617 126.54/126.69 o 616 126.63/126.71 o 615 126.63/126.73 o 614 126.63/126.75 o 613 126.63/126.78 o 612 126.74/126.80 o 611 126.74/126.82 o 610 126.74/126.84 o 609 126.74/126.86 o 608 126.74/126.88 o 607 126.84/126.90 o 606 126.84/126.92 o 605 126.84/126.95 o 604 126.84/126.97 o 603 126.84/126.99 o 602 126.93/127.01 o 601 126.93/127.03 o 600 126.93/127.05 o 599 126.93/127.07 o 598 126.93/127.09 o 597 127.04/127.11 o 596 127.04/127.14 o 595 127.04/127.16 o 594 127.04/127.18 o 593 127.14/127.20 o 592 127.14/127.22 o 591 127.14/127.24 o 590 127.14/127.26 o 589 127.14/127.28 o 588 127.23/127.30 o 587 127.23/127.32 o 586 127.23/127.34 o 585 127.23/127.36 o 584 127.23/127.38 o 583 127.34/127.40 o 582 127.34/127.42 o 581 127.34/127.44 o 580 127.34/127.46 o 579 127.34/127.48 o 578 127.44/127.50 o 577 127.44/127.53 o 576 127.44/127.55 o 575 127.44/127.57 o 574 127.44/127.59 o 573 127.53/127.61 o 572 127.53/127.63 o 571 127.53/127.65 o 570 127.53/127.67 o 569 127.53/127.69 o 568 127.64/127.71 o 567 127.64/127.73 o 566 127.64/127.75 o 565 127.64/127.77 o 564 127.64/127.79 o 563 127.73/127.81 o 562 127.73/127.83 o 561 127.73/127.85 o 560 127.73/127.87 o 559 127.73/127.89 o 558 127.84/127.91 o 557 127.84/127.93 o 556 127.84/127.94 o 555 127.84/127.96 o 554 127.84/127.98 o 553 127.93/128.00 o 552 127.93/128.02 o 551 127.93/128.04 o 550 127.93/128.06 o 549 127.93/128.08 o 548 128.04/128.10 o 547 128.04/128.12 o 546 128.04/128.14 o 545 128.04/128.16 o 544 128.04/128.18 o 543 128.04/128.20 o 542 128.13/128.21 o 541 128.13/128.23 o 540 128.13/128.25 o 539 128.13/128.27 o 538 128.13/128.29 o 537 128.24/128.31 o 536 128.24/128.33 o 535 128.24/128.35 o 534 128.24/128.37 o 533 128.24/128.39 o 532 128.33/128.41 o 531 128.33/128.42 o 530 128.33/128.44 o 529 128.33/128.46 o 528 128.33/128.48 o 527 128.44/128.50 o 526 128.44/128.52 o 525 128.44/128.54 o 524 128.44/128.55 o 523 128.44/128.57 o 522 128.44/128.59 o 521 128.54/128.61 o 520 128.54/128.63 o 519 128.54/128.65 o 518 128.54/128.67 o 517 128.54/128.68 o 516 128.63/128.70 o 515 128.63/128.72 o 514 128.63/128.74 o 513 128.63/128.76 o 512 128.63/128.78 o 511 128.63/128.79 o 510 128.73/128.81 o 509 128.73/128.83 o 508 128.73/128.85 o 507 128.73/128.87 o 506 128.73/128.88 o 505 128.83/128.90 o 504 128.83/128.92 o 503 128.83/128.94 o 502 128.83/128.96 o 501 128.83/128.97 o 500 128.83/128.99 o 499 128.93/129.01 o 498 128.93/129.03 o 497 128.93/129.04 o 496 128.93/129.06 o 495 128.93/129.08 o 494 129.03/129.10 o 493 129.03/129.12 o 492 129.03/129.13 o 491 129.03/129.15 o 490 129.03/129.17 o 489 129.03/129.19 o 488 129.13/129.20 o 487 129.13/129.22 o 486 129.13/129.24 o 485 129.13/129.26 o 484 129.13/129.27 o 483 129.13/129.29 o 482 129.23/129.31 o 481 129.23/129.33 o 480 129.23/129.34 o 479 129.23/129.36 o 478 129.23/129.38 o 477 129.23/129.39 o 476 129.33/129.41 o 475 129.33/129.43 o 474 129.33/129.45 o 473 129.33/129.46 o 472 129.33/129.48 o 471 129.43/129.50 o 470 129.43/129.51 o 469 129.43/129.53 o 468 129.43/129.55 o 467 129.43/129.57 o 466 129.43/129.58 o 465 129.52/129.60 o 464 129.52/129.62 o 463 129.52/129.63 o 462 129.52/129.65 o 461 129.52/129.67 o 460 129.52/129.68 o 459 129.52/129.70 o 458 129.64/129.72 o 457 129.64/129.73 o 456 129.64/129.75 o 455 129.64/129.77 o 454 129.64/129.78 o 453 129.64/129.80 o 452 129.73/129.82 o 451 129.73/129.83 o 450 129.73/129.85 o 449 129.73/129.86 o 448 129.73/129.88 o 447 129.82/129.90 o 446 129.82/129.91 o 445 129.82/129.93 o 444 129.82/129.95 o 443 129.82/129.96 o 442 129.82/129.98 o 441 129.82/129.99 o 440 129.92/130.01 o 439 129.92/130.03 o 438 129.92/130.04 o 437 129.92/130.06 o 436 129.92/130.07 o 435 129.92/130.09 o 434 130.03/130.11 o 433 130.03/130.12 o 432 130.03/130.14 o 431 130.03/130.15 o 430 130.03/130.17 o 429 130.03/130.19 o 428 130.13/130.20 o 427 130.13/130.22 o 426 130.13/130.25 o 425 130.13/130.26 o 424 130.13/130.28 o 423 130.13/130.29 o 422 130.23/130.31 o 421 130.23/130.33 o 420 130.23/130.34 o 419 130.23/130.36 o 418 130.23/130.37 o 417 130.23/130.39 o 416 130.33/130.40 o 415 130.33/130.42 o 414 130.33/130.44 o 413 130.33/130.45 o 412 130.33/130.47 o 411 130.33/130.48 o 410 130.42/130.50 o 409 130.42/130.51 o 408 130.42/130.53 o 407 130.42/130.54 o 406 130.42/130.56 o 405 130.42/130.57 o 404 130.42/130.59 o 403 130.53/130.60 o 402 130.53/130.62 o 401 130.53/130.63 o 400 130.53/130.65 o 399 130.53/130.66 o 398 130.53/130.68 o 397 130.53/130.69 o 396 130.63/130.71 o 395 130.63/130.72 o 394 130.63/130.74 o 393 130.63/130.75 o 392 130.63/130.77 o 391 130.63/130.78 o 390 130.63/130.80 o 389 130.72/130.81 o 388 130.72/130.83 o 387 130.72/130.84 o 386 130.72/130.85 o 385 130.72/130.87 o 384 130.72/130.88 o 383 130.72/130.89 o 382 130.83/130.91 o 381 130.83/130.92 o 380 130.83/130.94 o 379 130.83/130.95 o 378 130.83/130.96 o 377 130.83/130.98 o 376 130.83/130.99 o 375 130.92/131.00 o 374 130.92/131.02 o 373 130.92/131.03 o 372 130.92/131.04 o 371 130.92/131.06 o 370 130.92/131.07 o 369 130.92/131.08 o 368 130.92/131.09 o 367 131.03/131.11 o 366 131.03/131.12 o 365 131.03/131.13 o 364 131.03/131.15 o 363 131.03/131.16 o 362 131.03/131.17 o 361 131.03/131.19 o 360 131.12/131.20 o 359 131.12/131.21 o 358 131.12/131.22 o 357 131.12/131.24 o 356 131.12/131.25 o 355 131.12/131.26 o 354 131.12/131.28 o 353 131.12/131.29 o 352 131.23/131.30 o 351 131.23/131.31 o 350 131.23/131.33 o 349 131.23/131.34 o 348 131.23/131.35 o 347 131.23/131.36 o 346 131.23/131.37 o 345 131.23/131.39 o 344 131.33/131.40 o 343 131.33/131.41 o 342 131.33/131.42 o 341 131.33/131.44 o 340 131.33/131.45 o 339 131.33/131.46 o 338 131.33/131.47 o 337 131.33/131.48 o 336 131.33/131.50 o 335 131.42/131.51 o 334 131.42/131.52 o 333 131.42/131.53 o 332 131.42/131.54 o 331 131.42/131.56 o 330 131.42/131.57 o 329 131.42/131.58 o 328 131.42/131.59 o 327 131.52/131.60 o 326 131.52/131.61 o 325 131.52/131.63 o 324 131.52/131.64 o 323 131.52/131.65 o 322 131.52/131.66 o 321 131.52/131.67 o 320 131.52/131.68 o 319 131.52/131.69 o 318 131.62/131.71 o 317 131.62/131.72 o 316 131.62/131.73 o 315 131.62/131.74 o 314 131.62/131.75 o 313 131.62/131.76 o 312 131.62/131.77 o 311 131.62/131.78 o 310 131.62/131.80 o 309 131.72/131.81 o 308 131.72/131.82 o 307 131.72/131.83 o 306 131.72/131.84 o 305 131.72/131.85 o 304 131.72/131.86 o 303 131.72/131.87 o 302 131.72/131.88 o 301 131.82/131.91 o 300 131.82/131.92 o 299 131.82/131.93 o 298 131.82/131.94 o 297 131.82/131.95 o 296 131.82/131.97 o 295 131.82/131.98 o 294 131.82/131.99 o 293 131.93/132.00 o 292 131.93/132.01 o 291 131.93/132.03 o 290 131.93/132.04 o 289 131.93/132.05 o 288 131.93/132.06 o 287 131.93/132.07 o 286 131.93/132.08 o 285 131.93/132.10 o 284 132.03/132.11 o 283 132.03/132.12 o 282 132.03/132.13 o 281 132.03/132.14 o 280 132.03/132.15 o 279 132.03/132.16 o 278 132.03/132.18 o 277 132.03/132.19 o 276 132.12/132.20 o 275 132.12/132.21 o 274 132.12/132.22 o 273 132.12/132.23 o 272 132.12/132.24 o 271 132.12/132.25 o 270 132.12/132.27 o 269 132.12/132.28 o 268 132.12/132.29 o 267 132.22/132.30 o 266 132.22/132.31 o 265 132.22/132.32 o 264 132.22/132.33 o 263 132.22/132.34 o 262 132.22/132.35 o 261 132.22/132.36 o 260 132.22/132.37 o 259 132.22/132.38 o 258 132.22/132.39 o 257 132.32/132.40 o 256 132.32/132.41 o 255 132.32/132.42 o 254 132.32/132.43 o 253 132.32/132.44 o 252 132.32/132.44 o 251 132.32/132.45 o 250 132.32/132.46 o 249 132.32/132.47 o 248 132.32/132.48 o 247 132.32/132.49 o 246 132.42/132.50 o 245 132.42/132.51 o 244 132.42/132.52 o 243 132.42/132.53 o 242 132.42/132.54 o 241 132.42/132.55 o 240 132.42/132.56 o 239 132.42/132.57 o 238 132.42/132.58 o 237 132.42/132.59 o 236 132.42/132.60 o 235 132.52/132.60 o 234 132.52/132.61 o 233 132.52/132.62 o 232 132.52/132.63 o 231 132.52/132.64 o 230 132.52/132.65 o 229 132.52/132.66 o 228 132.52/132.67 o 227 132.52/132.68 o 226 132.52/132.69 o 225 132.52/132.70 o 224 132.62/132.71 o 223 132.62/132.71 o 222 132.62/132.72 o 221 132.62/132.73 o 220 132.62/132.74 o 219 132.62/132.75 o 218 132.62/132.76 o 217 132.62/132.77 o 216 132.62/132.78 o 215 132.62/132.79 o 214 132.62/132.79 o 213 132.72/132.80 o 212 132.72/132.81 o 211 132.72/132.82 o 210 132.72/132.83 o 209 132.72/132.84 o 208 132.72/132.85 o 207 132.72/132.85 o 206 132.72/132.86 o 205 132.72/132.87 o 204 132.72/132.88 o 203 132.72/132.89 o 202 132.72/132.89 o 201 132.82/132.90 o 200 132.82/132.91 o 199 132.82/132.92 o 198 132.82/132.93 o 197 132.82/132.93 o 196 132.82/132.94 o 195 132.82/132.95 o 194 132.82/132.96 o 193 132.82/132.96 o 192 132.82/132.97 o 191 132.82/132.98 o 190 132.82/132.99 o 189 132.82/133.00 o 188 132.93/133.00 o 187 132.93/133.01 o 186 132.93/133.02 o 185 132.93/133.03 o 184 132.93/133.03 o 183 132.93/133.04 o 182 132.93/133.05 o 181 132.93/133.05 o 180 132.93/133.06 o 179 132.93/133.07 o 178 132.93/133.07 o 177 132.93/133.08 o 176 132.93/133.09 o 175 132.93/133.10 o 174 133.02/133.10 o 173 133.02/133.11 o 172 133.02/133.12 o 171 133.02/133.13 o 170 133.02/133.14 o 169 133.02/133.14 o 168 133.02/133.15 o 167 133.02/133.16 o 166 133.02/133.17 o 165 133.02/133.17 o 164 133.02/133.18 o 163 133.02/133.19 o 162 133.02/133.20 o 161 133.12/133.20 o 160 133.12/133.21 o 159 133.12/133.22 o 158 133.12/133.22 o 157 133.12/133.23 o 156 133.12/133.24 o 155 133.12/133.25 o 154 133.12/133.25 o 153 133.12/133.26 o 152 133.12/133.27 o 151 133.12/133.27 o 150 133.12/133.28 o 149 133.12/133.29 o 148 133.12/133.29 o 147 133.22/133.30 o 146 133.22/133.31 o 145 133.22/133.31 o 144 133.22/133.32 o 143 133.22/133.33 o 142 133.22/133.33 o 141 133.22/133.34 o 140 133.22/133.34 o 139 133.22/133.35 o 138 133.22/133.35 o 137 133.22/133.36 o 136 133.22/133.36 o 135 133.22/133.37 o 134 133.22/133.37 o 133 133.22/133.38 o 132 133.22/133.38 o 131 133.22/133.39 o 130 133.22/133.39 o 129 133.32/133.40 o 128 133.32/133.41 o 127 133.32/133.41 o 126 133.32/133.42 o 125 133.32/133.42 o 124 133.32/133.43 o 123 133.32/133.43 o 122 133.32/133.44 o 121 133.32/133.44 o 120 133.32/133.45 o 119 133.32/133.45 o 118 133.32/133.45 o 117 133.32/133.46 o 116 133.32/133.46 o 115 133.32/133.47 o 114 133.32/133.47 o 113 133.32/133.48 o 112 133.32/133.48 o 111 133.32/133.49 o 110 133.32/133.49 o 109 133.32/133.50 o 108 133.42/133.50 o 107 133.42/133.50 o 106 133.42/133.51 o 105 133.42/133.51 o 104 133.42/133.52 o 103 133.42/133.52 o 102 133.42/133.53 o 101 133.42/133.53 o 100 133.42/133.54 o 99 133.42/133.54 o 98 133.42/133.54 o 97 133.42/133.55 o 96 133.42/133.55 o 95 133.42/133.56 o 94 133.42/133.56 o 93 133.42/133.56 o 92 133.42/133.57 o 91 133.42/133.57 o 90 133.42/133.58 o 89 133.42/133.58 o 88 133.42/133.58 o 87 133.42/133.59 o 86 133.42/133.59 o 85 133.42/133.60 o 84 133.52/133.60 o 83 133.52/133.60 o 82 133.52/133.61 o 81 133.52/133.61 o 80 133.52/133.62 o 79 133.52/133.62 o 78 133.52/133.62 o 77 133.52/133.63 o 76 133.52/133.63 o 75 133.52/133.63 o 74 133.52/133.64 o 73 133.52/133.64 o 72 133.52/133.64 o 71 133.52/133.64 o 70 133.52/133.65 o 69 133.52/133.65 o 68 133.52/133.65 o 67 133.52/133.66 o 66 133.52/133.66 o 65 133.52/133.66 o 64 133.52/133.67 o 63 133.52/133.67 o 62 133.52/133.67 o 61 133.52/133.67 o 60 133.52/133.68 o 59 133.52/133.68 o 58 133.52/133.68 o 57 133.52/133.68 o 56 133.52/133.69 o 55 133.52/133.69 o 54 133.52/133.69 o 53 133.52/133.69 o 52 133.52/133.70 o 51 133.62/133.70 o 50 133.62/133.70 o 49 133.62/133.70 o 48 133.62/133.71 o 47 133.62/133.71 o 46 133.62/133.71 o 45 133.62/133.71 o 44 133.62/133.71 o 43 133.62/133.72 o 42 133.62/133.72 o 41 133.62/133.72 o 40 133.62/133.72 o 39 133.62/133.72 o 38 133.62/133.73 o 37 133.62/133.73 o 36 133.62/133.73 o 35 133.62/133.73 o 34 133.62/133.73 o 33 133.62/133.73 o 32 133.62/133.74 o 31 133.62/133.74 o 30 133.62/133.75 o 29 152.72/152.83 o 28 1800.08/1800.70 s SATISFIABLE 1800.08/1800.70 v x1 -x10 -x100 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x101 -x1010 -x1011 -x1012 -x1013 -x1014 1800.08/1800.70 v -x1015 -x1016 -x1017 -x1018 -x1019 -x102 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x103 -x1030 1800.08/1800.70 v -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x104 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 1800.08/1800.70 v -x1047 -x1048 -x1049 -x105 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x106 -x1060 -x1061 -x1062 1800.08/1800.70 v -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x107 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 1800.08/1800.70 v -x1079 -x108 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x109 -x1090 -x1091 -x1092 -x1093 -x1094 1800.08/1800.70 v -x1095 -x1096 -x1097 -x1098 -x1099 -x11 -x110 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x111 1800.08/1800.70 v -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x112 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 1800.08/1800.70 v -x1126 -x1127 -x1128 -x1129 -x113 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x114 -x1140 -x1141 1800.08/1800.70 v -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x115 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 1800.08/1800.70 v -x1158 -x1159 -x116 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 x1166 -x1167 -x1168 -x1169 -x117 -x1170 -x1171 -x1172 -x1173 1800.08/1800.70 v -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x118 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 1800.08/1800.70 v -x119 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x12 -x120 -x1200 -x1201 -x1202 -x1203 -x1204 1800.08/1800.70 v -x1205 -x1206 -x1207 -x1208 -x1209 -x121 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x122 -x1220 1800.08/1800.70 v -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x123 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 1800.08/1800.70 v -x1237 -x1238 -x1239 -x124 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x125 -x1250 -x1251 -x1252 1800.08/1800.70 v -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x126 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 1800.08/1800.70 v -x1269 -x127 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x128 -x1280 -x1281 -x1282 -x1283 -x1284 1800.08/1800.70 v -x1285 -x1286 -x1287 -x1288 x1289 -x129 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x13 -x130 1800.08/1800.70 v -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x131 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 1800.08/1800.70 v -x1316 -x1317 -x1318 -x1319 -x132 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 x1329 -x133 -x1330 -x1331 1800.08/1800.70 v -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x134 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 1800.08/1800.70 v -x1348 -x1349 -x135 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x136 -x1360 -x1361 -x1362 -x1363 1800.08/1800.70 v -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x137 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 1800.08/1800.70 v -x138 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x139 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 1800.08/1800.70 v -x1396 -x1397 -x1398 -x1399 -x14 -x140 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x141 -x1410 1800.08/1800.70 v -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x142 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 1800.08/1800.70 v -x1427 -x1428 -x1429 -x143 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x144 -x1440 -x1441 -x1442 1800.08/1800.70 v -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x145 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 1800.08/1800.70 v -x1459 -x146 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x147 -x1470 -x1471 -x1472 -x1473 -x1474 1800.08/1800.70 v -x1475 -x1476 -x1477 -x1478 -x1479 -x148 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x149 -x1490 1800.08/1800.70 v -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x15 -x150 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 1800.08/1800.70 v -x1507 -x1508 -x1509 -x151 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x152 -x1520 -x1521 -x1522 1800.08/1800.70 v -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x153 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 1800.08/1800.70 v -x1539 -x154 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x155 -x1550 -x1551 -x1552 -x1553 -x1554 1800.08/1800.70 v -x1555 -x1556 -x1557 -x1558 -x1559 -x156 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x157 -x1570 1800.08/1800.70 v -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x158 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 1800.08/1800.70 v -x1587 -x1588 -x1589 -x159 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x16 -x160 -x1600 -x1601 1800.08/1800.70 v -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x161 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 1800.08/1800.70 v -x1618 -x1619 -x162 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x163 -x1630 -x1631 -x1632 -x1633 1800.08/1800.70 v -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x164 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 1800.08/1800.70 v -x165 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x166 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 1800.08/1800.70 v -x1666 -x1667 -x1668 -x1669 -x167 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x168 -x1680 -x1681 1800.08/1800.70 v -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x169 -x1690 x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 1800.08/1800.70 v -x1699 -x17 -x170 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x171 -x1710 -x1711 -x1712 -x1713 1800.08/1800.70 v -x1714 -x1715 x1716 -x1717 -x1718 -x1719 -x172 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x173 1800.08/1800.70 v -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x174 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 1800.08/1800.70 v -x1746 -x1747 -x1748 -x1749 -x175 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x176 -x1760 -x1761 1800.08/1800.70 v -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x177 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 1800.08/1800.70 v -x1778 -x1779 -x178 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x179 -x1790 -x1791 -x1792 -x1793 1800.08/1800.70 v -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x18 -x180 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 1800.08/1800.70 v -x181 -x1810 x1811 x1812 x1813 x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x182 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 1800.08/1800.70 v -x1826 -x1827 -x1828 -x1829 -x183 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x184 -x1840 -x1841 1800.08/1800.70 v -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x185 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 1800.08/1800.70 v -x1858 -x1859 -x186 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x187 -x1870 -x1871 -x1872 -x1873 1800.08/1800.70 v -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x188 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 1800.08/1800.70 v -x189 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 x19 -x190 -x1900 -x1901 -x1902 -x1903 -x1904 1800.08/1800.70 v -x1905 -x1906 -x1907 -x1908 -x1909 -x191 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x192 -x1920 1800.08/1800.70 v -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x193 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 1800.08/1800.70 v -x1937 -x1938 -x1939 -x194 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x195 -x1950 -x1951 -x1952 1800.08/1800.70 v -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x196 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 1800.08/1800.70 v -x1969 -x197 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x198 -x1980 -x1981 -x1982 -x1983 -x1984 1800.08/1800.70 v -x1985 -x1986 -x1987 -x1988 -x1989 -x199 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 x2 -x20 1800.08/1800.70 v -x200 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x201 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 1800.08/1800.70 v -x2016 -x2017 -x2018 -x2019 -x202 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x203 -x2030 -x2031 1800.08/1800.70 v -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x204 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 1800.08/1800.70 v -x2048 -x2049 -x205 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x206 -x2060 -x2061 -x2062 -x2063 1800.08/1800.70 v -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x207 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 1800.08/1800.70 v -x208 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x209 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 1800.08/1800.70 v -x2096 -x2097 -x2098 -x2099 -x21 -x210 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x211 -x2110 1800.08/1800.70 v -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x212 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 1800.08/1800.70 v -x2127 -x2128 -x2129 -x213 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x214 -x2140 -x2141 -x2142 1800.08/1800.70 v -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x215 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 1800.08/1800.70 v -x2159 -x216 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x217 -x2170 -x2171 -x2172 -x2173 -x2174 1800.08/1800.70 v -x2175 -x2176 -x2177 -x2178 -x2179 -x218 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x219 -x2190 1800.08/1800.70 v -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x22 -x220 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 1800.08/1800.70 v -x2207 -x2208 -x2209 -x221 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x222 -x2220 -x2221 -x2222 1800.08/1800.70 v -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x223 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 1800.08/1800.70 v -x2239 -x224 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x225 -x2250 -x2251 -x2252 -x2253 -x2254 1800.08/1800.70 v -x2255 -x2256 -x2257 -x2258 -x2259 -x226 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x227 -x2270 1800.08/1800.70 v -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x228 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 1800.08/1800.70 v -x2287 -x2288 -x2289 -x229 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x23 -x230 -x2300 -x2301 1800.08/1800.70 v -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x231 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 1800.08/1800.70 v -x2318 -x2319 -x232 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x233 -x2330 -x2331 -x2332 -x2333 1800.08/1800.70 v -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x234 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 1800.08/1800.70 v -x235 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x236 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 1800.08/1800.70 v -x2366 -x2367 -x2368 -x2369 -x237 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x238 -x2380 -x2381 1800.08/1800.70 v -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x239 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 1800.08/1800.70 v -x2398 -x2399 -x24 -x240 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x241 -x2410 -x2411 -x2412 1800.08/1800.70 v -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x242 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 1800.08/1800.70 v -x2429 -x243 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x244 -x2440 -x2441 -x2442 -x2443 -x2444 1800.08/1800.70 v -x2445 -x2446 -x2447 -x2448 -x2449 -x245 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x246 -x2460 1800.08/1800.70 v -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x247 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 1800.08/1800.70 v -x2477 -x2478 -x2479 -x248 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x249 -x2490 -x2491 -x2492 1800.08/1800.70 v -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x25 -x250 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 1800.08/1800.70 v -x2509 -x251 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x252 -x2520 -x2521 -x2522 -x2523 -x2524 1800.08/1800.70 v -x2525 -x2526 -x2527 -x2528 -x2529 -x253 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x254 -x2540 1800.08/1800.70 v -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x255 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 1800.08/1800.70 v -x2557 -x2558 -x2559 -x256 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x257 -x2570 -x2571 -x2572 1800.08/1800.70 v -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x258 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 1800.08/1800.70 v -x2589 -x259 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x26 -x260 -x2600 -x2601 -x2602 -x2603 1800.08/1800.70 v -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x261 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 1800.08/1800.70 v -x262 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x263 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 1800.08/1800.70 v -x2636 -x2637 -x2638 -x2639 -x264 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x265 -x2650 -x2651 1800.08/1800.70 v -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x266 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 1800.08/1800.70 v -x2668 -x2669 -x267 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x268 -x2680 -x2681 -x2682 -x2683 1800.08/1800.70 v -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x269 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 1800.08/1800.70 v -x27 -x270 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x271 -x2710 -x2711 -x2712 -x2713 -x2714 1800.08/1800.70 v -x2715 -x2716 -x2717 -x2718 -x2719 -x272 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x273 -x2730 1800.08/1800.70 v -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x274 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 1800.08/1800.70 v -x2747 -x2748 -x2749 -x275 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x276 -x2760 -x2761 -x2762 1800.08/1800.70 v -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x277 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 1800.08/1800.70 v -x2779 -x278 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x279 -x2790 -x2791 -x2792 -x2793 -x2794 1800.08/1800.70 v -x2795 -x2796 -x2797 -x2798 -x2799 -x28 -x280 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x281 1800.08/1800.70 v -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x282 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 1800.08/1800.70 v -x2826 -x2827 -x2828 -x2829 -x283 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x284 -x2840 -x2841 1800.08/1800.70 v -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x285 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 1800.08/1800.70 v -x2858 -x2859 -x286 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x287 -x2870 -x2871 -x2872 -x2873 1800.08/1800.70 v -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x288 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 1800.08/1800.70 v -x289 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x29 -x290 -x2900 -x2901 -x2902 -x2903 -x2904 1800.08/1800.70 v -x2905 -x2906 -x2907 -x2908 -x2909 -x291 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x292 -x2920 1800.08/1800.70 v -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x293 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 1800.08/1800.70 v -x2937 -x2938 -x2939 -x294 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x295 -x2950 -x2951 -x2952 1800.08/1800.70 v -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x296 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 1800.08/1800.70 v -x2969 -x297 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x298 -x2980 -x2981 -x2982 -x2983 -x2984 1800.08/1800.70 v -x2985 -x2986 -x2987 -x2988 -x2989 -x299 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 x3 -x30 1800.08/1800.70 v -x300 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x301 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 1800.08/1800.70 v -x3016 -x3017 -x3018 -x3019 -x302 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x303 -x3030 -x3031 1800.08/1800.70 v -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x304 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 1800.08/1800.70 v -x3048 -x3049 -x305 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x306 -x3060 -x3061 -x3062 -x3063 1800.08/1800.70 v -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x307 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 1800.08/1800.70 v -x308 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x309 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 1800.08/1800.70 v -x3096 -x3097 -x3098 -x3099 -x31 -x310 -x3100 -x3101 -x3102 x3103 -x3104 -x3105 x3106 -x3107 x3108 -x3109 -x311 x3110 -x3111 1800.08/1800.70 v -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x312 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 1800.08/1800.70 v -x3128 -x3129 -x313 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x314 -x3140 -x3141 -x3142 -x3143 1800.08/1800.70 v -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x315 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 1800.08/1800.70 v -x316 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x317 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 1800.08/1800.70 v -x3176 -x3177 -x3178 -x3179 -x318 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x319 -x3190 -x3191 1800.08/1800.70 v -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x32 -x320 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 1800.08/1800.70 v -x3208 -x3209 -x321 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x322 -x3220 -x3221 -x3222 -x3223 1800.08/1800.70 v -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x323 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 1800.08/1800.70 v -x324 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x325 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 1800.08/1800.70 v -x3256 -x3257 -x3258 -x3259 -x326 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x327 -x3270 -x3271 1800.08/1800.70 v -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x328 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 1800.08/1800.70 v -x3288 -x3289 -x329 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x33 -x330 -x3300 -x3301 -x3302 1800.08/1800.70 v -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x331 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 1800.08/1800.70 v -x3319 -x332 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x333 -x3330 -x3331 -x3332 -x3333 -x3334 1800.08/1800.70 v -x3335 -x3336 -x3337 -x3338 -x3339 -x334 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x335 -x3350 1800.08/1800.70 v -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x336 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 1800.08/1800.70 v -x3367 -x3368 -x3369 -x337 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x338 -x3380 -x3381 -x3382 1800.08/1800.70 v -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x339 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 1800.08/1800.70 v -x3399 -x34 -x340 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x341 -x3410 -x3411 -x3412 -x3413 1800.08/1800.70 v -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x342 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 1800.08/1800.70 v -x343 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x344 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 1800.08/1800.70 v -x3446 -x3447 -x3448 -x3449 -x345 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x346 -x3460 -x3461 1800.08/1800.70 v -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x347 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 1800.08/1800.70 v -x3478 -x3479 -x348 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x349 -x3490 -x3491 -x3492 -x3493 1800.08/1800.70 v -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x35 -x350 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 1800.08/1800.70 v -x351 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x352 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 1800.08/1800.70 v -x3526 -x3527 -x3528 -x3529 -x353 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x354 -x3540 -x3541 1800.08/1800.70 v -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x355 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 1800.08/1800.70 v -x3558 -x3559 -x356 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x357 -x3570 -x3571 -x3572 -x3573 1800.08/1800.70 v -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x358 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 1800.08/1800.70 v -x359 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x36 -x360 -x3600 -x3601 -x3602 -x3603 -x3604 1800.08/1800.70 v -x3605 -x3606 -x3607 -x3608 -x3609 -x361 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x362 -x3620 1800.08/1800.70 v -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x363 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 1800.08/1800.70 v -x3637 -x3638 -x3639 -x364 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x365 -x3650 -x3651 -x3652 1800.08/1800.70 v -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x366 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 1800.08/1800.70 v -x3669 -x367 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x368 -x3680 -x3681 -x3682 -x3683 -x3684 1800.08/1800.70 v -x3685 -x3686 -x3687 -x3688 -x3689 -x369 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x37 -x370 1800.08/1800.70 v -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x371 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 1800.08/1800.70 v -x3716 -x3717 -x3718 -x3719 -x372 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x373 -x3730 -x3731 1800.08/1800.70 v -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x374 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 1800.08/1800.70 v -x3748 -x3749 -x375 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x376 -x3760 -x3761 -x3762 -x3763 1800.08/1800.70 v -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x377 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 1800.08/1800.70 v -x378 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x379 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 1800.08/1800.70 v -x3796 -x3797 -x3798 -x3799 -x38 -x380 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x381 -x3810 1800.08/1800.70 v -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x382 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 1800.08/1800.70 v -x3827 -x3828 -x3829 -x383 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x384 -x3840 -x3841 -x3842 1800.08/1800.70 v -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x385 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 1800.08/1800.70 v -x3859 -x386 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x387 -x3870 -x3871 -x3872 -x3873 -x3874 1800.08/1800.70 v -x3875 -x3876 -x3877 -x3878 -x3879 -x388 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x389 -x3890 1800.08/1800.70 v -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x39 -x390 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 1800.08/1800.70 v -x3907 -x3908 -x3909 -x391 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x392 -x3920 -x3921 -x3922 1800.08/1800.70 v -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x393 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 1800.08/1800.70 v -x3939 -x394 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x395 -x3950 -x3951 -x3952 -x3953 -x3954 1800.08/1800.70 v -x3955 -x3956 -x3957 -x3958 -x3959 -x396 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x397 -x3970 1800.08/1800.70 v -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x398 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 1800.08/1800.70 v -x3987 -x3988 -x3989 -x399 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 x4 -x40 -x400 -x4000 -x4001 1800.08/1800.70 v -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x401 x4010 -x4011 x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 1800.08/1800.70 v -x4019 -x402 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x403 -x4030 -x4031 -x4032 -x4033 -x4034 1800.08/1800.70 v -x4035 -x4036 -x4037 -x4038 -x4039 -x404 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x405 -x4050 1800.08/1800.70 v -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x406 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 1800.08/1800.70 v -x4067 -x4068 -x4069 -x407 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x408 -x4080 -x4081 -x4082 1800.08/1800.70 v -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x409 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 1800.08/1800.70 v -x4099 -x41 -x410 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x411 -x4110 -x4111 -x4112 -x4113 1800.08/1800.70 v -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x412 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 1800.08/1800.70 v -x413 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x414 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 1800.08/1800.70 v -x4146 -x4147 -x4148 -x4149 -x415 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x416 -x4160 -x4161 1800.08/1800.70 v -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x417 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 1800.08/1800.70 v -x4178 -x4179 -x418 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x419 -x4190 -x4191 -x4192 -x4193 1800.08/1800.70 v -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x42 -x420 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 1800.08/1800.70 v -x421 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x422 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 1800.08/1800.70 v -x4226 -x4227 -x4228 -x4229 -x423 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x424 -x4240 -x4241 1800.08/1800.70 v -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x425 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 1800.08/1800.70 v -x4258 -x4259 -x426 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x427 -x4270 -x4271 -x4272 -x4273 1800.08/1800.70 v -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x428 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 1800.08/1800.70 v -x429 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x43 -x430 -x4300 -x4301 -x4302 -x4303 -x4304 1800.08/1800.70 v -x4305 -x4306 -x4307 -x4308 -x4309 -x431 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x432 -x4320 1800.08/1800.70 v -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x433 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 1800.08/1800.70 v -x4337 -x4338 -x4339 -x434 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x435 -x4350 -x4351 -x4352 1800.08/1800.70 v -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x436 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 1800.08/1800.70 v -x4369 -x437 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x438 -x4380 -x4381 -x4382 -x4383 -x4384 1800.08/1800.70 v -x4385 -x4386 -x4387 -x4388 -x4389 -x439 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x44 -x440 1800.08/1800.70 v -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x441 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 1800.08/1800.70 v -x4416 -x4417 -x4418 -x4419 -x442 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x443 -x4430 -x4431 1800.08/1800.70 v -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x444 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 1800.08/1800.70 v -x4448 -x4449 -x445 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x446 -x4460 -x4461 -x4462 -x4463 1800.08/1800.70 v -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x447 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 1800.08/1800.70 v -x448 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x449 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 1800.08/1800.70 v -x4496 -x4497 -x4498 -x4499 -x45 -x450 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x451 -x4510 1800.08/1800.70 v -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x452 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 1800.08/1800.70 v -x4527 -x4528 -x4529 -x453 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x454 -x4540 -x4541 -x4542 1800.08/1800.70 v -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x455 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 1800.08/1800.70 v -x4559 -x456 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x457 -x4570 -x4571 -x4572 -x4573 -x4574 1800.08/1800.70 v -x4575 -x4576 -x4577 -x4578 -x4579 -x458 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x459 -x4590 1800.08/1800.70 v -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x46 -x460 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 1800.08/1800.70 v -x4607 -x4608 -x4609 -x461 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x462 -x4620 -x4621 -x4622 1800.08/1800.70 v -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x463 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 1800.08/1800.70 v -x4639 -x464 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x465 -x4650 -x4651 -x4652 -x4653 -x4654 1800.08/1800.70 v -x4655 -x4656 -x4657 -x4658 -x4659 -x466 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x467 -x4670 1800.08/1800.70 v -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x468 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 1800.08/1800.70 v -x4687 -x4688 -x4689 -x469 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x47 -x470 -x4700 -x4701 1800.08/1800.70 v -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x471 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 1800.08/1800.70 v -x4718 -x4719 -x472 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x473 -x4730 -x4731 -x4732 -x4733 1800.08/1800.70 v -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x474 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 1800.08/1800.70 v -x475 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x476 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 1800.08/1800.70 v -x4766 -x4767 -x4768 -x4769 -x477 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x478 -x4780 -x4781 1800.08/1800.70 v -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x479 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 1800.08/1800.70 v -x4798 -x4799 -x48 -x480 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x481 -x4810 -x4811 -x4812 1800.08/1800.70 v -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x482 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 1800.08/1800.70 v -x4829 -x483 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x484 -x4840 -x4841 -x4842 -x4843 -x4844 1800.08/1800.70 v -x4845 -x4846 -x4847 -x4848 -x4849 -x485 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x486 -x4860 1800.08/1800.70 v -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x487 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 1800.08/1800.70 v -x4877 -x4878 -x4879 -x488 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x489 -x4890 -x4891 -x4892 1800.08/1800.70 v -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x49 -x490 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 1800.08/1800.70 v -x4909 -x491 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x492 -x4920 -x4921 -x4922 -x4923 -x4924 1800.08/1800.70 v -x4925 -x4926 -x4927 -x4928 -x4929 -x493 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x494 -x4940 1800.08/1800.70 v -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x495 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 1800.08/1800.70 v -x4957 -x4958 -x4959 -x496 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x497 -x4970 -x4971 -x4972 1800.08/1800.70 v -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x498 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 1800.08/1800.70 v -x4989 -x499 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 x5 -x50 -x500 -x5000 -x5001 -x5002 -x5003 1800.08/1800.70 v -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x501 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 1800.08/1800.70 v -x502 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x503 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 1800.08/1800.70 v -x5036 -x5037 -x5038 -x5039 -x504 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x505 -x5050 -x5051 1800.08/1800.70 v -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x506 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 1800.08/1800.70 v -x5068 -x5069 -x507 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x508 -x5080 -x5081 -x5082 -x5083 1800.08/1800.70 v -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x509 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 1800.08/1800.70 v -x51 -x510 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x511 -x5110 -x5111 -x5112 -x5113 -x5114 1800.08/1800.70 v -x5115 -x5116 -x5117 -x5118 -x5119 -x512 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x513 -x5130 1800.08/1800.70 v -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x514 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 1800.08/1800.70 v -x5147 -x5148 -x5149 -x515 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x516 -x5160 -x5161 -x5162 1800.08/1800.70 v -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x517 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 1800.08/1800.70 v -x5179 -x518 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x519 -x5190 -x5191 -x5192 -x5193 -x5194 1800.08/1800.70 v -x5195 -x5196 -x5197 -x5198 -x5199 -x52 -x520 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x521 1800.08/1800.70 v -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x522 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 1800.08/1800.70 v -x5226 -x5227 -x5228 -x5229 -x523 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x524 -x5240 -x5241 1800.08/1800.70 v -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x525 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 1800.08/1800.70 v -x5258 -x5259 -x526 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x527 -x5270 -x5271 -x5272 -x5273 1800.08/1800.70 v -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x528 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 1800.08/1800.70 v -x529 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x53 -x530 -x5300 -x5301 -x5302 -x5303 -x5304 1800.08/1800.70 v -x5305 -x5306 -x5307 -x5308 -x5309 -x531 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x532 -x5320 1800.08/1800.70 v -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x533 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 1800.08/1800.70 v -x5337 -x5338 -x5339 -x534 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x535 -x5350 -x5351 -x5352 1800.08/1800.70 v -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x536 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 1800.08/1800.70 v -x5369 -x537 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x538 -x5380 -x5381 -x5382 -x5383 -x5384 1800.08/1800.70 v -x5385 -x5386 -x5387 -x5388 -x5389 -x539 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x54 -x540 1800.08/1800.70 v -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x541 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 1800.08/1800.70 v -x5416 -x5417 -x5418 -x5419 -x542 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x543 -x5430 -x5431 1800.08/1800.70 v x5432 x5433 x5434 x5435 x5436 -x5437 -x5438 -x5439 -x544 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 1800.08/1800.70 v -x5449 -x545 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x546 -x5460 -x5461 -x5462 -x5463 -x5464 1800.08/1800.70 v -x5465 -x5466 -x5467 -x5468 -x5469 -x547 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x548 -x5480 1800.08/1800.70 v -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x549 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 1800.08/1800.70 v -x5497 -x5498 -x5499 -x55 -x550 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x551 -x5510 -x5511 1800.08/1800.70 v -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x552 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 1800.08/1800.70 v -x5528 -x5529 -x553 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x554 -x5540 -x5541 -x5542 -x5543 1800.08/1800.70 v -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x555 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 1800.08/1800.70 v -x556 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x557 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 1800.08/1800.70 v -x5576 -x5577 -x5578 -x5579 -x558 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x559 -x5590 -x5591 1800.08/1800.70 v -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x56 -x560 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 1800.08/1800.70 v -x5608 -x5609 -x561 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x562 -x5620 -x5621 -x5622 -x5623 1800.08/1800.70 v -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x563 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 1800.08/1800.70 v -x564 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x565 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 1800.08/1800.70 v -x5656 -x5657 -x5658 -x5659 -x566 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x567 -x5670 -x5671 1800.08/1800.70 v -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x568 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 1800.08/1800.70 v -x5688 -x5689 -x569 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x57 -x570 -x5700 -x5701 -x5702 1800.08/1800.70 v -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x571 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 1800.08/1800.70 v -x5719 -x572 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x573 -x5730 -x5731 -x5732 -x5733 -x5734 1800.08/1800.70 v -x5735 -x5736 -x5737 -x5738 -x5739 -x574 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x575 -x5750 1800.08/1800.70 v -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x576 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 1800.08/1800.70 v -x5767 -x5768 -x5769 -x577 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x578 -x5780 -x5781 -x5782 1800.08/1800.70 v -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x579 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 1800.08/1800.70 v -x5799 -x58 -x580 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x581 -x5810 -x5811 -x5812 -x5813 1800.08/1800.70 v -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x582 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 1800.08/1800.70 v -x583 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x584 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 1800.08/1800.70 v -x5846 -x5847 -x5848 -x5849 -x585 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x586 -x5860 -x5861 1800.08/1800.70 v -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x587 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 1800.08/1800.70 v -x5878 -x5879 -x588 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 x5886 -x5887 -x5888 -x5889 -x589 -x5890 -x5891 -x5892 -x5893 1800.08/1800.70 v -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x59 -x590 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 1800.08/1800.70 v -x591 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x592 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 1800.08/1800.70 v -x5926 -x5927 -x5928 -x5929 -x593 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x594 -x5940 -x5941 1800.08/1800.70 v -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x595 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 1800.08/1800.70 v -x5958 -x5959 -x596 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x597 -x5970 -x5971 -x5972 -x5973 1800.08/1800.70 v -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x598 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 1800.08/1800.70 v -x599 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 x6 -x60 -x600 -x6000 -x6001 -x6002 -x6003 -x6004 1800.08/1800.70 v -x6005 -x6006 -x6007 -x6008 -x6009 -x601 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x602 -x6020 1800.08/1800.70 v -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x603 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 1800.08/1800.70 v -x6037 -x6038 -x6039 -x604 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x605 -x6050 -x6051 -x6052 1800.08/1800.70 v -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x606 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 1800.08/1800.70 v -x6069 -x607 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x608 -x6080 -x6081 -x6082 -x6083 -x6084 1800.08/1800.70 v -x6085 -x6086 -x6087 -x6088 -x6089 -x609 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x61 -x610 1800.08/1800.70 v -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x611 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 1800.08/1800.70 v -x6116 -x6117 -x6118 -x6119 -x612 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x613 -x6130 -x6131 1800.08/1800.70 v -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x614 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 1800.08/1800.70 v -x6148 -x6149 -x615 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x616 -x6160 -x6161 -x6162 -x6163 1800.08/1800.70 v -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x617 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 1800.08/1800.70 v -x618 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x619 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 1800.08/1800.70 v -x6196 -x6197 -x6198 -x6199 -x62 -x620 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x621 -x622 -x623 -x624 1800.08/1800.70 v -x625 -x626 -x627 -x628 -x629 -x63 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x64 -x640 -x641 -x642 -x643 1800.08/1800.70 v -x644 -x645 -x646 -x647 -x648 -x649 -x65 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x66 -x660 -x661 -x662 1800.08/1800.70 v -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x67 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x68 -x680 -x681 1800.08/1800.70 v -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x69 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x7 -x70 1800.08/1800.70 v -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x71 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 1800.08/1800.70 v -x72 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x73 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 1800.08/1800.70 v -x739 -x74 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x75 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 1800.08/1800.70 v -x758 -x759 -x76 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x77 -x770 -x771 -x772 -x773 -x774 -x775 -x776 1800.08/1800.70 v -x777 -x778 -x779 -x78 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x79 -x790 -x791 -x792 -x793 -x794 -x795 1800.08/1800.70 v -x796 -x797 -x798 -x799 -x8 -x80 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x81 -x810 -x811 -x812 -x813 1800.08/1800.70 v -x814 -x815 -x816 -x817 -x818 -x819 -x82 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x83 -x830 -x831 -x832 1800.08/1800.70 v -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x84 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x85 -x850 -x851 1800.08/1800.70 v -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x86 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x87 -x870 1800.08/1800.70 v -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x88 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x89 1800.08/1800.70 v -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x9 -x90 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 1800.08/1800.70 v -x909 -x91 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x92 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 1800.08/1800.70 v -x928 -x929 -x93 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x94 -x940 -x941 -x942 -x943 -x944 -x945 -x946 1800.08/1800.70 v -x947 -x948 -x949 -x95 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x96 -x960 -x961 -x962 -x963 -x964 -x965 1800.08/1800.70 v -x966 -x967 -x968 -x969 -x97 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x98 -x980 -x981 -x982 -x983 -x984 1800.08/1800.70 v -x985 -x986 -x987 -x988 -x989 -x99 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999
OK 28
/tmp/evaluation/459079-1178648319/instance-459079-1178648319.opb is already a linear file
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node25/watcher-459079-1178648319 -o ROOT/results/node25/solver-459079-1178648319 -C 1800 -W 3600 -M 1800 --output-limit 1,15 PBS4_SAT07v2 /tmp/evaluation/459079-1178648319/instance-459079-1178648319.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: 0.93 0.97 0.98 3/64 13830 /proc/meminfo: memFree=1930256/2055920 swapFree=4183088/4192956 [pid=13830] ppid=13828 vsize=2192 CPUtime=0 /proc/13830/stat : 13830 (PBS4_SAT07v2) R 13828 13830 12560 0 -1 4194304 332 0 0 0 0 0 0 0 18 0 1 0 312748992 2244608 314 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135006757 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13830/statm: 548 316 84 219 0 325 0 [startup+0.00789607 s] /proc/loadavg: 0.93 0.97 0.98 3/64 13830 /proc/meminfo: memFree=1930256/2055920 swapFree=4183088/4192956 [pid=13830] ppid=13828 vsize=2192 CPUtime=0 /proc/13830/stat : 13830 (PBS4_SAT07v2) R 13828 13830 12560 0 -1 4194304 347 0 0 0 0 0 0 0 18 0 1 0 312748992 2244608 329 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135006757 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13830/statm: 548 330 84 219 0 325 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2192 [startup+0.101913 s] /proc/loadavg: 0.93 0.97 0.98 3/64 13830 /proc/meminfo: memFree=1930256/2055920 swapFree=4183088/4192956 [pid=13830] ppid=13828 vsize=2496 CPUtime=0.09 /proc/13830/stat : 13830 (PBS4_SAT07v2) R 13828 13830 12560 0 -1 4194304 423 0 0 0 9 0 0 0 18 0 1 0 312748992 2555904 405 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134586474 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13830/statm: 624 405 86 219 0 401 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2496 [startup+0.301946 s] /proc/loadavg: 0.93 0.97 0.98 3/64 13830 /proc/meminfo: memFree=1930256/2055920 swapFree=4183088/4192956 [pid=13830] ppid=13828 vsize=2812 CPUtime=0.29 /proc/13830/stat : 13830 (PBS4_SAT07v2) R 13828 13830 12560 0 -1 4194304 525 0 0 0 29 0 0 0 19 0 1 0 312748992 2879488 507 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134798148 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13830/statm: 703 507 86 219 0 480 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 2812 [startup+0.703014 s] /proc/loadavg: 0.93 0.97 0.98 3/64 13830 /proc/meminfo: memFree=1930256/2055920 swapFree=4183088/4192956 [pid=13830] ppid=13828 vsize=4604 CPUtime=0.69 /proc/13830/stat : 13830 (PBS4_SAT07v2) R 13828 13830 12560 0 -1 4194304 769 0 0 0 69 0 0 0 23 0 1 0 312748992 4714496 751 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134793161 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13830/statm: 1151 751 86 219 0 928 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 4604 [startup+1.50115 s] /proc/loadavg: 0.93 0.97 0.98 2/65 13831 /proc/meminfo: memFree=1926856/2055920 swapFree=4183088/4192956 [pid=13830] ppid=13828 vsize=6652 CPUtime=1.49 /proc/13830/stat : 13830 (PBS4_SAT07v2) R 13828 13830 12560 0 -1 4194304 1247 0 0 0 148 1 0 0 25 0 1 0 312748992 6811648 1229 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134530465 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13830/statm: 1663 1229 86 219 0 1440 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 6652 [startup+3.10143 s] /proc/loadavg: 0.93 0.97 0.98 2/65 13831 /proc/meminfo: memFree=1924616/2055920 swapFree=4183088/4192956 [pid=13830] ppid=13828 vsize=6648 CPUtime=3.09 /proc/13830/stat : 13830 (PBS4_SAT07v2) R 13828 13830 12560 0 -1 4194304 1476 0 0 0 305 4 0 0 25 0 1 0 312748992 6807552 1458 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134546122 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13830/statm: 1662 1458 101 219 0 1439 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 6648 [startup+6.30197 s] /proc/loadavg: 1.01 0.99 0.99 2/65 13831 /proc/meminfo: memFree=1924360/2055920 swapFree=4183088/4192956 [pid=13830] ppid=13828 vsize=6648 CPUtime=6.29 /proc/13830/stat : 13830 (PBS4_SAT07v2) R 13828 13830 12560 0 -1 4194304 1476 0 0 0 617 12 0 0 25 0 1 0 312748992 6807552 1458 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13830/statm: 1662 1458 101 219 0 1439 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 6648 [startup+12.7011 s] /proc/loadavg: 1.01 0.99 0.99 2/65 13831 /proc/meminfo: memFree=1924360/2055920 swapFree=4183088/4192956 [pid=13830] ppid=13828 vsize=6648 CPUtime=12.69 /proc/13830/stat : 13830 (PBS4_SAT07v2) R 13828 13830 12560 0 -1 4194304 1476 0 0 0 1243 26 0 0 25 0 1 0 312748992 6807552 1458 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13830/statm: 1662 1458 101 219 0 1439 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 6648 [startup+25.5013 s] /proc/loadavg: 1.01 0.99 0.99 2/65 13831 /proc/meminfo: memFree=1924488/2055920 swapFree=4183088/4192956 [pid=13830] ppid=13828 vsize=6648 CPUtime=25.48 /proc/13830/stat : 13830 (PBS4_SAT07v2) R 13828 13830 12560 0 -1 4194304 1479 0 0 0 2499 49 0 0 25 0 1 0 312748992 6807552 1461 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134546124 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13830/statm: 1662 1461 101 219 0 1439 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 6648 [startup+51.1016 s] /proc/loadavg: 1.00 0.99 0.99 2/65 13831 /proc/meminfo: memFree=1924360/2055920 swapFree=4183088/4192956 [pid=13830] ppid=13828 vsize=6788 CPUtime=51.07 /proc/13830/stat : 13830 (PBS4_SAT07v2) R 13828 13830 12560 0 -1 4194304 1542 0 0 0 5007 100 0 0 25 0 1 0 312748992 6950912 1524 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13830/statm: 1697 1524 102 219 0 1474 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 6788 [startup+102.305 s] /proc/loadavg: 1.00 0.99 0.99 2/65 13831 /proc/meminfo: memFree=1920008/2055920 swapFree=4183088/4192956 [pid=13830] ppid=13828 vsize=11152 CPUtime=102.25 /proc/13830/stat : 13830 (PBS4_SAT07v2) R 13828 13830 12560 0 -1 4194304 2634 0 0 0 9945 280 0 0 25 0 1 0 312748992 11419648 2616 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13830/statm: 2788 2616 102 219 0 2565 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 11152 [startup+162.302 s] /proc/loadavg: 1.00 0.99 0.99 2/65 13831 /proc/meminfo: memFree=1897224/2055920 swapFree=4183088/4192956 [pid=13830] ppid=13828 vsize=39844 CPUtime=162.21 /proc/13830/stat : 13830 (PBS4_SAT07v2) R 13828 13830 12560 0 -1 4194304 8302 0 0 0 15818 403 0 0 25 0 1 0 312748992 40800256 8284 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557331 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13830/statm: 9961 8284 102 219 0 9738 0 Current children cumulated CPU time (s) 162.21 Current children cumulated vsize (KiB) 39844 [startup+222.302 s] /proc/loadavg: 1.00 0.99 0.99 2/65 13831 /proc/meminfo: memFree=1897224/2055920 swapFree=4183088/4192956 [pid=13830] ppid=13828 vsize=39844 CPUtime=222.19 /proc/13830/stat : 13830 (PBS4_SAT07v2) R 13828 13830 12560 0 -1 4194304 8303 0 0 0 21816 403 0 0 25 0 1 0 312748992 40800256 8285 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13830/statm: 9961 8285 102 219 0 9738 0 Current children cumulated CPU time (s) 222.19 Current children cumulated vsize (KiB) 39844 [startup+282.301 s] /proc/loadavg: 1.00 0.99 0.99 2/65 13831 /proc/meminfo: memFree=1897224/2055920 swapFree=4183088/4192956 [pid=13830] ppid=13828 vsize=39844 CPUtime=282.17 /proc/13830/stat : 13830 (PBS4_SAT07v2) R 13828 13830 12560 0 -1 4194304 8306 0 0 0 27814 403 0 0 25 0 1 0 312748992 40800256 8288 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13830/statm: 9961 8288 102 219 0 9738 0 Current children cumulated CPU time (s) 282.17 Current children cumulated vsize (KiB) 39844 [startup+342.301 s] /proc/loadavg: 1.00 0.99 0.99 2/65 13831 /proc/meminfo: memFree=1897160/2055920 swapFree=4183088/4192956 [pid=13830] ppid=13828 vsize=39844 CPUtime=342.15 /proc/13830/stat : 13830 (PBS4_SAT07v2) R 13828 13830 12560 0 -1 4194304 8309 0 0 0 33812 403 0 0 25 0 1 0 312748992 40800256 8291 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557295 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13830/statm: 9961 8291 102 219 0 9738 0 Current children cumulated CPU time (s) 342.15 Current children cumulated vsize (KiB) 39844 [startup+402.302 s] /proc/loadavg: 1.00 0.99 0.99 2/65 13831 /proc/meminfo: memFree=1897160/2055920 swapFree=4183088/4192956 [pid=13830] ppid=13828 vsize=40024 CPUtime=402.13 /proc/13830/stat : 13830 (PBS4_SAT07v2) R 13828 13830 12560 0 -1 4194304 8314 0 0 0 39810 403 0 0 25 0 1 0 312748992 40984576 8296 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557348 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13830/statm: 10006 8296 102 219 0 9783 0 Current children cumulated CPU time (s) 402.13 Current children cumulated vsize (KiB) 40024 [startup+462.302 s] /proc/loadavg: 1.00 0.99 0.99 2/65 13831 /proc/meminfo: memFree=1897160/2055920 swapFree=4183088/4192956 [pid=13830] ppid=13828 vsize=40024 CPUtime=462.11 /proc/13830/stat : 13830 (PBS4_SAT07v2) R 13828 13830 12560 0 -1 4194304 8318 0 0 0 45808 403 0 0 25 0 1 0 312748992 40984576 8300 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557308 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13830/statm: 10006 8300 102 219 0 9783 0 Current children cumulated CPU time (s) 462.11 Current children cumulated vsize (KiB) 40024 [startup+522.301 s] /proc/loadavg: 1.00 0.99 0.99 2/65 13831 /proc/meminfo: memFree=1897096/2055920 swapFree=4183088/4192956 [pid=13830] ppid=13828 vsize=40024 CPUtime=522.09 /proc/13830/stat : 13830 (PBS4_SAT07v2) R 13828 13830 12560 0 -1 4194304 8321 0 0 0 51806 403 0 0 25 0 1 0 312748992 40984576 8303 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557292 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13830/statm: 10006 8303 102 219 0 9783 0 Current children cumulated CPU time (s) 522.09 Current children cumulated vsize (KiB) 40024 [startup+582.302 s] /proc/loadavg: 1.00 0.99 0.99 2/65 13831 /proc/meminfo: memFree=1897096/2055920 swapFree=4183088/4192956 [pid=13830] ppid=13828 vsize=44120 CPUtime=582.08 /proc/13830/stat : 13830 (PBS4_SAT07v2) R 13828 13830 12560 0 -1 4194304 8324 0 0 0 57804 404 0 0 25 0 1 0 312748992 45178880 8306 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13830/statm: 11030 8306 102 219 0 10807 0 Current children cumulated CPU time (s) 582.08 Current children cumulated vsize (KiB) 44120 [startup+642.302 s] /proc/loadavg: 1.00 0.99 0.99 2/65 13831 /proc/meminfo: memFree=1897096/2055920 swapFree=4183088/4192956 [pid=13830] ppid=13828 vsize=44120 CPUtime=642.06 /proc/13830/stat : 13830 (PBS4_SAT07v2) R 13828 13830 12560 0 -1 4194304 8329 0 0 0 63802 404 0 0 25 0 1 0 312748992 45178880 8311 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557314 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13830/statm: 11030 8311 102 219 0 10807 0 Current children cumulated CPU time (s) 642.06 Current children cumulated vsize (KiB) 44120 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.00 0.99 0.99 2/65 13831 /proc/meminfo: memFree=1896776/2055920 swapFree=4183088/4192956 [pid=13830] ppid=13828 vsize=44120 CPUtime=881.98 /proc/13830/stat : 13830 (PBS4_SAT07v2) R 13828 13830 12560 0 -1 4194304 8367 0 0 0 87794 404 0 0 25 0 1 0 312748992 45178880 8349 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557444 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13830/statm: 11030 8349 102 219 0 10807 0 Current children cumulated CPU time (s) 881.98 Current children cumulated vsize (KiB) 44120 [startup+942.301 s] /proc/loadavg: 1.00 0.99 0.99 2/65 13831 /proc/meminfo: memFree=1896712/2055920 swapFree=4183088/4192956 [pid=13830] ppid=13828 vsize=44280 CPUtime=941.96 /proc/13830/stat : 13830 (PBS4_SAT07v2) R 13828 13830 12560 0 -1 4194304 8385 0 0 0 93792 404 0 0 25 0 1 0 312748992 45342720 8367 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557314 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13830/statm: 11070 8367 102 219 0 10847 0 Current children cumulated CPU time (s) 941.96 Current children cumulated vsize (KiB) 44280 [startup+1002.3 s] /proc/loadavg: 1.00 0.99 0.99 2/65 13831 /proc/meminfo: memFree=1896520/2055920 swapFree=4183088/4192956 [pid=13830] ppid=13828 vsize=44424 CPUtime=1001.94 /proc/13830/stat : 13830 (PBS4_SAT07v2) R 13828 13830 12560 0 -1 4194304 8432 0 0 0 99790 404 0 0 25 0 1 0 312748992 45490176 8414 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13830/statm: 11106 8414 102 219 0 10883 0 Current children cumulated CPU time (s) 1001.94 Current children cumulated vsize (KiB) 44424 [startup+1062.3 s] /proc/loadavg: 1.00 0.99 0.99 2/65 13831 /proc/meminfo: memFree=1896520/2055920 swapFree=4183088/4192956 [pid=13830] ppid=13828 vsize=44424 CPUtime=1061.92 /proc/13830/stat : 13830 (PBS4_SAT07v2) R 13828 13830 12560 0 -1 4194304 8435 0 0 0 105788 404 0 0 25 0 1 0 312748992 45490176 8417 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557339 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13830/statm: 11106 8417 102 219 0 10883 0 Current children cumulated CPU time (s) 1061.92 Current children cumulated vsize (KiB) 44424 [startup+1122.3 s] /proc/loadavg: 1.00 0.99 0.99 2/65 13831 /proc/meminfo: memFree=1896456/2055920 swapFree=4183088/4192956 [pid=13830] ppid=13828 vsize=44424 CPUtime=1121.9 /proc/13830/stat : 13830 (PBS4_SAT07v2) R 13828 13830 12560 0 -1 4194304 8437 0 0 0 111786 404 0 0 25 0 1 0 312748992 45490176 8419 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13830/statm: 11106 8419 102 219 0 10883 0 Current children cumulated CPU time (s) 1121.9 Current children cumulated vsize (KiB) 44424 [startup+1182.3 s] /proc/loadavg: 1.00 0.99 0.99 2/65 13831 /proc/meminfo: memFree=1896456/2055920 swapFree=4183088/4192956 [pid=13830] ppid=13828 vsize=44424 CPUtime=1181.88 /proc/13830/stat : 13830 (PBS4_SAT07v2) R 13828 13830 12560 0 -1 4194304 8440 0 0 0 117783 405 0 0 25 0 1 0 312748992 45490176 8422 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13830/statm: 11106 8422 102 219 0 10883 0 Current children cumulated CPU time (s) 1181.88 Current children cumulated vsize (KiB) 44424 [startup+1242.3 s] /proc/loadavg: 1.00 0.99 0.99 2/65 13831 /proc/meminfo: memFree=1896264/2055920 swapFree=4183088/4192956 [pid=13830] ppid=13828 vsize=44424 CPUtime=1241.86 /proc/13830/stat : 13830 (PBS4_SAT07v2) R 13828 13830 12560 0 -1 4194304 8443 0 0 0 123781 405 0 0 25 0 1 0 312748992 45490176 8425 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557375 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13830/statm: 11106 8425 102 219 0 10883 0 Current children cumulated CPU time (s) 1241.86 Current children cumulated vsize (KiB) 44424 [startup+1302.3 s] /proc/loadavg: 1.00 0.99 0.99 2/65 13831 /proc/meminfo: memFree=1896200/2055920 swapFree=4183088/4192956 [pid=13830] ppid=13828 vsize=44560 CPUtime=1301.85 /proc/13830/stat : 13830 (PBS4_SAT07v2) R 13828 13830 12560 0 -1 4194304 8457 0 0 0 129780 405 0 0 25 0 1 0 312748992 45629440 8439 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557316 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13830/statm: 11140 8439 102 219 0 10917 0 Current children cumulated CPU time (s) 1301.85 Current children cumulated vsize (KiB) 44560 [startup+1362.3 s] /proc/loadavg: 1.00 0.99 0.99 2/65 13831 /proc/meminfo: memFree=1896200/2055920 swapFree=4183088/4192956 [pid=13830] ppid=13828 vsize=44560 CPUtime=1361.82 /proc/13830/stat : 13830 (PBS4_SAT07v2) R 13828 13830 12560 0 -1 4194304 8459 0 0 0 135777 405 0 0 25 0 1 0 312748992 45629440 8441 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13830/statm: 11140 8441 102 219 0 10917 0 Current children cumulated CPU time (s) 1361.82 Current children cumulated vsize (KiB) 44560 [startup+1422.31 s] /proc/loadavg: 1.00 0.99 0.99 2/65 13833 /proc/meminfo: memFree=1896008/2055920 swapFree=4183088/4192956 [pid=13830] ppid=13828 vsize=44560 CPUtime=1421.81 /proc/13830/stat : 13830 (PBS4_SAT07v2) R 13828 13830 12560 0 -1 4194304 8484 0 0 0 141776 405 0 0 25 0 1 0 312748992 45629440 8466 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557448 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13830/statm: 11140 8466 102 219 0 10917 0 Current children cumulated CPU time (s) 1421.81 Current children cumulated vsize (KiB) 44560 [startup+1482.3 s] /proc/loadavg: 1.00 0.99 0.99 2/65 13833 /proc/meminfo: memFree=1895944/2055920 swapFree=4183088/4192956 [pid=13830] ppid=13828 vsize=44560 CPUtime=1481.78 /proc/13830/stat : 13830 (PBS4_SAT07v2) R 13828 13830 12560 0 -1 4194304 8494 0 0 0 147773 405 0 0 25 0 1 0 312748992 45629440 8476 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557375 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13830/statm: 11140 8476 102 219 0 10917 0 Current children cumulated CPU time (s) 1481.78 Current children cumulated vsize (KiB) 44560 [startup+1542.3 s] /proc/loadavg: 1.00 0.99 0.99 2/65 13833 /proc/meminfo: memFree=1896008/2055920 swapFree=4183088/4192956 [pid=13830] ppid=13828 vsize=44560 CPUtime=1541.76 /proc/13830/stat : 13830 (PBS4_SAT07v2) R 13828 13830 12560 0 -1 4194304 8498 0 0 0 153771 405 0 0 25 0 1 0 312748992 45629440 8480 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13830/statm: 11140 8480 102 219 0 10917 0 Current children cumulated CPU time (s) 1541.76 Current children cumulated vsize (KiB) 44560 [startup+1602.3 s] /proc/loadavg: 1.00 0.99 0.99 2/65 13833 /proc/meminfo: memFree=1896008/2055920 swapFree=4183088/4192956 [pid=13830] ppid=13828 vsize=44560 CPUtime=1601.74 /proc/13830/stat : 13830 (PBS4_SAT07v2) R 13828 13830 12560 0 -1 4194304 8501 0 0 0 159769 405 0 0 25 0 1 0 312748992 45629440 8483 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557314 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13830/statm: 11140 8483 102 219 0 10917 0 Current children cumulated CPU time (s) 1601.74 Current children cumulated vsize (KiB) 44560 [startup+1662.3 s] /proc/loadavg: 1.00 0.99 0.99 2/65 13833 /proc/meminfo: memFree=1895880/2055920 swapFree=4183088/4192956 [pid=13830] ppid=13828 vsize=44704 CPUtime=1661.72 /proc/13830/stat : 13830 (PBS4_SAT07v2) R 13828 13830 12560 0 -1 4194304 8538 0 0 0 165767 405 0 0 25 0 1 0 312748992 45776896 8520 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13830/statm: 11176 8520 102 219 0 10953 0 Current children cumulated CPU time (s) 1661.72 Current children cumulated vsize (KiB) 44704 [startup+1722.3 s] /proc/loadavg: 1.00 0.99 0.99 2/65 13833 /proc/meminfo: memFree=1895752/2055920 swapFree=4183088/4192956 [pid=13830] ppid=13828 vsize=44864 CPUtime=1721.7 /proc/13830/stat : 13830 (PBS4_SAT07v2) R 13828 13830 12560 0 -1 4194304 8556 0 0 0 171765 405 0 0 25 0 1 0 312748992 45940736 8538 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13830/statm: 11216 8538 102 219 0 10993 0 Current children cumulated CPU time (s) 1721.7 Current children cumulated vsize (KiB) 44864 [startup+1782.3 s] /proc/loadavg: 1.08 1.00 0.99 2/65 13833 /proc/meminfo: memFree=1895560/2055920 swapFree=4183088/4192956 [pid=13830] ppid=13828 vsize=45012 CPUtime=1781.68 /proc/13830/stat : 13830 (PBS4_SAT07v2) R 13828 13830 12560 0 -1 4194304 8584 0 0 0 177763 405 0 0 25 0 1 0 312748992 46092288 8566 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557362 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13830/statm: 11253 8566 102 219 0 11030 0 Current children cumulated CPU time (s) 1781.68 Current children cumulated vsize (KiB) 45012 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.06 1.00 0.99 2/65 13833 /proc/meminfo: memFree=1895496/2055920 swapFree=4183088/4192956 [pid=13830] ppid=13828 vsize=45012 CPUtime=1800.08 /proc/13830/stat : 13830 (PBS4_SAT07v2) R 13828 13830 12560 0 -1 4194304 8597 0 0 0 179603 405 0 0 25 0 1 0 312748992 46092288 8579 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557301 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13830/statm: 11253 8579 102 219 0 11030 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 45012 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.06 1.00 0.99 2/65 13833 /proc/meminfo: memFree=1895496/2055920 swapFree=4183088/4192956 [pid=13830] ppid=13828 vsize=45012 CPUtime=1800.08 /proc/13830/stat : 13830 (PBS4_SAT07v2) R 13828 13830 12560 0 -1 4194304 8597 0 0 0 179603 405 0 0 25 0 1 0 312748992 46092288 8579 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557301 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13830/statm: 11253 8579 102 219 0 11030 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 45012 Child status: 0 Real time (s): 1800.72 CPU time (s): 1800.11 CPU user time (s): 1796.04 CPU system time (s): 4.06438 CPU usage (%): 99.9659 Max. virtual memory (cumulated for all children) (KiB): 45012 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.04 system time used= 4.06438 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 8600 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= 9 involuntary context switches= 4002 runsolver used 1.36179 second user time and 3.61145 second system time The end
Begin job on node25 on Tue May 8 18:18:39 UTC 2007 IDJOB= 459079 IDBENCH= 2850 IDSOLVER= 200 FILE ID= node25/459079-1178648319 PBS_JOBID= 5218336 Free space on /tmp= 66558 MiB SOLVER NAME= PBS4_v2 2007-03-23 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-saucier.r.opb COMMAND LINE= PBS4_SAT07v2 /tmp/evaluation/459079-1178648319/instance-459079-1178648319.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node25/convwatcher-459079-1178648319 -o ROOT/results/node25/conversion-459079-1178648319 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/459079-1178648319/instance-459079-1178648319.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node25/watcher-459079-1178648319 -o ROOT/results/node25/solver-459079-1178648319 -C 1800 -W 3600 -M 1800 --output-limit 1,15 PBS4_SAT07v2 /tmp/evaluation/459079-1178648319/instance-459079-1178648319.opb META MD5SUM SOLVER= 18cd8c68a4d3bfb01f29079966475a33 MD5SUM BENCH= aa80468537d69826ea16800f352007ec RANDOM SEED= 191074585 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node25.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.261 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.261 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: 1930664 kB Buffers: 4488 kB Cached: 33664 kB SwapCached: 3804 kB Active: 33208 kB Inactive: 14660 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1930664 kB SwapTotal: 4192956 kB SwapFree: 4183088 kB Dirty: 6616 kB Writeback: 0 kB Mapped: 15848 kB Slab: 63416 kB Committed_AS: 8381060 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= 66558 MiB End job on node25 on Tue May 8 18:48:42 UTC 2007