Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS4 2007-03-23 | No Cert. | 1800.09 | 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/354642-1176721084/instance-354642-1176721084.opb ...... 1.99/2.04 c done parsing opb. 1.99/2.04 o 6207 2.19/2.25 o 6206 2.40/2.46 o 6205 2.59/2.68 o 6204 2.79/2.89 o 6203 3.09/3.10 o 6202 3.29/3.31 o 6201 3.49/3.53 o 6200 3.69/3.74 o 6199 3.90/3.95 o 6198 4.09/4.16 o 6197 4.30/4.37 o 6196 4.49/4.59 o 6195 4.79/4.80 o 6194 4.99/5.01 o 6193 5.19/5.22 o 6192 5.40/5.44 o 6191 5.59/5.65 o 6190 5.79/5.86 o 6189 5.99/6.07 o 6188 6.19/6.28 o 6187 6.39/6.50 o 6186 6.69/6.71 o 6185 6.89/6.92 o 6184 7.09/7.13 o 6183 7.29/7.34 o 6182 7.49/7.55 o 6181 7.69/7.77 o 6180 7.89/7.98 o 6179 8.09/8.19 o 6178 8.39/8.40 o 6177 8.59/8.61 o 6176 8.80/8.82 o 6175 8.99/9.04 o 6174 9.19/9.25 o 6173 9.39/9.46 o 6172 9.59/9.67 o 6171 9.79/9.88 o 6170 9.99/10.09 o 6169 10.28/10.30 o 6168 10.49/10.51 o 6167 10.69/10.72 o 6166 10.90/10.93 o 6165 11.09/11.14 o 6164 11.29/11.35 o 6163 11.49/11.56 o 6162 11.69/11.77 o 6161 11.89/11.98 o 6160 12.10/12.18 o 6159 12.29/12.39 o 6158 12.59/12.60 o 6157 12.79/12.81 o 6156 12.99/13.02 o 6155 13.19/13.23 o 6154 13.39/13.44 o 6153 13.58/13.65 o 6152 13.79/13.85 o 6151 13.99/14.06 o 6150 14.19/14.27 o 6149 14.39/14.48 o 6148 14.58/14.69 o 6147 14.89/14.90 o 6146 15.08/15.11 o 6145 15.29/15.31 o 6144 15.48/15.52 o 6143 15.69/15.73 o 6142 15.89/15.94 o 6141 16.09/16.14 o 6140 16.29/16.35 o 6139 16.49/16.56 o 6138 16.69/16.77 o 6137 16.89/16.98 o 6136 17.08/17.18 o 6135 17.29/17.39 o 6134 17.49/17.60 o 6133 17.78/17.81 o 6132 17.99/18.01 o 6131 18.18/18.22 o 6130 18.38/18.43 o 6129 18.59/18.64 o 6128 18.78/18.84 o 6127 18.99/19.05 o 6126 19.18/19.26 o 6125 19.39/19.47 o 6124 19.59/19.67 o 6123 19.79/19.88 o 6122 19.99/20.09 o 6121 20.29/20.30 o 6120 20.48/20.51 o 6119 20.68/20.72 o 6118 20.89/20.93 o 6117 21.09/21.13 o 6116 21.28/21.34 o 6115 21.48/21.55 o 6114 21.69/21.76 o 6113 21.89/21.97 o 6112 22.08/22.18 o 6111 22.28/22.39 o 6110 22.59/22.60 o 6109 22.78/22.81 o 6108 22.99/23.02 o 6107 23.18/23.22 o 6106 23.39/23.43 o 6105 23.59/23.64 o 6104 23.78/23.85 o 6103 23.99/24.06 o 6102 24.19/24.27 o 6101 24.38/24.48 o 6100 24.59/24.69 o 6099 24.78/24.89 o 6098 25.09/25.10 o 6097 25.29/25.31 o 6096 25.49/25.52 o 6095 25.68/25.73 o 6094 25.89/25.94 o 6093 26.09/26.15 o 6092 26.29/26.35 o 6091 26.49/26.56 o 6090 26.68/26.77 o 6089 26.89/26.98 o 6088 27.08/27.19 o 6087 27.29/27.40 o 6086 27.59/27.60 o 6085 27.78/27.81 o 6084 27.99/28.02 o 6083 28.18/28.23 o 6082 28.38/28.44 o 6081 28.59/28.65 o 6080 28.78/28.85 o 6079 28.98/29.06 o 6078 29.19/29.27 o 6077 29.38/29.48 o 6076 29.59/29.69 o 6075 29.78/29.89 o 6074 30.09/30.10 o 6073 30.28/30.31 o 6072 30.49/30.51 o 6071 30.68/30.72 o 6070 30.88/30.92 o 6069 31.09/31.13 o 6068 31.28/31.34 o 6067 31.48/31.54 o 6066 31.69/31.75 o 6065 31.89/31.95 o 6064 32.08/32.16 o 6063 32.28/32.37 o 6062 32.48/32.57 o 6061 32.69/32.78 o 6060 32.88/32.98 o 6059 33.09/33.19 o 6058 33.28/33.40 o 6057 33.59/33.60 o 6056 33.78/33.81 o 6055 33.98/34.01 o 6054 34.19/34.22 o 6053 34.38/34.42 o 6052 34.58/34.63 o 6051 34.78/34.83 o 6050 34.98/35.04 o 6049 35.18/35.25 o 6048 35.38/35.45 o 6047 35.58/35.66 o 6046 35.78/35.86 o 6045 35.98/36.07 o 6044 36.19/36.27 o 6043 36.38/36.48 o 6042 36.59/36.68 o 6041 36.78/36.89 o 6040 36.98/37.09 o 6039 37.28/37.30 o 6038 37.48/37.50 o 6037 37.68/37.71 o 6036 37.88/37.91 o 6035 38.08/38.12 o 6034 38.28/38.32 o 6033 38.49/38.53 o 6032 38.68/38.73 o 6031 38.89/38.94 o 6030 39.08/39.14 o 6029 39.28/39.34 o 6028 39.49/39.55 o 6027 39.68/39.75 o 6026 39.89/39.96 o 6025 40.08/40.16 o 6024 40.28/40.37 o 6023 40.48/40.58 o 6022 40.69/40.78 o 6021 40.88/40.99 o 6020 41.08/41.19 o 6019 41.38/41.40 o 6018 41.58/41.61 o 6017 41.79/41.81 o 6016 41.98/42.02 o 6015 42.18/42.22 o 6014 42.38/42.43 o 6013 42.58/42.63 o 6012 42.78/42.84 o 6011 42.98/43.04 o 6010 43.18/43.25 o 6009 43.38/43.45 o 6008 43.58/43.66 o 6007 43.78/43.86 o 6006 43.98/44.07 o 6005 44.18/44.27 o 6004 44.38/44.48 o 6003 44.58/44.68 o 6002 44.78/44.89 o 6001 44.98/45.09 o 6000 45.18/45.30 o 5999 45.48/45.50 o 5998 45.68/45.71 o 5997 45.88/45.91 o 5986 46.08/46.12 o 5966 46.28/46.32 o 5965 46.48/46.52 o 5964 46.68/46.73 o 5963 46.88/46.93 o 5962 47.08/47.13 o 5961 47.28/47.34 o 5960 47.48/47.54 o 5959 47.68/47.74 o 5958 47.88/47.95 o 5957 48.08/48.15 o 5956 48.28/48.35 o 5955 48.48/48.55 o 5954 48.68/48.76 o 5953 48.88/48.96 o 5952 49.08/49.16 o 5951 49.28/49.36 o 5950 49.48/49.57 o 5949 49.68/49.77 o 5948 49.88/49.97 o 5947 50.08/50.17 o 5946 50.28/50.37 o 5945 50.48/50.57 o 5944 50.68/50.77 o 5943 50.88/50.97 o 5942 51.08/51.17 o 5941 51.27/51.38 o 5940 51.47/51.58 o 5939 51.68/51.78 o 5938 51.88/51.98 o 5937 52.07/52.18 o 5936 52.28/52.38 o 5935 52.48/52.58 o 5934 52.68/52.78 o 5887 52.88/52.98 o 5886 53.08/53.17 o 5875 53.28/53.37 o 5872 53.48/53.57 o 5871 53.68/53.77 o 5870 53.88/53.97 o 5869 54.08/54.16 o 5868 54.28/54.36 o 5867 54.47/54.56 o 5866 54.68/54.76 o 5865 54.88/54.96 o 5864 55.08/55.15 o 5863 55.28/55.35 o 5862 55.48/55.55 o 5861 55.67/55.75 o 5860 55.88/55.94 o 5859 56.08/56.14 o 5858 56.28/56.34 o 5857 56.48/56.54 o 5856 56.68/56.73 o 5855 56.87/56.93 o 5854 57.08/57.13 o 5853 57.27/57.32 o 5852 57.48/57.52 o 5851 57.67/57.72 o 5850 57.88/57.91 o 5849 58.08/58.11 o 5848 58.28/58.31 o 5847 58.48/58.50 o 5846 58.68/58.70 o 5845 58.87/58.90 o 5844 58.97/59.09 o 5843 59.17/59.29 o 5842 59.38/59.49 o 5841 59.58/59.68 o 5840 59.77/59.88 o 5839 59.98/60.08 o 5838 60.17/60.28 o 5837 60.38/60.47 o 5836 60.57/60.67 o 5835 60.78/60.80 o 3057 60.88/60.91 o 3056 60.98/61.02 o 3055 61.07/61.12 o 3054 61.18/61.23 o 3053 61.27/61.34 o 3052 61.37/61.45 o 3051 61.48/61.56 o 3050 61.58/61.66 o 3046 61.68/61.77 o 3045 61.78/61.88 o 3044 61.87/61.99 o 3043 62.07/62.10 o 3042 62.18/62.21 o 3041 62.28/62.32 o 3031 62.37/62.42 o 3030 62.48/62.53 o 3029 62.57/62.64 o 3028 62.68/62.75 o 3027 62.78/62.85 o 3026 62.87/62.96 o 3025 62.98/63.07 o 3024 63.08/63.17 o 3023 63.18/63.28 o 3022 63.27/63.39 o 3021 63.37/63.49 o 3020 63.57/63.60 o 3019 63.68/63.71 o 3018 63.78/63.81 o 3017 63.87/63.92 o 3016 63.98/64.03 o 3015 64.07/64.14 o 3014 64.17/64.24 o 3013 64.27/64.35 o 3012 64.38/64.46 o 3011 64.48/64.56 o 3010 64.57/64.67 o 3009 64.68/64.78 o 3008 64.78/64.88 o 3007 64.88/64.99 o 3006 64.97/65.09 o 3005 65.17/65.20 o 3004 65.28/65.31 o 3003 65.37/65.41 o 3002 65.47/65.52 o 3001 65.57/65.63 o 3000 65.68/65.73 o 2999 65.77/65.84 o 2998 65.88/65.95 o 2997 65.97/66.05 o 2996 66.08/66.16 o 2995 66.17/66.27 o 2994 66.28/66.37 o 2993 66.38/66.48 o 2992 66.47/66.59 o 2991 66.58/66.69 o 2990 66.77/66.80 o 2989 66.88/66.90 o 2988 66.98/67.01 o 2987 67.08/67.11 o 2986 67.17/67.22 o 2985 67.27/67.33 o 2984 67.38/67.43 o 2983 67.47/67.53 o 2982 67.57/67.64 o 2981 67.67/67.75 o 2980 67.78/67.85 o 2979 67.87/67.96 o 2978 67.97/68.06 o 2977 68.07/68.17 o 2976 68.18/68.27 o 2975 68.27/68.38 o 2974 68.38/68.49 o 2973 68.48/68.59 o 2972 68.67/68.70 o 2971 68.78/68.80 o 2970 68.88/68.91 o 2969 68.97/69.01 o 2968 69.08/69.12 o 2967 69.18/69.23 o 2966 69.28/69.33 o 2965 69.37/69.44 o 2964 69.47/69.54 o 2963 69.58/69.64 o 2962 69.67/69.75 o 2961 69.77/69.85 o 2960 69.88/69.96 o 2959 69.97/70.06 o 2958 70.07/70.17 o 2957 70.18/70.27 o 2956 70.28/70.37 o 2955 70.38/70.48 o 2954 70.47/70.58 o 2953 70.58/70.68 o 2952 70.68/70.79 o 2951 70.77/70.89 o 2950 70.88/70.99 o 2949 70.97/71.10 o 2948 71.17/71.20 o 2947 71.27/71.30 o 2946 71.37/71.41 o 2945 71.48/71.51 o 2944 71.58/71.61 o 2943 71.67/71.72 o 2942 71.78/71.82 o 2941 71.87/71.92 o 2940 71.97/72.03 o 2939 72.07/72.13 o 2938 72.17/72.23 o 2937 72.27/72.34 o 2936 72.37/72.44 o 2935 72.47/72.54 o 2934 72.58/72.65 o 2933 72.67/72.75 o 2932 72.77/72.85 o 2931 72.88/72.96 o 2930 72.97/73.06 o 2929 73.07/73.16 o 2928 73.18/73.27 o 2927 73.27/73.37 o 2926 73.38/73.47 o 2925 73.47/73.57 o 2924 73.57/73.68 o 2923 73.67/73.78 o 2922 73.77/73.88 o 2921 73.87/73.98 o 2920 73.97/74.09 o 2919 74.07/74.19 o 2918 74.17/74.29 o 2917 74.37/74.40 o 2916 74.47/74.50 o 2915 74.57/74.60 o 2914 74.67/74.71 o 2913 74.77/74.81 o 2912 74.87/74.91 o 2911 74.97/75.01 o 2910 75.07/75.12 o 2909 75.17/75.22 o 2908 75.27/75.32 o 2907 75.37/75.42 o 2906 75.47/75.52 o 2905 75.57/75.63 o 2904 75.67/75.73 o 2903 75.78/75.83 o 2902 75.87/75.93 o 2901 75.97/76.04 o 2900 76.07/76.14 o 2899 76.17/76.24 o 2898 76.28/76.34 o 2897 76.37/76.44 o 2896 76.47/76.55 o 2895 76.57/76.65 o 2894 76.67/76.75 o 2893 76.78/76.85 o 2892 76.87/76.95 o 2891 76.98/77.05 o 2890 77.07/77.16 o 2889 77.17/77.26 o 2888 77.27/77.36 o 2887 77.37/77.46 o 2886 77.47/77.56 o 2885 77.57/77.66 o 2884 77.67/77.76 o 2883 77.77/77.87 o 2882 77.87/77.97 o 2881 77.98/78.07 o 2880 78.07/78.17 o 2879 78.17/78.27 o 2878 78.27/78.37 o 2877 78.37/78.47 o 2876 78.47/78.57 o 2875 78.57/78.68 o 2874 78.67/78.78 o 2873 78.77/78.88 o 2872 78.87/78.98 o 2871 78.97/79.08 o 2870 79.07/79.18 o 2869 79.18/79.28 o 2868 79.27/79.38 o 2867 79.37/79.48 o 2866 79.48/79.58 o 2865 79.57/79.68 o 2864 79.67/79.79 o 2863 79.77/79.89 o 2862 79.87/79.99 o 2861 79.97/80.09 o 2860 80.07/80.19 o 2859 80.17/80.29 o 2858 80.28/80.39 o 2857 80.37/80.49 o 2856 80.48/80.59 o 2855 80.57/80.70 o 2854 80.77/80.80 o 2853 80.87/80.90 o 2852 80.97/81.00 o 2851 81.07/81.10 o 2850 81.17/81.20 o 2849 81.27/81.30 o 2848 81.37/81.40 o 2847 81.47/81.50 o 2846 81.57/81.60 o 2845 81.67/81.71 o 2844 81.77/81.81 o 2843 81.87/81.91 o 2842 81.97/82.01 o 2841 82.07/82.11 o 2840 82.17/82.21 o 2839 82.27/82.31 o 2838 82.37/82.41 o 2837 82.47/82.51 o 2836 82.57/82.61 o 2835 82.67/82.71 o 2834 82.77/82.81 o 2833 82.97/83.01 o 2832 82.97/83.08 o 1678 83.07/83.15 o 1677 83.17/83.21 o 1676 83.17/83.27 o 1665 83.27/83.34 o 1664 83.37/83.40 o 1663 83.37/83.46 o 1662 83.47/83.53 o 1661 83.47/83.59 o 1660 83.58/83.66 o 1659 83.66/83.72 o 1658 83.66/83.78 o 1657 83.77/83.85 o 1656 83.87/83.91 o 1655 83.87/83.98 o 1631 83.97/84.04 o 1630 84.07/84.10 o 1629 84.07/84.16 o 1628 84.17/84.23 o 1627 84.17/84.29 o 1626 84.27/84.35 o 1625 84.37/84.41 o 1624 84.37/84.47 o 1623 84.47/84.53 o 1622 84.47/84.60 o 1621 84.57/84.66 o 1620 84.67/84.72 o 1619 84.67/84.78 o 1618 84.77/84.84 o 1617 84.87/84.90 o 1616 84.87/84.97 o 1615 84.96/85.02 o 1614 84.96/85.08 o 1613 85.07/85.14 o 1612 85.17/85.20 o 1611 85.17/85.26 o 1610 85.27/85.31 o 1609 85.37/85.44 o 1608 85.37/85.49 o 1607 85.47/85.55 o 1606 85.57/85.61 o 1605 85.57/85.67 o 1604 85.68/85.72 o 1603 85.68/85.78 o 1602 85.78/85.84 o 1601 85.87/85.90 o 1600 85.87/85.95 o 1599 85.97/86.01 o 1598 85.97/86.07 o 1597 86.07/86.13 o 1596 86.07/86.19 o 1595 86.17/86.24 o 1594 86.27/86.30 o 1593 86.27/86.35 o 1592 86.37/86.41 o 1591 86.37/86.47 o 1590 86.47/86.52 o 1589 86.47/86.58 o 1588 86.57/86.63 o 1587 86.57/86.69 o 1586 86.66/86.75 o 1585 86.77/86.81 o 1584 86.77/86.87 o 1583 86.87/86.92 o 1582 86.87/86.98 o 1581 86.97/87.03 o 1580 86.97/87.09 o 1579 87.07/87.14 o 1578 87.17/87.20 o 1577 87.17/87.25 o 1576 87.27/87.31 o 1575 87.27/87.37 o 1574 87.36/87.42 o 1573 87.36/87.48 o 1572 87.47/87.54 o 1571 87.57/87.60 o 1570 87.57/87.65 o 1569 87.67/87.71 o 1568 87.67/87.77 o 1567 87.77/87.83 o 1566 87.77/87.89 o 1565 87.87/87.94 o 1564 87.87/88.00 o 1563 87.97/88.06 o 1562 88.07/88.11 o 1561 88.07/88.17 o 1560 88.17/88.23 o 1559 88.17/88.28 o 1558 88.26/88.34 o 1557 88.37/88.40 o 1556 88.37/88.45 o 1555 88.47/88.51 o 1554 88.47/88.57 o 1553 88.57/88.62 o 1552 88.57/88.68 o 1551 88.67/88.74 o 1550 88.67/88.79 o 1549 88.77/88.85 o 1548 88.87/88.91 o 1547 88.87/88.96 o 1546 88.97/89.02 o 1545 88.97/89.08 o 1544 89.07/89.13 o 1543 89.07/89.19 o 1542 89.16/89.24 o 1541 89.27/89.30 o 1540 89.27/89.36 o 1539 89.37/89.41 o 1538 89.37/89.47 o 1537 89.46/89.52 o 1536 89.46/89.58 o 1535 89.57/89.63 o 1534 89.57/89.69 o 1533 89.66/89.75 o 1532 89.76/89.80 o 1531 89.76/89.86 o 1530 89.87/89.91 o 1529 89.87/89.97 o 1528 89.97/90.02 o 1527 89.97/90.08 o 1526 90.08/90.13 o 1525 90.08/90.19 o 1524 90.17/90.24 o 1523 90.27/90.30 o 1522 90.27/90.35 o 1521 90.37/90.41 o 1520 90.37/90.46 o 1519 90.47/90.52 o 1518 90.47/90.57 o 1517 90.56/90.63 o 1516 90.56/90.68 o 1515 90.67/90.74 o 1514 90.67/90.79 o 1513 90.77/90.85 o 1512 90.87/90.90 o 1511 90.87/90.96 o 1510 90.97/91.01 o 1509 90.97/91.07 o 1508 91.07/91.12 o 1507 91.07/91.18 o 1506 91.18/91.23 o 1505 91.18/91.29 o 1504 91.27/91.35 o 1503 91.37/91.40 o 1502 91.37/91.45 o 1501 91.47/91.51 o 1500 91.47/91.56 o 1499 91.57/91.62 o 1498 91.57/91.67 o 1497 91.67/91.73 o 1496 91.67/91.78 o 1495 91.77/91.84 o 1494 91.77/91.89 o 1493 91.87/91.95 o 1492 91.96/92.00 o 1491 91.96/92.06 o 1490 92.07/92.11 o 1489 92.07/92.16 o 1488 92.17/92.22 o 1487 92.17/92.27 o 1486 92.27/92.33 o 1485 92.27/92.38 o 1484 92.37/92.44 o 1483 92.37/92.49 o 1482 92.47/92.55 o 1481 92.57/92.60 o 1480 92.57/92.65 o 1479 92.66/92.71 o 1478 92.66/92.76 o 1477 92.77/92.81 o 1476 92.77/92.87 o 1475 92.87/92.92 o 1474 92.87/92.98 o 1473 92.96/93.03 o 1472 92.96/93.08 o 1471 93.07/93.14 o 1470 93.07/93.19 o 1469 93.17/93.25 o 1468 93.27/93.30 o 1467 93.27/93.35 o 1466 93.37/93.41 o 1465 93.37/93.46 o 1464 93.47/93.51 o 1463 93.47/93.57 o 1462 93.57/93.62 o 1461 93.57/93.68 o 1460 93.67/93.73 o 1459 93.67/93.78 o 1458 93.77/93.84 o 1457 93.77/93.89 o 1456 93.87/93.94 o 1455 93.87/94.00 o 1454 93.96/94.05 o 1453 94.07/94.10 o 1452 94.07/94.16 o 1451 94.17/94.21 o 1450 94.17/94.26 o 1449 94.27/94.32 o 1448 94.27/94.37 o 1447 94.37/94.42 o 1446 94.37/94.48 o 1445 94.48/94.53 o 1444 94.48/94.59 o 1443 94.57/94.64 o 1442 94.57/94.69 o 1441 94.66/94.75 o 1440 94.77/94.80 o 1439 94.77/94.85 o 1438 94.86/94.90 o 1437 94.86/94.96 o 1436 94.97/95.01 o 1435 94.97/95.06 o 1434 95.06/95.11 o 1433 95.06/95.17 o 1432 95.16/95.22 o 1431 95.16/95.27 o 1430 95.26/95.33 o 1429 95.26/95.38 o 1428 95.37/95.43 o 1427 95.37/95.48 o 1426 95.46/95.54 o 1425 95.46/95.59 o 1424 95.57/95.64 o 1423 95.57/95.70 o 1422 95.67/95.75 o 1421 95.77/95.80 o 1420 95.77/95.85 o 1419 95.86/95.91 o 1418 95.86/95.96 o 1417 95.96/96.01 o 1416 95.96/96.06 o 1415 96.07/96.11 o 1414 96.07/96.17 o 1413 96.17/96.22 o 1412 96.17/96.27 o 1411 96.26/96.32 o 1410 96.26/96.37 o 1409 96.37/96.43 o 1408 96.37/96.48 o 1407 96.47/96.53 o 1406 96.47/96.58 o 1405 96.57/96.63 o 1404 96.57/96.69 o 1403 96.67/96.74 o 1402 96.67/96.79 o 1401 96.77/96.84 o 1400 96.77/96.89 o 1399 96.87/96.94 o 1398 96.87/96.99 o 1397 96.97/97.04 o 1396 96.97/97.09 o 1395 97.06/97.15 o 1394 97.06/97.20 o 1393 97.16/97.25 o 1392 97.26/97.30 o 1391 97.26/97.35 o 1390 97.36/97.40 o 1389 97.36/97.45 o 1388 97.47/97.50 o 1387 97.47/97.55 o 1386 97.56/97.60 o 1385 97.56/97.65 o 1384 97.67/97.70 o 1383 97.67/97.76 o 1382 97.77/97.81 o 1381 97.77/97.86 o 1380 97.87/97.91 o 1379 97.87/97.96 o 1378 97.97/98.01 o 1377 97.97/98.06 o 1376 98.06/98.11 o 1375 98.06/98.16 o 1374 98.17/98.21 o 1373 98.17/98.26 o 1372 98.27/98.31 o 1371 98.27/98.36 o 1370 98.36/98.41 o 1369 98.36/98.46 o 1368 98.46/98.51 o 1367 98.46/98.56 o 1366 98.57/98.61 o 1365 98.57/98.66 o 1364 98.67/98.71 o 1363 98.67/98.76 o 1362 98.77/98.81 o 1361 98.77/98.86 o 1360 98.86/98.91 o 1359 98.86/98.96 o 1358 98.97/99.01 o 1357 98.97/99.06 o 1356 99.07/99.11 o 1355 99.07/99.16 o 1354 99.16/99.21 o 1353 99.16/99.26 o 1352 99.27/99.31 o 1351 99.27/99.35 o 1350 99.36/99.40 o 1349 99.36/99.45 o 1348 99.47/99.50 o 1347 99.47/99.55 o 1346 99.57/99.60 o 1345 99.57/99.65 o 1344 99.67/99.70 o 1343 99.67/99.75 o 1342 99.67/99.79 o 1341 99.76/99.84 o 1340 99.76/99.89 o 1339 99.87/99.94 o 1338 99.87/99.99 o 1337 99.97/100.04 o 1336 99.97/100.08 o 1335 100.07/100.13 o 1334 100.07/100.18 o 1333 100.17/100.23 o 1332 100.17/100.28 o 1331 100.27/100.33 o 1330 100.27/100.38 o 1329 100.36/100.42 o 1328 100.36/100.47 o 1327 100.46/100.52 o 1326 100.46/100.57 o 1325 100.57/100.62 o 1324 100.57/100.67 o 1323 100.66/100.72 o 1322 100.66/100.76 o 1321 100.76/100.81 o 1320 100.76/100.86 o 1319 100.87/100.91 o 1318 100.87/100.95 o 1317 100.97/101.00 o 1316 100.97/101.05 o 1315 100.97/101.10 o 1314 101.07/101.15 o 1313 101.07/101.19 o 1312 101.17/101.24 o 1311 101.17/101.29 o 1310 101.26/101.34 o 1309 101.26/101.38 o 1308 101.37/101.43 o 1307 101.37/101.48 o 1306 101.46/101.53 o 1305 101.46/101.57 o 1304 101.56/101.62 o 1303 101.56/101.67 o 1302 101.67/101.71 o 1301 101.67/101.76 o 1300 101.76/101.81 o 1299 101.76/101.86 o 1298 101.86/101.90 o 1297 101.86/101.95 o 1296 101.97/102.00 o 1295 101.97/102.04 o 1294 101.97/102.09 o 1293 102.06/102.14 o 1292 102.06/102.19 o 1291 102.17/102.23 o 1290 102.17/102.28 o 1289 102.27/102.33 o 1288 102.27/102.37 o 1287 102.36/102.42 o 1286 102.36/102.47 o 1285 102.46/102.51 o 1284 102.46/102.56 o 1283 102.57/102.60 o 1282 102.57/102.65 o 1281 102.57/102.70 o 1280 102.66/102.74 o 1279 102.66/102.79 o 1278 102.76/102.84 o 1277 102.76/102.88 o 1276 102.86/102.93 o 1275 102.86/102.97 o 1274 102.96/103.02 o 1273 102.96/103.07 o 1272 103.06/103.11 o 1271 103.06/103.16 o 1270 103.17/103.20 o 1269 103.17/103.25 o 1268 103.17/103.30 o 1267 103.27/103.34 o 1266 103.27/103.39 o 1265 103.36/103.43 o 1264 103.36/103.48 o 1263 103.46/103.53 o 1262 103.46/103.57 o 1261 103.56/103.62 o 1260 103.56/103.66 o 1259 103.66/103.71 o 1258 103.66/103.75 o 1257 103.76/103.80 o 1256 103.76/103.84 o 1255 103.76/103.89 o 1254 103.86/103.93 o 1253 103.86/103.98 o 1252 103.96/104.02 o 1251 103.96/104.07 o 1250 104.06/104.11 o 1249 104.06/104.16 o 1248 104.16/104.20 o 1247 104.16/104.25 o 1246 104.16/104.29 o 1245 104.26/104.34 o 1244 104.26/104.38 o 1243 104.36/104.43 o 1242 104.36/104.47 o 1241 104.47/104.52 o 1240 104.47/104.56 o 1239 104.56/104.61 o 1238 104.56/104.65 o 1237 104.56/104.69 o 1236 104.66/104.74 o 1235 104.66/104.78 o 1234 104.76/104.83 o 1233 104.76/104.87 o 1232 104.86/104.91 o 1231 104.86/104.96 o 1230 104.96/105.00 o 1229 104.96/105.05 o 1228 104.96/105.09 o 1227 105.06/105.13 o 1226 105.06/105.18 o 1225 105.16/105.22 o 1224 105.16/105.27 o 1223 105.26/105.31 o 1222 105.26/105.35 o 1221 105.26/105.40 o 1220 105.36/105.44 o 1219 105.36/105.48 o 1218 105.46/105.53 o 1217 105.46/105.57 o 1216 105.57/105.61 o 1215 105.57/105.66 o 1214 105.66/105.70 o 1213 105.66/105.74 o 1212 105.66/105.79 o 1211 105.76/105.83 o 1210 105.76/105.87 o 1209 105.86/105.92 o 1208 105.86/105.96 o 1207 105.96/106.00 o 1206 105.96/106.05 o 1205 105.96/106.09 o 1204 106.06/106.13 o 1203 106.06/106.18 o 1202 106.16/106.22 o 1201 106.16/106.26 o 1200 106.26/106.31 o 1199 106.26/106.35 o 1198 106.26/106.39 o 1197 106.36/106.44 o 1196 106.36/106.48 o 1195 106.46/106.52 o 1194 106.46/106.56 o 1193 106.57/106.61 o 1192 106.57/106.65 o 1191 106.57/106.69 o 1190 106.66/106.73 o 1189 106.66/106.78 o 1188 106.76/106.82 o 1187 106.76/106.86 o 1186 106.86/106.90 o 1185 106.86/106.94 o 1184 106.86/106.99 o 1183 106.96/107.03 o 1182 106.96/107.07 o 1181 107.06/107.11 o 1180 107.06/107.16 o 1179 107.15/107.20 o 1178 107.15/107.24 o 1177 107.15/107.28 o 1176 107.25/107.33 o 1175 107.25/107.37 o 1174 107.36/107.41 o 1173 107.36/107.45 o 1172 107.36/107.49 o 1171 107.46/107.54 o 1170 107.46/107.58 o 1169 107.56/107.62 o 1168 107.56/107.66 o 1167 107.67/107.70 o 1166 107.67/107.74 o 1165 107.67/107.79 o 1164 107.76/107.83 o 1163 107.76/107.87 o 1162 107.86/107.91 o 1161 107.86/107.95 o 1160 107.86/107.99 o 1159 107.95/108.03 o 1158 107.95/108.07 o 1157 108.06/108.12 o 1156 108.06/108.16 o 1155 108.15/108.20 o 1154 108.15/108.24 o 1153 108.15/108.28 o 1152 108.26/108.32 o 1151 108.26/108.36 o 1150 108.36/108.40 o 1149 108.36/108.44 o 1148 108.36/108.48 o 1147 108.45/108.52 o 1146 108.45/108.56 o 1145 108.56/108.60 o 1144 108.56/108.65 o 1143 108.56/108.69 o 1142 108.66/108.73 o 1141 108.66/108.77 o 1140 108.76/108.81 o 1139 108.76/108.85 o 1138 108.76/108.89 o 1137 108.86/108.93 o 1136 108.86/108.97 o 1135 108.96/109.01 o 1134 108.96/109.05 o 1133 108.96/109.09 o 1132 109.05/109.13 o 1131 109.05/109.17 o 1130 109.16/109.21 o 1129 109.16/109.25 o 1128 109.16/109.29 o 1127 109.25/109.33 o 1126 109.25/109.37 o 1125 109.35/109.41 o 1124 109.35/109.45 o 1123 109.35/109.49 o 1122 109.46/109.53 o 1121 109.46/109.57 o 1120 109.55/109.61 o 1119 109.55/109.65 o 1118 109.55/109.69 o 1117 109.65/109.73 o 1116 109.65/109.77 o 1115 109.76/109.81 o 1114 109.76/109.85 o 1113 109.76/109.89 o 1112 109.86/109.93 o 1111 109.86/109.97 o 1110 109.96/110.01 o 1109 109.96/110.04 o 1108 109.96/110.08 o 1107 110.05/110.12 o 1106 110.05/110.16 o 1105 110.16/110.20 o 1104 110.16/110.24 o 1103 110.16/110.28 o 1102 110.26/110.32 o 1101 110.26/110.36 o 1100 110.26/110.40 o 1099 110.35/110.43 o 1098 110.35/110.47 o 1097 110.45/110.51 o 1096 110.45/110.55 o 1095 110.45/110.59 o 1094 110.56/110.63 o 1093 110.56/110.66 o 1092 110.65/110.70 o 1091 110.65/110.74 o 1090 110.65/110.78 o 1089 110.76/110.82 o 1088 110.76/110.86 o 1087 110.76/110.89 o 1086 110.86/110.93 o 1085 110.86/110.97 o 1084 110.96/111.01 o 1083 110.96/111.05 o 1082 110.96/111.09 o 1081 111.06/111.12 o 1080 111.06/111.16 o 1079 111.16/111.20 o 1078 111.16/111.24 o 1077 111.16/111.28 o 1076 111.25/111.31 o 1075 111.25/111.35 o 1074 111.25/111.39 o 1073 111.35/111.43 o 1072 111.35/111.46 o 1071 111.46/111.50 o 1070 111.46/111.54 o 1069 111.46/111.58 o 1068 111.56/111.61 o 1067 111.56/111.65 o 1066 111.56/111.69 o 1065 111.65/111.73 o 1064 111.65/111.76 o 1063 111.76/111.80 o 1062 111.76/111.84 o 1061 111.76/111.87 o 1060 111.85/111.91 o 1059 111.85/111.95 o 1058 111.85/111.99 o 1057 111.95/112.02 o 1056 111.95/112.06 o 1055 111.95/112.10 o 1054 112.06/112.13 o 1053 112.06/112.17 o 1052 112.16/112.21 o 1051 112.16/112.24 o 1050 112.16/112.28 o 1049 112.26/112.32 o 1048 112.26/112.35 o 1047 112.26/112.39 o 1046 112.35/112.43 o 1045 112.35/112.46 o 1044 112.46/112.50 o 1043 112.46/112.54 o 1042 112.46/112.57 o 1041 112.55/112.61 o 1040 112.55/112.65 o 1039 112.55/112.68 o 1038 112.65/112.72 o 1037 112.65/112.76 o 1036 112.65/112.79 o 1035 112.76/112.83 o 1034 112.76/112.86 o 1033 112.85/112.90 o 1032 112.85/112.94 o 1031 112.85/112.97 o 1030 112.95/113.01 o 1029 112.95/113.05 o 1028 112.95/113.08 o 1027 113.06/113.12 o 1026 113.06/113.15 o 1025 113.06/113.19 o 1024 113.16/113.23 o 1023 113.16/113.26 o 1022 113.16/113.30 o 1021 113.26/113.33 o 1020 113.26/113.37 o 1019 113.36/113.41 o 1018 113.36/113.44 o 1017 113.36/113.48 o 1016 113.45/113.51 o 1015 113.45/113.55 o 1014 113.45/113.58 o 1013 113.55/113.62 o 1012 113.55/113.65 o 1011 113.55/113.69 o 1010 113.66/113.73 o 1009 113.66/113.76 o 1008 113.66/113.79 o 1007 113.75/113.83 o 1006 113.75/113.87 o 1005 113.85/113.90 o 1004 113.85/113.94 o 1003 113.85/113.97 o 1002 113.96/114.01 o 1001 113.96/114.04 o 1000 113.96/114.08 o 999 114.06/114.11 o 998 114.06/114.15 o 997 114.06/114.18 o 996 114.15/114.21 o 995 114.15/114.25 o 994 114.15/114.28 o 993 114.26/114.32 o 992 114.26/114.35 o 991 114.26/114.39 o 990 114.36/114.42 o 989 114.36/114.46 o 988 114.36/114.49 o 987 114.45/114.53 o 986 114.45/114.56 o 985 114.55/114.60 o 984 114.55/114.63 o 983 114.55/114.67 o 982 114.65/114.70 o 981 114.65/114.73 o 980 114.65/114.77 o 979 114.76/114.80 o 978 114.76/114.84 o 977 114.76/114.87 o 976 114.85/114.90 o 975 114.85/114.94 o 974 114.85/114.97 o 973 114.95/115.01 o 972 114.95/115.04 o 971 114.95/115.08 o 970 115.06/115.11 o 969 115.06/115.15 o 968 115.06/115.18 o 967 115.15/115.21 o 966 115.15/115.25 o 965 115.15/115.28 o 964 115.25/115.31 o 963 115.25/115.35 o 962 115.25/115.38 o 961 115.35/115.42 o 960 115.35/115.45 o 959 115.35/115.48 o 958 115.46/115.52 o 957 115.46/115.55 o 956 115.46/115.58 o 955 115.56/115.62 o 954 115.56/115.65 o 953 115.56/115.68 o 952 115.65/115.72 o 951 115.65/115.75 o 950 115.65/115.79 o 949 115.75/115.82 o 948 115.75/115.85 o 947 115.75/115.88 o 946 115.86/115.92 o 945 115.86/115.95 o 944 115.86/115.98 o 943 115.95/116.02 o 942 115.95/116.05 o 941 115.95/116.08 o 940 116.05/116.12 o 939 116.05/116.15 o 938 116.05/116.18 o 937 116.16/116.22 o 936 116.16/116.25 o 935 116.16/116.28 o 934 116.26/116.31 o 933 116.26/116.35 o 932 116.26/116.38 o 931 116.35/116.41 o 930 116.35/116.44 o 929 116.35/116.48 o 928 116.45/116.51 o 927 116.45/116.54 o 926 116.45/116.58 o 925 116.56/116.61 o 924 116.56/116.64 o 923 116.56/116.67 o 922 116.65/116.71 o 921 116.65/116.74 o 920 116.65/116.77 o 919 116.76/116.81 o 918 116.76/116.84 o 917 116.76/116.87 o 916 116.85/116.90 o 915 116.85/116.93 o 914 116.85/116.97 o 913 116.95/117.00 o 912 116.95/117.03 o 911 116.95/117.06 o 910 116.95/117.09 o 909 117.05/117.13 o 908 117.05/117.16 o 907 117.05/117.19 o 906 117.15/117.22 o 905 117.15/117.25 o 904 117.15/117.29 o 903 117.25/117.32 o 902 117.25/117.35 o 901 117.25/117.38 o 900 117.35/117.41 o 899 117.35/117.45 o 898 117.35/117.48 o 897 117.45/117.51 o 896 117.45/117.54 o 895 117.45/117.57 o 894 117.55/117.60 o 893 117.55/117.64 o 892 117.55/117.67 o 891 117.55/117.70 o 890 117.65/117.73 o 889 117.65/117.76 o 888 117.65/117.79 o 887 117.75/117.83 o 886 117.75/117.86 o 885 117.75/117.89 o 884 117.85/117.92 o 883 117.85/117.95 o 882 117.85/117.98 o 881 117.95/118.01 o 880 117.95/118.05 o 879 117.95/118.08 o 878 118.05/118.11 o 877 118.05/118.14 o 876 118.05/118.17 o 875 118.15/118.20 o 874 118.15/118.23 o 873 118.15/118.26 o 872 118.15/118.30 o 871 118.25/118.33 o 870 118.25/118.36 o 869 118.25/118.39 o 868 118.35/118.42 o 867 118.35/118.45 o 866 118.35/118.48 o 865 118.46/118.51 o 864 118.46/118.54 o 863 118.46/118.57 o 862 118.55/118.60 o 861 118.55/118.63 o 860 118.55/118.66 o 859 118.55/118.70 o 858 118.65/118.73 o 857 118.65/118.76 o 856 118.65/118.79 o 855 118.76/118.82 o 854 118.76/118.85 o 853 118.76/118.88 o 852 118.85/118.91 o 851 118.85/118.94 o 850 118.85/118.97 o 849 118.95/119.00 o 848 118.95/119.03 o 847 118.95/119.06 o 846 118.95/119.09 o 845 119.06/119.12 o 844 119.06/119.15 o 843 119.06/119.18 o 842 119.15/119.21 o 841 119.15/119.24 o 840 119.15/119.27 o 839 119.25/119.31 o 838 119.25/119.34 o 837 119.25/119.37 o 836 119.25/119.39 o 835 119.35/119.42 o 834 119.35/119.45 o 833 119.35/119.48 o 832 119.45/119.51 o 831 119.45/119.54 o 830 119.45/119.57 o 829 119.55/119.60 o 828 119.55/119.63 o 827 119.55/119.66 o 826 119.55/119.69 o 825 119.65/119.72 o 824 119.65/119.75 o 823 119.65/119.78 o 822 119.76/119.81 o 821 119.76/119.84 o 820 119.76/119.87 o 819 119.76/119.90 o 818 119.85/119.93 o 817 119.85/119.98 o 816 119.95/120.02 o 815 119.95/120.05 o 814 119.95/120.08 o 813 120.05/120.11 o 812 120.05/120.14 o 811 120.05/120.17 o 810 120.15/120.20 o 809 120.15/120.23 o 808 120.15/120.26 o 807 120.15/120.29 o 806 120.25/120.32 o 805 120.25/120.35 o 804 120.25/120.38 o 803 120.35/120.41 o 802 120.35/120.44 o 801 120.35/120.47 o 800 120.45/120.51 o 799 120.45/120.54 o 798 120.45/120.57 o 797 120.45/120.59 o 796 120.55/120.62 o 795 120.55/120.65 o 794 120.55/120.68 o 793 120.65/120.71 o 792 120.65/120.74 o 791 120.65/120.77 o 790 120.65/120.79 o 789 120.75/120.82 o 788 120.75/120.85 o 787 120.75/120.88 o 786 120.85/120.90 o 785 120.85/120.93 o 784 120.85/120.96 o 783 120.96/121.02 o 782 120.96/121.05 o 781 120.96/121.08 o 780 121.05/121.11 o 779 121.05/121.14 o 778 121.05/121.17 o 777 121.15/121.20 o 776 121.15/121.23 o 775 121.15/121.26 o 774 121.15/121.28 o 773 121.25/121.31 o 772 121.25/121.34 o 771 121.25/121.37 o 770 121.35/121.40 o 769 121.35/121.43 o 768 121.35/121.46 o 767 121.35/121.49 o 766 121.45/121.51 o 765 121.45/121.54 o 764 121.45/121.57 o 763 121.54/121.60 o 762 121.54/121.63 o 761 121.54/121.66 o 760 121.54/121.68 o 759 121.65/121.71 o 758 121.65/121.74 o 757 121.65/121.77 o 756 121.65/121.80 o 755 121.75/121.82 o 754 121.75/121.85 o 753 121.75/121.88 o 752 121.85/121.90 o 751 121.85/121.93 o 750 121.85/121.96 o 749 121.85/121.98 o 748 121.95/122.01 o 747 121.95/122.04 o 746 121.95/122.06 o 745 121.95/122.09 o 744 122.05/122.12 o 743 122.05/122.14 o 742 122.05/122.17 o 741 122.14/122.20 o 740 122.14/122.22 o 739 122.14/122.25 o 738 122.14/122.28 o 737 122.24/122.30 o 736 122.24/122.33 o 735 122.24/122.36 o 734 122.24/122.38 o 733 122.35/122.41 o 732 122.35/122.43 o 731 122.35/122.46 o 730 122.35/122.49 o 729 122.45/122.51 o 728 122.45/122.54 o 727 122.45/122.56 o 726 122.45/122.59 o 725 122.54/122.62 o 724 122.54/122.64 o 723 122.54/122.67 o 722 122.54/122.69 o 721 122.64/122.72 o 720 122.64/122.74 o 719 122.64/122.77 o 718 122.64/122.80 o 717 122.74/122.82 o 716 122.74/122.85 o 715 122.74/122.87 o 714 122.84/122.90 o 713 122.84/122.92 o 712 122.84/122.95 o 711 122.84/122.97 o 710 122.95/123.00 o 709 122.95/123.02 o 708 122.95/123.05 o 707 122.95/123.07 o 706 122.95/123.10 o 705 123.05/123.12 o 704 123.05/123.15 o 703 123.05/123.17 o 702 123.05/123.20 o 701 123.15/123.22 o 700 123.15/123.25 o 699 123.15/123.27 o 698 123.15/123.30 o 697 123.24/123.32 o 696 123.24/123.35 o 695 123.24/123.37 o 694 123.24/123.40 o 693 123.34/123.42 o 692 123.34/123.45 o 691 123.34/123.47 o 690 123.34/123.49 o 689 123.44/123.52 o 688 123.44/123.54 o 687 123.44/123.57 o 686 123.44/123.59 o 685 123.54/123.61 o 684 123.54/123.64 o 683 123.54/123.66 o 682 123.54/123.69 o 681 123.64/123.71 o 680 123.64/123.73 o 679 123.64/123.76 o 678 123.64/123.78 o 677 123.74/123.80 o 676 123.74/123.83 o 675 123.74/123.85 o 674 123.74/123.88 o 673 123.84/123.90 o 672 123.84/123.92 o 671 123.84/123.95 o 670 123.84/123.97 o 669 123.84/123.99 o 668 123.94/124.02 o 667 123.94/124.04 o 666 123.94/124.06 o 665 123.94/124.09 o 664 124.04/124.11 o 663 124.04/124.13 o 662 124.04/124.15 o 661 124.04/124.18 o 660 124.14/124.20 o 659 124.14/124.22 o 658 124.14/124.25 o 657 124.14/124.27 o 656 124.14/124.29 o 655 124.24/124.32 o 654 124.24/124.34 o 653 124.24/124.36 o 652 124.24/124.38 o 651 124.34/124.41 o 650 124.34/124.43 o 649 124.34/124.45 o 648 124.34/124.47 o 647 124.44/124.50 o 646 124.44/124.52 o 645 124.44/124.54 o 644 124.44/124.56 o 643 124.44/124.59 o 642 124.54/124.61 o 641 124.54/124.63 o 640 124.54/124.65 o 639 124.54/124.68 o 638 124.64/124.70 o 637 124.64/124.72 o 636 124.64/124.74 o 635 124.64/124.77 o 634 124.64/124.79 o 633 124.74/124.81 o 632 124.74/124.83 o 631 124.74/124.85 o 630 124.74/124.88 o 629 124.84/124.90 o 628 124.84/124.92 o 627 124.84/124.94 o 626 124.84/124.96 o 625 124.84/124.98 o 624 124.94/125.01 o 623 124.94/125.03 o 622 124.94/125.05 o 621 124.94/125.07 o 620 124.94/125.09 o 619 125.04/125.12 o 618 125.04/125.14 o 617 125.04/125.16 o 616 125.04/125.18 o 615 125.13/125.20 o 614 125.13/125.22 o 613 125.13/125.24 o 612 125.13/125.26 o 611 125.13/125.29 o 610 125.24/125.31 o 609 125.24/125.33 o 608 125.24/125.35 o 607 125.24/125.37 o 606 125.24/125.39 o 605 125.34/125.41 o 604 125.34/125.43 o 603 125.34/125.45 o 602 125.34/125.48 o 601 125.34/125.50 o 600 125.44/125.52 o 599 125.44/125.54 o 598 125.44/125.56 o 597 125.44/125.58 o 596 125.54/125.60 o 595 125.54/125.62 o 594 125.54/125.64 o 593 125.54/125.66 o 592 125.54/125.68 o 591 125.64/125.70 o 590 125.64/125.73 o 589 125.64/125.75 o 588 125.64/125.77 o 587 125.64/125.79 o 586 125.74/125.81 o 585 125.74/125.83 o 584 125.74/125.85 o 583 125.74/125.87 o 582 125.74/125.89 o 581 125.84/125.91 o 580 125.84/125.93 o 579 125.84/125.95 o 578 125.84/125.97 o 577 125.84/125.99 o 576 125.93/126.01 o 575 125.93/126.03 o 574 125.93/126.05 o 573 125.93/126.07 o 572 125.93/126.09 o 571 126.04/126.11 o 570 126.04/126.13 o 569 126.04/126.15 o 568 126.04/126.17 o 567 126.04/126.19 o 566 126.14/126.21 o 565 126.14/126.23 o 564 126.14/126.25 o 563 126.14/126.27 o 562 126.14/126.29 o 561 126.23/126.31 o 560 126.23/126.33 o 559 126.23/126.35 o 558 126.23/126.37 o 557 126.23/126.39 o 556 126.34/126.41 o 555 126.34/126.43 o 554 126.34/126.45 o 553 126.34/126.47 o 552 126.34/126.49 o 551 126.44/126.50 o 550 126.44/126.52 o 549 126.44/126.54 o 548 126.44/126.56 o 547 126.44/126.58 o 546 126.53/126.60 o 545 126.53/126.62 o 544 126.53/126.64 o 543 126.53/126.66 o 542 126.53/126.68 o 541 126.53/126.70 o 540 126.63/126.71 o 539 126.63/126.73 o 538 126.63/126.75 o 537 126.63/126.77 o 536 126.63/126.79 o 535 126.73/126.81 o 534 126.73/126.83 o 533 126.73/126.85 o 532 126.73/126.87 o 531 126.73/126.89 o 530 126.83/126.90 o 529 126.83/126.92 o 528 126.83/126.94 o 527 126.83/126.96 o 526 126.83/126.98 o 525 126.83/127.00 o 524 126.94/127.02 o 523 126.94/127.03 o 522 126.94/127.05 o 521 126.94/127.07 o 520 126.94/127.09 o 519 127.04/127.11 o 518 127.04/127.13 o 517 127.04/127.15 o 516 127.04/127.16 o 515 127.04/127.18 o 514 127.14/127.20 o 513 127.14/127.22 o 512 127.14/127.24 o 511 127.14/127.25 o 510 127.14/127.27 o 509 127.14/127.29 o 508 127.24/127.31 o 507 127.24/127.33 o 506 127.24/127.34 o 505 127.24/127.36 o 504 127.24/127.38 o 503 127.33/127.40 o 502 127.33/127.42 o 501 127.33/127.43 o 500 127.33/127.45 o 499 127.33/127.47 o 498 127.33/127.49 o 497 127.43/127.50 o 496 127.43/127.52 o 495 127.43/127.54 o 494 127.43/127.56 o 493 127.43/127.57 o 492 127.43/127.59 o 491 127.54/127.61 o 490 127.54/127.63 o 489 127.54/127.64 o 488 127.54/127.66 o 487 127.54/127.68 o 486 127.63/127.70 o 485 127.63/127.71 o 484 127.63/127.73 o 483 127.63/127.75 o 482 127.63/127.77 o 481 127.63/127.78 o 480 127.74/127.80 o 479 127.74/127.82 o 478 127.74/127.83 o 477 127.74/127.85 o 476 127.74/127.87 o 475 127.74/127.89 o 474 127.83/127.90 o 473 127.83/127.92 o 472 127.83/127.94 o 471 127.83/127.95 o 470 127.83/127.97 o 469 127.83/127.99 o 468 127.94/128.00 o 467 127.94/128.02 o 466 127.94/128.04 o 465 127.94/128.06 o 464 127.94/128.07 o 463 127.94/128.09 o 462 128.03/128.11 o 461 128.03/128.12 o 460 128.03/128.14 o 459 128.03/128.16 o 458 128.03/128.17 o 457 128.03/128.19 o 456 128.13/128.21 o 455 128.13/128.22 o 454 128.13/128.24 o 453 128.13/128.25 o 452 128.13/128.27 o 451 128.13/128.29 o 450 128.24/128.30 o 449 128.24/128.32 o 448 128.24/128.34 o 447 128.24/128.35 o 446 128.24/128.37 o 445 128.24/128.38 o 444 128.33/128.40 o 443 128.33/128.42 o 442 128.33/128.43 o 441 128.33/128.45 o 440 128.33/128.47 o 439 128.33/128.48 o 438 128.43/128.50 o 437 128.43/128.51 o 436 128.43/128.53 o 435 128.43/128.55 o 434 128.43/128.56 o 433 128.43/128.58 o 432 128.43/128.59 o 431 128.54/128.61 o 430 128.54/128.62 o 429 128.54/128.64 o 428 128.54/128.66 o 427 128.54/128.67 o 426 128.64/128.70 o 425 128.64/128.72 o 424 128.64/128.73 o 423 128.64/128.75 o 422 128.64/128.76 o 421 128.64/128.78 o 420 128.64/128.80 o 419 128.73/128.81 o 418 128.73/128.83 o 417 128.73/128.84 o 416 128.73/128.86 o 415 128.73/128.87 o 414 128.73/128.89 o 413 128.83/128.90 o 412 128.83/128.92 o 411 128.83/128.93 o 410 128.83/128.95 o 409 128.83/128.97 o 408 128.83/128.98 o 407 128.83/129.00 o 406 128.94/129.01 o 405 128.94/129.03 o 404 128.94/129.04 o 403 128.94/129.06 o 402 128.94/129.07 o 401 128.94/129.09 o 400 129.04/129.10 o 399 129.04/129.12 o 398 129.04/129.13 o 397 129.04/129.15 o 396 129.04/129.16 o 395 129.04/129.17 o 394 129.04/129.19 o 393 129.14/129.20 o 392 129.14/129.22 o 391 129.14/129.23 o 390 129.14/129.25 o 389 129.14/129.26 o 388 129.14/129.28 o 387 129.14/129.29 o 386 129.23/129.30 o 385 129.23/129.32 o 384 129.23/129.33 o 383 129.23/129.34 o 382 129.23/129.36 o 381 129.23/129.37 o 380 129.23/129.39 o 379 129.33/129.40 o 378 129.33/129.41 o 377 129.33/129.43 o 376 129.33/129.44 o 375 129.33/129.45 o 374 129.33/129.47 o 373 129.33/129.48 o 372 129.33/129.49 o 371 129.43/129.51 o 370 129.43/129.52 o 369 129.43/129.53 o 368 129.43/129.54 o 367 129.43/129.56 o 366 129.43/129.57 o 365 129.43/129.58 o 364 129.54/129.60 o 363 129.54/129.61 o 362 129.54/129.62 o 361 129.54/129.64 o 360 129.54/129.65 o 359 129.54/129.66 o 358 129.54/129.67 o 357 129.54/129.69 o 356 129.54/129.70 o 355 129.64/129.71 o 354 129.64/129.72 o 353 129.64/129.74 o 352 129.64/129.75 o 351 129.64/129.76 o 350 129.64/129.77 o 349 129.64/129.79 o 348 129.64/129.80 o 347 129.73/129.81 o 346 129.73/129.82 o 345 129.73/129.84 o 344 129.73/129.85 o 343 129.73/129.86 o 342 129.73/129.87 o 341 129.73/129.88 o 340 129.83/129.90 o 339 129.83/129.91 o 338 129.83/129.92 o 337 129.83/129.93 o 336 129.83/129.94 o 335 129.83/129.96 o 334 129.83/129.97 o 333 129.83/129.98 o 332 129.83/129.99 o 331 129.94/130.00 o 330 129.94/130.02 o 329 129.94/130.03 o 328 129.94/130.04 o 327 129.94/130.05 o 326 129.94/130.06 o 325 129.94/130.07 o 324 129.94/130.08 o 323 129.94/130.10 o 322 130.03/130.11 o 321 130.03/130.12 o 320 130.03/130.13 o 319 130.03/130.14 o 318 130.03/130.15 o 317 130.03/130.16 o 316 130.03/130.17 o 315 130.03/130.19 o 314 130.03/130.20 o 313 130.13/130.21 o 312 130.13/130.22 o 311 130.13/130.23 o 310 130.13/130.24 o 309 130.13/130.25 o 308 130.13/130.26 o 307 130.13/130.27 o 306 130.13/130.28 o 305 130.13/130.30 o 304 130.24/130.31 o 303 130.24/130.32 o 302 130.24/130.33 o 301 130.24/130.35 o 300 130.24/130.36 o 299 130.24/130.37 o 298 130.24/130.39 o 297 130.33/130.40 o 296 130.33/130.41 o 295 130.33/130.42 o 294 130.33/130.43 o 293 130.33/130.44 o 292 130.33/130.46 o 291 130.33/130.47 o 290 130.33/130.48 o 289 130.33/130.49 o 288 130.43/130.50 o 287 130.43/130.51 o 286 130.43/130.53 o 285 130.43/130.54 o 284 130.43/130.55 o 283 130.43/130.56 o 282 130.43/130.57 o 281 130.43/130.58 o 280 130.43/130.59 o 279 130.54/130.60 o 278 130.54/130.62 o 277 130.54/130.63 o 276 130.54/130.64 o 275 130.54/130.65 o 274 130.54/130.66 o 273 130.54/130.67 o 272 130.54/130.68 o 271 130.54/130.69 o 270 130.63/130.70 o 269 130.63/130.72 o 268 130.63/130.73 o 267 130.63/130.74 o 266 130.63/130.75 o 265 130.63/130.76 o 264 130.63/130.77 o 263 130.63/130.78 o 262 130.63/130.79 o 261 130.63/130.80 o 260 130.74/130.81 o 259 130.74/130.82 o 258 130.74/130.83 o 257 130.74/130.83 o 256 130.74/130.84 o 255 130.74/130.85 o 254 130.74/130.86 o 253 130.74/130.87 o 252 130.74/130.88 o 251 130.74/130.89 o 250 130.83/130.90 o 249 130.83/130.91 o 248 130.83/130.92 o 247 130.83/130.93 o 246 130.83/130.94 o 245 130.83/130.95 o 244 130.83/130.96 o 243 130.83/130.97 o 242 130.83/130.98 o 241 130.83/130.99 o 240 130.83/131.00 o 239 130.92/131.00 o 238 130.92/131.01 o 237 130.92/131.02 o 236 130.92/131.03 o 235 130.92/131.04 o 234 130.92/131.05 o 233 130.92/131.06 o 232 130.92/131.07 o 231 130.92/131.08 o 230 130.92/131.09 o 229 130.92/131.10 o 228 131.03/131.10 o 227 131.03/131.11 o 226 131.03/131.12 o 225 131.03/131.13 o 224 131.03/131.14 o 223 131.03/131.15 o 222 131.03/131.16 o 221 131.03/131.17 o 220 131.03/131.18 o 219 131.03/131.18 o 218 131.03/131.19 o 217 131.13/131.20 o 216 131.13/131.21 o 215 131.13/131.22 o 214 131.13/131.23 o 213 131.13/131.24 o 212 131.13/131.25 o 211 131.13/131.25 o 210 131.13/131.26 o 209 131.13/131.27 o 208 131.13/131.28 o 207 131.13/131.29 o 206 131.13/131.30 o 205 131.22/131.30 o 204 131.22/131.31 o 203 131.22/131.32 o 202 131.22/131.33 o 201 131.22/131.34 o 200 131.22/131.34 o 199 131.22/131.35 o 198 131.22/131.36 o 197 131.22/131.37 o 196 131.22/131.37 o 195 131.22/131.38 o 194 131.22/131.39 o 193 131.33/131.40 o 192 131.33/131.40 o 191 131.33/131.41 o 190 131.33/131.42 o 189 131.33/131.43 o 188 131.33/131.44 o 187 131.33/131.44 o 186 131.33/131.45 o 185 131.33/131.46 o 184 131.33/131.46 o 183 131.33/131.47 o 182 131.33/131.48 o 181 131.33/131.49 o 180 131.33/131.49 o 179 131.43/131.50 o 178 131.43/131.51 o 177 131.43/131.51 o 176 131.43/131.52 o 175 131.43/131.53 o 174 131.43/131.53 o 173 131.43/131.54 o 172 131.43/131.55 o 171 131.43/131.56 o 170 131.43/131.57 o 169 131.43/131.58 o 168 131.43/131.58 o 167 131.43/131.59 o 166 131.53/131.60 o 165 131.53/131.61 o 164 131.53/131.61 o 163 131.53/131.62 o 162 131.53/131.63 o 161 131.53/131.63 o 160 131.53/131.64 o 159 131.53/131.65 o 158 131.53/131.65 o 157 131.53/131.66 o 156 131.53/131.67 o 155 131.53/131.67 o 154 131.53/131.68 o 153 131.53/131.69 o 152 131.53/131.70 o 151 131.63/131.70 o 150 131.63/131.71 o 149 131.63/131.72 o 148 131.63/131.72 o 147 131.63/131.73 o 146 131.63/131.74 o 145 131.63/131.74 o 144 131.63/131.75 o 143 131.63/131.75 o 142 131.63/131.76 o 141 131.63/131.76 o 140 131.63/131.77 o 139 131.63/131.78 o 138 131.63/131.78 o 137 131.63/131.79 o 136 131.63/131.79 o 135 131.73/131.80 o 134 131.73/131.80 o 133 131.73/131.81 o 132 131.73/131.81 o 131 131.73/131.82 o 130 131.73/131.82 o 129 131.73/131.83 o 128 131.73/131.83 o 127 131.73/131.84 o 126 131.73/131.84 o 125 131.73/131.85 o 124 131.73/131.85 o 123 131.73/131.86 o 122 131.73/131.86 o 121 131.73/131.87 o 120 131.73/131.87 o 119 131.73/131.88 o 118 131.73/131.88 o 117 131.73/131.89 o 116 131.73/131.89 o 115 131.73/131.90 o 114 131.83/131.90 o 113 131.83/131.91 o 112 131.83/131.91 o 111 131.83/131.91 o 110 131.83/131.92 o 109 131.83/131.92 o 108 131.83/131.93 o 107 131.83/131.93 o 106 131.83/131.94 o 105 131.83/131.94 o 104 131.83/131.94 o 103 131.83/131.95 o 102 131.83/131.95 o 101 131.83/131.96 o 100 131.83/131.96 o 99 131.83/131.97 o 98 131.83/131.97 o 97 131.83/131.97 o 96 131.83/131.98 o 95 131.83/131.98 o 94 131.83/131.99 o 93 131.83/131.99 o 92 131.83/132.00 o 91 131.83/132.00 o 90 131.93/132.00 o 89 131.93/132.01 o 88 131.93/132.01 o 87 131.93/132.01 o 86 131.93/132.02 o 85 131.93/132.02 o 84 131.93/132.03 o 83 131.93/132.03 o 82 131.93/132.03 o 81 131.93/132.04 o 80 131.93/132.04 o 79 131.93/132.04 o 78 131.93/132.05 o 77 131.93/132.05 o 76 131.93/132.05 o 75 131.93/132.06 o 74 131.93/132.06 o 73 131.93/132.06 o 72 131.93/132.07 o 71 131.93/132.07 o 70 131.93/132.07 o 69 131.93/132.08 o 68 131.93/132.08 o 67 131.93/132.08 o 66 131.93/132.09 o 65 131.93/132.09 o 64 131.93/132.09 o 63 131.93/132.09 o 62 131.93/132.10 o 61 132.02/132.10 o 60 132.02/132.10 o 59 132.02/132.10 o 58 132.02/132.11 o 57 132.02/132.11 o 56 132.02/132.11 o 55 132.02/132.11 o 54 132.02/132.12 o 53 132.02/132.12 o 52 132.02/132.12 o 51 132.02/132.12 o 50 132.02/132.13 o 49 132.02/132.13 o 48 132.02/132.13 o 47 132.02/132.13 o 46 132.02/132.13 o 45 132.02/132.14 o 44 132.02/132.14 o 43 132.02/132.14 o 42 132.02/132.14 o 41 132.02/132.14 o 40 132.02/132.15 o 39 132.02/132.15 o 38 132.02/132.15 o 37 132.02/132.15 o 36 132.02/132.15 o 35 132.02/132.16 o 34 132.02/132.16 o 33 132.02/132.16 o 32 132.02/132.16 o 31 132.02/132.17 o 30 132.02/132.17 o 29 149.72/149.89 o 28 1800.08/1800.70 s SATISFIABLE
ERROR: no interpretation found !
/tmp/evaluation/354642-1176721084/instance-354642-1176721084.opb is already a linear file
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node72/watcher-354642-1176721084 -o ROOT/results/node72/solver-354642-1176721084 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/354642-1176721084/PBS4 /tmp/evaluation/354642-1176721084/instance-354642-1176721084.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.92 0.98 0.99 3/77 6654 /proc/meminfo: memFree=1800376/2055920 swapFree=4171536/4192956 [pid=6654] ppid=6652 vsize=2192 CPUtime=0 /proc/6654/stat : 6654 (PBS4) R 6652 6654 6528 0 -1 4194304 337 0 0 0 0 0 0 0 18 0 1 0 148146877 2244608 319 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135006597 0 0 4096 0 0 0 0 17 1 0 0 /proc/6654/statm: 548 319 86 219 0 325 0 [startup+0.0123641 s] /proc/loadavg: 0.92 0.98 0.99 3/77 6654 /proc/meminfo: memFree=1800376/2055920 swapFree=4171536/4192956 [pid=6654] ppid=6652 vsize=2336 CPUtime=0 /proc/6654/stat : 6654 (PBS4) R 6652 6654 6528 0 -1 4194304 367 0 0 0 0 0 0 0 18 0 1 0 148146877 2392064 349 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134784767 0 0 4096 0 0 0 0 17 1 0 0 /proc/6654/statm: 584 349 86 219 0 361 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2336 [startup+0.101372 s] /proc/loadavg: 0.92 0.98 0.99 3/77 6654 /proc/meminfo: memFree=1800376/2055920 swapFree=4171536/4192956 [pid=6654] ppid=6652 vsize=2496 CPUtime=0.09 /proc/6654/stat : 6654 (PBS4) R 6652 6654 6528 0 -1 4194304 424 0 0 0 9 0 0 0 18 0 1 0 148146877 2555904 406 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134588293 0 0 4096 0 0 0 0 17 1 0 0 /proc/6654/statm: 624 406 87 219 0 401 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2496 [startup+0.30139 s] /proc/loadavg: 0.92 0.98 0.99 3/77 6654 /proc/meminfo: memFree=1800376/2055920 swapFree=4171536/4192956 [pid=6654] ppid=6652 vsize=2812 CPUtime=0.29 /proc/6654/stat : 6654 (PBS4) R 6652 6654 6528 0 -1 4194304 526 0 0 0 29 0 0 0 19 0 1 0 148146877 2879488 508 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134805365 0 0 4096 0 0 0 0 17 1 0 0 /proc/6654/statm: 703 508 87 219 0 480 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 2812 [startup+0.701426 s] /proc/loadavg: 0.92 0.98 0.99 3/77 6654 /proc/meminfo: memFree=1800376/2055920 swapFree=4171536/4192956 [pid=6654] ppid=6652 vsize=4604 CPUtime=0.69 /proc/6654/stat : 6654 (PBS4) R 6652 6654 6528 0 -1 4194304 765 0 0 0 69 0 0 0 23 0 1 0 148146877 4714496 747 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134640559 0 0 4096 0 0 0 0 17 1 0 0 /proc/6654/statm: 1151 747 88 219 0 928 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 4604 [startup+1.5015 s] /proc/loadavg: 0.92 0.98 0.99 2/78 6655 /proc/meminfo: memFree=1796976/2055920 swapFree=4171536/4192956 [pid=6654] ppid=6652 vsize=6652 CPUtime=1.49 /proc/6654/stat : 6654 (PBS4) R 6652 6654 6528 0 -1 4194304 1243 0 0 0 149 0 0 0 25 0 1 0 148146877 6811648 1225 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134529775 0 0 4096 0 0 0 0 17 1 0 0 /proc/6654/statm: 1663 1225 88 219 0 1440 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 6652 [startup+3.10165 s] /proc/loadavg: 0.92 0.98 0.99 2/78 6655 /proc/meminfo: memFree=1794544/2055920 swapFree=4171536/4192956 [pid=6654] ppid=6652 vsize=6648 CPUtime=3.09 /proc/6654/stat : 6654 (PBS4) R 6652 6654 6528 0 -1 4194304 1478 0 0 0 306 3 0 0 25 0 1 0 148146877 6807552 1460 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6654/statm: 1662 1460 103 219 0 1439 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 6648 [startup+6.30194 s] /proc/loadavg: 0.93 0.98 0.99 2/78 6655 /proc/meminfo: memFree=1794544/2055920 swapFree=4171536/4192956 [pid=6654] ppid=6652 vsize=6648 CPUtime=6.29 /proc/6654/stat : 6654 (PBS4) R 6652 6654 6528 0 -1 4194304 1478 0 0 0 620 9 0 0 25 0 1 0 148146877 6807552 1460 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134548528 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6654/statm: 1662 1460 103 219 0 1439 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 6648 [startup+12.7015 s] /proc/loadavg: 0.93 0.98 0.99 2/78 6655 /proc/meminfo: memFree=1794672/2055920 swapFree=4171536/4192956 [pid=6654] ppid=6652 vsize=6648 CPUtime=12.69 /proc/6654/stat : 6654 (PBS4) R 6652 6654 6528 0 -1 4194304 1478 0 0 0 1246 23 0 0 25 0 1 0 148146877 6807552 1460 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6654/statm: 1662 1460 103 219 0 1439 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 6648 [startup+25.5017 s] /proc/loadavg: 0.95 0.98 0.99 2/78 6655 /proc/meminfo: memFree=1794800/2055920 swapFree=4171536/4192956 [pid=6654] ppid=6652 vsize=6648 CPUtime=25.49 /proc/6654/stat : 6654 (PBS4) R 6652 6654 6528 0 -1 4194304 1481 0 0 0 2498 51 0 0 25 0 1 0 148146877 6807552 1463 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6654/statm: 1662 1463 103 219 0 1439 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 6648 [startup+51.101 s] /proc/loadavg: 0.96 0.98 0.99 2/78 6655 /proc/meminfo: memFree=1794544/2055920 swapFree=4171536/4192956 [pid=6654] ppid=6652 vsize=6788 CPUtime=51.08 /proc/6654/stat : 6654 (PBS4) R 6652 6654 6528 0 -1 4194304 1543 0 0 0 5006 102 0 0 25 0 1 0 148146877 6950912 1525 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6654/statm: 1697 1525 103 219 0 1474 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 6788 [startup+102.306 s] /proc/loadavg: 0.98 0.98 0.99 2/78 6655 /proc/meminfo: memFree=1789744/2055920 swapFree=4171536/4192956 [pid=6654] ppid=6652 vsize=11584 CPUtime=102.27 /proc/6654/stat : 6654 (PBS4) R 6652 6654 6528 0 -1 4194304 2743 0 0 0 9949 278 0 0 25 0 1 0 148146877 11862016 2725 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6654/statm: 2896 2725 103 219 0 2673 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 11584 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 6655 /proc/meminfo: memFree=1767472/2055920 swapFree=4171536/4192956 [pid=6654] ppid=6652 vsize=39844 CPUtime=162.22 /proc/6654/stat : 6654 (PBS4) R 6652 6654 6528 0 -1 4194304 8303 0 0 0 15831 391 0 0 25 0 1 0 148146877 40800256 8285 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134559787 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6654/statm: 9961 8285 103 219 0 9738 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 39844 [startup+222.302 s] /proc/loadavg: 0.99 0.98 0.99 2/84 6829 /proc/meminfo: memFree=1766000/2055920 swapFree=4171536/4192956 [pid=6654] ppid=6652 vsize=39844 CPUtime=222.11 /proc/6654/stat : 6654 (PBS4) R 6652 6654 6528 0 -1 4194304 8304 0 0 0 21820 391 0 0 25 0 1 0 148146877 40800256 8286 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134559782 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6654/statm: 9961 8286 103 219 0 9738 0 Current children cumulated CPU time (s) 222.11 Current children cumulated vsize (KiB) 39844 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 6857 /proc/meminfo: memFree=1767024/2055920 swapFree=4171536/4192956 [pid=6654] ppid=6652 vsize=39844 CPUtime=282.08 /proc/6654/stat : 6654 (PBS4) R 6652 6654 6528 0 -1 4194304 8309 0 0 0 27816 392 0 0 25 0 1 0 148146877 40800256 8291 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134559787 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6654/statm: 9961 8291 103 219 0 9738 0 Current children cumulated CPU time (s) 282.08 Current children cumulated vsize (KiB) 39844 [startup+342.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 6857 /proc/meminfo: memFree=1767024/2055920 swapFree=4171536/4192956 [pid=6654] ppid=6652 vsize=40024 CPUtime=342.06 /proc/6654/stat : 6654 (PBS4) R 6652 6654 6528 0 -1 4194304 8312 0 0 0 33814 392 0 0 25 0 1 0 148146877 40984576 8294 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134559787 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6654/statm: 10006 8294 103 219 0 9783 0 Current children cumulated CPU time (s) 342.06 Current children cumulated vsize (KiB) 40024 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 6857 /proc/meminfo: memFree=1767024/2055920 swapFree=4171536/4192956 [pid=6654] ppid=6652 vsize=40024 CPUtime=402.04 /proc/6654/stat : 6654 (PBS4) R 6652 6654 6528 0 -1 4194304 8316 0 0 0 39812 392 0 0 25 0 1 0 148146877 40984576 8298 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134559736 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6654/statm: 10006 8298 103 219 0 9783 0 Current children cumulated CPU time (s) 402.04 Current children cumulated vsize (KiB) 40024 [startup+462.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 6857 /proc/meminfo: memFree=1766960/2055920 swapFree=4171536/4192956 [pid=6654] ppid=6652 vsize=40024 CPUtime=462.02 /proc/6654/stat : 6654 (PBS4) R 6652 6654 6528 0 -1 4194304 8320 0 0 0 45810 392 0 0 25 0 1 0 148146877 40984576 8302 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134559787 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6654/statm: 10006 8302 103 219 0 9783 0 Current children cumulated CPU time (s) 462.02 Current children cumulated vsize (KiB) 40024 [startup+522.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 6857 /proc/meminfo: memFree=1766960/2055920 swapFree=4171536/4192956 [pid=6654] ppid=6652 vsize=40024 CPUtime=522.01 /proc/6654/stat : 6654 (PBS4) R 6652 6654 6528 0 -1 4194304 8324 0 0 0 51808 393 0 0 25 0 1 0 148146877 40984576 8306 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134559739 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6654/statm: 10006 8306 103 219 0 9783 0 Current children cumulated CPU time (s) 522.01 Current children cumulated vsize (KiB) 40024 [startup+582.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 6857 /proc/meminfo: memFree=1766896/2055920 swapFree=4171536/4192956 [pid=6654] ppid=6652 vsize=44120 CPUtime=581.99 /proc/6654/stat : 6654 (PBS4) R 6652 6654 6528 0 -1 4194304 8329 0 0 0 57806 393 0 0 25 0 1 0 148146877 45178880 8311 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134559712 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6654/statm: 11030 8311 103 219 0 10807 0 Current children cumulated CPU time (s) 581.99 Current children cumulated vsize (KiB) 44120 [startup+642.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 6857 /proc/meminfo: memFree=1766768/2055920 swapFree=4171536/4192956 [pid=6654] ppid=6652 vsize=44120 CPUtime=641.99 /proc/6654/stat : 6654 (PBS4) R 6652 6654 6528 0 -1 4194304 8343 0 0 0 63805 394 0 0 25 0 1 0 148146877 45178880 8325 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134559715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6654/statm: 11030 8325 103 219 0 10807 0 Current children cumulated CPU time (s) 641.99 Current children cumulated vsize (KiB) 44120 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 6857 /proc/meminfo: memFree=1766384/2055920 swapFree=4171536/4192956 [pid=6654] ppid=6652 vsize=44280 CPUtime=881.92 /proc/6654/stat : 6654 (PBS4) R 6652 6654 6528 0 -1 4194304 8397 0 0 0 87797 395 0 0 25 0 1 0 148146877 45342720 8379 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134559864 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6654/statm: 11070 8379 103 219 0 10847 0 Current children cumulated CPU time (s) 881.92 Current children cumulated vsize (KiB) 44280 [startup+942.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 6857 /proc/meminfo: memFree=1766192/2055920 swapFree=4171536/4192956 [pid=6654] ppid=6652 vsize=44424 CPUtime=941.9 /proc/6654/stat : 6654 (PBS4) R 6652 6654 6528 0 -1 4194304 8434 0 0 0 93795 395 0 0 25 0 1 0 148146877 45490176 8416 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134559787 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6654/statm: 11106 8416 103 219 0 10883 0 Current children cumulated CPU time (s) 941.9 Current children cumulated vsize (KiB) 44424 [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 6857 /proc/meminfo: memFree=1766192/2055920 swapFree=4171536/4192956 [pid=6654] ppid=6652 vsize=44424 CPUtime=1001.88 /proc/6654/stat : 6654 (PBS4) R 6652 6654 6528 0 -1 4194304 8436 0 0 0 99793 395 0 0 25 0 1 0 148146877 45490176 8418 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134559751 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6654/statm: 11106 8418 103 219 0 10883 0 Current children cumulated CPU time (s) 1001.88 Current children cumulated vsize (KiB) 44424 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 6857 /proc/meminfo: memFree=1766128/2055920 swapFree=4171536/4192956 [pid=6654] ppid=6652 vsize=44424 CPUtime=1061.87 /proc/6654/stat : 6654 (PBS4) R 6652 6654 6528 0 -1 4194304 8439 0 0 0 105791 396 0 0 25 0 1 0 148146877 45490176 8421 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134559787 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6654/statm: 11106 8421 103 219 0 10883 0 Current children cumulated CPU time (s) 1061.87 Current children cumulated vsize (KiB) 44424 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 6857 /proc/meminfo: memFree=1766064/2055920 swapFree=4171536/4192956 [pid=6654] ppid=6652 vsize=44424 CPUtime=1121.85 /proc/6654/stat : 6654 (PBS4) R 6652 6654 6528 0 -1 4194304 8443 0 0 0 111789 396 0 0 25 0 1 0 148146877 45490176 8425 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134559795 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6654/statm: 11106 8425 103 219 0 10883 0 Current children cumulated CPU time (s) 1121.85 Current children cumulated vsize (KiB) 44424 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 6857 /proc/meminfo: memFree=1765936/2055920 swapFree=4171536/4192956 [pid=6654] ppid=6652 vsize=44560 CPUtime=1181.83 /proc/6654/stat : 6654 (PBS4) R 6652 6654 6528 0 -1 4194304 8458 0 0 0 117787 396 0 0 25 0 1 0 148146877 45629440 8440 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134559805 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6654/statm: 11140 8440 103 219 0 10917 0 Current children cumulated CPU time (s) 1181.83 Current children cumulated vsize (KiB) 44560 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 6857 /proc/meminfo: memFree=1765872/2055920 swapFree=4171536/4192956 [pid=6654] ppid=6652 vsize=44560 CPUtime=1241.82 /proc/6654/stat : 6654 (PBS4) R 6652 6654 6528 0 -1 4194304 8459 0 0 0 123785 397 0 0 25 0 1 0 148146877 45629440 8441 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134559779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6654/statm: 11140 8441 103 219 0 10917 0 Current children cumulated CPU time (s) 1241.82 Current children cumulated vsize (KiB) 44560 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 6857 /proc/meminfo: memFree=1765744/2055920 swapFree=4171536/4192956 [pid=6654] ppid=6652 vsize=44560 CPUtime=1301.8 /proc/6654/stat : 6654 (PBS4) R 6652 6654 6528 0 -1 4194304 8484 0 0 0 129783 397 0 0 25 0 1 0 148146877 45629440 8466 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134559787 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6654/statm: 11140 8466 103 219 0 10917 0 Current children cumulated CPU time (s) 1301.8 Current children cumulated vsize (KiB) 44560 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 6857 /proc/meminfo: memFree=1765616/2055920 swapFree=4171536/4192956 [pid=6654] ppid=6652 vsize=44560 CPUtime=1361.79 /proc/6654/stat : 6654 (PBS4) R 6652 6654 6528 0 -1 4194304 8495 0 0 0 135781 398 0 0 25 0 1 0 148146877 45629440 8477 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134559779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6654/statm: 11140 8477 103 219 0 10917 0 Current children cumulated CPU time (s) 1361.79 Current children cumulated vsize (KiB) 44560 [startup+1422.31 s] /proc/loadavg: 0.99 0.98 0.99 2/78 6857 /proc/meminfo: memFree=1765552/2055920 swapFree=4171536/4192956 [pid=6654] ppid=6652 vsize=44560 CPUtime=1421.77 /proc/6654/stat : 6654 (PBS4) R 6652 6654 6528 0 -1 4194304 8499 0 0 0 141779 398 0 0 25 0 1 0 148146877 45629440 8481 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134559787 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6654/statm: 11140 8481 103 219 0 10917 0 Current children cumulated CPU time (s) 1421.77 Current children cumulated vsize (KiB) 44560 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 6857 /proc/meminfo: memFree=1765488/2055920 swapFree=4171536/4192956 [pid=6654] ppid=6652 vsize=44704 CPUtime=1481.75 /proc/6654/stat : 6654 (PBS4) R 6652 6654 6528 0 -1 4194304 8514 0 0 0 147777 398 0 0 25 0 1 0 148146877 45776896 8496 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134559795 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6654/statm: 11176 8496 103 219 0 10953 0 Current children cumulated CPU time (s) 1481.75 Current children cumulated vsize (KiB) 44704 [startup+1542.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 6857 /proc/meminfo: memFree=1765296/2055920 swapFree=4171536/4192956 [pid=6654] ppid=6652 vsize=44864 CPUtime=1541.74 /proc/6654/stat : 6654 (PBS4) R 6652 6654 6528 0 -1 4194304 8547 0 0 0 153775 399 0 0 25 0 1 0 148146877 45940736 8529 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134559787 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6654/statm: 11216 8529 103 219 0 10993 0 Current children cumulated CPU time (s) 1541.74 Current children cumulated vsize (KiB) 44864 [startup+1602.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 6857 /proc/meminfo: memFree=1765168/2055920 swapFree=4171536/4192956 [pid=6654] ppid=6652 vsize=44864 CPUtime=1601.72 /proc/6654/stat : 6654 (PBS4) R 6652 6654 6528 0 -1 4194304 8565 0 0 0 159773 399 0 0 25 0 1 0 148146877 45940736 8547 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134559751 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6654/statm: 11216 8547 103 219 0 10993 0 Current children cumulated CPU time (s) 1601.72 Current children cumulated vsize (KiB) 44864 [startup+1662.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 6857 /proc/meminfo: memFree=1764976/2055920 swapFree=4171536/4192956 [pid=6654] ppid=6652 vsize=45012 CPUtime=1661.71 /proc/6654/stat : 6654 (PBS4) R 6652 6654 6528 0 -1 4194304 8605 0 0 0 165771 400 0 0 25 0 1 0 148146877 46092288 8587 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134559768 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6654/statm: 11253 8587 103 219 0 11030 0 Current children cumulated CPU time (s) 1661.71 Current children cumulated vsize (KiB) 45012 [startup+1722.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 6857 /proc/meminfo: memFree=1764784/2055920 swapFree=4171536/4192956 [pid=6654] ppid=6652 vsize=45172 CPUtime=1721.69 /proc/6654/stat : 6654 (PBS4) R 6652 6654 6528 0 -1 4194304 8647 0 0 0 171769 400 0 0 25 0 1 0 148146877 46256128 8629 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134559736 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6654/statm: 11293 8629 103 219 0 11070 0 Current children cumulated CPU time (s) 1721.69 Current children cumulated vsize (KiB) 45172 [startup+1782.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 6857 /proc/meminfo: memFree=1764656/2055920 swapFree=4171536/4192956 [pid=6654] ppid=6652 vsize=45332 CPUtime=1781.67 /proc/6654/stat : 6654 (PBS4) R 6652 6654 6528 0 -1 4194304 8671 0 0 0 177766 401 0 0 25 0 1 0 148146877 46419968 8653 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134559795 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6654/statm: 11333 8653 103 219 0 11110 0 Current children cumulated CPU time (s) 1781.67 Current children cumulated vsize (KiB) 45332 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 0.99 0.98 0.99 2/78 6857 /proc/meminfo: memFree=1764592/2055920 swapFree=4171536/4192956 [pid=6654] ppid=6652 vsize=45332 CPUtime=1800.08 /proc/6654/stat : 6654 (PBS4) R 6652 6654 6528 0 -1 4194304 8672 0 0 0 179607 401 0 0 25 0 1 0 148146877 46419968 8654 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134559771 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6654/statm: 11333 8654 103 219 0 11110 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 45332 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: 0.99 0.98 0.99 2/78 6857 /proc/meminfo: memFree=1764592/2055920 swapFree=4171536/4192956 [pid=6654] ppid=6652 vsize=45332 CPUtime=1800.08 /proc/6654/stat : 6654 (PBS4) R 6652 6654 6528 0 -1 4194304 8672 0 0 0 179607 401 0 0 25 0 1 0 148146877 46419968 8654 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134559771 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6654/statm: 11333 8654 103 219 0 11110 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 45332 Child status: 0 Real time (s): 1800.72 CPU time (s): 1800.09 CPU user time (s): 1796.07 CPU system time (s): 4.02039 CPU usage (%): 99.9653 Max. virtual memory (cumulated for all children) (KiB): 45332 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.07 system time used= 4.02039 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 8673 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 8 involuntary context switches= 39209 runsolver used 2.31065 second user time and 4.20936 second system time The end
Begin job on node72 on Mon Apr 16 10:58:04 UTC 2007 IDJOB= 354642 IDBENCH= 2850 IDSOLVER= 157 FILE ID= node72/354642-1176721084 PBS_JOBID= 4559484 Free space on /tmp= 66482 MiB SOLVER NAME= PBS4 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= /tmp/evaluation/354642-1176721084/PBS4 /tmp/evaluation/354642-1176721084/instance-354642-1176721084.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node72/convwatcher-354642-1176721084 -o ROOT/results/node72/conversion-354642-1176721084 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/354642-1176721084/instance-354642-1176721084.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node72/watcher-354642-1176721084 -o ROOT/results/node72/solver-354642-1176721084 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/354642-1176721084/PBS4 /tmp/evaluation/354642-1176721084/instance-354642-1176721084.opb META MD5SUM SOLVER= b6c24e28fef9e1efa7891be58ea9e46f MD5SUM BENCH= aa80468537d69826ea16800f352007ec RANDOM SEED= 790365072 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node72.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.222 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 : 5931.00 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.222 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: 1800848 kB Buffers: 28596 kB Cached: 146672 kB SwapCached: 3164 kB Active: 73100 kB Inactive: 126036 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1800848 kB SwapTotal: 4192956 kB SwapFree: 4171536 kB Dirty: 5524 kB Writeback: 0 kB Mapped: 30600 kB Slab: 41492 kB Committed_AS: 2660480 kB PageTables: 1788 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= 66482 MiB End job on node72 on Mon Apr 16 11:28:07 UTC 2007