DFMAX(../DIMACS_cliques/brock200_1.clq.b) setlim=1 Input Time: 0.00 (user) 0.00 (sys) 0.00 (real) Size = 14 found Size = 15 found Size = 16 found Size = 17 found Size = 18 found Size = 19 found Size = 20 found N = 200 best = 20 0.61 (user) 0.00 (sys) 0.00 (real) N = 199 best = 20 1.34 (user) 0.00 (sys) 1.00 (real) N = 198 best = 20 1.81 (user) 0.00 (sys) 2.00 (real) N = 197 best = 20 2.40 (user) 0.01 (sys) 2.00 (real) N = 196 best = 20 3.07 (user) 0.01 (sys) 3.00 (real) N = 195 best = 20 3.67 (user) 0.01 (sys) 3.00 (real) Size = 21 found N = 194 best = 21 4.15 (user) 0.01 (sys) 4.00 (real) N = 193 best = 21 4.58 (user) 0.02 (sys) 4.00 (real) N = 192 best = 21 5.11 (user) 0.02 (sys) 5.00 (real) N = 191 best = 21 5.59 (user) 0.02 (sys) 5.00 (real) N = 190 best = 21 6.18 (user) 0.02 (sys) 6.00 (real) N = 189 best = 21 6.62 (user) 0.03 (sys) 6.00 (real) N = 188 best = 21 7.10 (user) 0.03 (sys) 7.00 (real) N = 187 best = 21 7.50 (user) 0.04 (sys) 7.00 (real) N = 186 best = 21 8.10 (user) 0.04 (sys) 8.00 (real) N = 185 best = 21 8.53 (user) 0.04 (sys) 8.00 (real) N = 184 best = 21 8.97 (user) 0.04 (sys) 9.00 (real) N = 183 best = 21 9.57 (user) 0.04 (sys) 9.00 (real) N = 182 best = 21 10.15 (user) 0.05 (sys) 10.00 (real) N = 181 best = 21 10.51 (user) 0.05 (sys) 10.00 (real) N = 180 best = 21 10.85 (user) 0.05 (sys) 11.00 (real) N = 179 best = 21 11.14 (user) 0.05 (sys) 11.00 (real) N = 178 best = 21 11.48 (user) 0.06 (sys) 11.00 (real) N = 177 best = 21 11.96 (user) 0.06 (sys) 12.00 (real) N = 176 best = 21 12.30 (user) 0.06 (sys) 12.00 (real) N = 175 best = 21 12.74 (user) 0.06 (sys) 13.00 (real) N = 174 best = 21 13.12 (user) 0.06 (sys) 13.00 (real) N = 173 best = 21 13.49 (user) 0.07 (sys) 13.00 (real) N = 172 best = 21 13.88 (user) 0.07 (sys) 14.00 (real) N = 171 best = 21 14.18 (user) 0.07 (sys) 14.00 (real) N = 170 best = 21 14.46 (user) 0.07 (sys) 14.00 (real) N = 169 best = 21 14.75 (user) 0.08 (sys) 15.00 (real) N = 168 best = 21 15.15 (user) 0.08 (sys) 15.00 (real) N = 167 best = 21 15.45 (user) 0.08 (sys) 15.00 (real) N = 166 best = 21 15.72 (user) 0.08 (sys) 16.00 (real) N = 165 best = 21 15.97 (user) 0.08 (sys) 16.00 (real) N = 164 best = 21 16.25 (user) 0.08 (sys) 16.00 (real) N = 163 best = 21 16.56 (user) 0.09 (sys) 16.00 (real) N = 162 best = 21 16.85 (user) 0.09 (sys) 17.00 (real) N = 161 best = 21 17.12 (user) 0.09 (sys) 17.00 (real) N = 160 best = 21 17.30 (user) 0.09 (sys) 17.00 (real) N = 159 best = 21 17.54 (user) 0.09 (sys) 17.00 (real) N = 158 best = 21 17.75 (user) 0.09 (sys) 18.00 (real) N = 157 best = 21 18.01 (user) 0.09 (sys) 18.00 (real) N = 156 best = 21 18.17 (user) 0.09 (sys) 18.00 (real) N = 155 best = 21 18.41 (user) 0.09 (sys) 18.00 (real) N = 154 best = 21 18.63 (user) 0.09 (sys) 19.00 (real) N = 153 best = 21 18.77 (user) 0.10 (sys) 19.00 (real) N = 152 best = 21 18.95 (user) 0.10 (sys) 19.00 (real) N = 151 best = 21 19.10 (user) 0.10 (sys) 19.00 (real) N = 150 best = 21 19.26 (user) 0.10 (sys) 19.00 (real) N = 149 best = 21 19.40 (user) 0.10 (sys) 19.00 (real) N = 148 best = 21 19.56 (user) 0.10 (sys) 19.00 (real) N = 147 best = 21 19.75 (user) 0.10 (sys) 20.00 (real) N = 146 best = 21 19.90 (user) 0.10 (sys) 20.00 (real) N = 145 best = 21 20.04 (user) 0.10 (sys) 20.00 (real) N = 144 best = 21 20.22 (user) 0.10 (sys) 20.00 (real) N = 143 best = 21 20.37 (user) 0.10 (sys) 20.00 (real) N = 142 best = 21 20.52 (user) 0.11 (sys) 20.00 (real) N = 141 best = 21 20.62 (user) 0.11 (sys) 21.00 (real) N = 140 best = 21 20.73 (user) 0.11 (sys) 21.00 (real) N = 139 best = 21 20.84 (user) 0.11 (sys) 21.00 (real) N = 138 best = 21 20.95 (user) 0.11 (sys) 21.00 (real) N = 137 best = 21 21.05 (user) 0.11 (sys) 21.00 (real) N = 136 best = 21 21.14 (user) 0.11 (sys) 21.00 (real) N = 135 best = 21 21.26 (user) 0.11 (sys) 21.00 (real) N = 134 best = 21 21.38 (user) 0.12 (sys) 21.00 (real) N = 133 best = 21 21.49 (user) 0.12 (sys) 21.00 (real) N = 132 best = 21 21.58 (user) 0.12 (sys) 21.00 (real) N = 131 best = 21 21.64 (user) 0.12 (sys) 22.00 (real) N = 130 best = 21 21.73 (user) 0.12 (sys) 22.00 (real) N = 129 best = 21 21.80 (user) 0.12 (sys) 22.00 (real) N = 128 best = 21 21.88 (user) 0.12 (sys) 22.00 (real) N = 127 best = 21 21.94 (user) 0.12 (sys) 22.00 (real) N = 126 best = 21 22.00 (user) 0.12 (sys) 22.00 (real) N = 125 best = 21 22.06 (user) 0.12 (sys) 22.00 (real) N = 124 best = 21 22.14 (user) 0.12 (sys) 22.00 (real) N = 123 best = 21 22.18 (user) 0.12 (sys) 22.00 (real) N = 122 best = 21 22.23 (user) 0.12 (sys) 22.00 (real) N = 121 best = 21 22.29 (user) 0.12 (sys) 22.00 (real) N = 120 best = 21 22.32 (user) 0.12 (sys) 22.00 (real) N = 119 best = 21 22.37 (user) 0.12 (sys) 22.00 (real) N = 118 best = 21 22.40 (user) 0.12 (sys) 22.00 (real) N = 117 best = 21 22.44 (user) 0.12 (sys) 22.00 (real) N = 116 best = 21 22.48 (user) 0.12 (sys) 22.00 (real) N = 115 best = 21 22.51 (user) 0.12 (sys) 22.00 (real) N = 114 best = 21 22.54 (user) 0.12 (sys) 22.00 (real) N = 113 best = 21 22.56 (user) 0.12 (sys) 22.00 (real) N = 112 best = 21 22.60 (user) 0.12 (sys) 23.00 (real) N = 111 best = 21 22.62 (user) 0.12 (sys) 23.00 (real) N = 110 best = 21 22.65 (user) 0.12 (sys) 23.00 (real) N = 109 best = 21 22.68 (user) 0.12 (sys) 23.00 (real) N = 108 best = 21 22.71 (user) 0.12 (sys) 23.00 (real) N = 107 best = 21 22.73 (user) 0.12 (sys) 23.00 (real) N = 106 best = 21 22.75 (user) 0.12 (sys) 23.00 (real) N = 105 best = 21 22.77 (user) 0.12 (sys) 23.00 (real) N = 104 best = 21 22.79 (user) 0.12 (sys) 23.00 (real) N = 103 best = 21 22.80 (user) 0.12 (sys) 23.00 (real) N = 102 best = 21 22.83 (user) 0.12 (sys) 23.00 (real) N = 101 best = 21 22.84 (user) 0.12 (sys) 23.00 (real) N = 100 best = 21 22.86 (user) 0.12 (sys) 23.00 (real) N = 99 best = 21 22.88 (user) 0.12 (sys) 23.00 (real) N = 98 best = 21 22.89 (user) 0.12 (sys) 23.00 (real) N = 97 best = 21 22.90 (user) 0.12 (sys) 23.00 (real) N = 96 best = 21 22.92 (user) 0.12 (sys) 23.00 (real) N = 95 best = 21 22.93 (user) 0.12 (sys) 23.00 (real) N = 94 best = 21 22.93 (user) 0.12 (sys) 23.00 (real) N = 93 best = 21 22.94 (user) 0.12 (sys) 23.00 (real) N = 92 best = 21 22.95 (user) 0.12 (sys) 23.00 (real) N = 91 best = 21 22.96 (user) 0.12 (sys) 23.00 (real) N = 90 best = 21 22.97 (user) 0.12 (sys) 23.00 (real) N = 89 best = 21 22.97 (user) 0.12 (sys) 23.00 (real) N = 88 best = 21 22.98 (user) 0.12 (sys) 23.00 (real) N = 87 best = 21 22.98 (user) 0.12 (sys) 23.00 (real) N = 86 best = 21 22.98 (user) 0.12 (sys) 23.00 (real) N = 85 best = 21 22.99 (user) 0.12 (sys) 23.00 (real) N = 84 best = 21 22.99 (user) 0.13 (sys) 23.00 (real) N = 83 best = 21 22.99 (user) 0.13 (sys) 23.00 (real) N = 82 best = 21 23.00 (user) 0.13 (sys) 23.00 (real) N = 81 best = 21 23.00 (user) 0.13 (sys) 23.00 (real) N = 80 best = 21 23.00 (user) 0.13 (sys) 23.00 (real) N = 79 best = 21 23.00 (user) 0.13 (sys) 23.00 (real) N = 78 best = 21 23.00 (user) 0.13 (sys) 23.00 (real) N = 77 best = 21 23.01 (user) 0.13 (sys) 23.00 (real) N = 76 best = 21 23.01 (user) 0.13 (sys) 23.00 (real) N = 75 best = 21 23.01 (user) 0.13 (sys) 23.00 (real) N = 74 best = 21 23.01 (user) 0.13 (sys) 23.00 (real) N = 73 best = 21 23.01 (user) 0.13 (sys) 23.00 (real) N = 72 best = 21 23.01 (user) 0.13 (sys) 23.00 (real) N = 71 best = 21 23.02 (user) 0.13 (sys) 23.00 (real) N = 70 best = 21 23.02 (user) 0.13 (sys) 23.00 (real) N = 69 best = 21 23.02 (user) 0.13 (sys) 23.00 (real) N = 68 best = 21 23.02 (user) 0.13 (sys) 23.00 (real) N = 67 best = 21 23.02 (user) 0.13 (sys) 23.00 (real) N = 66 best = 21 23.02 (user) 0.13 (sys) 23.00 (real) N = 65 best = 21 23.02 (user) 0.13 (sys) 23.00 (real) N = 64 best = 21 23.02 (user) 0.13 (sys) 23.00 (real) N = 63 best = 21 23.02 (user) 0.13 (sys) 23.00 (real) N = 62 best = 21 23.02 (user) 0.13 (sys) 23.00 (real) N = 61 best = 21 23.02 (user) 0.13 (sys) 23.00 (real) N = 60 best = 21 23.02 (user) 0.13 (sys) 23.00 (real) N = 59 best = 21 23.02 (user) 0.13 (sys) 23.00 (real) N = 58 best = 21 23.02 (user) 0.13 (sys) 23.00 (real) N = 57 best = 21 23.02 (user) 0.13 (sys) 23.00 (real) N = 56 best = 21 23.02 (user) 0.13 (sys) 23.00 (real) N = 55 best = 21 23.02 (user) 0.13 (sys) 23.00 (real) N = 54 best = 21 23.02 (user) 0.13 (sys) 23.00 (real) N = 53 best = 21 23.02 (user) 0.13 (sys) 23.00 (real) N = 52 best = 21 23.02 (user) 0.13 (sys) 23.00 (real) N = 51 best = 21 23.02 (user) 0.13 (sys) 23.00 (real) N = 50 best = 21 23.02 (user) 0.13 (sys) 23.00 (real) N = 49 best = 21 23.02 (user) 0.13 (sys) 23.00 (real) N = 48 best = 21 23.02 (user) 0.13 (sys) 23.00 (real) N = 47 best = 21 23.02 (user) 0.13 (sys) 23.00 (real) N = 46 best = 21 23.02 (user) 0.13 (sys) 23.00 (real) N = 45 best = 21 23.02 (user) 0.13 (sys) 23.00 (real) N = 44 best = 21 23.02 (user) 0.13 (sys) 23.00 (real) N = 43 best = 21 23.02 (user) 0.13 (sys) 23.00 (real) N = 42 best = 21 23.02 (user) 0.13 (sys) 23.00 (real) N = 41 best = 21 23.02 (user) 0.13 (sys) 23.00 (real) N = 40 best = 21 23.02 (user) 0.13 (sys) 23.00 (real) N = 39 best = 21 23.02 (user) 0.13 (sys) 23.00 (real) N = 38 best = 21 23.02 (user) 0.13 (sys) 23.00 (real) N = 37 best = 21 23.02 (user) 0.13 (sys) 23.00 (real) N = 36 best = 21 23.02 (user) 0.13 (sys) 23.00 (real) N = 35 best = 21 23.02 (user) 0.13 (sys) 23.00 (real) N = 34 best = 21 23.02 (user) 0.13 (sys) 23.00 (real) N = 33 best = 21 23.02 (user) 0.13 (sys) 23.00 (real) N = 32 best = 21 23.02 (user) 0.13 (sys) 23.00 (real) N = 31 best = 21 23.02 (user) 0.13 (sys) 23.00 (real) N = 30 best = 21 23.02 (user) 0.13 (sys) 23.00 (real) N = 29 best = 21 23.02 (user) 0.13 (sys) 23.00 (real) N = 28 best = 21 23.02 (user) 0.13 (sys) 23.00 (real) N = 27 best = 21 23.02 (user) 0.13 (sys) 23.00 (real) N = 26 best = 21 23.02 (user) 0.13 (sys) 23.00 (real) N = 25 best = 21 23.02 (user) 0.13 (sys) 23.00 (real) N = 24 best = 21 23.02 (user) 0.13 (sys) 23.00 (real) 23.02 (user) 0.13 (sys) 23.00 (real) Best: 134 136 85 39 102 68 150 92 135 142 90 93 81 18 178 87 186 94 108 73 20 DFMAX(../DIMACS_cliques/brock200_4.clq.b) setlim=1 Input Time: 0.00 (user) 0.00 (sys) 0.00 (real) Size = 10 found Size = 11 found Size = 12 found Size = 13 found Size = 14 found Size = 15 found N = 200 best = 15 0.05 (user) 0.00 (sys) 0.00 (real) N = 199 best = 15 0.09 (user) 0.00 (sys) 0.00 (real) N = 198 best = 15 0.12 (user) 0.00 (sys) 0.00 (real) Size = 16 found N = 197 best = 16 0.15 (user) 0.00 (sys) 0.00 (real) N = 196 best = 16 0.18 (user) 0.00 (sys) 0.00 (real) N = 195 best = 16 0.21 (user) 0.00 (sys) 0.00 (real) N = 194 best = 16 0.24 (user) 0.00 (sys) 0.00 (real) N = 193 best = 16 0.27 (user) 0.00 (sys) 0.00 (real) N = 192 best = 16 0.30 (user) 0.00 (sys) 0.00 (real) N = 191 best = 16 0.33 (user) 0.00 (sys) 0.00 (real) N = 190 best = 16 0.36 (user) 0.00 (sys) 0.00 (real) N = 189 best = 16 0.40 (user) 0.00 (sys) 0.00 (real) N = 188 best = 16 0.43 (user) 0.00 (sys) 0.00 (real) N = 187 best = 16 0.45 (user) 0.00 (sys) 0.00 (real) N = 186 best = 16 0.48 (user) 0.00 (sys) 0.00 (real) N = 185 best = 16 0.50 (user) 0.00 (sys) 1.00 (real) N = 184 best = 16 0.53 (user) 0.00 (sys) 1.00 (real) N = 183 best = 16 0.55 (user) 0.00 (sys) 1.00 (real) N = 182 best = 16 0.58 (user) 0.00 (sys) 1.00 (real) N = 181 best = 16 0.61 (user) 0.00 (sys) 1.00 (real) N = 180 best = 16 0.64 (user) 0.00 (sys) 1.00 (real) N = 179 best = 16 0.66 (user) 0.00 (sys) 1.00 (real) N = 178 best = 16 0.68 (user) 0.00 (sys) 1.00 (real) N = 177 best = 16 0.71 (user) 0.00 (sys) 1.00 (real) N = 176 best = 16 0.74 (user) 0.00 (sys) 1.00 (real) N = 175 best = 16 0.76 (user) 0.00 (sys) 1.00 (real) N = 174 best = 16 0.78 (user) 0.00 (sys) 1.00 (real) N = 173 best = 16 0.81 (user) 0.00 (sys) 1.00 (real) N = 172 best = 16 0.82 (user) 0.00 (sys) 1.00 (real) N = 171 best = 16 0.85 (user) 0.00 (sys) 1.00 (real) N = 170 best = 16 0.86 (user) 0.00 (sys) 1.00 (real) N = 169 best = 16 0.88 (user) 0.00 (sys) 1.00 (real) N = 168 best = 16 0.91 (user) 0.00 (sys) 1.00 (real) N = 167 best = 16 0.93 (user) 0.00 (sys) 1.00 (real) N = 166 best = 16 0.95 (user) 0.00 (sys) 1.00 (real) Size = 17 found N = 165 best = 17 0.96 (user) 0.00 (sys) 1.00 (real) N = 164 best = 17 0.98 (user) 0.00 (sys) 1.00 (real) N = 163 best = 17 0.99 (user) 0.00 (sys) 1.00 (real) N = 162 best = 17 1.00 (user) 0.00 (sys) 1.00 (real) N = 161 best = 17 1.02 (user) 0.00 (sys) 1.00 (real) N = 160 best = 17 1.03 (user) 0.00 (sys) 1.00 (real) N = 159 best = 17 1.04 (user) 0.00 (sys) 1.00 (real) N = 158 best = 17 1.06 (user) 0.00 (sys) 1.00 (real) N = 157 best = 17 1.07 (user) 0.00 (sys) 1.00 (real) N = 156 best = 17 1.08 (user) 0.00 (sys) 1.00 (real) N = 155 best = 17 1.09 (user) 0.00 (sys) 1.00 (real) N = 154 best = 17 1.10 (user) 0.00 (sys) 1.00 (real) N = 153 best = 17 1.11 (user) 0.00 (sys) 1.00 (real) N = 152 best = 17 1.12 (user) 0.00 (sys) 1.00 (real) N = 151 best = 17 1.13 (user) 0.00 (sys) 1.00 (real) N = 150 best = 17 1.13 (user) 0.00 (sys) 1.00 (real) N = 149 best = 17 1.14 (user) 0.00 (sys) 1.00 (real) N = 148 best = 17 1.15 (user) 0.00 (sys) 1.00 (real) N = 147 best = 17 1.16 (user) 0.00 (sys) 1.00 (real) N = 146 best = 17 1.16 (user) 0.00 (sys) 1.00 (real) N = 145 best = 17 1.17 (user) 0.00 (sys) 1.00 (real) N = 144 best = 17 1.18 (user) 0.00 (sys) 1.00 (real) N = 143 best = 17 1.18 (user) 0.00 (sys) 1.00 (real) N = 142 best = 17 1.19 (user) 0.00 (sys) 1.00 (real) N = 141 best = 17 1.20 (user) 0.00 (sys) 1.00 (real) N = 140 best = 17 1.20 (user) 0.00 (sys) 1.00 (real) N = 139 best = 17 1.20 (user) 0.00 (sys) 1.00 (real) N = 138 best = 17 1.21 (user) 0.00 (sys) 1.00 (real) N = 137 best = 17 1.22 (user) 0.00 (sys) 1.00 (real) N = 136 best = 17 1.22 (user) 0.00 (sys) 1.00 (real) N = 135 best = 17 1.23 (user) 0.00 (sys) 1.00 (real) N = 134 best = 17 1.23 (user) 0.00 (sys) 1.00 (real) N = 133 best = 17 1.24 (user) 0.00 (sys) 1.00 (real) N = 132 best = 17 1.24 (user) 0.00 (sys) 1.00 (real) N = 131 best = 17 1.25 (user) 0.00 (sys) 1.00 (real) N = 130 best = 17 1.26 (user) 0.00 (sys) 1.00 (real) N = 129 best = 17 1.26 (user) 0.00 (sys) 1.00 (real) N = 128 best = 17 1.26 (user) 0.00 (sys) 1.00 (real) N = 127 best = 17 1.26 (user) 0.00 (sys) 1.00 (real) N = 126 best = 17 1.27 (user) 0.00 (sys) 1.00 (real) N = 125 best = 17 1.27 (user) 0.00 (sys) 1.00 (real) N = 124 best = 17 1.28 (user) 0.00 (sys) 1.00 (real) N = 123 best = 17 1.28 (user) 0.00 (sys) 1.00 (real) N = 122 best = 17 1.28 (user) 0.00 (sys) 1.00 (real) N = 121 best = 17 1.28 (user) 0.00 (sys) 1.00 (real) N = 120 best = 17 1.29 (user) 0.00 (sys) 1.00 (real) N = 119 best = 17 1.29 (user) 0.00 (sys) 1.00 (real) N = 118 best = 17 1.29 (user) 0.00 (sys) 1.00 (real) N = 117 best = 17 1.30 (user) 0.00 (sys) 1.00 (real) N = 116 best = 17 1.30 (user) 0.00 (sys) 1.00 (real) N = 115 best = 17 1.30 (user) 0.00 (sys) 1.00 (real) N = 114 best = 17 1.30 (user) 0.00 (sys) 1.00 (real) N = 113 best = 17 1.31 (user) 0.00 (sys) 1.00 (real) N = 112 best = 17 1.31 (user) 0.00 (sys) 1.00 (real) N = 111 best = 17 1.31 (user) 0.00 (sys) 1.00 (real) N = 110 best = 17 1.31 (user) 0.00 (sys) 1.00 (real) N = 109 best = 17 1.32 (user) 0.00 (sys) 1.00 (real) N = 108 best = 17 1.32 (user) 0.00 (sys) 1.00 (real) N = 107 best = 17 1.32 (user) 0.00 (sys) 1.00 (real) N = 106 best = 17 1.32 (user) 0.00 (sys) 1.00 (real) N = 105 best = 17 1.32 (user) 0.00 (sys) 1.00 (real) N = 104 best = 17 1.32 (user) 0.00 (sys) 1.00 (real) N = 103 best = 17 1.33 (user) 0.00 (sys) 1.00 (real) N = 102 best = 17 1.33 (user) 0.00 (sys) 1.00 (real) N = 101 best = 17 1.33 (user) 0.00 (sys) 1.00 (real) N = 100 best = 17 1.33 (user) 0.00 (sys) 1.00 (real) N = 99 best = 17 1.33 (user) 0.00 (sys) 1.00 (real) N = 98 best = 17 1.34 (user) 0.00 (sys) 1.00 (real) N = 97 best = 17 1.34 (user) 0.00 (sys) 1.00 (real) N = 96 best = 17 1.34 (user) 0.00 (sys) 1.00 (real) N = 95 best = 17 1.34 (user) 0.00 (sys) 1.00 (real) N = 94 best = 17 1.34 (user) 0.00 (sys) 1.00 (real) N = 93 best = 17 1.34 (user) 0.00 (sys) 1.00 (real) N = 92 best = 17 1.34 (user) 0.00 (sys) 1.00 (real) N = 91 best = 17 1.34 (user) 0.00 (sys) 1.00 (real) N = 90 best = 17 1.34 (user) 0.00 (sys) 1.00 (real) N = 89 best = 17 1.34 (user) 0.00 (sys) 1.00 (real) N = 88 best = 17 1.34 (user) 0.00 (sys) 1.00 (real) N = 87 best = 17 1.34 (user) 0.00 (sys) 1.00 (real) N = 86 best = 17 1.35 (user) 0.00 (sys) 1.00 (real) N = 85 best = 17 1.35 (user) 0.00 (sys) 1.00 (real) N = 84 best = 17 1.35 (user) 0.00 (sys) 1.00 (real) N = 83 best = 17 1.35 (user) 0.00 (sys) 1.00 (real) N = 82 best = 17 1.35 (user) 0.00 (sys) 1.00 (real) N = 81 best = 17 1.35 (user) 0.00 (sys) 1.00 (real) N = 80 best = 17 1.35 (user) 0.00 (sys) 1.00 (real) N = 79 best = 17 1.35 (user) 0.00 (sys) 1.00 (real) N = 78 best = 17 1.35 (user) 0.00 (sys) 1.00 (real) N = 77 best = 17 1.35 (user) 0.00 (sys) 1.00 (real) N = 76 best = 17 1.35 (user) 0.00 (sys) 1.00 (real) N = 75 best = 17 1.35 (user) 0.00 (sys) 1.00 (real) N = 74 best = 17 1.35 (user) 0.00 (sys) 1.00 (real) N = 73 best = 17 1.35 (user) 0.00 (sys) 1.00 (real) N = 72 best = 17 1.36 (user) 0.00 (sys) 1.00 (real) N = 71 best = 17 1.36 (user) 0.00 (sys) 1.00 (real) N = 70 best = 17 1.36 (user) 0.00 (sys) 1.00 (real) N = 69 best = 17 1.36 (user) 0.00 (sys) 1.00 (real) N = 68 best = 17 1.36 (user) 0.00 (sys) 1.00 (real) N = 67 best = 17 1.36 (user) 0.00 (sys) 1.00 (real) N = 66 best = 17 1.36 (user) 0.00 (sys) 1.00 (real) N = 65 best = 17 1.36 (user) 0.00 (sys) 1.00 (real) N = 64 best = 17 1.36 (user) 0.00 (sys) 1.00 (real) N = 63 best = 17 1.36 (user) 0.00 (sys) 1.00 (real) N = 62 best = 17 1.36 (user) 0.00 (sys) 1.00 (real) N = 61 best = 17 1.36 (user) 0.00 (sys) 1.00 (real) N = 60 best = 17 1.36 (user) 0.00 (sys) 1.00 (real) N = 59 best = 17 1.36 (user) 0.00 (sys) 1.00 (real) N = 58 best = 17 1.36 (user) 0.00 (sys) 1.00 (real) N = 57 best = 17 1.36 (user) 0.00 (sys) 1.00 (real) N = 56 best = 17 1.36 (user) 0.00 (sys) 1.00 (real) N = 55 best = 17 1.36 (user) 0.00 (sys) 1.00 (real) N = 54 best = 17 1.36 (user) 0.00 (sys) 1.00 (real) N = 53 best = 17 1.36 (user) 0.00 (sys) 1.00 (real) N = 52 best = 17 1.36 (user) 0.00 (sys) 1.00 (real) N = 51 best = 17 1.36 (user) 0.00 (sys) 1.00 (real) N = 50 best = 17 1.36 (user) 0.00 (sys) 1.00 (real) N = 49 best = 17 1.36 (user) 0.00 (sys) 1.00 (real) N = 48 best = 17 1.36 (user) 0.00 (sys) 1.00 (real) N = 47 best = 17 1.36 (user) 0.00 (sys) 1.00 (real) N = 46 best = 17 1.36 (user) 0.00 (sys) 1.00 (real) N = 45 best = 17 1.36 (user) 0.00 (sys) 1.00 (real) N = 44 best = 17 1.36 (user) 0.00 (sys) 1.00 (real) N = 43 best = 17 1.36 (user) 0.00 (sys) 1.00 (real) N = 42 best = 17 1.36 (user) 0.00 (sys) 1.00 (real) N = 41 best = 17 1.36 (user) 0.00 (sys) 1.00 (real) N = 40 best = 17 1.36 (user) 0.00 (sys) 1.00 (real) N = 39 best = 17 1.36 (user) 0.00 (sys) 1.00 (real) N = 38 best = 17 1.36 (user) 0.00 (sys) 1.00 (real) N = 37 best = 17 1.36 (user) 0.00 (sys) 1.00 (real) N = 36 best = 17 1.36 (user) 0.00 (sys) 1.00 (real) N = 35 best = 17 1.36 (user) 0.00 (sys) 1.00 (real) N = 34 best = 17 1.36 (user) 0.00 (sys) 1.00 (real) N = 33 best = 17 1.36 (user) 0.00 (sys) 1.00 (real) N = 32 best = 17 1.36 (user) 0.00 (sys) 1.00 (real) N = 31 best = 17 1.36 (user) 0.00 (sys) 1.00 (real) N = 30 best = 17 1.36 (user) 0.00 (sys) 1.00 (real) N = 29 best = 17 1.36 (user) 0.00 (sys) 1.00 (real) N = 28 best = 17 1.36 (user) 0.00 (sys) 1.00 (real) N = 27 best = 17 1.36 (user) 0.00 (sys) 1.00 (real) N = 26 best = 17 1.36 (user) 0.00 (sys) 1.00 (real) N = 25 best = 17 1.36 (user) 0.00 (sys) 1.00 (real) N = 24 best = 17 1.36 (user) 0.00 (sys) 1.00 (real) N = 23 best = 17 1.36 (user) 0.00 (sys) 1.00 (real) N = 22 best = 17 1.36 (user) 0.00 (sys) 1.00 (real) N = 21 best = 17 1.36 (user) 0.00 (sys) 1.00 (real) 1.36 (user) 0.00 (sys) 1.00 (real) Best: 93 12 54 127 38 29 165 161 28 186 65 192 117 139 79 19 71 DFMAX(../DIMACS_cliques/p_hat1000-1.clq.b) setlim=1 Input Time: 0.06 (user) 0.00 (sys) 1.00 (real) Size = 4 found Size = 5 found Size = 6 found Size = 7 found Size = 8 found N = 1000 best = 8 0.04 (user) 0.00 (sys) 0.00 (real) N = 999 best = 8 0.04 (user) 0.00 (sys) 0.00 (real) N = 998 best = 8 0.04 (user) 0.00 (sys) 0.00 (real) N = 997 best = 8 0.04 (user) 0.00 (sys) 0.00 (real) N = 996 best = 8 0.04 (user) 0.00 (sys) 0.00 (real) Size = 9 found N = 995 best = 9 0.04 (user) 0.00 (sys) 0.00 (real) N = 994 best = 9 0.04 (user) 0.00 (sys) 0.00 (real) N = 993 best = 9 0.04 (user) 0.00 (sys) 0.00 (real) N = 992 best = 9 0.04 (user) 0.00 (sys) 0.00 (real) N = 991 best = 9 0.04 (user) 0.00 (sys) 0.00 (real) N = 990 best = 9 0.04 (user) 0.00 (sys) 0.00 (real) N = 989 best = 9 0.05 (user) 0.00 (sys) 0.00 (real) N = 988 best = 9 0.05 (user) 0.00 (sys) 0.00 (real) N = 987 best = 9 0.05 (user) 0.00 (sys) 0.00 (real) N = 986 best = 9 0.05 (user) 0.00 (sys) 0.00 (real) N = 985 best = 9 0.05 (user) 0.00 (sys) 0.00 (real) N = 984 best = 9 0.05 (user) 0.00 (sys) 0.00 (real) N = 983 best = 9 0.05 (user) 0.00 (sys) 0.00 (real) N = 982 best = 9 0.05 (user) 0.00 (sys) 0.00 (real) N = 981 best = 9 0.05 (user) 0.00 (sys) 0.00 (real) N = 980 best = 9 0.05 (user) 0.00 (sys) 0.00 (real) N = 979 best = 9 0.05 (user) 0.00 (sys) 0.00 (real) N = 978 best = 9 0.05 (user) 0.00 (sys) 0.00 (real) N = 977 best = 9 0.05 (user) 0.00 (sys) 0.00 (real) N = 976 best = 9 0.06 (user) 0.00 (sys) 0.00 (real) N = 975 best = 9 0.06 (user) 0.00 (sys) 0.00 (real) N = 974 best = 9 0.06 (user) 0.00 (sys) 0.00 (real) N = 973 best = 9 0.06 (user) 0.00 (sys) 0.00 (real) N = 972 best = 9 0.06 (user) 0.00 (sys) 0.00 (real) N = 971 best = 9 0.06 (user) 0.00 (sys) 0.00 (real) N = 970 best = 9 0.06 (user) 0.00 (sys) 0.00 (real) N = 969 best = 9 0.06 (user) 0.00 (sys) 0.00 (real) N = 968 best = 9 0.06 (user) 0.00 (sys) 0.00 (real) N = 967 best = 9 0.06 (user) 0.00 (sys) 0.00 (real) N = 966 best = 9 0.06 (user) 0.00 (sys) 0.00 (real) N = 965 best = 9 0.06 (user) 0.00 (sys) 0.00 (real) N = 964 best = 9 0.06 (user) 0.00 (sys) 0.00 (real) N = 963 best = 9 0.06 (user) 0.00 (sys) 0.00 (real) N = 962 best = 9 0.06 (user) 0.00 (sys) 0.00 (real) N = 961 best = 9 0.07 (user) 0.00 (sys) 0.00 (real) N = 960 best = 9 0.07 (user) 0.00 (sys) 0.00 (real) N = 959 best = 9 0.07 (user) 0.00 (sys) 0.00 (real) N = 958 best = 9 0.07 (user) 0.00 (sys) 0.00 (real) N = 957 best = 9 0.07 (user) 0.00 (sys) 0.00 (real) N = 956 best = 9 0.07 (user) 0.00 (sys) 0.00 (real) N = 955 best = 9 0.07 (user) 0.00 (sys) 0.00 (real) N = 954 best = 9 0.07 (user) 0.00 (sys) 0.00 (real) N = 953 best = 9 0.07 (user) 0.00 (sys) 0.00 (real) N = 952 best = 9 0.07 (user) 0.00 (sys) 0.00 (real) N = 951 best = 9 0.08 (user) 0.00 (sys) 0.00 (real) N = 950 best = 9 0.08 (user) 0.00 (sys) 0.00 (real) N = 949 best = 9 0.08 (user) 0.00 (sys) 0.00 (real) N = 948 best = 9 0.08 (user) 0.00 (sys) 0.00 (real) N = 947 best = 9 0.08 (user) 0.00 (sys) 0.00 (real) N = 946 best = 9 0.08 (user) 0.00 (sys) 0.00 (real) N = 945 best = 9 0.08 (user) 0.00 (sys) 0.00 (real) N = 944 best = 9 0.08 (user) 0.00 (sys) 0.00 (real) N = 943 best = 9 0.08 (user) 0.00 (sys) 0.00 (real) N = 942 best = 9 0.08 (user) 0.00 (sys) 0.00 (real) N = 941 best = 9 0.08 (user) 0.00 (sys) 0.00 (real) N = 940 best = 9 0.08 (user) 0.00 (sys) 0.00 (real) N = 939 best = 9 0.08 (user) 0.00 (sys) 0.00 (real) N = 938 best = 9 0.09 (user) 0.00 (sys) 0.00 (real) N = 937 best = 9 0.09 (user) 0.00 (sys) 0.00 (real) N = 936 best = 9 0.09 (user) 0.00 (sys) 0.00 (real) N = 935 best = 9 0.09 (user) 0.00 (sys) 0.00 (real) N = 934 best = 9 0.09 (user) 0.00 (sys) 0.00 (real) N = 933 best = 9 0.09 (user) 0.00 (sys) 0.00 (real) N = 932 best = 9 0.09 (user) 0.00 (sys) 0.00 (real) N = 931 best = 9 0.09 (user) 0.00 (sys) 0.00 (real) N = 930 best = 9 0.10 (user) 0.00 (sys) 0.00 (real) N = 929 best = 9 0.10 (user) 0.00 (sys) 0.00 (real) N = 928 best = 9 0.10 (user) 0.00 (sys) 0.00 (real) N = 927 best = 9 0.10 (user) 0.00 (sys) 0.00 (real) N = 926 best = 9 0.10 (user) 0.00 (sys) 0.00 (real) N = 925 best = 9 0.10 (user) 0.00 (sys) 0.00 (real) N = 924 best = 9 0.10 (user) 0.00 (sys) 0.00 (real) N = 923 best = 9 0.10 (user) 0.00 (sys) 0.00 (real) N = 922 best = 9 0.10 (user) 0.00 (sys) 0.00 (real) N = 921 best = 9 0.10 (user) 0.00 (sys) 0.00 (real) N = 920 best = 9 0.10 (user) 0.00 (sys) 0.00 (real) N = 919 best = 9 0.11 (user) 0.00 (sys) 0.00 (real) N = 918 best = 9 0.11 (user) 0.00 (sys) 0.00 (real) N = 917 best = 9 0.11 (user) 0.00 (sys) 0.00 (real) N = 916 best = 9 0.11 (user) 0.00 (sys) 0.00 (real) N = 915 best = 9 0.11 (user) 0.00 (sys) 0.00 (real) N = 914 best = 9 0.11 (user) 0.00 (sys) 0.00 (real) N = 913 best = 9 0.12 (user) 0.00 (sys) 0.00 (real) N = 912 best = 9 0.12 (user) 0.00 (sys) 0.00 (real) N = 911 best = 9 0.12 (user) 0.00 (sys) 0.00 (real) N = 910 best = 9 0.12 (user) 0.00 (sys) 0.00 (real) N = 909 best = 9 0.12 (user) 0.00 (sys) 0.00 (real) N = 908 best = 9 0.12 (user) 0.00 (sys) 0.00 (real) N = 907 best = 9 0.12 (user) 0.00 (sys) 0.00 (real) N = 906 best = 9 0.12 (user) 0.00 (sys) 0.00 (real) N = 905 best = 9 0.12 (user) 0.00 (sys) 0.00 (real) N = 904 best = 9 0.12 (user) 0.00 (sys) 0.00 (real) N = 903 best = 9 0.12 (user) 0.00 (sys) 0.00 (real) N = 902 best = 9 0.13 (user) 0.00 (sys) 0.00 (real) N = 901 best = 9 0.13 (user) 0.00 (sys) 0.00 (real) N = 900 best = 9 0.13 (user) 0.00 (sys) 0.00 (real) N = 899 best = 9 0.13 (user) 0.00 (sys) 0.00 (real) N = 898 best = 9 0.13 (user) 0.00 (sys) 0.00 (real) N = 897 best = 9 0.13 (user) 0.00 (sys) 0.00 (real) N = 896 best = 9 0.13 (user) 0.00 (sys) 0.00 (real) N = 895 best = 9 0.13 (user) 0.00 (sys) 0.00 (real) N = 894 best = 9 0.13 (user) 0.00 (sys) 0.00 (real) N = 893 best = 9 0.13 (user) 0.00 (sys) 0.00 (real) Size = 10 found N = 892 best = 10 0.14 (user) 0.00 (sys) 0.00 (real) N = 891 best = 10 0.14 (user) 0.00 (sys) 0.00 (real) N = 890 best = 10 0.14 (user) 0.00 (sys) 0.00 (real) N = 889 best = 10 0.14 (user) 0.00 (sys) 0.00 (real) N = 888 best = 10 0.14 (user) 0.00 (sys) 0.00 (real) N = 887 best = 10 0.14 (user) 0.00 (sys) 0.00 (real) N = 886 best = 10 0.14 (user) 0.00 (sys) 0.00 (real) N = 885 best = 10 0.14 (user) 0.00 (sys) 0.00 (real) N = 884 best = 10 0.14 (user) 0.00 (sys) 0.00 (real) N = 883 best = 10 0.14 (user) 0.00 (sys) 0.00 (real) N = 882 best = 10 0.14 (user) 0.00 (sys) 0.00 (real) N = 881 best = 10 0.14 (user) 0.00 (sys) 0.00 (real) N = 880 best = 10 0.15 (user) 0.00 (sys) 0.00 (real) N = 879 best = 10 0.15 (user) 0.00 (sys) 0.00 (real) N = 878 best = 10 0.15 (user) 0.00 (sys) 0.00 (real) N = 877 best = 10 0.15 (user) 0.00 (sys) 0.00 (real) N = 876 best = 10 0.15 (user) 0.00 (sys) 0.00 (real) N = 875 best = 10 0.15 (user) 0.00 (sys) 0.00 (real) N = 874 best = 10 0.15 (user) 0.00 (sys) 0.00 (real) N = 873 best = 10 0.15 (user) 0.00 (sys) 0.00 (real) N = 872 best = 10 0.16 (user) 0.00 (sys) 0.00 (real) N = 871 best = 10 0.16 (user) 0.00 (sys) 0.00 (real) N = 870 best = 10 0.16 (user) 0.00 (sys) 0.00 (real) N = 869 best = 10 0.16 (user) 0.00 (sys) 0.00 (real) N = 868 best = 10 0.16 (user) 0.00 (sys) 0.00 (real) N = 867 best = 10 0.16 (user) 0.00 (sys) 0.00 (real) N = 866 best = 10 0.16 (user) 0.00 (sys) 0.00 (real) N = 865 best = 10 0.16 (user) 0.00 (sys) 0.00 (real) N = 864 best = 10 0.16 (user) 0.00 (sys) 0.00 (real) N = 863 best = 10 0.17 (user) 0.00 (sys) 0.00 (real) N = 862 best = 10 0.17 (user) 0.00 (sys) 0.00 (real) N = 861 best = 10 0.17 (user) 0.00 (sys) 0.00 (real) N = 860 best = 10 0.17 (user) 0.00 (sys) 0.00 (real) N = 859 best = 10 0.17 (user) 0.00 (sys) 0.00 (real) N = 858 best = 10 0.17 (user) 0.00 (sys) 0.00 (real) N = 857 best = 10 0.17 (user) 0.00 (sys) 0.00 (real) N = 856 best = 10 0.17 (user) 0.00 (sys) 0.00 (real) N = 855 best = 10 0.18 (user) 0.00 (sys) 0.00 (real) N = 854 best = 10 0.18 (user) 0.00 (sys) 0.00 (real) N = 853 best = 10 0.18 (user) 0.00 (sys) 0.00 (real) N = 852 best = 10 0.18 (user) 0.00 (sys) 0.00 (real) N = 851 best = 10 0.18 (user) 0.00 (sys) 0.00 (real) N = 850 best = 10 0.18 (user) 0.00 (sys) 0.00 (real) N = 849 best = 10 0.18 (user) 0.00 (sys) 0.00 (real) N = 848 best = 10 0.18 (user) 0.00 (sys) 0.00 (real) N = 847 best = 10 0.18 (user) 0.00 (sys) 0.00 (real) N = 846 best = 10 0.18 (user) 0.00 (sys) 0.00 (real) N = 845 best = 10 0.19 (user) 0.00 (sys) 0.00 (real) N = 844 best = 10 0.19 (user) 0.00 (sys) 0.00 (real) N = 843 best = 10 0.19 (user) 0.00 (sys) 0.00 (real) N = 842 best = 10 0.19 (user) 0.00 (sys) 0.00 (real) N = 841 best = 10 0.19 (user) 0.00 (sys) 0.00 (real) N = 840 best = 10 0.19 (user) 0.00 (sys) 0.00 (real) N = 839 best = 10 0.20 (user) 0.00 (sys) 0.00 (real) N = 838 best = 10 0.20 (user) 0.00 (sys) 0.00 (real) N = 837 best = 10 0.20 (user) 0.00 (sys) 0.00 (real) N = 836 best = 10 0.20 (user) 0.00 (sys) 0.00 (real) N = 835 best = 10 0.20 (user) 0.00 (sys) 0.00 (real) N = 834 best = 10 0.20 (user) 0.00 (sys) 0.00 (real) N = 833 best = 10 0.20 (user) 0.00 (sys) 0.00 (real) N = 832 best = 10 0.20 (user) 0.00 (sys) 0.00 (real) N = 831 best = 10 0.20 (user) 0.00 (sys) 0.00 (real) N = 830 best = 10 0.21 (user) 0.00 (sys) 0.00 (real) N = 829 best = 10 0.21 (user) 0.00 (sys) 0.00 (real) N = 828 best = 10 0.21 (user) 0.00 (sys) 0.00 (real) N = 827 best = 10 0.21 (user) 0.00 (sys) 0.00 (real) N = 826 best = 10 0.21 (user) 0.00 (sys) 0.00 (real) N = 825 best = 10 0.21 (user) 0.00 (sys) 0.00 (real) N = 824 best = 10 0.21 (user) 0.00 (sys) 0.00 (real) N = 823 best = 10 0.22 (user) 0.00 (sys) 0.00 (real) N = 822 best = 10 0.22 (user) 0.00 (sys) 0.00 (real) N = 821 best = 10 0.22 (user) 0.00 (sys) 0.00 (real) N = 820 best = 10 0.22 (user) 0.00 (sys) 0.00 (real) N = 819 best = 10 0.22 (user) 0.00 (sys) 0.00 (real) N = 818 best = 10 0.22 (user) 0.00 (sys) 0.00 (real) N = 817 best = 10 0.22 (user) 0.00 (sys) 0.00 (real) N = 816 best = 10 0.22 (user) 0.00 (sys) 0.00 (real) N = 815 best = 10 0.22 (user) 0.00 (sys) 0.00 (real) N = 814 best = 10 0.23 (user) 0.00 (sys) 0.00 (real) N = 813 best = 10 0.23 (user) 0.00 (sys) 0.00 (real) N = 812 best = 10 0.23 (user) 0.00 (sys) 0.00 (real) N = 811 best = 10 0.23 (user) 0.00 (sys) 0.00 (real) N = 810 best = 10 0.23 (user) 0.00 (sys) 0.00 (real) N = 809 best = 10 0.24 (user) 0.00 (sys) 0.00 (real) N = 808 best = 10 0.24 (user) 0.00 (sys) 0.00 (real) N = 807 best = 10 0.24 (user) 0.00 (sys) 0.00 (real) N = 806 best = 10 0.24 (user) 0.00 (sys) 0.00 (real) N = 805 best = 10 0.24 (user) 0.00 (sys) 0.00 (real) N = 804 best = 10 0.24 (user) 0.00 (sys) 0.00 (real) N = 803 best = 10 0.24 (user) 0.00 (sys) 0.00 (real) N = 802 best = 10 0.24 (user) 0.00 (sys) 0.00 (real) N = 801 best = 10 0.24 (user) 0.00 (sys) 0.00 (real) N = 800 best = 10 0.25 (user) 0.00 (sys) 0.00 (real) N = 799 best = 10 0.25 (user) 0.00 (sys) 0.00 (real) N = 798 best = 10 0.25 (user) 0.00 (sys) 0.00 (real) N = 797 best = 10 0.25 (user) 0.00 (sys) 0.00 (real) N = 796 best = 10 0.25 (user) 0.00 (sys) 0.00 (real) N = 795 best = 10 0.26 (user) 0.00 (sys) 0.00 (real) N = 794 best = 10 0.26 (user) 0.00 (sys) 0.00 (real) N = 793 best = 10 0.26 (user) 0.00 (sys) 0.00 (real) N = 792 best = 10 0.26 (user) 0.00 (sys) 0.00 (real) N = 791 best = 10 0.26 (user) 0.00 (sys) 0.00 (real) N = 790 best = 10 0.26 (user) 0.00 (sys) 0.00 (real) N = 789 best = 10 0.26 (user) 0.00 (sys) 0.00 (real) N = 788 best = 10 0.26 (user) 0.00 (sys) 0.00 (real) N = 787 best = 10 0.27 (user) 0.00 (sys) 0.00 (real) N = 786 best = 10 0.27 (user) 0.00 (sys) 0.00 (real) N = 785 best = 10 0.27 (user) 0.00 (sys) 0.00 (real) N = 784 best = 10 0.27 (user) 0.00 (sys) 0.00 (real) N = 783 best = 10 0.27 (user) 0.00 (sys) 0.00 (real) N = 782 best = 10 0.27 (user) 0.00 (sys) 0.00 (real) N = 781 best = 10 0.28 (user) 0.00 (sys) 0.00 (real) N = 780 best = 10 0.28 (user) 0.00 (sys) 0.00 (real) N = 779 best = 10 0.28 (user) 0.00 (sys) 0.00 (real) N = 778 best = 10 0.28 (user) 0.00 (sys) 0.00 (real) N = 777 best = 10 0.28 (user) 0.00 (sys) 0.00 (real) N = 776 best = 10 0.28 (user) 0.00 (sys) 0.00 (real) N = 775 best = 10 0.28 (user) 0.00 (sys) 0.00 (real) N = 774 best = 10 0.28 (user) 0.00 (sys) 0.00 (real) N = 773 best = 10 0.28 (user) 0.00 (sys) 0.00 (real) N = 772 best = 10 0.28 (user) 0.00 (sys) 0.00 (real) N = 771 best = 10 0.29 (user) 0.00 (sys) 0.00 (real) N = 770 best = 10 0.29 (user) 0.00 (sys) 0.00 (real) N = 769 best = 10 0.29 (user) 0.00 (sys) 0.00 (real) N = 768 best = 10 0.29 (user) 0.00 (sys) 0.00 (real) N = 767 best = 10 0.30 (user) 0.00 (sys) 0.00 (real) N = 766 best = 10 0.30 (user) 0.00 (sys) 0.00 (real) N = 765 best = 10 0.30 (user) 0.00 (sys) 0.00 (real) N = 764 best = 10 0.30 (user) 0.00 (sys) 0.00 (real) N = 763 best = 10 0.30 (user) 0.00 (sys) 0.00 (real) N = 762 best = 10 0.30 (user) 0.00 (sys) 0.00 (real) N = 761 best = 10 0.30 (user) 0.00 (sys) 0.00 (real) N = 760 best = 10 0.31 (user) 0.00 (sys) 0.00 (real) N = 759 best = 10 0.31 (user) 0.00 (sys) 0.00 (real) N = 758 best = 10 0.31 (user) 0.00 (sys) 0.00 (real) N = 757 best = 10 0.31 (user) 0.00 (sys) 0.00 (real) N = 756 best = 10 0.32 (user) 0.00 (sys) 0.00 (real) N = 755 best = 10 0.32 (user) 0.00 (sys) 0.00 (real) N = 754 best = 10 0.32 (user) 0.00 (sys) 0.00 (real) N = 753 best = 10 0.32 (user) 0.00 (sys) 0.00 (real) N = 752 best = 10 0.32 (user) 0.00 (sys) 0.00 (real) N = 751 best = 10 0.32 (user) 0.00 (sys) 0.00 (real) N = 750 best = 10 0.32 (user) 0.00 (sys) 0.00 (real) N = 749 best = 10 0.33 (user) 0.00 (sys) 0.00 (real) N = 748 best = 10 0.33 (user) 0.00 (sys) 0.00 (real) N = 747 best = 10 0.33 (user) 0.00 (sys) 0.00 (real) N = 746 best = 10 0.33 (user) 0.00 (sys) 0.00 (real) N = 745 best = 10 0.34 (user) 0.00 (sys) 0.00 (real) N = 744 best = 10 0.34 (user) 0.00 (sys) 0.00 (real) N = 743 best = 10 0.34 (user) 0.00 (sys) 0.00 (real) N = 742 best = 10 0.34 (user) 0.00 (sys) 0.00 (real) N = 741 best = 10 0.34 (user) 0.00 (sys) 0.00 (real) N = 740 best = 10 0.34 (user) 0.00 (sys) 0.00 (real) N = 739 best = 10 0.34 (user) 0.00 (sys) 0.00 (real) N = 738 best = 10 0.35 (user) 0.00 (sys) 0.00 (real) N = 737 best = 10 0.35 (user) 0.00 (sys) 0.00 (real) N = 736 best = 10 0.35 (user) 0.00 (sys) 0.00 (real) N = 735 best = 10 0.35 (user) 0.00 (sys) 0.00 (real) N = 734 best = 10 0.36 (user) 0.00 (sys) 0.00 (real) N = 733 best = 10 0.36 (user) 0.00 (sys) 0.00 (real) N = 732 best = 10 0.36 (user) 0.00 (sys) 0.00 (real) N = 731 best = 10 0.36 (user) 0.00 (sys) 0.00 (real) N = 730 best = 10 0.36 (user) 0.00 (sys) 0.00 (real) N = 729 best = 10 0.36 (user) 0.00 (sys) 0.00 (real) N = 728 best = 10 0.36 (user) 0.00 (sys) 0.00 (real) N = 727 best = 10 0.37 (user) 0.00 (sys) 0.00 (real) N = 726 best = 10 0.37 (user) 0.00 (sys) 0.00 (real) N = 725 best = 10 0.37 (user) 0.00 (sys) 0.00 (real) N = 724 best = 10 0.37 (user) 0.00 (sys) 0.00 (real) N = 723 best = 10 0.38 (user) 0.00 (sys) 0.00 (real) N = 722 best = 10 0.38 (user) 0.00 (sys) 0.00 (real) N = 721 best = 10 0.38 (user) 0.00 (sys) 0.00 (real) N = 720 best = 10 0.38 (user) 0.00 (sys) 0.00 (real) N = 719 best = 10 0.38 (user) 0.00 (sys) 0.00 (real) N = 718 best = 10 0.39 (user) 0.00 (sys) 0.00 (real) N = 717 best = 10 0.39 (user) 0.00 (sys) 0.00 (real) N = 716 best = 10 0.39 (user) 0.00 (sys) 0.00 (real) N = 715 best = 10 0.40 (user) 0.00 (sys) 0.00 (real) N = 714 best = 10 0.40 (user) 0.00 (sys) 0.00 (real) N = 713 best = 10 0.40 (user) 0.00 (sys) 0.00 (real) N = 712 best = 10 0.40 (user) 0.00 (sys) 0.00 (real) N = 711 best = 10 0.40 (user) 0.00 (sys) 0.00 (real) N = 710 best = 10 0.40 (user) 0.00 (sys) 0.00 (real) N = 709 best = 10 0.41 (user) 0.00 (sys) 0.00 (real) N = 708 best = 10 0.41 (user) 0.00 (sys) 0.00 (real) N = 707 best = 10 0.42 (user) 0.00 (sys) 0.00 (real) N = 706 best = 10 0.42 (user) 0.00 (sys) 0.00 (real) N = 705 best = 10 0.42 (user) 0.00 (sys) 0.00 (real) N = 704 best = 10 0.42 (user) 0.00 (sys) 0.00 (real) N = 703 best = 10 0.42 (user) 0.00 (sys) 0.00 (real) N = 702 best = 10 0.42 (user) 0.00 (sys) 0.00 (real) N = 701 best = 10 0.42 (user) 0.00 (sys) 0.00 (real) N = 700 best = 10 0.43 (user) 0.00 (sys) 0.00 (real) N = 699 best = 10 0.43 (user) 0.00 (sys) 0.00 (real) N = 698 best = 10 0.43 (user) 0.00 (sys) 0.00 (real) N = 697 best = 10 0.43 (user) 0.00 (sys) 0.00 (real) N = 696 best = 10 0.43 (user) 0.00 (sys) 0.00 (real) N = 695 best = 10 0.44 (user) 0.00 (sys) 0.00 (real) N = 694 best = 10 0.44 (user) 0.00 (sys) 0.00 (real) N = 693 best = 10 0.44 (user) 0.00 (sys) 0.00 (real) N = 692 best = 10 0.44 (user) 0.00 (sys) 0.00 (real) N = 691 best = 10 0.45 (user) 0.00 (sys) 0.00 (real) N = 690 best = 10 0.45 (user) 0.00 (sys) 0.00 (real) N = 689 best = 10 0.45 (user) 0.00 (sys) 0.00 (real) N = 688 best = 10 0.45 (user) 0.00 (sys) 0.00 (real) N = 687 best = 10 0.46 (user) 0.00 (sys) 0.00 (real) N = 686 best = 10 0.46 (user) 0.00 (sys) 0.00 (real) N = 685 best = 10 0.46 (user) 0.00 (sys) 0.00 (real) N = 684 best = 10 0.46 (user) 0.00 (sys) 0.00 (real) N = 683 best = 10 0.46 (user) 0.00 (sys) 0.00 (real) N = 682 best = 10 0.47 (user) 0.00 (sys) 0.00 (real) N = 681 best = 10 0.47 (user) 0.00 (sys) 0.00 (real) N = 680 best = 10 0.47 (user) 0.00 (sys) 0.00 (real) N = 679 best = 10 0.47 (user) 0.00 (sys) 0.00 (real) N = 678 best = 10 0.48 (user) 0.00 (sys) 0.00 (real) N = 677 best = 10 0.48 (user) 0.00 (sys) 0.00 (real) N = 676 best = 10 0.48 (user) 0.00 (sys) 0.00 (real) N = 675 best = 10 0.48 (user) 0.00 (sys) 0.00 (real) N = 674 best = 10 0.48 (user) 0.00 (sys) 0.00 (real) N = 673 best = 10 0.49 (user) 0.00 (sys) 0.00 (real) N = 672 best = 10 0.49 (user) 0.00 (sys) 0.00 (real) N = 671 best = 10 0.49 (user) 0.00 (sys) 0.00 (real) N = 670 best = 10 0.49 (user) 0.00 (sys) 0.00 (real) N = 669 best = 10 0.50 (user) 0.00 (sys) 0.00 (real) N = 668 best = 10 0.50 (user) 0.00 (sys) 0.00 (real) N = 667 best = 10 0.50 (user) 0.00 (sys) 0.00 (real) N = 666 best = 10 0.50 (user) 0.00 (sys) 0.00 (real) N = 665 best = 10 0.50 (user) 0.00 (sys) 0.00 (real) N = 664 best = 10 0.50 (user) 0.00 (sys) 0.00 (real) N = 663 best = 10 0.51 (user) 0.00 (sys) 0.00 (real) N = 662 best = 10 0.51 (user) 0.00 (sys) 0.00 (real) N = 661 best = 10 0.51 (user) 0.00 (sys) 0.00 (real) N = 660 best = 10 0.52 (user) 0.00 (sys) 0.00 (real) N = 659 best = 10 0.52 (user) 0.00 (sys) 0.00 (real) N = 658 best = 10 0.52 (user) 0.00 (sys) 0.00 (real) N = 657 best = 10 0.52 (user) 0.00 (sys) 0.00 (real) N = 656 best = 10 0.52 (user) 0.00 (sys) 0.00 (real) N = 655 best = 10 0.52 (user) 0.00 (sys) 0.00 (real) N = 654 best = 10 0.53 (user) 0.00 (sys) 0.00 (real) N = 653 best = 10 0.53 (user) 0.00 (sys) 0.00 (real) N = 652 best = 10 0.53 (user) 0.00 (sys) 0.00 (real) N = 651 best = 10 0.54 (user) 0.00 (sys) 0.00 (real) N = 650 best = 10 0.54 (user) 0.00 (sys) 0.00 (real) N = 649 best = 10 0.54 (user) 0.00 (sys) 0.00 (real) N = 648 best = 10 0.54 (user) 0.00 (sys) 0.00 (real) N = 647 best = 10 0.54 (user) 0.00 (sys) 0.00 (real) N = 646 best = 10 0.54 (user) 0.00 (sys) 0.00 (real) N = 645 best = 10 0.55 (user) 0.00 (sys) 0.00 (real) N = 644 best = 10 0.55 (user) 0.00 (sys) 0.00 (real) N = 643 best = 10 0.55 (user) 0.00 (sys) 0.00 (real) N = 642 best = 10 0.55 (user) 0.00 (sys) 0.00 (real) N = 641 best = 10 0.56 (user) 0.00 (sys) 0.00 (real) N = 640 best = 10 0.56 (user) 0.00 (sys) 0.00 (real) N = 639 best = 10 0.56 (user) 0.00 (sys) 0.00 (real) N = 638 best = 10 0.56 (user) 0.00 (sys) 0.00 (real) N = 637 best = 10 0.56 (user) 0.00 (sys) 0.00 (real) N = 636 best = 10 0.56 (user) 0.00 (sys) 0.00 (real) N = 635 best = 10 0.56 (user) 0.01 (sys) 0.00 (real) N = 634 best = 10 0.57 (user) 0.01 (sys) 0.00 (real) N = 633 best = 10 0.57 (user) 0.01 (sys) 0.00 (real) N = 632 best = 10 0.58 (user) 0.01 (sys) 0.00 (real) N = 631 best = 10 0.58 (user) 0.01 (sys) 0.00 (real) N = 630 best = 10 0.58 (user) 0.01 (sys) 0.00 (real) N = 629 best = 10 0.58 (user) 0.01 (sys) 0.00 (real) N = 628 best = 10 0.59 (user) 0.01 (sys) 0.00 (real) N = 627 best = 10 0.59 (user) 0.01 (sys) 0.00 (real) N = 626 best = 10 0.59 (user) 0.01 (sys) 0.00 (real) N = 625 best = 10 0.60 (user) 0.01 (sys) 0.00 (real) N = 624 best = 10 0.60 (user) 0.01 (sys) 0.00 (real) N = 623 best = 10 0.60 (user) 0.01 (sys) 0.00 (real) N = 622 best = 10 0.60 (user) 0.01 (sys) 0.00 (real) N = 621 best = 10 0.60 (user) 0.01 (sys) 0.00 (real) N = 620 best = 10 0.61 (user) 0.01 (sys) 0.00 (real) N = 619 best = 10 0.61 (user) 0.01 (sys) 0.00 (real) N = 618 best = 10 0.61 (user) 0.01 (sys) 0.00 (real) N = 617 best = 10 0.61 (user) 0.01 (sys) 0.00 (real) N = 616 best = 10 0.62 (user) 0.01 (sys) 0.00 (real) N = 615 best = 10 0.62 (user) 0.01 (sys) 0.00 (real) N = 614 best = 10 0.62 (user) 0.01 (sys) 0.00 (real) N = 613 best = 10 0.62 (user) 0.01 (sys) 0.00 (real) N = 612 best = 10 0.63 (user) 0.01 (sys) 0.00 (real) N = 611 best = 10 0.63 (user) 0.01 (sys) 0.00 (real) N = 610 best = 10 0.63 (user) 0.01 (sys) 0.00 (real) N = 609 best = 10 0.64 (user) 0.01 (sys) 0.00 (real) N = 608 best = 10 0.64 (user) 0.01 (sys) 0.00 (real) N = 607 best = 10 0.64 (user) 0.01 (sys) 0.00 (real) N = 606 best = 10 0.64 (user) 0.01 (sys) 0.00 (real) N = 605 best = 10 0.65 (user) 0.01 (sys) 0.00 (real) N = 604 best = 10 0.65 (user) 0.01 (sys) 0.00 (real) N = 603 best = 10 0.65 (user) 0.01 (sys) 0.00 (real) N = 602 best = 10 0.66 (user) 0.01 (sys) 0.00 (real) N = 601 best = 10 0.66 (user) 0.01 (sys) 0.00 (real) N = 600 best = 10 0.66 (user) 0.01 (sys) 0.00 (real) N = 599 best = 10 0.66 (user) 0.01 (sys) 0.00 (real) N = 598 best = 10 0.66 (user) 0.01 (sys) 0.00 (real) N = 597 best = 10 0.66 (user) 0.01 (sys) 0.00 (real) N = 596 best = 10 0.67 (user) 0.01 (sys) 0.00 (real) N = 595 best = 10 0.67 (user) 0.01 (sys) 0.00 (real) N = 594 best = 10 0.67 (user) 0.01 (sys) 0.00 (real) N = 593 best = 10 0.67 (user) 0.01 (sys) 0.00 (real) N = 592 best = 10 0.68 (user) 0.01 (sys) 0.00 (real) N = 591 best = 10 0.68 (user) 0.01 (sys) 0.00 (real) N = 590 best = 10 0.68 (user) 0.01 (sys) 0.00 (real) N = 589 best = 10 0.68 (user) 0.01 (sys) 0.00 (real) N = 588 best = 10 0.69 (user) 0.01 (sys) 0.00 (real) N = 587 best = 10 0.69 (user) 0.01 (sys) 0.00 (real) N = 586 best = 10 0.69 (user) 0.01 (sys) 0.00 (real) N = 585 best = 10 0.70 (user) 0.01 (sys) 0.00 (real) N = 584 best = 10 0.70 (user) 0.01 (sys) 0.00 (real) N = 583 best = 10 0.70 (user) 0.01 (sys) 0.00 (real) N = 582 best = 10 0.70 (user) 0.01 (sys) 0.00 (real) N = 581 best = 10 0.70 (user) 0.01 (sys) 0.00 (real) N = 580 best = 10 0.71 (user) 0.01 (sys) 0.00 (real) N = 579 best = 10 0.71 (user) 0.01 (sys) 0.00 (real) N = 578 best = 10 0.71 (user) 0.01 (sys) 0.00 (real) N = 577 best = 10 0.72 (user) 0.01 (sys) 0.00 (real) N = 576 best = 10 0.72 (user) 0.01 (sys) 0.00 (real) N = 575 best = 10 0.72 (user) 0.01 (sys) 0.00 (real) N = 574 best = 10 0.72 (user) 0.01 (sys) 0.00 (real) N = 573 best = 10 0.72 (user) 0.01 (sys) 0.00 (real) N = 572 best = 10 0.73 (user) 0.01 (sys) 0.00 (real) N = 571 best = 10 0.73 (user) 0.01 (sys) 0.00 (real) N = 570 best = 10 0.73 (user) 0.01 (sys) 0.00 (real) N = 569 best = 10 0.74 (user) 0.01 (sys) 0.00 (real) N = 568 best = 10 0.74 (user) 0.01 (sys) 0.00 (real) N = 567 best = 10 0.74 (user) 0.01 (sys) 0.00 (real) N = 566 best = 10 0.74 (user) 0.01 (sys) 0.00 (real) N = 565 best = 10 0.75 (user) 0.01 (sys) 0.00 (real) N = 564 best = 10 0.75 (user) 0.01 (sys) 0.00 (real) N = 563 best = 10 0.75 (user) 0.01 (sys) 0.00 (real) N = 562 best = 10 0.76 (user) 0.01 (sys) 0.00 (real) N = 561 best = 10 0.76 (user) 0.01 (sys) 0.00 (real) N = 560 best = 10 0.76 (user) 0.01 (sys) 0.00 (real) N = 559 best = 10 0.76 (user) 0.01 (sys) 0.00 (real) N = 558 best = 10 0.76 (user) 0.01 (sys) 0.00 (real) N = 557 best = 10 0.77 (user) 0.01 (sys) 0.00 (real) N = 556 best = 10 0.77 (user) 0.01 (sys) 0.00 (real) N = 555 best = 10 0.77 (user) 0.01 (sys) 0.00 (real) N = 554 best = 10 0.78 (user) 0.01 (sys) 0.00 (real) N = 553 best = 10 0.78 (user) 0.01 (sys) 0.00 (real) N = 552 best = 10 0.78 (user) 0.01 (sys) 0.00 (real) N = 551 best = 10 0.78 (user) 0.01 (sys) 0.00 (real) N = 550 best = 10 0.78 (user) 0.01 (sys) 0.00 (real) N = 549 best = 10 0.79 (user) 0.01 (sys) 0.00 (real) N = 548 best = 10 0.79 (user) 0.01 (sys) 0.00 (real) N = 547 best = 10 0.79 (user) 0.01 (sys) 0.00 (real) N = 546 best = 10 0.80 (user) 0.01 (sys) 0.00 (real) N = 545 best = 10 0.80 (user) 0.01 (sys) 0.00 (real) N = 544 best = 10 0.80 (user) 0.01 (sys) 0.00 (real) N = 543 best = 10 0.80 (user) 0.01 (sys) 0.00 (real) N = 542 best = 10 0.81 (user) 0.01 (sys) 0.00 (real) N = 541 best = 10 0.81 (user) 0.01 (sys) 0.00 (real) N = 540 best = 10 0.81 (user) 0.01 (sys) 0.00 (real) N = 539 best = 10 0.82 (user) 0.01 (sys) 0.00 (real) N = 538 best = 10 0.82 (user) 0.01 (sys) 0.00 (real) N = 537 best = 10 0.82 (user) 0.01 (sys) 0.00 (real) N = 536 best = 10 0.82 (user) 0.01 (sys) 0.00 (real) N = 535 best = 10 0.82 (user) 0.01 (sys) 0.00 (real) N = 534 best = 10 0.83 (user) 0.01 (sys) 0.00 (real) N = 533 best = 10 0.83 (user) 0.01 (sys) 0.00 (real) N = 532 best = 10 0.83 (user) 0.01 (sys) 0.00 (real) N = 531 best = 10 0.84 (user) 0.01 (sys) 0.00 (real) N = 530 best = 10 0.84 (user) 0.01 (sys) 0.00 (real) N = 529 best = 10 0.84 (user) 0.01 (sys) 0.00 (real) N = 528 best = 10 0.84 (user) 0.01 (sys) 0.00 (real) N = 527 best = 10 0.84 (user) 0.01 (sys) 0.00 (real) N = 526 best = 10 0.85 (user) 0.01 (sys) 0.00 (real) N = 525 best = 10 0.85 (user) 0.01 (sys) 0.00 (real) N = 524 best = 10 0.85 (user) 0.01 (sys) 0.00 (real) N = 523 best = 10 0.86 (user) 0.01 (sys) 0.00 (real) N = 522 best = 10 0.86 (user) 0.01 (sys) 0.00 (real) N = 521 best = 10 0.86 (user) 0.01 (sys) 0.00 (real) N = 520 best = 10 0.86 (user) 0.01 (sys) 0.00 (real) N = 519 best = 10 0.86 (user) 0.01 (sys) 0.00 (real) N = 518 best = 10 0.87 (user) 0.01 (sys) 0.00 (real) N = 517 best = 10 0.87 (user) 0.01 (sys) 0.00 (real) N = 516 best = 10 0.88 (user) 0.01 (sys) 0.00 (real) N = 515 best = 10 0.88 (user) 0.01 (sys) 0.00 (real) N = 514 best = 10 0.88 (user) 0.01 (sys) 0.00 (real) N = 513 best = 10 0.88 (user) 0.01 (sys) 0.00 (real) N = 512 best = 10 0.89 (user) 0.01 (sys) 0.00 (real) N = 511 best = 10 0.90 (user) 0.01 (sys) 1.00 (real) N = 510 best = 10 0.90 (user) 0.01 (sys) 1.00 (real) N = 509 best = 10 0.90 (user) 0.01 (sys) 1.00 (real) N = 508 best = 10 0.91 (user) 0.01 (sys) 1.00 (real) N = 507 best = 10 0.91 (user) 0.01 (sys) 1.00 (real) N = 506 best = 10 0.91 (user) 0.01 (sys) 1.00 (real) N = 505 best = 10 0.92 (user) 0.01 (sys) 1.00 (real) N = 504 best = 10 0.92 (user) 0.01 (sys) 1.00 (real) N = 503 best = 10 0.92 (user) 0.01 (sys) 1.00 (real) N = 502 best = 10 0.93 (user) 0.01 (sys) 1.00 (real) N = 501 best = 10 0.93 (user) 0.01 (sys) 1.00 (real) N = 500 best = 10 0.93 (user) 0.01 (sys) 1.00 (real) N = 499 best = 10 0.94 (user) 0.01 (sys) 1.00 (real) N = 498 best = 10 0.94 (user) 0.01 (sys) 1.00 (real) N = 497 best = 10 0.94 (user) 0.01 (sys) 1.00 (real) N = 496 best = 10 0.95 (user) 0.01 (sys) 1.00 (real) N = 495 best = 10 0.95 (user) 0.01 (sys) 1.00 (real) N = 494 best = 10 0.95 (user) 0.01 (sys) 1.00 (real) N = 493 best = 10 0.96 (user) 0.01 (sys) 1.00 (real) N = 492 best = 10 0.96 (user) 0.01 (sys) 1.00 (real) N = 491 best = 10 0.96 (user) 0.01 (sys) 1.00 (real) N = 490 best = 10 0.96 (user) 0.01 (sys) 1.00 (real) N = 489 best = 10 0.96 (user) 0.01 (sys) 1.00 (real) N = 488 best = 10 0.97 (user) 0.01 (sys) 1.00 (real) N = 487 best = 10 0.97 (user) 0.01 (sys) 1.00 (real) N = 486 best = 10 0.98 (user) 0.01 (sys) 1.00 (real) N = 485 best = 10 0.98 (user) 0.01 (sys) 1.00 (real) N = 484 best = 10 0.98 (user) 0.01 (sys) 1.00 (real) N = 483 best = 10 0.98 (user) 0.02 (sys) 1.00 (real) N = 482 best = 10 0.98 (user) 0.02 (sys) 1.00 (real) N = 481 best = 10 0.99 (user) 0.02 (sys) 1.00 (real) N = 480 best = 10 0.99 (user) 0.02 (sys) 1.00 (real) N = 479 best = 10 0.99 (user) 0.02 (sys) 1.00 (real) N = 478 best = 10 1.00 (user) 0.02 (sys) 1.00 (real) N = 477 best = 10 1.00 (user) 0.02 (sys) 1.00 (real) N = 476 best = 10 1.00 (user) 0.02 (sys) 1.00 (real) N = 475 best = 10 1.00 (user) 0.02 (sys) 1.00 (real) N = 474 best = 10 1.00 (user) 0.02 (sys) 1.00 (real) N = 473 best = 10 1.01 (user) 0.02 (sys) 1.00 (real) N = 472 best = 10 1.01 (user) 0.02 (sys) 1.00 (real) N = 471 best = 10 1.01 (user) 0.02 (sys) 1.00 (real) N = 470 best = 10 1.02 (user) 0.02 (sys) 1.00 (real) N = 469 best = 10 1.02 (user) 0.02 (sys) 1.00 (real) N = 468 best = 10 1.02 (user) 0.02 (sys) 1.00 (real) N = 467 best = 10 1.03 (user) 0.02 (sys) 1.00 (real) N = 466 best = 10 1.03 (user) 0.02 (sys) 1.00 (real) N = 465 best = 10 1.03 (user) 0.02 (sys) 1.00 (real) N = 464 best = 10 1.04 (user) 0.02 (sys) 1.00 (real) N = 463 best = 10 1.04 (user) 0.02 (sys) 1.00 (real) N = 462 best = 10 1.04 (user) 0.02 (sys) 1.00 (real) N = 461 best = 10 1.04 (user) 0.02 (sys) 1.00 (real) N = 460 best = 10 1.05 (user) 0.02 (sys) 1.00 (real) N = 459 best = 10 1.05 (user) 0.02 (sys) 1.00 (real) N = 458 best = 10 1.05 (user) 0.02 (sys) 1.00 (real) N = 457 best = 10 1.06 (user) 0.02 (sys) 1.00 (real) N = 456 best = 10 1.06 (user) 0.02 (sys) 1.00 (real) N = 455 best = 10 1.06 (user) 0.02 (sys) 1.00 (real) N = 454 best = 10 1.06 (user) 0.02 (sys) 1.00 (real) N = 453 best = 10 1.07 (user) 0.02 (sys) 1.00 (real) N = 452 best = 10 1.07 (user) 0.02 (sys) 1.00 (real) N = 451 best = 10 1.07 (user) 0.02 (sys) 1.00 (real) N = 450 best = 10 1.08 (user) 0.02 (sys) 1.00 (real) N = 449 best = 10 1.08 (user) 0.02 (sys) 1.00 (real) N = 448 best = 10 1.08 (user) 0.02 (sys) 1.00 (real) N = 447 best = 10 1.08 (user) 0.02 (sys) 1.00 (real) N = 446 best = 10 1.09 (user) 0.02 (sys) 1.00 (real) N = 445 best = 10 1.09 (user) 0.02 (sys) 1.00 (real) N = 444 best = 10 1.09 (user) 0.02 (sys) 1.00 (real) N = 443 best = 10 1.10 (user) 0.02 (sys) 1.00 (real) N = 442 best = 10 1.10 (user) 0.02 (sys) 1.00 (real) N = 441 best = 10 1.10 (user) 0.02 (sys) 1.00 (real) N = 440 best = 10 1.10 (user) 0.02 (sys) 1.00 (real) N = 439 best = 10 1.11 (user) 0.02 (sys) 1.00 (real) N = 438 best = 10 1.11 (user) 0.02 (sys) 1.00 (real) N = 437 best = 10 1.11 (user) 0.02 (sys) 1.00 (real) N = 436 best = 10 1.12 (user) 0.02 (sys) 1.00 (real) N = 435 best = 10 1.12 (user) 0.02 (sys) 1.00 (real) N = 434 best = 10 1.12 (user) 0.02 (sys) 1.00 (real) N = 433 best = 10 1.12 (user) 0.02 (sys) 1.00 (real) N = 432 best = 10 1.13 (user) 0.02 (sys) 1.00 (real) N = 431 best = 10 1.13 (user) 0.02 (sys) 1.00 (real) N = 430 best = 10 1.13 (user) 0.02 (sys) 1.00 (real) N = 429 best = 10 1.14 (user) 0.02 (sys) 1.00 (real) N = 428 best = 10 1.14 (user) 0.02 (sys) 1.00 (real) N = 427 best = 10 1.14 (user) 0.02 (sys) 1.00 (real) N = 426 best = 10 1.14 (user) 0.02 (sys) 1.00 (real) N = 425 best = 10 1.15 (user) 0.02 (sys) 1.00 (real) N = 424 best = 10 1.15 (user) 0.02 (sys) 1.00 (real) N = 423 best = 10 1.15 (user) 0.02 (sys) 1.00 (real) N = 422 best = 10 1.16 (user) 0.02 (sys) 1.00 (real) N = 421 best = 10 1.16 (user) 0.02 (sys) 1.00 (real) N = 420 best = 10 1.16 (user) 0.02 (sys) 1.00 (real) N = 419 best = 10 1.16 (user) 0.02 (sys) 1.00 (real) N = 418 best = 10 1.16 (user) 0.02 (sys) 1.00 (real) N = 417 best = 10 1.17 (user) 0.02 (sys) 1.00 (real) N = 416 best = 10 1.17 (user) 0.02 (sys) 1.00 (real) N = 415 best = 10 1.17 (user) 0.02 (sys) 1.00 (real) N = 414 best = 10 1.17 (user) 0.02 (sys) 1.00 (real) N = 413 best = 10 1.18 (user) 0.02 (sys) 1.00 (real) N = 412 best = 10 1.18 (user) 0.02 (sys) 1.00 (real) N = 411 best = 10 1.18 (user) 0.02 (sys) 1.00 (real) N = 410 best = 10 1.18 (user) 0.02 (sys) 1.00 (real) N = 409 best = 10 1.19 (user) 0.02 (sys) 1.00 (real) N = 408 best = 10 1.19 (user) 0.02 (sys) 1.00 (real) N = 407 best = 10 1.19 (user) 0.02 (sys) 1.00 (real) N = 406 best = 10 1.20 (user) 0.02 (sys) 1.00 (real) N = 405 best = 10 1.20 (user) 0.02 (sys) 1.00 (real) N = 404 best = 10 1.20 (user) 0.02 (sys) 1.00 (real) N = 403 best = 10 1.20 (user) 0.02 (sys) 1.00 (real) N = 402 best = 10 1.21 (user) 0.02 (sys) 1.00 (real) N = 401 best = 10 1.21 (user) 0.02 (sys) 1.00 (real) N = 400 best = 10 1.21 (user) 0.02 (sys) 1.00 (real) N = 399 best = 10 1.21 (user) 0.02 (sys) 1.00 (real) N = 398 best = 10 1.22 (user) 0.02 (sys) 1.00 (real) N = 397 best = 10 1.22 (user) 0.02 (sys) 1.00 (real) N = 396 best = 10 1.22 (user) 0.02 (sys) 1.00 (real) N = 395 best = 10 1.22 (user) 0.02 (sys) 1.00 (real) N = 394 best = 10 1.22 (user) 0.02 (sys) 1.00 (real) N = 393 best = 10 1.23 (user) 0.02 (sys) 1.00 (real) N = 392 best = 10 1.23 (user) 0.02 (sys) 1.00 (real) N = 391 best = 10 1.23 (user) 0.02 (sys) 1.00 (real) N = 390 best = 10 1.23 (user) 0.02 (sys) 1.00 (real) N = 389 best = 10 1.24 (user) 0.02 (sys) 1.00 (real) N = 388 best = 10 1.24 (user) 0.02 (sys) 1.00 (real) N = 387 best = 10 1.24 (user) 0.02 (sys) 1.00 (real) N = 386 best = 10 1.24 (user) 0.02 (sys) 1.00 (real) N = 385 best = 10 1.24 (user) 0.02 (sys) 1.00 (real) N = 384 best = 10 1.24 (user) 0.02 (sys) 1.00 (real) N = 383 best = 10 1.25 (user) 0.02 (sys) 1.00 (real) N = 382 best = 10 1.25 (user) 0.02 (sys) 1.00 (real) N = 381 best = 10 1.25 (user) 0.02 (sys) 1.00 (real) N = 380 best = 10 1.26 (user) 0.02 (sys) 1.00 (real) N = 379 best = 10 1.26 (user) 0.02 (sys) 1.00 (real) N = 378 best = 10 1.26 (user) 0.02 (sys) 1.00 (real) N = 377 best = 10 1.26 (user) 0.02 (sys) 1.00 (real) N = 376 best = 10 1.26 (user) 0.02 (sys) 1.00 (real) N = 375 best = 10 1.26 (user) 0.02 (sys) 1.00 (real) N = 374 best = 10 1.27 (user) 0.02 (sys) 1.00 (real) N = 373 best = 10 1.27 (user) 0.02 (sys) 1.00 (real) N = 372 best = 10 1.27 (user) 0.02 (sys) 1.00 (real) N = 371 best = 10 1.27 (user) 0.02 (sys) 1.00 (real) N = 370 best = 10 1.28 (user) 0.02 (sys) 1.00 (real) N = 369 best = 10 1.28 (user) 0.02 (sys) 1.00 (real) N = 368 best = 10 1.28 (user) 0.02 (sys) 1.00 (real) N = 367 best = 10 1.28 (user) 0.02 (sys) 1.00 (real) N = 366 best = 10 1.28 (user) 0.02 (sys) 1.00 (real) N = 365 best = 10 1.29 (user) 0.02 (sys) 1.00 (real) N = 364 best = 10 1.29 (user) 0.02 (sys) 1.00 (real) N = 363 best = 10 1.29 (user) 0.02 (sys) 1.00 (real) N = 362 best = 10 1.29 (user) 0.02 (sys) 1.00 (real) N = 361 best = 10 1.30 (user) 0.02 (sys) 1.00 (real) N = 360 best = 10 1.30 (user) 0.02 (sys) 1.00 (real) N = 359 best = 10 1.30 (user) 0.02 (sys) 1.00 (real) N = 358 best = 10 1.30 (user) 0.02 (sys) 1.00 (real) N = 357 best = 10 1.30 (user) 0.02 (sys) 1.00 (real) N = 356 best = 10 1.30 (user) 0.02 (sys) 1.00 (real) N = 355 best = 10 1.31 (user) 0.02 (sys) 1.00 (real) N = 354 best = 10 1.31 (user) 0.02 (sys) 1.00 (real) N = 353 best = 10 1.31 (user) 0.02 (sys) 1.00 (real) N = 352 best = 10 1.31 (user) 0.02 (sys) 1.00 (real) N = 351 best = 10 1.32 (user) 0.02 (sys) 1.00 (real) N = 350 best = 10 1.32 (user) 0.02 (sys) 1.00 (real) N = 349 best = 10 1.32 (user) 0.02 (sys) 1.00 (real) N = 348 best = 10 1.32 (user) 0.02 (sys) 1.00 (real) N = 347 best = 10 1.32 (user) 0.02 (sys) 1.00 (real) N = 346 best = 10 1.32 (user) 0.02 (sys) 1.00 (real) N = 345 best = 10 1.32 (user) 0.02 (sys) 1.00 (real) N = 344 best = 10 1.33 (user) 0.02 (sys) 1.00 (real) N = 343 best = 10 1.33 (user) 0.02 (sys) 1.00 (real) N = 342 best = 10 1.33 (user) 0.02 (sys) 1.00 (real) N = 341 best = 10 1.34 (user) 0.02 (sys) 1.00 (real) N = 340 best = 10 1.34 (user) 0.02 (sys) 1.00 (real) N = 339 best = 10 1.34 (user) 0.02 (sys) 1.00 (real) N = 338 best = 10 1.34 (user) 0.02 (sys) 1.00 (real) N = 337 best = 10 1.34 (user) 0.02 (sys) 1.00 (real) N = 336 best = 10 1.35 (user) 0.02 (sys) 1.00 (real) N = 335 best = 10 1.35 (user) 0.02 (sys) 1.00 (real) N = 334 best = 10 1.35 (user) 0.02 (sys) 1.00 (real) N = 333 best = 10 1.35 (user) 0.02 (sys) 1.00 (real) N = 332 best = 10 1.36 (user) 0.02 (sys) 1.00 (real) N = 331 best = 10 1.36 (user) 0.02 (sys) 1.00 (real) N = 330 best = 10 1.36 (user) 0.02 (sys) 1.00 (real) N = 329 best = 10 1.36 (user) 0.02 (sys) 1.00 (real) N = 328 best = 10 1.36 (user) 0.02 (sys) 1.00 (real) N = 327 best = 10 1.36 (user) 0.02 (sys) 1.00 (real) N = 326 best = 10 1.37 (user) 0.02 (sys) 1.00 (real) N = 325 best = 10 1.37 (user) 0.02 (sys) 1.00 (real) N = 324 best = 10 1.37 (user) 0.02 (sys) 1.00 (real) N = 323 best = 10 1.37 (user) 0.02 (sys) 1.00 (real) N = 322 best = 10 1.37 (user) 0.02 (sys) 1.00 (real) N = 321 best = 10 1.38 (user) 0.02 (sys) 1.00 (real) N = 320 best = 10 1.38 (user) 0.02 (sys) 1.00 (real) N = 319 best = 10 1.38 (user) 0.02 (sys) 1.00 (real) N = 318 best = 10 1.38 (user) 0.02 (sys) 1.00 (real) N = 317 best = 10 1.38 (user) 0.02 (sys) 1.00 (real) N = 316 best = 10 1.38 (user) 0.02 (sys) 1.00 (real) N = 315 best = 10 1.38 (user) 0.02 (sys) 1.00 (real) N = 314 best = 10 1.38 (user) 0.02 (sys) 1.00 (real) N = 313 best = 10 1.39 (user) 0.02 (sys) 1.00 (real) N = 312 best = 10 1.39 (user) 0.02 (sys) 1.00 (real) N = 311 best = 10 1.39 (user) 0.02 (sys) 1.00 (real) N = 310 best = 10 1.39 (user) 0.02 (sys) 1.00 (real) N = 309 best = 10 1.39 (user) 0.02 (sys) 1.00 (real) N = 308 best = 10 1.40 (user) 0.02 (sys) 1.00 (real) N = 307 best = 10 1.40 (user) 0.02 (sys) 1.00 (real) N = 306 best = 10 1.40 (user) 0.02 (sys) 1.00 (real) N = 305 best = 10 1.40 (user) 0.02 (sys) 1.00 (real) N = 304 best = 10 1.40 (user) 0.02 (sys) 1.00 (real) N = 303 best = 10 1.40 (user) 0.02 (sys) 1.00 (real) N = 302 best = 10 1.40 (user) 0.02 (sys) 1.00 (real) N = 301 best = 10 1.41 (user) 0.02 (sys) 1.00 (real) N = 300 best = 10 1.41 (user) 0.02 (sys) 1.00 (real) N = 299 best = 10 1.41 (user) 0.02 (sys) 1.00 (real) N = 298 best = 10 1.41 (user) 0.02 (sys) 1.00 (real) N = 297 best = 10 1.41 (user) 0.02 (sys) 1.00 (real) N = 296 best = 10 1.42 (user) 0.02 (sys) 1.00 (real) N = 295 best = 10 1.42 (user) 0.02 (sys) 1.00 (real) N = 294 best = 10 1.42 (user) 0.02 (sys) 1.00 (real) N = 293 best = 10 1.42 (user) 0.02 (sys) 1.00 (real) N = 292 best = 10 1.42 (user) 0.02 (sys) 1.00 (real) N = 291 best = 10 1.42 (user) 0.02 (sys) 1.00 (real) N = 290 best = 10 1.42 (user) 0.02 (sys) 1.00 (real) N = 289 best = 10 1.43 (user) 0.02 (sys) 1.00 (real) N = 288 best = 10 1.43 (user) 0.02 (sys) 1.00 (real) N = 287 best = 10 1.43 (user) 0.02 (sys) 1.00 (real) N = 286 best = 10 1.43 (user) 0.02 (sys) 1.00 (real) N = 285 best = 10 1.43 (user) 0.02 (sys) 1.00 (real) N = 284 best = 10 1.44 (user) 0.02 (sys) 1.00 (real) N = 283 best = 10 1.44 (user) 0.02 (sys) 1.00 (real) N = 282 best = 10 1.44 (user) 0.02 (sys) 1.00 (real) N = 281 best = 10 1.44 (user) 0.02 (sys) 1.00 (real) N = 280 best = 10 1.44 (user) 0.02 (sys) 1.00 (real) N = 279 best = 10 1.44 (user) 0.02 (sys) 1.00 (real) N = 278 best = 10 1.44 (user) 0.02 (sys) 1.00 (real) N = 277 best = 10 1.44 (user) 0.02 (sys) 1.00 (real) N = 276 best = 10 1.45 (user) 0.02 (sys) 1.00 (real) N = 275 best = 10 1.45 (user) 0.02 (sys) 1.00 (real) N = 274 best = 10 1.45 (user) 0.02 (sys) 1.00 (real) N = 273 best = 10 1.45 (user) 0.02 (sys) 1.00 (real) N = 272 best = 10 1.45 (user) 0.02 (sys) 1.00 (real) N = 271 best = 10 1.46 (user) 0.02 (sys) 1.00 (real) N = 270 best = 10 1.46 (user) 0.02 (sys) 1.00 (real) N = 269 best = 10 1.46 (user) 0.02 (sys) 1.00 (real) N = 268 best = 10 1.46 (user) 0.02 (sys) 1.00 (real) N = 267 best = 10 1.46 (user) 0.02 (sys) 1.00 (real) N = 266 best = 10 1.46 (user) 0.02 (sys) 1.00 (real) N = 265 best = 10 1.46 (user) 0.02 (sys) 1.00 (real) N = 264 best = 10 1.46 (user) 0.02 (sys) 1.00 (real) N = 263 best = 10 1.46 (user) 0.02 (sys) 1.00 (real) N = 262 best = 10 1.46 (user) 0.02 (sys) 1.00 (real) N = 261 best = 10 1.46 (user) 0.02 (sys) 1.00 (real) N = 260 best = 10 1.47 (user) 0.02 (sys) 1.00 (real) N = 259 best = 10 1.47 (user) 0.02 (sys) 1.00 (real) N = 258 best = 10 1.47 (user) 0.02 (sys) 1.00 (real) N = 257 best = 10 1.47 (user) 0.02 (sys) 1.00 (real) N = 256 best = 10 1.47 (user) 0.02 (sys) 1.00 (real) N = 255 best = 10 1.47 (user) 0.02 (sys) 1.00 (real) N = 254 best = 10 1.47 (user) 0.02 (sys) 1.00 (real) N = 253 best = 10 1.47 (user) 0.02 (sys) 1.00 (real) N = 252 best = 10 1.48 (user) 0.02 (sys) 1.00 (real) N = 251 best = 10 1.48 (user) 0.02 (sys) 1.00 (real) N = 250 best = 10 1.48 (user) 0.02 (sys) 1.00 (real) N = 249 best = 10 1.48 (user) 0.02 (sys) 1.00 (real) N = 248 best = 10 1.48 (user) 0.02 (sys) 1.00 (real) N = 247 best = 10 1.48 (user) 0.02 (sys) 1.00 (real) N = 246 best = 10 1.48 (user) 0.02 (sys) 1.00 (real) N = 245 best = 10 1.48 (user) 0.02 (sys) 1.00 (real) N = 244 best = 10 1.48 (user) 0.02 (sys) 1.00 (real) N = 243 best = 10 1.48 (user) 0.02 (sys) 1.00 (real) N = 242 best = 10 1.48 (user) 0.02 (sys) 1.00 (real) N = 241 best = 10 1.48 (user) 0.02 (sys) 1.00 (real) N = 240 best = 10 1.48 (user) 0.02 (sys) 1.00 (real) N = 239 best = 10 1.48 (user) 0.02 (sys) 1.00 (real) N = 238 best = 10 1.49 (user) 0.02 (sys) 1.00 (real) N = 237 best = 10 1.49 (user) 0.02 (sys) 1.00 (real) N = 236 best = 10 1.49 (user) 0.02 (sys) 1.00 (real) N = 235 best = 10 1.49 (user) 0.02 (sys) 1.00 (real) N = 234 best = 10 1.49 (user) 0.02 (sys) 1.00 (real) N = 233 best = 10 1.49 (user) 0.02 (sys) 1.00 (real) N = 232 best = 10 1.49 (user) 0.02 (sys) 1.00 (real) N = 231 best = 10 1.49 (user) 0.02 (sys) 1.00 (real) N = 230 best = 10 1.49 (user) 0.02 (sys) 1.00 (real) N = 229 best = 10 1.49 (user) 0.02 (sys) 1.00 (real) N = 228 best = 10 1.50 (user) 0.02 (sys) 1.00 (real) N = 227 best = 10 1.50 (user) 0.02 (sys) 1.00 (real) N = 226 best = 10 1.50 (user) 0.02 (sys) 1.00 (real) N = 225 best = 10 1.50 (user) 0.02 (sys) 1.00 (real) N = 224 best = 10 1.50 (user) 0.02 (sys) 1.00 (real) N = 223 best = 10 1.50 (user) 0.02 (sys) 1.00 (real) N = 222 best = 10 1.50 (user) 0.02 (sys) 1.00 (real) N = 221 best = 10 1.50 (user) 0.02 (sys) 1.00 (real) N = 220 best = 10 1.50 (user) 0.02 (sys) 1.00 (real) N = 219 best = 10 1.50 (user) 0.02 (sys) 1.00 (real) N = 218 best = 10 1.50 (user) 0.02 (sys) 1.00 (real) N = 217 best = 10 1.50 (user) 0.02 (sys) 1.00 (real) N = 216 best = 10 1.50 (user) 0.02 (sys) 1.00 (real) N = 215 best = 10 1.50 (user) 0.02 (sys) 1.00 (real) N = 214 best = 10 1.50 (user) 0.02 (sys) 1.00 (real) N = 213 best = 10 1.50 (user) 0.02 (sys) 1.00 (real) N = 212 best = 10 1.50 (user) 0.02 (sys) 1.00 (real) N = 211 best = 10 1.50 (user) 0.02 (sys) 1.00 (real) N = 210 best = 10 1.50 (user) 0.02 (sys) 1.00 (real) N = 209 best = 10 1.51 (user) 0.02 (sys) 1.00 (real) N = 208 best = 10 1.51 (user) 0.02 (sys) 1.00 (real) N = 207 best = 10 1.51 (user) 0.02 (sys) 1.00 (real) N = 206 best = 10 1.51 (user) 0.02 (sys) 1.00 (real) N = 205 best = 10 1.51 (user) 0.02 (sys) 1.00 (real) N = 204 best = 10 1.51 (user) 0.02 (sys) 1.00 (real) N = 203 best = 10 1.51 (user) 0.02 (sys) 1.00 (real) N = 202 best = 10 1.51 (user) 0.02 (sys) 1.00 (real) N = 201 best = 10 1.51 (user) 0.02 (sys) 1.00 (real) N = 200 best = 10 1.51 (user) 0.02 (sys) 1.00 (real) N = 199 best = 10 1.51 (user) 0.02 (sys) 1.00 (real) N = 198 best = 10 1.51 (user) 0.02 (sys) 1.00 (real) N = 197 best = 10 1.51 (user) 0.02 (sys) 1.00 (real) N = 196 best = 10 1.51 (user) 0.02 (sys) 1.00 (real) N = 195 best = 10 1.52 (user) 0.02 (sys) 1.00 (real) N = 194 best = 10 1.52 (user) 0.02 (sys) 1.00 (real) N = 193 best = 10 1.52 (user) 0.02 (sys) 1.00 (real) N = 192 best = 10 1.52 (user) 0.02 (sys) 1.00 (real) N = 191 best = 10 1.52 (user) 0.02 (sys) 1.00 (real) N = 190 best = 10 1.52 (user) 0.02 (sys) 1.00 (real) N = 189 best = 10 1.52 (user) 0.02 (sys) 1.00 (real) N = 188 best = 10 1.52 (user) 0.02 (sys) 1.00 (real) N = 187 best = 10 1.52 (user) 0.02 (sys) 1.00 (real) N = 186 best = 10 1.52 (user) 0.02 (sys) 1.00 (real) N = 185 best = 10 1.52 (user) 0.02 (sys) 1.00 (real) N = 184 best = 10 1.52 (user) 0.02 (sys) 1.00 (real) N = 183 best = 10 1.52 (user) 0.02 (sys) 1.00 (real) N = 182 best = 10 1.52 (user) 0.02 (sys) 1.00 (real) N = 181 best = 10 1.52 (user) 0.02 (sys) 1.00 (real) N = 180 best = 10 1.52 (user) 0.02 (sys) 1.00 (real) N = 179 best = 10 1.52 (user) 0.02 (sys) 1.00 (real) N = 178 best = 10 1.52 (user) 0.02 (sys) 1.00 (real) N = 177 best = 10 1.52 (user) 0.02 (sys) 1.00 (real) N = 176 best = 10 1.52 (user) 0.02 (sys) 1.00 (real) N = 175 best = 10 1.52 (user) 0.02 (sys) 1.00 (real) N = 174 best = 10 1.52 (user) 0.02 (sys) 1.00 (real) N = 173 best = 10 1.52 (user) 0.02 (sys) 1.00 (real) N = 172 best = 10 1.52 (user) 0.02 (sys) 1.00 (real) N = 171 best = 10 1.52 (user) 0.02 (sys) 1.00 (real) N = 170 best = 10 1.52 (user) 0.02 (sys) 1.00 (real) N = 169 best = 10 1.53 (user) 0.02 (sys) 1.00 (real) N = 168 best = 10 1.53 (user) 0.02 (sys) 1.00 (real) N = 167 best = 10 1.53 (user) 0.02 (sys) 1.00 (real) N = 166 best = 10 1.53 (user) 0.02 (sys) 1.00 (real) N = 165 best = 10 1.53 (user) 0.02 (sys) 1.00 (real) N = 164 best = 10 1.53 (user) 0.02 (sys) 1.00 (real) N = 163 best = 10 1.53 (user) 0.02 (sys) 1.00 (real) N = 162 best = 10 1.53 (user) 0.02 (sys) 1.00 (real) N = 161 best = 10 1.53 (user) 0.02 (sys) 1.00 (real) N = 160 best = 10 1.53 (user) 0.02 (sys) 1.00 (real) N = 159 best = 10 1.53 (user) 0.02 (sys) 1.00 (real) N = 158 best = 10 1.53 (user) 0.02 (sys) 1.00 (real) N = 157 best = 10 1.53 (user) 0.02 (sys) 1.00 (real) N = 156 best = 10 1.53 (user) 0.02 (sys) 1.00 (real) N = 155 best = 10 1.53 (user) 0.02 (sys) 1.00 (real) N = 154 best = 10 1.53 (user) 0.02 (sys) 1.00 (real) N = 153 best = 10 1.53 (user) 0.02 (sys) 1.00 (real) N = 152 best = 10 1.53 (user) 0.02 (sys) 1.00 (real) N = 151 best = 10 1.53 (user) 0.02 (sys) 1.00 (real) N = 150 best = 10 1.53 (user) 0.02 (sys) 1.00 (real) N = 149 best = 10 1.53 (user) 0.02 (sys) 1.00 (real) N = 148 best = 10 1.53 (user) 0.02 (sys) 1.00 (real) N = 147 best = 10 1.53 (user) 0.02 (sys) 1.00 (real) N = 146 best = 10 1.53 (user) 0.02 (sys) 1.00 (real) N = 145 best = 10 1.53 (user) 0.02 (sys) 1.00 (real) N = 144 best = 10 1.53 (user) 0.02 (sys) 1.00 (real) N = 143 best = 10 1.53 (user) 0.02 (sys) 1.00 (real) N = 142 best = 10 1.54 (user) 0.02 (sys) 1.00 (real) N = 141 best = 10 1.54 (user) 0.02 (sys) 1.00 (real) N = 140 best = 10 1.54 (user) 0.02 (sys) 1.00 (real) N = 139 best = 10 1.54 (user) 0.02 (sys) 1.00 (real) N = 138 best = 10 1.54 (user) 0.02 (sys) 1.00 (real) N = 137 best = 10 1.54 (user) 0.02 (sys) 1.00 (real) N = 136 best = 10 1.54 (user) 0.02 (sys) 1.00 (real) N = 135 best = 10 1.54 (user) 0.02 (sys) 1.00 (real) N = 134 best = 10 1.54 (user) 0.02 (sys) 1.00 (real) N = 133 best = 10 1.54 (user) 0.02 (sys) 1.00 (real) N = 132 best = 10 1.54 (user) 0.02 (sys) 1.00 (real) N = 131 best = 10 1.54 (user) 0.02 (sys) 1.00 (real) N = 130 best = 10 1.54 (user) 0.02 (sys) 1.00 (real) N = 129 best = 10 1.54 (user) 0.02 (sys) 1.00 (real) N = 128 best = 10 1.54 (user) 0.02 (sys) 1.00 (real) N = 127 best = 10 1.54 (user) 0.02 (sys) 1.00 (real) N = 126 best = 10 1.54 (user) 0.02 (sys) 1.00 (real) N = 125 best = 10 1.54 (user) 0.02 (sys) 1.00 (real) N = 124 best = 10 1.54 (user) 0.02 (sys) 1.00 (real) N = 123 best = 10 1.54 (user) 0.02 (sys) 1.00 (real) N = 122 best = 10 1.54 (user) 0.02 (sys) 1.00 (real) N = 121 best = 10 1.54 (user) 0.02 (sys) 1.00 (real) N = 120 best = 10 1.54 (user) 0.02 (sys) 1.00 (real) N = 119 best = 10 1.54 (user) 0.02 (sys) 1.00 (real) N = 118 best = 10 1.54 (user) 0.02 (sys) 1.00 (real) N = 117 best = 10 1.54 (user) 0.02 (sys) 1.00 (real) N = 116 best = 10 1.54 (user) 0.02 (sys) 1.00 (real) N = 115 best = 10 1.54 (user) 0.02 (sys) 1.00 (real) N = 114 best = 10 1.54 (user) 0.02 (sys) 1.00 (real) N = 113 best = 10 1.54 (user) 0.02 (sys) 1.00 (real) N = 112 best = 10 1.54 (user) 0.02 (sys) 1.00 (real) N = 111 best = 10 1.54 (user) 0.02 (sys) 1.00 (real) N = 110 best = 10 1.54 (user) 0.02 (sys) 1.00 (real) N = 109 best = 10 1.54 (user) 0.02 (sys) 1.00 (real) N = 108 best = 10 1.54 (user) 0.02 (sys) 1.00 (real) N = 107 best = 10 1.54 (user) 0.02 (sys) 1.00 (real) N = 106 best = 10 1.54 (user) 0.02 (sys) 1.00 (real) N = 105 best = 10 1.54 (user) 0.02 (sys) 1.00 (real) N = 104 best = 10 1.54 (user) 0.02 (sys) 1.00 (real) N = 103 best = 10 1.54 (user) 0.02 (sys) 1.00 (real) N = 102 best = 10 1.54 (user) 0.02 (sys) 1.00 (real) N = 101 best = 10 1.54 (user) 0.02 (sys) 1.00 (real) N = 100 best = 10 1.54 (user) 0.02 (sys) 1.00 (real) N = 99 best = 10 1.54 (user) 0.02 (sys) 1.00 (real) N = 98 best = 10 1.54 (user) 0.02 (sys) 1.00 (real) N = 97 best = 10 1.54 (user) 0.02 (sys) 1.00 (real) N = 96 best = 10 1.54 (user) 0.02 (sys) 1.00 (real) N = 95 best = 10 1.54 (user) 0.02 (sys) 1.00 (real) N = 94 best = 10 1.54 (user) 0.02 (sys) 1.00 (real) N = 93 best = 10 1.54 (user) 0.02 (sys) 1.00 (real) N = 92 best = 10 1.54 (user) 0.02 (sys) 1.00 (real) N = 91 best = 10 1.54 (user) 0.02 (sys) 1.00 (real) N = 90 best = 10 1.54 (user) 0.02 (sys) 1.00 (real) N = 89 best = 10 1.54 (user) 0.02 (sys) 1.00 (real) N = 88 best = 10 1.54 (user) 0.02 (sys) 1.00 (real) N = 87 best = 10 1.54 (user) 0.02 (sys) 1.00 (real) N = 86 best = 10 1.54 (user) 0.02 (sys) 1.00 (real) N = 85 best = 10 1.54 (user) 0.02 (sys) 1.00 (real) N = 84 best = 10 1.54 (user) 0.02 (sys) 1.00 (real) N = 83 best = 10 1.54 (user) 0.02 (sys) 1.00 (real) N = 82 best = 10 1.54 (user) 0.02 (sys) 1.00 (real) N = 81 best = 10 1.54 (user) 0.02 (sys) 1.00 (real) N = 80 best = 10 1.54 (user) 0.02 (sys) 1.00 (real) N = 79 best = 10 1.54 (user) 0.02 (sys) 1.00 (real) N = 78 best = 10 1.54 (user) 0.02 (sys) 1.00 (real) N = 77 best = 10 1.54 (user) 0.02 (sys) 1.00 (real) N = 76 best = 10 1.54 (user) 0.02 (sys) 1.00 (real) N = 75 best = 10 1.54 (user) 0.02 (sys) 1.00 (real) N = 74 best = 10 1.54 (user) 0.02 (sys) 1.00 (real) N = 73 best = 10 1.54 (user) 0.02 (sys) 1.00 (real) N = 72 best = 10 1.54 (user) 0.02 (sys) 1.00 (real) N = 71 best = 10 1.54 (user) 0.02 (sys) 1.00 (real) N = 70 best = 10 1.54 (user) 0.02 (sys) 1.00 (real) N = 69 best = 10 1.54 (user) 0.02 (sys) 1.00 (real) N = 68 best = 10 1.54 (user) 0.02 (sys) 1.00 (real) N = 67 best = 10 1.54 (user) 0.02 (sys) 1.00 (real) N = 66 best = 10 1.54 (user) 0.02 (sys) 1.00 (real) N = 65 best = 10 1.54 (user) 0.02 (sys) 1.00 (real) N = 64 best = 10 1.54 (user) 0.02 (sys) 1.00 (real) N = 63 best = 10 1.54 (user) 0.02 (sys) 1.00 (real) N = 62 best = 10 1.54 (user) 0.02 (sys) 1.00 (real) N = 61 best = 10 1.54 (user) 0.02 (sys) 1.00 (real) N = 60 best = 10 1.54 (user) 0.02 (sys) 1.00 (real) N = 59 best = 10 1.54 (user) 0.02 (sys) 1.00 (real) N = 58 best = 10 1.54 (user) 0.02 (sys) 1.00 (real) N = 57 best = 10 1.54 (user) 0.02 (sys) 1.00 (real) N = 56 best = 10 1.54 (user) 0.02 (sys) 1.00 (real) N = 55 best = 10 1.54 (user) 0.02 (sys) 1.00 (real) N = 54 best = 10 1.54 (user) 0.02 (sys) 1.00 (real) N = 53 best = 10 1.54 (user) 0.02 (sys) 1.00 (real) N = 52 best = 10 1.54 (user) 0.02 (sys) 1.00 (real) N = 51 best = 10 1.54 (user) 0.02 (sys) 1.00 (real) N = 50 best = 10 1.54 (user) 0.02 (sys) 1.00 (real) N = 49 best = 10 1.54 (user) 0.02 (sys) 1.00 (real) N = 48 best = 10 1.54 (user) 0.02 (sys) 1.00 (real) N = 47 best = 10 1.54 (user) 0.02 (sys) 1.00 (real) N = 46 best = 10 1.54 (user) 0.02 (sys) 1.00 (real) N = 45 best = 10 1.54 (user) 0.02 (sys) 1.00 (real) N = 44 best = 10 1.54 (user) 0.02 (sys) 1.00 (real) N = 43 best = 10 1.54 (user) 0.02 (sys) 1.00 (real) N = 42 best = 10 1.54 (user) 0.02 (sys) 1.00 (real) N = 41 best = 10 1.54 (user) 0.02 (sys) 1.00 (real) N = 40 best = 10 1.54 (user) 0.02 (sys) 1.00 (real) N = 39 best = 10 1.54 (user) 0.02 (sys) 1.00 (real) N = 38 best = 10 1.54 (user) 0.02 (sys) 1.00 (real) N = 37 best = 10 1.54 (user) 0.02 (sys) 1.00 (real) N = 36 best = 10 1.54 (user) 0.02 (sys) 1.00 (real) N = 35 best = 10 1.54 (user) 0.02 (sys) 1.00 (real) N = 34 best = 10 1.54 (user) 0.02 (sys) 1.00 (real) N = 33 best = 10 1.54 (user) 0.02 (sys) 1.00 (real) N = 32 best = 10 1.54 (user) 0.02 (sys) 1.00 (real) N = 31 best = 10 1.54 (user) 0.02 (sys) 1.00 (real) N = 30 best = 10 1.54 (user) 0.02 (sys) 1.00 (real) N = 29 best = 10 1.54 (user) 0.02 (sys) 1.00 (real) N = 28 best = 10 1.54 (user) 0.02 (sys) 1.00 (real) N = 27 best = 10 1.54 (user) 0.02 (sys) 1.00 (real) N = 26 best = 10 1.54 (user) 0.02 (sys) 1.00 (real) N = 25 best = 10 1.54 (user) 0.02 (sys) 1.00 (real) N = 24 best = 10 1.54 (user) 0.02 (sys) 1.00 (real) N = 23 best = 10 1.54 (user) 0.02 (sys) 1.00 (real) N = 22 best = 10 1.54 (user) 0.02 (sys) 1.00 (real) N = 21 best = 10 1.54 (user) 0.02 (sys) 1.00 (real) N = 20 best = 10 1.54 (user) 0.02 (sys) 1.00 (real) N = 19 best = 10 1.54 (user) 0.02 (sys) 1.00 (real) N = 18 best = 10 1.54 (user) 0.02 (sys) 1.00 (real) N = 17 best = 10 1.54 (user) 0.02 (sys) 1.00 (real) N = 16 best = 10 1.54 (user) 0.02 (sys) 1.00 (real) N = 15 best = 10 1.54 (user) 0.02 (sys) 1.00 (real) N = 14 best = 10 1.54 (user) 0.02 (sys) 1.00 (real) 1.54 (user) 0.02 (sys) 1.00 (real) Best: 359 57 708 856 461 538 640 492 178 179 DFMAX(../DIMACS_cliques/sanr200_0.7.clq.b) setlim=1 Input Time: 0.00 (user) 0.00 (sys) 0.00 (real) Size = 12 found Size = 13 found Size = 14 found Size = 15 found Size = 16 found N = 200 best = 16 0.14 (user) 0.00 (sys) 0.00 (real) N = 199 best = 16 0.27 (user) 0.00 (sys) 1.00 (real) Size = 17 found N = 198 best = 17 0.41 (user) 0.00 (sys) 1.00 (real) N = 197 best = 17 0.52 (user) 0.00 (sys) 1.00 (real) N = 196 best = 17 0.62 (user) 0.00 (sys) 1.00 (real) N = 195 best = 17 0.78 (user) 0.00 (sys) 1.00 (real) N = 194 best = 17 0.88 (user) 0.00 (sys) 1.00 (real) N = 193 best = 17 1.01 (user) 0.00 (sys) 1.00 (real) Size = 18 found N = 192 best = 18 1.14 (user) 0.00 (sys) 1.00 (real) N = 191 best = 18 1.24 (user) 0.00 (sys) 2.00 (real) N = 190 best = 18 1.32 (user) 0.00 (sys) 2.00 (real) N = 189 best = 18 1.40 (user) 0.00 (sys) 2.00 (real) N = 188 best = 18 1.50 (user) 0.00 (sys) 2.00 (real) N = 187 best = 18 1.59 (user) 0.00 (sys) 2.00 (real) N = 186 best = 18 1.69 (user) 0.00 (sys) 2.00 (real) N = 185 best = 18 1.76 (user) 0.00 (sys) 2.00 (real) N = 184 best = 18 1.84 (user) 0.00 (sys) 2.00 (real) N = 183 best = 18 1.95 (user) 0.00 (sys) 2.00 (real) N = 182 best = 18 2.03 (user) 0.00 (sys) 2.00 (real) N = 181 best = 18 2.10 (user) 0.00 (sys) 2.00 (real) N = 180 best = 18 2.17 (user) 0.00 (sys) 2.00 (real) N = 179 best = 18 2.25 (user) 0.00 (sys) 3.00 (real) N = 178 best = 18 2.33 (user) 0.00 (sys) 3.00 (real) N = 177 best = 18 2.40 (user) 0.00 (sys) 3.00 (real) N = 176 best = 18 2.48 (user) 0.00 (sys) 3.00 (real) N = 175 best = 18 2.56 (user) 0.00 (sys) 3.00 (real) N = 174 best = 18 2.62 (user) 0.00 (sys) 3.00 (real) N = 173 best = 18 2.68 (user) 0.00 (sys) 3.00 (real) N = 172 best = 18 2.74 (user) 0.00 (sys) 3.00 (real) N = 171 best = 18 2.79 (user) 0.00 (sys) 3.00 (real) N = 170 best = 18 2.85 (user) 0.00 (sys) 3.00 (real) N = 169 best = 18 2.91 (user) 0.00 (sys) 3.00 (real) N = 168 best = 18 2.98 (user) 0.00 (sys) 3.00 (real) N = 167 best = 18 3.04 (user) 0.00 (sys) 3.00 (real) N = 166 best = 18 3.10 (user) 0.00 (sys) 3.00 (real) N = 165 best = 18 3.16 (user) 0.00 (sys) 3.00 (real) N = 164 best = 18 3.20 (user) 0.00 (sys) 3.00 (real) N = 163 best = 18 3.25 (user) 0.00 (sys) 4.00 (real) N = 162 best = 18 3.32 (user) 0.00 (sys) 4.00 (real) N = 161 best = 18 3.37 (user) 0.00 (sys) 4.00 (real) N = 160 best = 18 3.44 (user) 0.00 (sys) 4.00 (real) N = 159 best = 18 3.50 (user) 0.00 (sys) 4.00 (real) N = 158 best = 18 3.56 (user) 0.01 (sys) 4.00 (real) N = 157 best = 18 3.60 (user) 0.01 (sys) 4.00 (real) N = 156 best = 18 3.64 (user) 0.01 (sys) 4.00 (real) N = 155 best = 18 3.68 (user) 0.01 (sys) 4.00 (real) N = 154 best = 18 3.72 (user) 0.01 (sys) 4.00 (real) N = 153 best = 18 3.76 (user) 0.01 (sys) 4.00 (real) N = 152 best = 18 3.80 (user) 0.01 (sys) 4.00 (real) N = 151 best = 18 3.83 (user) 0.01 (sys) 4.00 (real) N = 150 best = 18 3.88 (user) 0.01 (sys) 4.00 (real) N = 149 best = 18 3.91 (user) 0.01 (sys) 4.00 (real) N = 148 best = 18 3.95 (user) 0.01 (sys) 4.00 (real) N = 147 best = 18 3.99 (user) 0.01 (sys) 4.00 (real) N = 146 best = 18 4.02 (user) 0.01 (sys) 4.00 (real) N = 145 best = 18 4.07 (user) 0.01 (sys) 4.00 (real) N = 144 best = 18 4.11 (user) 0.01 (sys) 4.00 (real) N = 143 best = 18 4.14 (user) 0.01 (sys) 4.00 (real) N = 142 best = 18 4.17 (user) 0.01 (sys) 4.00 (real) N = 141 best = 18 4.20 (user) 0.01 (sys) 5.00 (real) N = 140 best = 18 4.23 (user) 0.01 (sys) 5.00 (real) N = 139 best = 18 4.25 (user) 0.01 (sys) 5.00 (real) N = 138 best = 18 4.27 (user) 0.02 (sys) 5.00 (real) N = 137 best = 18 4.29 (user) 0.02 (sys) 5.00 (real) N = 136 best = 18 4.32 (user) 0.02 (sys) 5.00 (real) N = 135 best = 18 4.34 (user) 0.02 (sys) 5.00 (real) N = 134 best = 18 4.36 (user) 0.02 (sys) 5.00 (real) N = 133 best = 18 4.37 (user) 0.02 (sys) 5.00 (real) N = 132 best = 18 4.39 (user) 0.02 (sys) 5.00 (real) N = 131 best = 18 4.41 (user) 0.02 (sys) 5.00 (real) N = 130 best = 18 4.42 (user) 0.02 (sys) 5.00 (real) N = 129 best = 18 4.44 (user) 0.02 (sys) 5.00 (real) N = 128 best = 18 4.46 (user) 0.02 (sys) 5.00 (real) N = 127 best = 18 4.48 (user) 0.02 (sys) 5.00 (real) N = 126 best = 18 4.49 (user) 0.02 (sys) 5.00 (real) N = 125 best = 18 4.50 (user) 0.02 (sys) 5.00 (real) N = 124 best = 18 4.52 (user) 0.02 (sys) 5.00 (real) N = 123 best = 18 4.53 (user) 0.02 (sys) 5.00 (real) N = 122 best = 18 4.55 (user) 0.02 (sys) 5.00 (real) N = 121 best = 18 4.56 (user) 0.02 (sys) 5.00 (real) N = 120 best = 18 4.57 (user) 0.02 (sys) 5.00 (real) N = 119 best = 18 4.58 (user) 0.02 (sys) 5.00 (real) N = 118 best = 18 4.59 (user) 0.02 (sys) 5.00 (real) N = 117 best = 18 4.60 (user) 0.02 (sys) 5.00 (real) N = 116 best = 18 4.61 (user) 0.02 (sys) 5.00 (real) N = 115 best = 18 4.62 (user) 0.02 (sys) 5.00 (real) N = 114 best = 18 4.63 (user) 0.02 (sys) 5.00 (real) N = 113 best = 18 4.64 (user) 0.02 (sys) 5.00 (real) N = 112 best = 18 4.64 (user) 0.02 (sys) 5.00 (real) N = 111 best = 18 4.65 (user) 0.02 (sys) 5.00 (real) N = 110 best = 18 4.66 (user) 0.02 (sys) 5.00 (real) N = 109 best = 18 4.67 (user) 0.02 (sys) 5.00 (real) N = 108 best = 18 4.68 (user) 0.02 (sys) 5.00 (real) N = 107 best = 18 4.68 (user) 0.02 (sys) 5.00 (real) N = 106 best = 18 4.68 (user) 0.02 (sys) 5.00 (real) N = 105 best = 18 4.69 (user) 0.02 (sys) 5.00 (real) N = 104 best = 18 4.70 (user) 0.02 (sys) 5.00 (real) N = 103 best = 18 4.70 (user) 0.02 (sys) 5.00 (real) N = 102 best = 18 4.70 (user) 0.02 (sys) 5.00 (real) N = 101 best = 18 4.71 (user) 0.02 (sys) 5.00 (real) N = 100 best = 18 4.71 (user) 0.02 (sys) 5.00 (real) N = 99 best = 18 4.72 (user) 0.02 (sys) 5.00 (real) N = 98 best = 18 4.72 (user) 0.02 (sys) 5.00 (real) N = 97 best = 18 4.72 (user) 0.02 (sys) 5.00 (real) N = 96 best = 18 4.73 (user) 0.02 (sys) 5.00 (real) N = 95 best = 18 4.73 (user) 0.02 (sys) 5.00 (real) N = 94 best = 18 4.73 (user) 0.02 (sys) 5.00 (real) N = 93 best = 18 4.74 (user) 0.02 (sys) 5.00 (real) N = 92 best = 18 4.74 (user) 0.02 (sys) 5.00 (real) N = 91 best = 18 4.74 (user) 0.02 (sys) 5.00 (real) N = 90 best = 18 4.74 (user) 0.02 (sys) 5.00 (real) N = 89 best = 18 4.74 (user) 0.02 (sys) 5.00 (real) N = 88 best = 18 4.74 (user) 0.02 (sys) 5.00 (real) N = 87 best = 18 4.75 (user) 0.02 (sys) 5.00 (real) N = 86 best = 18 4.75 (user) 0.02 (sys) 5.00 (real) N = 85 best = 18 4.75 (user) 0.02 (sys) 5.00 (real) N = 84 best = 18 4.75 (user) 0.02 (sys) 5.00 (real) N = 83 best = 18 4.76 (user) 0.02 (sys) 5.00 (real) N = 82 best = 18 4.76 (user) 0.02 (sys) 5.00 (real) N = 81 best = 18 4.76 (user) 0.02 (sys) 5.00 (real) N = 80 best = 18 4.76 (user) 0.02 (sys) 5.00 (real) N = 79 best = 18 4.76 (user) 0.02 (sys) 5.00 (real) N = 78 best = 18 4.76 (user) 0.02 (sys) 5.00 (real) N = 77 best = 18 4.76 (user) 0.02 (sys) 5.00 (real) N = 76 best = 18 4.76 (user) 0.02 (sys) 5.00 (real) N = 75 best = 18 4.76 (user) 0.02 (sys) 5.00 (real) N = 74 best = 18 4.76 (user) 0.02 (sys) 5.00 (real) N = 73 best = 18 4.76 (user) 0.02 (sys) 5.00 (real) N = 72 best = 18 4.77 (user) 0.02 (sys) 5.00 (real) N = 71 best = 18 4.77 (user) 0.02 (sys) 5.00 (real) N = 70 best = 18 4.77 (user) 0.02 (sys) 5.00 (real) N = 69 best = 18 4.77 (user) 0.02 (sys) 5.00 (real) N = 68 best = 18 4.77 (user) 0.02 (sys) 5.00 (real) N = 67 best = 18 4.77 (user) 0.02 (sys) 5.00 (real) N = 66 best = 18 4.77 (user) 0.02 (sys) 5.00 (real) N = 65 best = 18 4.77 (user) 0.02 (sys) 5.00 (real) N = 64 best = 18 4.77 (user) 0.02 (sys) 5.00 (real) N = 63 best = 18 4.77 (user) 0.02 (sys) 5.00 (real) N = 62 best = 18 4.77 (user) 0.02 (sys) 5.00 (real) N = 61 best = 18 4.77 (user) 0.02 (sys) 5.00 (real) N = 60 best = 18 4.77 (user) 0.02 (sys) 5.00 (real) N = 59 best = 18 4.77 (user) 0.02 (sys) 5.00 (real) N = 58 best = 18 4.77 (user) 0.02 (sys) 5.00 (real) N = 57 best = 18 4.77 (user) 0.02 (sys) 5.00 (real) N = 56 best = 18 4.77 (user) 0.02 (sys) 5.00 (real) N = 55 best = 18 4.77 (user) 0.02 (sys) 5.00 (real) N = 54 best = 18 4.77 (user) 0.02 (sys) 5.00 (real) N = 53 best = 18 4.77 (user) 0.02 (sys) 5.00 (real) N = 52 best = 18 4.77 (user) 0.02 (sys) 5.00 (real) N = 51 best = 18 4.77 (user) 0.02 (sys) 5.00 (real) N = 50 best = 18 4.77 (user) 0.02 (sys) 5.00 (real) N = 49 best = 18 4.77 (user) 0.02 (sys) 5.00 (real) N = 48 best = 18 4.77 (user) 0.02 (sys) 5.00 (real) N = 47 best = 18 4.77 (user) 0.02 (sys) 5.00 (real) N = 46 best = 18 4.77 (user) 0.02 (sys) 5.00 (real) N = 45 best = 18 4.77 (user) 0.02 (sys) 5.00 (real) N = 44 best = 18 4.77 (user) 0.02 (sys) 5.00 (real) N = 43 best = 18 4.77 (user) 0.02 (sys) 5.00 (real) N = 42 best = 18 4.77 (user) 0.02 (sys) 5.00 (real) N = 41 best = 18 4.77 (user) 0.02 (sys) 5.00 (real) N = 40 best = 18 4.77 (user) 0.02 (sys) 5.00 (real) N = 39 best = 18 4.77 (user) 0.02 (sys) 5.00 (real) N = 38 best = 18 4.77 (user) 0.02 (sys) 5.00 (real) N = 37 best = 18 4.77 (user) 0.02 (sys) 5.00 (real) N = 36 best = 18 4.77 (user) 0.02 (sys) 5.00 (real) N = 35 best = 18 4.77 (user) 0.02 (sys) 5.00 (real) N = 34 best = 18 4.77 (user) 0.02 (sys) 5.00 (real) N = 33 best = 18 4.77 (user) 0.02 (sys) 5.00 (real) N = 32 best = 18 4.77 (user) 0.02 (sys) 5.00 (real) N = 31 best = 18 4.77 (user) 0.02 (sys) 5.00 (real) N = 30 best = 18 4.77 (user) 0.02 (sys) 5.00 (real) N = 29 best = 18 4.77 (user) 0.02 (sys) 5.00 (real) N = 28 best = 18 4.77 (user) 0.02 (sys) 5.00 (real) N = 27 best = 18 4.77 (user) 0.02 (sys) 5.00 (real) N = 26 best = 18 4.77 (user) 0.02 (sys) 5.00 (real) N = 25 best = 18 4.77 (user) 0.02 (sys) 5.00 (real) N = 24 best = 18 4.77 (user) 0.02 (sys) 5.00 (real) N = 23 best = 18 4.77 (user) 0.02 (sys) 5.00 (real) N = 22 best = 18 4.77 (user) 0.02 (sys) 5.00 (real) N = 21 best = 18 4.77 (user) 0.02 (sys) 5.00 (real) N = 20 best = 18 4.77 (user) 0.02 (sys) 5.00 (real) 4.77 (user) 0.02 (sys) 5.00 (real) Best: 94 49 50 77 179 181 1 188 66 27 89 54 67 200 36 81 82 99 DFMAX(../DIMACS_cliques/sanr400_0.5.clq.b) setlim=1 Input Time: 0.00 (user) 0.00 (sys) 0.00 (real) Size = 8 found Size = 9 found Size = 10 found Size = 11 found Size = 12 found N = 400 best = 12 0.05 (user) 0.00 (sys) 0.00 (real) N = 399 best = 12 0.08 (user) 0.00 (sys) 0.00 (real) N = 398 best = 12 0.10 (user) 0.00 (sys) 0.00 (real) N = 397 best = 12 0.13 (user) 0.00 (sys) 0.00 (real) N = 396 best = 12 0.16 (user) 0.00 (sys) 0.00 (real) N = 395 best = 12 0.19 (user) 0.00 (sys) 0.00 (real) N = 394 best = 12 0.22 (user) 0.00 (sys) 0.00 (real) N = 393 best = 12 0.25 (user) 0.00 (sys) 0.00 (real) N = 392 best = 12 0.28 (user) 0.00 (sys) 0.00 (real) N = 391 best = 12 0.32 (user) 0.00 (sys) 1.00 (real) N = 390 best = 12 0.34 (user) 0.00 (sys) 1.00 (real) N = 389 best = 12 0.38 (user) 0.00 (sys) 1.00 (real) N = 388 best = 12 0.41 (user) 0.00 (sys) 1.00 (real) N = 387 best = 12 0.45 (user) 0.00 (sys) 1.00 (real) N = 386 best = 12 0.48 (user) 0.00 (sys) 1.00 (real) N = 385 best = 12 0.51 (user) 0.00 (sys) 1.00 (real) N = 384 best = 12 0.54 (user) 0.00 (sys) 1.00 (real) N = 383 best = 12 0.57 (user) 0.00 (sys) 1.00 (real) N = 382 best = 12 0.60 (user) 0.00 (sys) 1.00 (real) N = 381 best = 12 0.63 (user) 0.00 (sys) 1.00 (real) N = 380 best = 12 0.66 (user) 0.00 (sys) 1.00 (real) N = 379 best = 12 0.70 (user) 0.00 (sys) 1.00 (real) N = 378 best = 12 0.73 (user) 0.00 (sys) 1.00 (real) N = 377 best = 12 0.76 (user) 0.00 (sys) 1.00 (real) N = 376 best = 12 0.79 (user) 0.00 (sys) 1.00 (real) N = 375 best = 12 0.82 (user) 0.00 (sys) 1.00 (real) N = 374 best = 12 0.84 (user) 0.00 (sys) 1.00 (real) N = 373 best = 12 0.88 (user) 0.00 (sys) 1.00 (real) N = 372 best = 12 0.91 (user) 0.00 (sys) 1.00 (real) N = 371 best = 12 0.94 (user) 0.00 (sys) 1.00 (real) N = 370 best = 12 0.97 (user) 0.00 (sys) 1.00 (real) N = 369 best = 12 1.00 (user) 0.00 (sys) 1.00 (real) N = 368 best = 12 1.03 (user) 0.00 (sys) 1.00 (real) N = 367 best = 12 1.06 (user) 0.00 (sys) 1.00 (real) N = 366 best = 12 1.08 (user) 0.00 (sys) 1.00 (real) N = 365 best = 12 1.11 (user) 0.00 (sys) 1.00 (real) N = 364 best = 12 1.14 (user) 0.00 (sys) 1.00 (real) N = 363 best = 12 1.16 (user) 0.00 (sys) 1.00 (real) N = 362 best = 12 1.20 (user) 0.00 (sys) 1.00 (real) N = 361 best = 12 1.22 (user) 0.00 (sys) 1.00 (real) N = 360 best = 12 1.25 (user) 0.00 (sys) 1.00 (real) N = 359 best = 12 1.28 (user) 0.00 (sys) 1.00 (real) N = 358 best = 12 1.30 (user) 0.00 (sys) 2.00 (real) N = 357 best = 12 1.33 (user) 0.00 (sys) 2.00 (real) N = 356 best = 12 1.35 (user) 0.00 (sys) 2.00 (real) N = 355 best = 12 1.38 (user) 0.00 (sys) 2.00 (real) N = 354 best = 12 1.40 (user) 0.00 (sys) 2.00 (real) N = 353 best = 12 1.42 (user) 0.00 (sys) 2.00 (real) N = 352 best = 12 1.44 (user) 0.00 (sys) 2.00 (real) N = 351 best = 12 1.47 (user) 0.00 (sys) 2.00 (real) N = 350 best = 12 1.49 (user) 0.00 (sys) 2.00 (real) N = 349 best = 12 1.52 (user) 0.00 (sys) 2.00 (real) N = 348 best = 12 1.54 (user) 0.00 (sys) 2.00 (real) N = 347 best = 12 1.57 (user) 0.00 (sys) 2.00 (real) N = 346 best = 12 1.59 (user) 0.00 (sys) 2.00 (real) Size = 13 found N = 345 best = 13 1.61 (user) 0.00 (sys) 2.00 (real) N = 344 best = 13 1.63 (user) 0.00 (sys) 2.00 (real) N = 343 best = 13 1.65 (user) 0.00 (sys) 2.00 (real) N = 342 best = 13 1.66 (user) 0.00 (sys) 2.00 (real) N = 341 best = 13 1.68 (user) 0.00 (sys) 2.00 (real) N = 340 best = 13 1.70 (user) 0.00 (sys) 2.00 (real) N = 339 best = 13 1.71 (user) 0.00 (sys) 2.00 (real) N = 338 best = 13 1.73 (user) 0.00 (sys) 2.00 (real) N = 337 best = 13 1.75 (user) 0.00 (sys) 2.00 (real) N = 336 best = 13 1.77 (user) 0.00 (sys) 2.00 (real) N = 335 best = 13 1.79 (user) 0.00 (sys) 2.00 (real) N = 334 best = 13 1.81 (user) 0.00 (sys) 2.00 (real) N = 333 best = 13 1.83 (user) 0.00 (sys) 2.00 (real) N = 332 best = 13 1.85 (user) 0.00 (sys) 2.00 (real) N = 331 best = 13 1.87 (user) 0.00 (sys) 2.00 (real) N = 330 best = 13 1.88 (user) 0.00 (sys) 2.00 (real) N = 329 best = 13 1.90 (user) 0.00 (sys) 2.00 (real) N = 328 best = 13 1.92 (user) 0.00 (sys) 2.00 (real) N = 327 best = 13 1.93 (user) 0.00 (sys) 2.00 (real) N = 326 best = 13 1.95 (user) 0.00 (sys) 2.00 (real) N = 325 best = 13 1.96 (user) 0.00 (sys) 2.00 (real) N = 324 best = 13 1.98 (user) 0.00 (sys) 2.00 (real) N = 323 best = 13 1.99 (user) 0.00 (sys) 2.00 (real) N = 322 best = 13 2.01 (user) 0.00 (sys) 2.00 (real) N = 321 best = 13 2.03 (user) 0.00 (sys) 2.00 (real) N = 320 best = 13 2.04 (user) 0.00 (sys) 2.00 (real) N = 319 best = 13 2.06 (user) 0.00 (sys) 2.00 (real) N = 318 best = 13 2.07 (user) 0.00 (sys) 2.00 (real) N = 317 best = 13 2.08 (user) 0.00 (sys) 2.00 (real) N = 316 best = 13 2.10 (user) 0.00 (sys) 2.00 (real) N = 315 best = 13 2.11 (user) 0.00 (sys) 2.00 (real) N = 314 best = 13 2.13 (user) 0.00 (sys) 2.00 (real) N = 313 best = 13 2.14 (user) 0.00 (sys) 2.00 (real) N = 312 best = 13 2.16 (user) 0.00 (sys) 2.00 (real) N = 311 best = 13 2.17 (user) 0.00 (sys) 2.00 (real) N = 310 best = 13 2.18 (user) 0.00 (sys) 2.00 (real) N = 309 best = 13 2.20 (user) 0.00 (sys) 2.00 (real) N = 308 best = 13 2.21 (user) 0.00 (sys) 2.00 (real) N = 307 best = 13 2.22 (user) 0.00 (sys) 2.00 (real) N = 306 best = 13 2.23 (user) 0.00 (sys) 2.00 (real) N = 305 best = 13 2.24 (user) 0.00 (sys) 2.00 (real) N = 304 best = 13 2.26 (user) 0.00 (sys) 2.00 (real) N = 303 best = 13 2.27 (user) 0.00 (sys) 2.00 (real) N = 302 best = 13 2.28 (user) 0.00 (sys) 3.00 (real) N = 301 best = 13 2.30 (user) 0.00 (sys) 3.00 (real) N = 300 best = 13 2.31 (user) 0.00 (sys) 3.00 (real) N = 299 best = 13 2.32 (user) 0.00 (sys) 3.00 (real) N = 298 best = 13 2.34 (user) 0.00 (sys) 3.00 (real) N = 297 best = 13 2.35 (user) 0.00 (sys) 3.00 (real) N = 296 best = 13 2.36 (user) 0.00 (sys) 3.00 (real) N = 295 best = 13 2.38 (user) 0.00 (sys) 3.00 (real) N = 294 best = 13 2.39 (user) 0.00 (sys) 3.00 (real) N = 293 best = 13 2.40 (user) 0.00 (sys) 3.00 (real) N = 292 best = 13 2.42 (user) 0.00 (sys) 3.00 (real) N = 291 best = 13 2.43 (user) 0.00 (sys) 3.00 (real) N = 290 best = 13 2.44 (user) 0.00 (sys) 3.00 (real) N = 289 best = 13 2.46 (user) 0.00 (sys) 3.00 (real) N = 288 best = 13 2.47 (user) 0.00 (sys) 3.00 (real) N = 287 best = 13 2.48 (user) 0.00 (sys) 3.00 (real) N = 286 best = 13 2.49 (user) 0.00 (sys) 3.00 (real) N = 285 best = 13 2.50 (user) 0.00 (sys) 3.00 (real) N = 284 best = 13 2.52 (user) 0.00 (sys) 3.00 (real) N = 283 best = 13 2.53 (user) 0.00 (sys) 3.00 (real) N = 282 best = 13 2.54 (user) 0.00 (sys) 3.00 (real) N = 281 best = 13 2.54 (user) 0.00 (sys) 3.00 (real) N = 280 best = 13 2.56 (user) 0.00 (sys) 3.00 (real) N = 279 best = 13 2.56 (user) 0.00 (sys) 3.00 (real) N = 278 best = 13 2.57 (user) 0.00 (sys) 3.00 (real) N = 277 best = 13 2.58 (user) 0.00 (sys) 3.00 (real) N = 276 best = 13 2.59 (user) 0.00 (sys) 3.00 (real) N = 275 best = 13 2.60 (user) 0.00 (sys) 3.00 (real) N = 274 best = 13 2.61 (user) 0.00 (sys) 3.00 (real) N = 273 best = 13 2.62 (user) 0.00 (sys) 3.00 (real) N = 272 best = 13 2.62 (user) 0.00 (sys) 3.00 (real) N = 271 best = 13 2.63 (user) 0.00 (sys) 3.00 (real) N = 270 best = 13 2.64 (user) 0.00 (sys) 3.00 (real) N = 269 best = 13 2.64 (user) 0.00 (sys) 3.00 (real) N = 268 best = 13 2.66 (user) 0.00 (sys) 3.00 (real) N = 267 best = 13 2.66 (user) 0.00 (sys) 3.00 (real) N = 266 best = 13 2.67 (user) 0.00 (sys) 3.00 (real) N = 265 best = 13 2.68 (user) 0.00 (sys) 3.00 (real) N = 264 best = 13 2.68 (user) 0.00 (sys) 3.00 (real) N = 263 best = 13 2.69 (user) 0.00 (sys) 3.00 (real) N = 262 best = 13 2.70 (user) 0.00 (sys) 3.00 (real) N = 261 best = 13 2.70 (user) 0.00 (sys) 3.00 (real) N = 260 best = 13 2.71 (user) 0.00 (sys) 3.00 (real) N = 259 best = 13 2.72 (user) 0.00 (sys) 3.00 (real) N = 258 best = 13 2.72 (user) 0.00 (sys) 3.00 (real) N = 257 best = 13 2.73 (user) 0.00 (sys) 3.00 (real) N = 256 best = 13 2.74 (user) 0.00 (sys) 3.00 (real) N = 255 best = 13 2.74 (user) 0.00 (sys) 3.00 (real) N = 254 best = 13 2.75 (user) 0.00 (sys) 3.00 (real) N = 253 best = 13 2.76 (user) 0.00 (sys) 3.00 (real) N = 252 best = 13 2.76 (user) 0.00 (sys) 3.00 (real) N = 251 best = 13 2.77 (user) 0.00 (sys) 3.00 (real) N = 250 best = 13 2.77 (user) 0.00 (sys) 3.00 (real) N = 249 best = 13 2.78 (user) 0.00 (sys) 3.00 (real) N = 248 best = 13 2.78 (user) 0.00 (sys) 3.00 (real) N = 247 best = 13 2.79 (user) 0.00 (sys) 3.00 (real) N = 246 best = 13 2.80 (user) 0.00 (sys) 3.00 (real) N = 245 best = 13 2.80 (user) 0.00 (sys) 3.00 (real) N = 244 best = 13 2.81 (user) 0.00 (sys) 3.00 (real) N = 243 best = 13 2.82 (user) 0.00 (sys) 3.00 (real) N = 242 best = 13 2.82 (user) 0.00 (sys) 3.00 (real) N = 241 best = 13 2.82 (user) 0.00 (sys) 3.00 (real) N = 240 best = 13 2.83 (user) 0.00 (sys) 3.00 (real) N = 239 best = 13 2.83 (user) 0.00 (sys) 3.00 (real) N = 238 best = 13 2.84 (user) 0.00 (sys) 3.00 (real) N = 237 best = 13 2.84 (user) 0.00 (sys) 3.00 (real) N = 236 best = 13 2.85 (user) 0.00 (sys) 3.00 (real) N = 235 best = 13 2.85 (user) 0.00 (sys) 3.00 (real) N = 234 best = 13 2.86 (user) 0.00 (sys) 3.00 (real) N = 233 best = 13 2.86 (user) 0.00 (sys) 3.00 (real) N = 232 best = 13 2.86 (user) 0.00 (sys) 3.00 (real) N = 231 best = 13 2.87 (user) 0.00 (sys) 3.00 (real) N = 230 best = 13 2.87 (user) 0.00 (sys) 3.00 (real) N = 229 best = 13 2.88 (user) 0.00 (sys) 3.00 (real) N = 228 best = 13 2.88 (user) 0.00 (sys) 3.00 (real) N = 227 best = 13 2.89 (user) 0.00 (sys) 3.00 (real) N = 226 best = 13 2.89 (user) 0.00 (sys) 3.00 (real) N = 225 best = 13 2.89 (user) 0.00 (sys) 3.00 (real) N = 224 best = 13 2.90 (user) 0.00 (sys) 3.00 (real) N = 223 best = 13 2.90 (user) 0.00 (sys) 3.00 (real) N = 222 best = 13 2.90 (user) 0.00 (sys) 3.00 (real) N = 221 best = 13 2.91 (user) 0.00 (sys) 3.00 (real) N = 220 best = 13 2.91 (user) 0.00 (sys) 3.00 (real) N = 219 best = 13 2.92 (user) 0.00 (sys) 3.00 (real) N = 218 best = 13 2.92 (user) 0.00 (sys) 3.00 (real) N = 217 best = 13 2.92 (user) 0.00 (sys) 3.00 (real) N = 216 best = 13 2.93 (user) 0.00 (sys) 3.00 (real) N = 215 best = 13 2.93 (user) 0.00 (sys) 3.00 (real) N = 214 best = 13 2.93 (user) 0.00 (sys) 3.00 (real) N = 213 best = 13 2.94 (user) 0.00 (sys) 3.00 (real) N = 212 best = 13 2.94 (user) 0.00 (sys) 3.00 (real) N = 211 best = 13 2.94 (user) 0.00 (sys) 3.00 (real) N = 210 best = 13 2.94 (user) 0.00 (sys) 3.00 (real) N = 209 best = 13 2.95 (user) 0.00 (sys) 3.00 (real) N = 208 best = 13 2.95 (user) 0.00 (sys) 3.00 (real) N = 207 best = 13 2.95 (user) 0.00 (sys) 3.00 (real) N = 206 best = 13 2.96 (user) 0.00 (sys) 3.00 (real) N = 205 best = 13 2.96 (user) 0.00 (sys) 3.00 (real) N = 204 best = 13 2.96 (user) 0.00 (sys) 3.00 (real) N = 203 best = 13 2.96 (user) 0.00 (sys) 3.00 (real) N = 202 best = 13 2.97 (user) 0.00 (sys) 3.00 (real) N = 201 best = 13 2.97 (user) 0.00 (sys) 3.00 (real) N = 200 best = 13 2.97 (user) 0.00 (sys) 3.00 (real) N = 199 best = 13 2.97 (user) 0.00 (sys) 3.00 (real) N = 198 best = 13 2.98 (user) 0.00 (sys) 3.00 (real) N = 197 best = 13 2.98 (user) 0.00 (sys) 3.00 (real) N = 196 best = 13 2.98 (user) 0.00 (sys) 3.00 (real) N = 195 best = 13 2.98 (user) 0.00 (sys) 3.00 (real) N = 194 best = 13 2.98 (user) 0.00 (sys) 3.00 (real) N = 193 best = 13 2.99 (user) 0.00 (sys) 3.00 (real) N = 192 best = 13 2.99 (user) 0.00 (sys) 3.00 (real) N = 191 best = 13 2.99 (user) 0.00 (sys) 3.00 (real) N = 190 best = 13 2.99 (user) 0.00 (sys) 3.00 (real) N = 189 best = 13 3.00 (user) 0.00 (sys) 3.00 (real) N = 188 best = 13 3.00 (user) 0.00 (sys) 3.00 (real) N = 187 best = 13 3.00 (user) 0.00 (sys) 3.00 (real) N = 186 best = 13 3.00 (user) 0.00 (sys) 3.00 (real) N = 185 best = 13 3.00 (user) 0.00 (sys) 3.00 (real) N = 184 best = 13 3.00 (user) 0.00 (sys) 3.00 (real) N = 183 best = 13 3.01 (user) 0.00 (sys) 3.00 (real) N = 182 best = 13 3.01 (user) 0.00 (sys) 3.00 (real) N = 181 best = 13 3.01 (user) 0.00 (sys) 3.00 (real) N = 180 best = 13 3.01 (user) 0.00 (sys) 3.00 (real) N = 179 best = 13 3.01 (user) 0.00 (sys) 3.00 (real) N = 178 best = 13 3.02 (user) 0.00 (sys) 3.00 (real) N = 177 best = 13 3.02 (user) 0.00 (sys) 3.00 (real) N = 176 best = 13 3.02 (user) 0.00 (sys) 3.00 (real) N = 175 best = 13 3.02 (user) 0.00 (sys) 3.00 (real) N = 174 best = 13 3.02 (user) 0.00 (sys) 3.00 (real) N = 173 best = 13 3.02 (user) 0.00 (sys) 3.00 (real) N = 172 best = 13 3.02 (user) 0.00 (sys) 3.00 (real) N = 171 best = 13 3.02 (user) 0.00 (sys) 3.00 (real) N = 170 best = 13 3.03 (user) 0.00 (sys) 3.00 (real) N = 169 best = 13 3.03 (user) 0.00 (sys) 3.00 (real) N = 168 best = 13 3.03 (user) 0.00 (sys) 3.00 (real) N = 167 best = 13 3.03 (user) 0.00 (sys) 3.00 (real) N = 166 best = 13 3.03 (user) 0.00 (sys) 3.00 (real) N = 165 best = 13 3.03 (user) 0.00 (sys) 3.00 (real) N = 164 best = 13 3.03 (user) 0.00 (sys) 3.00 (real) N = 163 best = 13 3.04 (user) 0.00 (sys) 3.00 (real) N = 162 best = 13 3.04 (user) 0.00 (sys) 3.00 (real) N = 161 best = 13 3.04 (user) 0.00 (sys) 3.00 (real) N = 160 best = 13 3.04 (user) 0.00 (sys) 3.00 (real) N = 159 best = 13 3.04 (user) 0.00 (sys) 3.00 (real) N = 158 best = 13 3.04 (user) 0.00 (sys) 3.00 (real) N = 157 best = 13 3.04 (user) 0.00 (sys) 3.00 (real) N = 156 best = 13 3.04 (user) 0.00 (sys) 3.00 (real) N = 155 best = 13 3.04 (user) 0.00 (sys) 3.00 (real) N = 154 best = 13 3.04 (user) 0.00 (sys) 3.00 (real) N = 153 best = 13 3.04 (user) 0.00 (sys) 3.00 (real) N = 152 best = 13 3.04 (user) 0.00 (sys) 3.00 (real) N = 151 best = 13 3.05 (user) 0.00 (sys) 3.00 (real) N = 150 best = 13 3.05 (user) 0.00 (sys) 3.00 (real) N = 149 best = 13 3.05 (user) 0.00 (sys) 3.00 (real) N = 148 best = 13 3.05 (user) 0.00 (sys) 3.00 (real) N = 147 best = 13 3.05 (user) 0.00 (sys) 3.00 (real) N = 146 best = 13 3.05 (user) 0.00 (sys) 3.00 (real) N = 145 best = 13 3.05 (user) 0.00 (sys) 3.00 (real) N = 144 best = 13 3.05 (user) 0.00 (sys) 3.00 (real) N = 143 best = 13 3.05 (user) 0.00 (sys) 3.00 (real) N = 142 best = 13 3.05 (user) 0.00 (sys) 3.00 (real) N = 141 best = 13 3.06 (user) 0.00 (sys) 3.00 (real) N = 140 best = 13 3.06 (user) 0.00 (sys) 3.00 (real) N = 139 best = 13 3.06 (user) 0.00 (sys) 3.00 (real) N = 138 best = 13 3.06 (user) 0.00 (sys) 3.00 (real) N = 137 best = 13 3.06 (user) 0.00 (sys) 3.00 (real) N = 136 best = 13 3.06 (user) 0.00 (sys) 3.00 (real) N = 135 best = 13 3.06 (user) 0.00 (sys) 3.00 (real) N = 134 best = 13 3.06 (user) 0.00 (sys) 3.00 (real) N = 133 best = 13 3.06 (user) 0.00 (sys) 3.00 (real) N = 132 best = 13 3.06 (user) 0.00 (sys) 3.00 (real) N = 131 best = 13 3.06 (user) 0.00 (sys) 3.00 (real) N = 130 best = 13 3.06 (user) 0.00 (sys) 3.00 (real) N = 129 best = 13 3.06 (user) 0.00 (sys) 3.00 (real) N = 128 best = 13 3.06 (user) 0.00 (sys) 3.00 (real) N = 127 best = 13 3.06 (user) 0.00 (sys) 3.00 (real) N = 126 best = 13 3.06 (user) 0.00 (sys) 3.00 (real) N = 125 best = 13 3.06 (user) 0.00 (sys) 3.00 (real) N = 124 best = 13 3.06 (user) 0.00 (sys) 3.00 (real) N = 123 best = 13 3.06 (user) 0.00 (sys) 3.00 (real) N = 122 best = 13 3.06 (user) 0.00 (sys) 3.00 (real) N = 121 best = 13 3.07 (user) 0.00 (sys) 3.00 (real) N = 120 best = 13 3.07 (user) 0.00 (sys) 3.00 (real) N = 119 best = 13 3.07 (user) 0.00 (sys) 3.00 (real) N = 118 best = 13 3.07 (user) 0.00 (sys) 3.00 (real) N = 117 best = 13 3.07 (user) 0.00 (sys) 3.00 (real) N = 116 best = 13 3.07 (user) 0.00 (sys) 3.00 (real) N = 115 best = 13 3.07 (user) 0.00 (sys) 3.00 (real) N = 114 best = 13 3.07 (user) 0.00 (sys) 3.00 (real) N = 113 best = 13 3.07 (user) 0.00 (sys) 3.00 (real) N = 112 best = 13 3.07 (user) 0.00 (sys) 3.00 (real) N = 111 best = 13 3.07 (user) 0.00 (sys) 3.00 (real) N = 110 best = 13 3.07 (user) 0.00 (sys) 3.00 (real) N = 109 best = 13 3.07 (user) 0.00 (sys) 3.00 (real) N = 108 best = 13 3.07 (user) 0.00 (sys) 3.00 (real) N = 107 best = 13 3.07 (user) 0.00 (sys) 3.00 (real) N = 106 best = 13 3.07 (user) 0.00 (sys) 3.00 (real) N = 105 best = 13 3.07 (user) 0.00 (sys) 3.00 (real) N = 104 best = 13 3.07 (user) 0.00 (sys) 3.00 (real) N = 103 best = 13 3.07 (user) 0.00 (sys) 3.00 (real) N = 102 best = 13 3.07 (user) 0.00 (sys) 3.00 (real) N = 101 best = 13 3.07 (user) 0.00 (sys) 3.00 (real) N = 100 best = 13 3.07 (user) 0.00 (sys) 3.00 (real) N = 99 best = 13 3.07 (user) 0.00 (sys) 3.00 (real) N = 98 best = 13 3.07 (user) 0.00 (sys) 3.00 (real) N = 97 best = 13 3.07 (user) 0.00 (sys) 3.00 (real) N = 96 best = 13 3.07 (user) 0.00 (sys) 3.00 (real) N = 95 best = 13 3.07 (user) 0.00 (sys) 3.00 (real) N = 94 best = 13 3.08 (user) 0.00 (sys) 3.00 (real) N = 93 best = 13 3.08 (user) 0.00 (sys) 3.00 (real) N = 92 best = 13 3.08 (user) 0.00 (sys) 3.00 (real) N = 91 best = 13 3.08 (user) 0.00 (sys) 3.00 (real) N = 90 best = 13 3.08 (user) 0.00 (sys) 3.00 (real) N = 89 best = 13 3.08 (user) 0.00 (sys) 3.00 (real) N = 88 best = 13 3.08 (user) 0.00 (sys) 3.00 (real) N = 87 best = 13 3.08 (user) 0.00 (sys) 3.00 (real) N = 86 best = 13 3.08 (user) 0.00 (sys) 3.00 (real) N = 85 best = 13 3.08 (user) 0.00 (sys) 3.00 (real) N = 84 best = 13 3.08 (user) 0.00 (sys) 3.00 (real) N = 83 best = 13 3.08 (user) 0.00 (sys) 3.00 (real) N = 82 best = 13 3.08 (user) 0.00 (sys) 3.00 (real) N = 81 best = 13 3.08 (user) 0.00 (sys) 3.00 (real) N = 80 best = 13 3.08 (user) 0.00 (sys) 3.00 (real) N = 79 best = 13 3.08 (user) 0.00 (sys) 3.00 (real) N = 78 best = 13 3.08 (user) 0.00 (sys) 3.00 (real) N = 77 best = 13 3.08 (user) 0.00 (sys) 3.00 (real) N = 76 best = 13 3.08 (user) 0.00 (sys) 3.00 (real) N = 75 best = 13 3.08 (user) 0.00 (sys) 3.00 (real) N = 74 best = 13 3.08 (user) 0.00 (sys) 3.00 (real) N = 73 best = 13 3.08 (user) 0.00 (sys) 3.00 (real) N = 72 best = 13 3.08 (user) 0.00 (sys) 3.00 (real) N = 71 best = 13 3.08 (user) 0.00 (sys) 3.00 (real) N = 70 best = 13 3.08 (user) 0.00 (sys) 3.00 (real) N = 69 best = 13 3.08 (user) 0.00 (sys) 3.00 (real) N = 68 best = 13 3.08 (user) 0.00 (sys) 3.00 (real) N = 67 best = 13 3.08 (user) 0.00 (sys) 3.00 (real) N = 66 best = 13 3.08 (user) 0.00 (sys) 3.00 (real) N = 65 best = 13 3.08 (user) 0.00 (sys) 3.00 (real) N = 64 best = 13 3.08 (user) 0.00 (sys) 3.00 (real) N = 63 best = 13 3.08 (user) 0.00 (sys) 3.00 (real) N = 62 best = 13 3.08 (user) 0.00 (sys) 3.00 (real) N = 61 best = 13 3.08 (user) 0.00 (sys) 3.00 (real) N = 60 best = 13 3.08 (user) 0.00 (sys) 3.00 (real) N = 59 best = 13 3.08 (user) 0.00 (sys) 3.00 (real) N = 58 best = 13 3.08 (user) 0.00 (sys) 3.00 (real) N = 57 best = 13 3.08 (user) 0.00 (sys) 3.00 (real) N = 56 best = 13 3.08 (user) 0.00 (sys) 3.00 (real) N = 55 best = 13 3.08 (user) 0.00 (sys) 3.00 (real) N = 54 best = 13 3.08 (user) 0.00 (sys) 3.00 (real) N = 53 best = 13 3.08 (user) 0.00 (sys) 3.00 (real) N = 52 best = 13 3.08 (user) 0.00 (sys) 3.00 (real) N = 51 best = 13 3.08 (user) 0.00 (sys) 3.00 (real) N = 50 best = 13 3.08 (user) 0.00 (sys) 3.00 (real) N = 49 best = 13 3.08 (user) 0.00 (sys) 3.00 (real) N = 48 best = 13 3.08 (user) 0.00 (sys) 3.00 (real) N = 47 best = 13 3.08 (user) 0.00 (sys) 3.00 (real) N = 46 best = 13 3.08 (user) 0.00 (sys) 3.00 (real) N = 45 best = 13 3.08 (user) 0.00 (sys) 3.00 (real) N = 44 best = 13 3.08 (user) 0.00 (sys) 3.00 (real) N = 43 best = 13 3.08 (user) 0.00 (sys) 3.00 (real) N = 42 best = 13 3.08 (user) 0.00 (sys) 3.00 (real) N = 41 best = 13 3.08 (user) 0.00 (sys) 3.00 (real) N = 40 best = 13 3.08 (user) 0.00 (sys) 3.00 (real) N = 39 best = 13 3.08 (user) 0.00 (sys) 3.00 (real) N = 38 best = 13 3.08 (user) 0.00 (sys) 3.00 (real) N = 37 best = 13 3.08 (user) 0.00 (sys) 3.00 (real) N = 36 best = 13 3.08 (user) 0.00 (sys) 3.00 (real) N = 35 best = 13 3.08 (user) 0.00 (sys) 3.00 (real) N = 34 best = 13 3.08 (user) 0.00 (sys) 3.00 (real) N = 33 best = 13 3.08 (user) 0.00 (sys) 3.00 (real) N = 32 best = 13 3.08 (user) 0.00 (sys) 3.00 (real) N = 31 best = 13 3.08 (user) 0.00 (sys) 3.00 (real) N = 30 best = 13 3.08 (user) 0.00 (sys) 3.00 (real) N = 29 best = 13 3.08 (user) 0.00 (sys) 3.00 (real) N = 28 best = 13 3.08 (user) 0.00 (sys) 3.00 (real) N = 27 best = 13 3.08 (user) 0.00 (sys) 3.00 (real) N = 26 best = 13 3.08 (user) 0.00 (sys) 3.00 (real) N = 25 best = 13 3.08 (user) 0.00 (sys) 3.00 (real) N = 24 best = 13 3.08 (user) 0.00 (sys) 3.00 (real) N = 23 best = 13 3.08 (user) 0.00 (sys) 3.00 (real) N = 22 best = 13 3.08 (user) 0.00 (sys) 3.00 (real) N = 21 best = 13 3.08 (user) 0.00 (sys) 3.00 (real) N = 20 best = 13 3.08 (user) 0.00 (sys) 3.00 (real) N = 19 best = 13 3.08 (user) 0.00 (sys) 3.00 (real) N = 18 best = 13 3.08 (user) 0.00 (sys) 3.00 (real) N = 17 best = 13 3.08 (user) 0.00 (sys) 3.00 (real) 3.08 (user) 0.00 (sys) 3.00 (real) Best: 210 286 261 120 304 343 3 265 273 147 350 248 307