0.00/0.01 c ┌────────────────────────────────────────────────────────────────┐
0.00/0.01 c │ pbsuma -- a PB interface for satsuma │
0.00/0.01 c │ satsuma_version=1.2, dejavu_version=2.1 │
0.00/0.01 c │ (c) 2025 Markus Anders │
0.00/0.01 c └────────────────────────────────────────────────────────────────┘
0.00/0.01 c parse 'HOME/instance-4487760-1751328791.opb'
0.00/0.02 c read 0.60MB (8.45ms)
0.00/0.02 c [cnf: #variables 10000 #clauses 10001 #duplicates 0 #arr 59600]
0.00/0.02 c
0.00/0.02 c make graph and approximate orbits
0.00/0.03 c [group: #orbits ~= 2550] (8.43ms)
0.00/0.03 c
0.00/0.03 c detect special group actions
0.00/0.03 c probe for Johnson action (limit=64)
0.00/0.03 c probe for row-column symmetry (limit=64, splits=16.78M)
0.00/0.03 c probe for row symmetry (limit=64, splits=16.78M)
0.18/0.27 c (240.36ms)
0.18/0.27 c
0.18/0.27 c detect symmetries on remainder
0.18/0.27 c [graph: #vertices 40001 #edges 159200]
0.18/0.27 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.18/0.29 c [group: #symmetries 8.00*10^0 #generators 2] (23.59ms)
0.18/0.29 c
0.18/0.29 c optimize generators (opt_passes=64, conjugate_limit=256)
0.18/0.29 c (0.00ms)
0.18/0.29 c
0.18/0.29 c finalize break order and special generators
0.18/0.29 c
0.18/0.29 c add generic predicates (break_depth=20)
0.18/0.29 c added predicates for 2 generators (0.72ms)
0.18/0.29 c
0.18/0.29 c generation finished
0.18/0.29 c [sbp: #constraints 116 #add_vars 38]
0.18/0.29 c
0.18/0.29 c write result to 'HOME/instance-4487760-1751328791.opb.pre'
0.18/0.30 c wrote 0.61MB (1.51ms)
0.18/0.30 c ------------------------------------------------------------------
0.18/0.30 c 240.36ms 84.55% detect_special
0.18/0.30 c 23.59ms 8.30% detect_generic
0.18/0.30 c 8.45ms 2.97% parse
0.18/0.30 c 8.43ms 2.96% approx_orbits
0.18/0.30 c 1.51ms 0.53% output
0.18/0.30 c 0.72ms 0.25% break_generic
0.18/0.30 c 0.65ms 0.23% other
0.18/0.30 c 0.56ms 0.20% finalize_order
0.18/0.30 c 0.00ms 0.00% optimize_gens
0.18/0.30 c ───────────────────────────────────────────────
0.18/0.30 c 284.28ms 100% total
0.18/0.30 c ------------------------------------------------------------------
0.28/0.31 c RoundingSat 2
0.28/0.31 c branch pb25
0.28/0.31 c commit 63f22ad
0.28/0.37 c #variables 10038 #constraints 10116
0.28/0.37 c objective is ce32
0.96/1.02 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.96/1.02 c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.96/1.02 c bounds 2853 >= 0 @ 0.693599
1.45/1.51 c bounds 2852 >= 0 @ 1.16249
1.45/1.51 c bounds 2852 >= 1 @ 1.16417
1.45/1.51 c bounds 2852 >= 2 @ 1.16546
1.45/1.51 c bounds 2852 >= 3 @ 1.16667
1.45/1.52 c bounds 2852 >= 4 @ 1.16788
1.45/1.52 c bounds 2852 >= 5 @ 1.16907
1.45/1.52 c bounds 2852 >= 6 @ 1.17027
1.45/1.52 c bounds 2852 >= 7 @ 1.17145
1.45/1.52 c bounds 2852 >= 8 @ 1.17264
1.45/1.52 c bounds 2852 >= 9 @ 1.17382
1.45/1.52 c bounds 2852 >= 10 @ 1.17502
1.45/1.52 c bounds 2852 >= 11 @ 1.1762
1.45/1.53 c bounds 2852 >= 12 @ 1.17738
1.45/1.53 c bounds 2852 >= 13 @ 1.17858
1.45/1.53 c bounds 2852 >= 14 @ 1.17976
1.45/1.53 c bounds 2852 >= 15 @ 1.18095
1.45/1.53 c bounds 2852 >= 16 @ 1.18213
1.45/1.53 c bounds 2852 >= 17 @ 1.18331
1.45/1.53 c bounds 2852 >= 18 @ 1.1845
1.45/1.53 c bounds 2852 >= 19 @ 1.18569
1.45/1.54 c bounds 2852 >= 20 @ 1.18687
1.45/1.54 c bounds 2852 >= 21 @ 1.18806
1.45/1.54 c bounds 2852 >= 22 @ 1.18924
1.45/1.54 c bounds 2852 >= 23 @ 1.19042
1.45/1.54 c bounds 2852 >= 24 @ 1.19161
1.45/1.54 c bounds 2852 >= 25 @ 1.1928
1.45/1.54 c bounds 2852 >= 26 @ 1.194
1.45/1.54 c bounds 2852 >= 27 @ 1.19518
1.45/1.55 c bounds 2852 >= 28 @ 1.19674
1.45/1.55 c bounds 2852 >= 29 @ 1.19792
1.45/1.55 c bounds 2852 >= 30 @ 1.19911
1.45/1.55 c bounds 2852 >= 31 @ 1.2003
1.45/1.55 c bounds 2852 >= 32 @ 1.20149
1.45/1.55 c bounds 2852 >= 33 @ 1.20268
1.45/1.55 c bounds 2852 >= 34 @ 1.20386
1.45/1.55 c bounds 2852 >= 35 @ 1.20512
1.45/1.55 c bounds 2852 >= 36 @ 1.20636
1.45/1.56 c bounds 2852 >= 37 @ 1.20761
1.45/1.56 c bounds 2852 >= 38 @ 1.20885
1.45/1.56 c bounds 2852 >= 39 @ 1.21009
1.45/1.56 c bounds 2852 >= 40 @ 1.21133
1.45/1.56 c bounds 2852 >= 41 @ 1.21257
1.45/1.56 c bounds 2852 >= 42 @ 1.21381
1.45/1.56 c bounds 2852 >= 43 @ 1.21504
1.45/1.56 c bounds 2852 >= 44 @ 1.21629
1.45/1.57 c bounds 2852 >= 45 @ 1.21753
1.45/1.57 c bounds 2852 >= 46 @ 1.21876
1.45/1.57 c bounds 2852 >= 47 @ 1.22
1.45/1.57 c bounds 2852 >= 48 @ 1.22124
1.45/1.57 c bounds 2852 >= 49 @ 1.22247
1.45/1.57 c bounds 2852 >= 50 @ 1.22369
1.45/1.57 c bounds 2852 >= 51 @ 1.22492
1.45/1.57 c bounds 2852 >= 52 @ 1.22614
1.45/1.58 c bounds 2852 >= 53 @ 1.22736
1.45/1.58 c bounds 2852 >= 54 @ 1.22858
1.45/1.58 c bounds 2852 >= 55 @ 1.2298
1.45/1.58 c bounds 2852 >= 56 @ 1.23101
1.45/1.58 c bounds 2852 >= 57 @ 1.23223
1.45/1.58 c bounds 2852 >= 58 @ 1.23344
1.45/1.58 c bounds 2852 >= 59 @ 1.23465
1.45/1.58 c bounds 2852 >= 60 @ 1.23586
1.45/1.59 c bounds 2852 >= 61 @ 1.23707
1.45/1.59 c bounds 2852 >= 62 @ 1.23825
1.45/1.59 c bounds 2852 >= 63 @ 1.23944
1.45/1.59 c bounds 2852 >= 64 @ 1.24063
1.45/1.59 c bounds 2852 >= 65 @ 1.24181
1.45/1.59 c bounds 2852 >= 66 @ 1.243
1.45/1.59 c bounds 2852 >= 67 @ 1.24418
1.45/1.59 c bounds 2852 >= 68 @ 1.24544
1.45/1.60 c bounds 2852 >= 69 @ 1.24668
1.55/1.60 c bounds 2852 >= 70 @ 1.24791
1.55/1.60 c bounds 2852 >= 71 @ 1.24914
1.55/1.60 c bounds 2852 >= 72 @ 1.25039
1.55/1.60 c bounds 2852 >= 73 @ 1.25164
1.55/1.60 c bounds 2852 >= 74 @ 1.25289
1.55/1.60 c bounds 2852 >= 75 @ 1.25413
1.55/1.60 c bounds 2852 >= 76 @ 1.25536
1.55/1.61 c bounds 2852 >= 77 @ 1.25659
1.55/1.61 c bounds 2852 >= 78 @ 1.25784
1.55/1.61 c bounds 2852 >= 79 @ 1.25907
1.55/1.61 c bounds 2852 >= 80 @ 1.25954
1.55/1.61 c bounds 2852 >= 81 @ 1.26056
1.55/1.61 c bounds 2852 >= 82 @ 1.26184
1.55/1.61 c bounds 2852 >= 83 @ 1.26309
1.55/1.61 c bounds 2852 >= 84 @ 1.26353
1.55/1.62 c bounds 2852 >= 85 @ 1.2646
1.55/1.62 c bounds 2852 >= 86 @ 1.26584
1.55/1.62 c bounds 2852 >= 87 @ 1.2671
1.55/1.62 c bounds 2852 >= 88 @ 1.26834
1.55/1.62 c bounds 2852 >= 89 @ 1.26962
1.55/1.62 c bounds 2852 >= 90 @ 1.27086
1.55/1.62 c bounds 2852 >= 91 @ 1.27209
1.55/1.62 c bounds 2852 >= 92 @ 1.27335
1.55/1.63 c bounds 2852 >= 93 @ 1.27459
1.55/1.63 c bounds 2852 >= 94 @ 1.27582
1.55/1.63 c bounds 2852 >= 95 @ 1.27706
1.55/1.63 c bounds 2852 >= 96 @ 1.2775
1.55/1.63 c bounds 2852 >= 97 @ 1.27852
1.55/1.63 c bounds 2852 >= 98 @ 1.27976
1.55/1.63 c bounds 2852 >= 99 @ 1.28099
1.55/1.63 c bounds 2852 >= 100 @ 1.28222
1.55/1.63 c bounds 2852 >= 101 @ 1.28344
1.55/1.64 c bounds 2852 >= 102 @ 1.28473
1.55/1.64 c bounds 2852 >= 103 @ 1.28602
1.55/1.64 c bounds 2852 >= 104 @ 1.28648
1.55/1.64 c bounds 2852 >= 105 @ 1.28759
1.55/1.64 c bounds 2852 >= 106 @ 1.28886
1.55/1.64 c bounds 2852 >= 107 @ 1.29014
1.55/1.64 c bounds 2852 >= 108 @ 1.29142
1.55/1.65 c bounds 2852 >= 109 @ 1.29194
1.55/1.65 c bounds 2852 >= 110 @ 1.29296
1.55/1.65 c bounds 2852 >= 111 @ 1.29422
1.55/1.65 c bounds 2852 >= 112 @ 1.2955
1.55/1.65 c bounds 2852 >= 113 @ 1.29676
1.55/1.65 c bounds 2852 >= 114 @ 1.29801
1.55/1.65 c bounds 2852 >= 115 @ 1.29845
1.55/1.65 c bounds 2852 >= 116 @ 1.29955
1.55/1.66 c bounds 2852 >= 117 @ 1.3008
1.55/1.66 c bounds 2852 >= 118 @ 1.30205
1.55/1.66 c bounds 2852 >= 119 @ 1.30331
1.55/1.66 c bounds 2852 >= 120 @ 1.30456
1.55/1.66 c bounds 2852 >= 121 @ 1.30581
1.55/1.66 c bounds 2852 >= 122 @ 1.30707
1.55/1.66 c bounds 2852 >= 123 @ 1.30832
1.55/1.66 c bounds 2852 >= 124 @ 1.30957
1.55/1.67 c bounds 2852 >= 125 @ 1.31083
1.55/1.67 c bounds 2852 >= 126 @ 1.31208
1.55/1.67 c bounds 2852 >= 127 @ 1.31338
1.55/1.67 c bounds 2852 >= 128 @ 1.31389
1.55/1.67 c bounds 2852 >= 129 @ 1.31489
1.55/1.67 c bounds 2852 >= 130 @ 1.31615
1.55/1.67 c bounds 2852 >= 131 @ 1.31739
1.55/1.67 c bounds 2852 >= 132 @ 1.31767
1.55/1.68 c bounds 2852 >= 133 @ 1.3189
1.55/1.68 c bounds 2852 >= 134 @ 1.32013
1.55/1.68 c bounds 2852 >= 135 @ 1.32146
1.55/1.68 c bounds 2852 >= 136 @ 1.32275
1.55/1.68 c bounds 2852 >= 137 @ 1.32405
1.55/1.68 c bounds 2852 >= 138 @ 1.32534
1.55/1.68 c bounds 2852 >= 139 @ 1.32663
1.55/1.68 c bounds 2852 >= 140 @ 1.32792
1.55/1.69 c bounds 2852 >= 141 @ 1.32837
1.55/1.69 c bounds 2852 >= 142 @ 1.32951
1.55/1.69 c bounds 2852 >= 143 @ 1.33079
1.55/1.69 c bounds 2852 >= 144 @ 1.33207
1.55/1.69 c bounds 2852 >= 145 @ 1.33335
1.55/1.69 c bounds 2852 >= 146 @ 1.33465
1.55/1.69 c bounds 2852 >= 147 @ 1.33594
1.55/1.69 c bounds 2852 >= 148 @ 1.33635
1.65/1.70 c bounds 2852 >= 149 @ 1.33752
1.65/1.70 c bounds 2852 >= 150 @ 1.3388
1.65/1.70 c bounds 2852 >= 151 @ 1.34008
1.65/1.70 c bounds 2852 >= 152 @ 1.34139
1.65/1.70 c bounds 2852 >= 153 @ 1.34269
1.65/1.70 c bounds 2852 >= 154 @ 1.34399
1.65/1.70 c bounds 2852 >= 155 @ 1.3453
1.65/1.71 c bounds 2852 >= 156 @ 1.34696
1.65/1.71 c bounds 2852 >= 157 @ 1.34823
1.65/1.71 c bounds 2852 >= 158 @ 1.3495
1.65/1.71 c bounds 2852 >= 159 @ 1.35077
1.65/1.71 c bounds 2852 >= 160 @ 1.35203
1.65/1.71 c bounds 2852 >= 161 @ 1.35329
1.65/1.71 c bounds 2852 >= 162 @ 1.35455
1.65/1.71 c bounds 2852 >= 163 @ 1.35584
1.65/1.72 c bounds 2852 >= 164 @ 1.3563
1.65/1.72 c bounds 2852 >= 165 @ 1.35739
1.65/1.72 c bounds 2852 >= 166 @ 1.35863
1.65/1.72 c bounds 2852 >= 167 @ 1.35989
1.65/1.72 c bounds 2852 >= 168 @ 1.36113
1.65/1.72 c bounds 2852 >= 169 @ 1.36245
1.65/1.72 c bounds 2852 >= 170 @ 1.36376
1.65/1.72 c bounds 2852 >= 171 @ 1.36428
1.65/1.73 c bounds 2852 >= 172 @ 1.36535
1.65/1.73 c bounds 2852 >= 173 @ 1.36667
1.65/1.73 c bounds 2852 >= 174 @ 1.36796
1.65/1.73 c bounds 2852 >= 175 @ 1.36926
1.65/1.73 c bounds 2852 >= 176 @ 1.37055
1.65/1.73 c bounds 2852 >= 177 @ 1.37187
1.65/1.73 c bounds 2852 >= 178 @ 1.37317
1.65/1.74 c bounds 2852 >= 179 @ 1.37445
1.65/1.74 c bounds 2852 >= 180 @ 1.37572
1.65/1.74 c bounds 2852 >= 181 @ 1.37701
1.65/1.74 c bounds 2852 >= 182 @ 1.3783
1.65/1.74 c bounds 2852 >= 183 @ 1.37959
1.65/1.74 c bounds 2852 >= 184 @ 1.38088
1.65/1.74 c bounds 2852 >= 185 @ 1.38216
1.65/1.74 c bounds 2852 >= 186 @ 1.38345
1.65/1.75 c bounds 2852 >= 187 @ 1.38475
1.65/1.75 c bounds 2852 >= 188 @ 1.38603
1.65/1.75 c bounds 2852 >= 189 @ 1.38732
1.65/1.75 c bounds 2852 >= 190 @ 1.38861
1.65/1.75 c bounds 2852 >= 191 @ 1.3899
1.65/1.75 c bounds 2852 >= 192 @ 1.39118
1.65/1.75 c bounds 2852 >= 193 @ 1.39248
1.65/1.75 c bounds 2852 >= 194 @ 1.39378
1.65/1.76 c bounds 2852 >= 195 @ 1.39421
1.65/1.76 c bounds 2852 >= 196 @ 1.39533
1.65/1.76 c bounds 2852 >= 197 @ 1.39663
1.65/1.76 c bounds 2852 >= 198 @ 1.39789
1.65/1.76 c bounds 2852 >= 199 @ 1.39918
1.65/1.76 c bounds 2852 >= 200 @ 1.40044
1.65/1.76 c bounds 2852 >= 201 @ 1.40172
1.65/1.76 c bounds 2852 >= 202 @ 1.40219
1.65/1.77 c bounds 2852 >= 203 @ 1.40341
1.65/1.77 c bounds 2852 >= 204 @ 1.40472
1.65/1.77 c bounds 2852 >= 205 @ 1.40518
1.65/1.77 c bounds 2852 >= 206 @ 1.40635
1.65/1.77 c bounds 2852 >= 207 @ 1.40766
1.65/1.77 c bounds 2852 >= 208 @ 1.40838
1.65/1.77 c bounds 2852 >= 209 @ 1.40969
1.65/1.78 c bounds 2852 >= 210 @ 1.41099
1.65/1.78 c bounds 2852 >= 211 @ 1.41231
1.65/1.78 c bounds 2852 >= 212 @ 1.41362
1.65/1.78 c bounds 2852 >= 213 @ 1.41416
1.65/1.78 c bounds 2852 >= 214 @ 1.41525
1.65/1.78 c bounds 2852 >= 215 @ 1.41655
1.65/1.78 c bounds 2852 >= 216 @ 1.41786
1.65/1.79 c bounds 2852 >= 217 @ 1.41918
1.65/1.79 c bounds 2852 >= 218 @ 1.42049
1.65/1.79 c bounds 2852 >= 219 @ 1.42179
1.65/1.79 c bounds 2852 >= 220 @ 1.42214
1.65/1.79 c bounds 2852 >= 221 @ 1.42342
1.65/1.79 c bounds 2852 >= 222 @ 1.42472
1.65/1.79 c bounds 2852 >= 223 @ 1.42603
1.65/1.79 c bounds 2852 >= 224 @ 1.42733
1.75/1.80 c bounds 2852 >= 225 @ 1.42865
1.75/1.80 c bounds 2852 >= 226 @ 1.42995
1.75/1.80 c bounds 2852 >= 227 @ 1.43127
1.75/1.80 c bounds 2852 >= 228 @ 1.43257
1.75/1.80 c bounds 2852 >= 229 @ 1.43386
1.75/1.80 c bounds 2852 >= 230 @ 1.43518
1.75/1.80 c bounds 2852 >= 231 @ 1.43648
1.75/1.80 c bounds 2852 >= 232 @ 1.43779
1.75/1.81 c bounds 2852 >= 233 @ 1.4391
1.75/1.81 c bounds 2852 >= 234 @ 1.44041
1.75/1.81 c bounds 2852 >= 235 @ 1.44172
1.75/1.81 c bounds 2852 >= 236 @ 1.44209
1.75/1.81 c bounds 2852 >= 237 @ 1.44345
1.75/1.81 c bounds 2852 >= 238 @ 1.44479
1.75/1.81 c bounds 2852 >= 239 @ 1.44612
1.75/1.82 c bounds 2852 >= 240 @ 1.44747
1.75/1.82 c bounds 2852 >= 241 @ 1.4488
1.75/1.82 c bounds 2852 >= 242 @ 1.45014
1.75/1.82 c bounds 2852 >= 243 @ 1.45148
1.75/1.82 c bounds 2852 >= 244 @ 1.45281
1.75/1.82 c bounds 2852 >= 245 @ 1.45413
1.75/1.82 c bounds 2852 >= 246 @ 1.45547
1.75/1.82 c bounds 2852 >= 247 @ 1.4568
1.75/1.83 c bounds 2852 >= 248 @ 1.45813
1.75/1.83 c bounds 2852 >= 249 @ 1.45949
1.75/1.83 c bounds 2852 >= 250 @ 1.46084
1.75/1.83 c bounds 2852 >= 251 @ 1.46218
1.75/1.83 c bounds 2852 >= 252 @ 1.46352
1.75/1.83 c bounds 2852 >= 253 @ 1.46404
1.75/1.83 c bounds 2852 >= 254 @ 1.46518
1.75/1.84 c bounds 2852 >= 255 @ 1.46651
1.75/1.84 c bounds 2852 >= 256 @ 1.46783
1.75/1.84 c bounds 2852 >= 257 @ 1.46915
1.75/1.84 c bounds 2852 >= 258 @ 1.47048
1.75/1.84 c bounds 2852 >= 259 @ 1.4718
1.75/1.84 c bounds 2852 >= 260 @ 1.47313
1.75/1.84 c bounds 2852 >= 261 @ 1.47447
1.75/1.84 c bounds 2852 >= 262 @ 1.47501
1.75/1.85 c bounds 2852 >= 263 @ 1.47616
1.75/1.85 c bounds 2852 >= 264 @ 1.47758
1.75/1.85 c bounds 2852 >= 265 @ 1.47801
1.75/1.85 c bounds 2852 >= 266 @ 1.47965
1.75/1.85 c bounds 2852 >= 267 @ 1.48095
1.75/1.85 c bounds 2852 >= 268 @ 1.48227
1.75/1.85 c bounds 2852 >= 269 @ 1.48365
1.75/1.86 c bounds 2852 >= 270 @ 1.48504
1.75/1.86 c bounds 2852 >= 271 @ 1.48641
1.75/1.86 c bounds 2852 >= 272 @ 1.48778
1.75/1.86 c bounds 2852 >= 273 @ 1.48915
1.75/1.86 c bounds 2852 >= 274 @ 1.49051
1.75/1.86 c bounds 2852 >= 275 @ 1.49097
1.75/1.86 c bounds 2852 >= 276 @ 1.49228
1.75/1.87 c bounds 2852 >= 277 @ 1.49363
1.75/1.87 c bounds 2852 >= 278 @ 1.495
1.75/1.87 c bounds 2852 >= 279 @ 1.49635
1.75/1.87 c bounds 2852 >= 280 @ 1.49771
1.75/1.87 c bounds 2852 >= 281 @ 1.49906
1.75/1.87 c bounds 2852 >= 282 @ 1.50043
1.75/1.87 c bounds 2852 >= 283 @ 1.50095
1.75/1.88 c bounds 2852 >= 284 @ 1.50216
1.75/1.88 c bounds 2852 >= 285 @ 1.50352
1.75/1.88 c bounds 2852 >= 286 @ 1.50394
1.75/1.88 c bounds 2852 >= 287 @ 1.50525
1.75/1.88 c bounds 2852 >= 288 @ 1.50659
1.75/1.88 c bounds 2852 >= 289 @ 1.50795
1.75/1.88 c bounds 2852 >= 290 @ 1.5093
1.75/1.88 c bounds 2852 >= 291 @ 1.51067
1.75/1.89 c bounds 2852 >= 292 @ 1.51202
1.75/1.89 c bounds 2852 >= 293 @ 1.51337
1.75/1.89 c bounds 2852 >= 294 @ 1.5147
1.75/1.89 c bounds 2852 >= 295 @ 1.51605
1.75/1.89 c bounds 2852 >= 296 @ 1.51739
1.75/1.89 c bounds 2852 >= 297 @ 1.51874
1.75/1.89 c bounds 2852 >= 298 @ 1.52011
1.86/1.90 c bounds 2852 >= 299 @ 1.52144
1.86/1.90 c bounds 2852 >= 300 @ 1.52189
1.86/1.90 c bounds 2852 >= 301 @ 1.52314
1.86/1.90 c bounds 2852 >= 302 @ 1.52447
1.86/1.90 c bounds 2852 >= 303 @ 1.52588
1.86/1.90 c bounds 2852 >= 304 @ 1.52727
1.86/1.90 c bounds 2852 >= 305 @ 1.52788
1.86/1.91 c bounds 2852 >= 306 @ 1.52907
1.86/1.91 c bounds 2852 >= 307 @ 1.53045
1.86/1.91 c bounds 2852 >= 308 @ 1.53184
1.86/1.91 c bounds 2852 >= 309 @ 1.53322
1.86/1.91 c bounds 2852 >= 310 @ 1.5346
1.86/1.91 c bounds 2852 >= 311 @ 1.53599
1.86/1.91 c bounds 2852 >= 312 @ 1.53738
1.86/1.91 c bounds 2852 >= 313 @ 1.53786
1.86/1.92 c bounds 2852 >= 314 @ 1.53916
1.86/1.92 c bounds 2852 >= 315 @ 1.54052
1.86/1.92 c bounds 2852 >= 316 @ 1.54189
1.86/1.92 c bounds 2852 >= 317 @ 1.54329
1.86/1.92 c bounds 2852 >= 318 @ 1.5441
1.86/1.92 c bounds 2852 >= 319 @ 1.54546
1.86/1.92 c bounds 2852 >= 320 @ 1.54584
1.86/1.93 c bounds 2852 >= 321 @ 1.54721
1.86/1.93 c bounds 2852 >= 322 @ 1.54857
1.86/1.93 c bounds 2852 >= 323 @ 1.54995
1.86/1.93 c bounds 2852 >= 324 @ 1.55132
1.86/1.93 c bounds 2852 >= 325 @ 1.55182
1.86/1.93 c bounds 2852 >= 326 @ 1.55308
1.86/1.93 c bounds 2852 >= 327 @ 1.55442
1.86/1.94 c bounds 2852 >= 328 @ 1.55481
1.86/1.94 c bounds 2852 >= 329 @ 1.55615
1.86/1.94 c bounds 2852 >= 330 @ 1.55751
1.86/1.94 c bounds 2852 >= 331 @ 1.55888
1.86/1.94 c bounds 2852 >= 332 @ 1.56024
1.86/1.94 c bounds 2852 >= 333 @ 1.56161
1.86/1.94 c bounds 2852 >= 334 @ 1.56297
1.86/1.95 c bounds 2852 >= 335 @ 1.56433
1.86/1.95 c bounds 2852 >= 336 @ 1.56576
1.86/1.95 c bounds 2852 >= 337 @ 1.56718
1.86/1.95 c bounds 2852 >= 338 @ 1.56859
1.86/1.95 c bounds 2852 >= 339 @ 1.57
1.86/1.95 c bounds 2852 >= 340 @ 1.57143
1.86/1.95 c bounds 2852 >= 341 @ 1.57283
1.86/1.96 c bounds 2852 >= 342 @ 1.57424
1.86/1.96 c bounds 2852 >= 343 @ 1.57476
1.86/1.96 c bounds 2852 >= 344 @ 1.57607
1.86/1.96 c bounds 2852 >= 345 @ 1.57746
1.86/1.96 c bounds 2852 >= 346 @ 1.57889
1.86/1.96 c bounds 2852 >= 347 @ 1.58029
1.86/1.96 c bounds 2852 >= 348 @ 1.5817
1.86/1.97 c bounds 2852 >= 349 @ 1.5831
1.86/1.97 c bounds 2852 >= 350 @ 1.5845
1.86/1.97 c bounds 2852 >= 351 @ 1.58591
1.86/1.97 c bounds 2852 >= 352 @ 1.58732
1.86/1.97 c bounds 2852 >= 353 @ 1.58773
1.86/1.97 c bounds 2852 >= 354 @ 1.58913
1.86/1.97 c bounds 2852 >= 355 @ 1.59054
1.86/1.98 c bounds 2852 >= 356 @ 1.59194
1.86/1.98 c bounds 2852 >= 357 @ 1.59333
1.86/1.98 c bounds 2852 >= 358 @ 1.59377
1.86/1.98 c bounds 2852 >= 359 @ 1.59513
1.86/1.98 c bounds 2852 >= 360 @ 1.59571
1.86/1.98 c bounds 2852 >= 361 @ 1.5969
1.86/1.98 c bounds 2852 >= 362 @ 1.59829
1.86/1.98 c bounds 2852 >= 363 @ 1.5987
1.86/1.99 c bounds 2852 >= 364 @ 1.60009
1.86/1.99 c bounds 2852 >= 365 @ 1.60145
1.86/1.99 c bounds 2852 >= 366 @ 1.60284
1.86/1.99 c bounds 2852 >= 367 @ 1.60423
1.86/1.99 c bounds 2852 >= 368 @ 1.60562
1.86/1.99 c bounds 2852 >= 369 @ 1.607
1.86/1.99 c bounds 2852 >= 370 @ 1.60768
1.86/2.00 c bounds 2852 >= 371 @ 1.60932
1.86/2.00 c bounds 2852 >= 372 @ 1.61076
1.86/2.00 c bounds 2852 >= 373 @ 1.61222
1.96/2.00 c bounds 2852 >= 374 @ 1.61369
1.96/2.00 c bounds 2852 >= 375 @ 1.61513
1.96/2.00 c bounds 2852 >= 376 @ 1.61563
1.96/2.01 c bounds 2852 >= 377 @ 1.61704
1.96/2.01 c bounds 2852 >= 378 @ 1.61756
1.96/2.01 c bounds 2852 >= 379 @ 1.6189
1.96/2.01 c bounds 2852 >= 380 @ 1.62032
1.96/2.01 c bounds 2852 >= 381 @ 1.62174
1.96/2.01 c bounds 2852 >= 382 @ 1.62318
1.96/2.01 c bounds 2852 >= 383 @ 1.62367
1.96/2.02 c bounds 2852 >= 384 @ 1.62506
1.96/2.02 c bounds 2852 >= 385 @ 1.62648
1.96/2.02 c bounds 2852 >= 386 @ 1.62791
1.96/2.02 c bounds 2852 >= 387 @ 1.62933
1.96/2.02 c bounds 2852 >= 388 @ 1.63075
1.96/2.02 c bounds 2852 >= 389 @ 1.63217
1.96/2.02 c bounds 2852 >= 390 @ 1.63263
1.96/2.03 c bounds 2852 >= 391 @ 1.63402
1.96/2.03 c bounds 2852 >= 392 @ 1.63452
1.96/2.03 c bounds 2852 >= 393 @ 1.63586
1.96/2.03 c bounds 2852 >= 394 @ 1.63726
1.96/2.03 c bounds 2852 >= 395 @ 1.63868
1.96/2.03 c bounds 2852 >= 396 @ 1.64009
1.96/2.03 c bounds 2852 >= 397 @ 1.6405
1.96/2.04 c bounds 2852 >= 398 @ 1.64191
1.96/2.04 c bounds 2852 >= 399 @ 1.64332
1.96/2.04 c bounds 2852 >= 400 @ 1.64473
1.96/2.04 c bounds 2852 >= 401 @ 1.64613
1.96/2.04 c bounds 2852 >= 402 @ 1.64658
1.96/2.04 c bounds 2852 >= 403 @ 1.64806
1.96/2.04 c bounds 2852 >= 404 @ 1.64952
1.96/2.05 c bounds 2852 >= 405 @ 1.65099
1.96/2.05 c bounds 2852 >= 406 @ 1.65147
1.96/2.05 c bounds 2852 >= 407 @ 1.65294
1.96/2.05 c bounds 2852 >= 408 @ 1.65347
1.96/2.05 c bounds 2852 >= 409 @ 1.65488
1.96/2.10 c bounds 2851 >= 409 @ 1.69508
2.06/2.10 c bounds 2851 >= 410 @ 1.6969
2.06/2.10 c bounds 2851 >= 411 @ 1.69839
2.06/2.10 c bounds 2851 >= 412 @ 1.69986
2.06/2.11 c bounds 2851 >= 413 @ 1.70034
2.06/2.11 c bounds 2851 >= 414 @ 1.70181
2.06/2.11 c bounds 2851 >= 415 @ 1.70234
2.06/2.11 c bounds 2851 >= 416 @ 1.70374
2.06/2.11 c bounds 2851 >= 417 @ 1.70433
2.06/2.11 c bounds 2851 >= 418 @ 1.70568
2.06/2.11 c bounds 2851 >= 419 @ 1.70633
2.06/2.12 c bounds 2851 >= 420 @ 1.70761
2.06/2.12 c bounds 2851 >= 421 @ 1.70904
2.06/2.12 c bounds 2851 >= 422 @ 1.7105
2.06/2.12 c bounds 2851 >= 423 @ 1.71195
2.06/2.12 c bounds 2851 >= 424 @ 1.71343
2.06/2.12 c bounds 2851 >= 425 @ 1.71489
2.06/2.13 c bounds 2851 >= 426 @ 1.71542
2.06/2.13 c bounds 2851 >= 427 @ 1.71685
2.06/2.13 c bounds 2851 >= 428 @ 1.71828
2.06/2.13 c bounds 2851 >= 429 @ 1.71974
2.06/2.13 c bounds 2851 >= 430 @ 1.72029
2.06/2.13 c bounds 2851 >= 431 @ 1.72167
2.06/2.13 c bounds 2851 >= 432 @ 1.7231
2.06/2.14 c bounds 2851 >= 433 @ 1.72456
2.06/2.14 c bounds 2851 >= 434 @ 1.72602
2.06/2.14 c bounds 2851 >= 435 @ 1.72746
2.06/2.14 c bounds 2851 >= 436 @ 1.72891
2.06/2.14 c bounds 2851 >= 437 @ 1.72947
2.06/2.14 c bounds 2851 >= 438 @ 1.73095
2.06/2.14 c bounds 2851 >= 439 @ 1.73244
2.06/2.15 c bounds 2851 >= 440 @ 1.73394
2.06/2.15 c bounds 2851 >= 441 @ 1.73543
2.06/2.15 c bounds 2851 >= 442 @ 1.73694
2.06/2.15 c bounds 2851 >= 443 @ 1.73844
2.06/2.15 c bounds 2851 >= 444 @ 1.73993
2.06/2.15 c bounds 2851 >= 445 @ 1.74144
2.06/2.15 c bounds 2851 >= 446 @ 1.74294
2.06/2.16 c bounds 2851 >= 447 @ 1.74442
2.06/2.16 c bounds 2851 >= 448 @ 1.7459
2.06/2.16 c bounds 2851 >= 449 @ 1.74741
2.06/2.16 c bounds 2851 >= 450 @ 1.74891
2.06/2.16 c bounds 2851 >= 451 @ 1.7504
2.06/2.16 c bounds 2851 >= 452 @ 1.75189
2.06/2.17 c bounds 2851 >= 453 @ 1.75338
2.06/2.17 c bounds 2851 >= 454 @ 1.75523
2.06/2.17 c bounds 2851 >= 455 @ 1.75669
2.06/2.17 c bounds 2851 >= 456 @ 1.7572
2.06/2.17 c bounds 2851 >= 457 @ 1.75865
2.06/2.17 c bounds 2851 >= 458 @ 1.7601
2.06/2.17 c bounds 2851 >= 459 @ 1.76156
2.06/2.18 c bounds 2851 >= 460 @ 1.76219
2.06/2.18 c bounds 2851 >= 461 @ 1.76353
2.06/2.18 c bounds 2851 >= 462 @ 1.76418
2.06/2.18 c bounds 2851 >= 463 @ 1.76547
2.06/2.18 c bounds 2851 >= 464 @ 1.7669
2.06/2.18 c bounds 2851 >= 465 @ 1.76836
2.06/2.18 c bounds 2851 >= 466 @ 1.76982
2.06/2.19 c bounds 2851 >= 467 @ 1.77034
2.06/2.19 c bounds 2851 >= 468 @ 1.77176
2.06/2.19 c bounds 2851 >= 469 @ 1.77227
2.06/2.19 c bounds 2851 >= 470 @ 1.77378
2.06/2.19 c bounds 2851 >= 471 @ 1.77433
2.06/2.19 c bounds 2851 >= 472 @ 1.7758
2.06/2.20 c bounds 2851 >= 473 @ 1.77734
2.15/2.20 c bounds 2851 >= 474 @ 1.7789
2.15/2.20 c bounds 2851 >= 475 @ 1.78041
2.15/2.20 c bounds 2851 >= 476 @ 1.78114
2.15/2.20 c bounds 2851 >= 477 @ 1.78244
2.15/2.20 c bounds 2851 >= 478 @ 1.78313
2.15/2.20 c bounds 2851 >= 479 @ 1.78445
2.15/2.21 c bounds 2851 >= 480 @ 1.78512
2.15/2.21 c bounds 2851 >= 481 @ 1.78646
2.15/2.21 c bounds 2851 >= 482 @ 1.78794
2.15/2.21 c bounds 2851 >= 483 @ 1.78945
2.15/2.21 c bounds 2851 >= 484 @ 1.79011
2.15/2.21 c bounds 2851 >= 485 @ 1.79146
2.15/2.21 c bounds 2851 >= 486 @ 1.79294
2.15/2.22 c bounds 2851 >= 487 @ 1.79446
2.15/2.22 c bounds 2851 >= 488 @ 1.79595
2.15/2.22 c bounds 2851 >= 489 @ 1.79744
2.15/2.22 c bounds 2851 >= 490 @ 1.79809
2.15/2.22 c bounds 2851 >= 491 @ 1.79944
2.15/2.22 c bounds 2851 >= 492 @ 1.80008
2.15/2.23 c bounds 2851 >= 493 @ 1.80142
2.15/2.23 c bounds 2851 >= 494 @ 1.80208
2.15/2.23 c bounds 2851 >= 495 @ 1.80338
2.15/2.23 c bounds 2851 >= 496 @ 1.80484
2.15/2.23 c bounds 2851 >= 497 @ 1.80632
2.15/2.23 c bounds 2851 >= 498 @ 1.80779
2.15/2.23 c bounds 2851 >= 499 @ 1.80929
2.15/2.24 c bounds 2851 >= 500 @ 1.81076
2.15/2.24 c bounds 2851 >= 501 @ 1.81224
2.15/2.24 c bounds 2851 >= 502 @ 1.81373
2.15/2.24 c bounds 2851 >= 503 @ 1.81521
2.15/2.24 c bounds 2851 >= 504 @ 1.81677
2.15/2.24 c bounds 2851 >= 505 @ 1.81831
2.15/2.25 c bounds 2851 >= 506 @ 1.81924
2.15/2.25 c bounds 2851 >= 507 @ 1.82075
2.15/2.25 c bounds 2851 >= 508 @ 1.82227
2.15/2.25 c bounds 2851 >= 509 @ 1.82381
2.15/2.25 c bounds 2851 >= 510 @ 1.82533
2.15/2.25 c bounds 2851 >= 511 @ 1.82602
2.15/2.25 c bounds 2851 >= 512 @ 1.82742
2.15/2.26 c bounds 2851 >= 513 @ 1.82891
2.15/2.26 c bounds 2851 >= 514 @ 1.83043
2.15/2.26 c bounds 2851 >= 515 @ 1.83101
2.15/2.26 c bounds 2851 >= 516 @ 1.8325
2.15/2.26 c bounds 2851 >= 517 @ 1.83307
2.15/2.26 c bounds 2851 >= 518 @ 1.83455
2.15/2.27 c bounds 2851 >= 519 @ 1.83605
2.15/2.27 c bounds 2851 >= 520 @ 1.83756
2.15/2.27 c bounds 2851 >= 521 @ 1.83908
2.15/2.27 c bounds 2851 >= 522 @ 1.8406
2.15/2.27 c bounds 2851 >= 523 @ 1.84116
2.15/2.27 c bounds 2851 >= 524 @ 1.84265
2.15/2.27 c bounds 2851 >= 525 @ 1.84398
2.15/2.28 c bounds 2851 >= 526 @ 1.84472
2.15/2.28 c bounds 2851 >= 527 @ 1.84625
2.15/2.28 c bounds 2851 >= 528 @ 1.84775
2.15/2.28 c bounds 2851 >= 529 @ 1.84926
2.15/2.28 c bounds 2851 >= 530 @ 1.84996
2.15/2.28 c bounds 2851 >= 531 @ 1.85129
2.15/2.28 c bounds 2851 >= 532 @ 1.85277
2.15/2.29 c bounds 2851 >= 533 @ 1.85428
2.15/2.29 c bounds 2851 >= 534 @ 1.85495
2.15/2.29 c bounds 2851 >= 535 @ 1.85632
2.15/2.29 c bounds 2851 >= 536 @ 1.85695
2.15/2.29 c bounds 2851 >= 537 @ 1.85848
2.15/2.29 c bounds 2851 >= 538 @ 1.85912
2.25/2.30 c bounds 2851 >= 539 @ 1.86064
2.25/2.30 c bounds 2851 >= 540 @ 1.8622
2.25/2.30 c bounds 2851 >= 541 @ 1.86293
2.25/2.30 c bounds 2851 >= 542 @ 1.86431
2.25/2.30 c bounds 2851 >= 543 @ 1.86493
2.25/2.30 c bounds 2851 >= 544 @ 1.8664
2.25/2.31 c bounds 2851 >= 545 @ 1.86794
2.25/2.31 c bounds 2851 >= 546 @ 1.8695
2.25/2.31 c bounds 2851 >= 547 @ 1.87107
2.25/2.31 c bounds 2851 >= 548 @ 1.87264
2.25/2.31 c bounds 2851 >= 549 @ 1.87418
2.25/2.31 c bounds 2851 >= 550 @ 1.87517
2.25/2.31 c bounds 2851 >= 551 @ 1.87667
2.25/2.32 c bounds 2851 >= 552 @ 1.87821
2.25/2.32 c bounds 2851 >= 553 @ 1.87889
2.25/2.32 c bounds 2851 >= 554 @ 1.88039
2.25/2.32 c bounds 2851 >= 555 @ 1.88098
2.25/2.32 c bounds 2851 >= 556 @ 1.88248
2.25/2.32 c bounds 2851 >= 557 @ 1.88308
2.25/2.33 c bounds 2851 >= 558 @ 1.88496
2.25/2.33 c bounds 2851 >= 559 @ 1.88648
2.25/2.33 c bounds 2851 >= 560 @ 1.88802
2.25/2.33 c bounds 2851 >= 561 @ 1.88956
2.25/2.33 c bounds 2851 >= 562 @ 1.89109
2.25/2.33 c bounds 2851 >= 563 @ 1.89261
2.25/2.34 c bounds 2851 >= 564 @ 1.89414
2.25/2.34 c bounds 2851 >= 565 @ 1.89485
2.25/2.34 c bounds 2851 >= 566 @ 1.89623
2.25/2.34 c bounds 2851 >= 567 @ 1.89685
2.25/2.34 c bounds 2851 >= 568 @ 1.8983
2.25/2.34 c bounds 2851 >= 569 @ 1.89981
2.25/2.34 c bounds 2851 >= 570 @ 1.90134
2.25/2.35 c bounds 2851 >= 571 @ 1.902
2.25/2.35 c bounds 2851 >= 572 @ 1.90351
2.25/2.35 c bounds 2851 >= 573 @ 1.90414
2.25/2.35 c bounds 2851 >= 574 @ 1.90482
2.25/2.35 c bounds 2851 >= 575 @ 1.90626
2.25/2.35 c bounds 2851 >= 576 @ 1.90779
2.25/2.36 c bounds 2851 >= 577 @ 1.90936
2.25/2.36 c bounds 2851 >= 578 @ 1.91001
2.25/2.36 c bounds 2851 >= 579 @ 1.91154
2.25/2.36 c bounds 2851 >= 580 @ 1.91312
2.25/2.36 c bounds 2851 >= 581 @ 1.9138
2.25/2.36 c bounds 2851 >= 582 @ 1.91528
2.25/2.37 c bounds 2851 >= 583 @ 1.91589
2.25/2.37 c bounds 2851 >= 584 @ 1.9174
2.25/2.37 c bounds 2851 >= 585 @ 1.91799
2.25/2.37 c bounds 2851 >= 586 @ 1.91955
2.25/2.37 c bounds 2851 >= 587 @ 1.92112
2.25/2.37 c bounds 2851 >= 588 @ 1.92268
2.25/2.37 c bounds 2851 >= 589 @ 1.92424
2.25/2.38 c bounds 2851 >= 590 @ 1.92486
2.25/2.38 c bounds 2851 >= 591 @ 1.92636
2.25/2.38 c bounds 2851 >= 592 @ 1.92695
2.25/2.38 c bounds 2851 >= 593 @ 1.92844
2.25/2.38 c bounds 2851 >= 594 @ 1.92905
2.25/2.38 c bounds 2851 >= 595 @ 1.92976
2.25/2.39 c bounds 2851 >= 596 @ 1.93112
2.25/2.39 c bounds 2851 >= 597 @ 1.93175
2.25/2.39 c bounds 2851 >= 598 @ 1.93319
2.25/2.39 c bounds 2851 >= 599 @ 1.93375
2.25/2.39 c bounds 2851 >= 600 @ 1.93528
2.25/2.39 c bounds 2851 >= 601 @ 1.93588
2.25/2.39 c bounds 2851 >= 602 @ 1.93736
2.35/2.40 c bounds 2851 >= 603 @ 1.93793
2.35/2.40 c bounds 2851 >= 604 @ 1.93951
2.35/2.40 c bounds 2851 >= 605 @ 1.9411
2.35/2.40 c bounds 2851 >= 606 @ 1.94173
2.35/2.40 c bounds 2851 >= 607 @ 1.9433
2.35/2.40 c bounds 2851 >= 608 @ 1.94392
2.35/2.41 c bounds 2851 >= 609 @ 1.94547
2.35/2.41 c bounds 2851 >= 610 @ 1.94745
2.35/2.41 c bounds 2851 >= 611 @ 1.94903
2.35/2.41 c bounds 2851 >= 612 @ 1.94971
2.35/2.41 c bounds 2851 >= 613 @ 1.95124
2.35/2.41 c bounds 2851 >= 614 @ 1.95281
2.35/2.42 c bounds 2851 >= 615 @ 1.95439
2.35/2.42 c bounds 2851 >= 616 @ 1.95501
2.35/2.42 c bounds 2851 >= 617 @ 1.95569
2.35/2.42 c bounds 2851 >= 618 @ 1.95715
2.35/2.42 c bounds 2851 >= 619 @ 1.95778
2.35/2.42 c bounds 2851 >= 620 @ 1.9593
2.35/2.43 c bounds 2851 >= 621 @ 1.95995
2.35/2.43 c bounds 2851 >= 622 @ 1.96067
2.35/2.43 c bounds 2851 >= 623 @ 1.96206
2.35/2.43 c bounds 2851 >= 624 @ 1.96267
2.35/2.43 c bounds 2851 >= 625 @ 1.9642
2.35/2.43 c bounds 2851 >= 626 @ 1.96482
2.35/2.43 c bounds 2851 >= 627 @ 1.96633
2.35/2.44 c bounds 2851 >= 628 @ 1.96697
2.35/2.44 c bounds 2851 >= 629 @ 1.96766
2.35/2.44 c bounds 2851 >= 630 @ 1.9691
2.35/2.44 c bounds 2851 >= 631 @ 1.96965
2.35/2.44 c bounds 2851 >= 632 @ 1.97123
2.35/2.44 c bounds 2851 >= 633 @ 1.97185
2.35/2.45 c bounds 2851 >= 634 @ 1.97336
2.35/2.45 c bounds 2851 >= 635 @ 1.97493
2.35/2.45 c bounds 2851 >= 636 @ 1.97564
2.35/2.45 c bounds 2851 >= 637 @ 1.97709
2.35/2.45 c bounds 2851 >= 638 @ 1.97871
2.35/2.45 c bounds 2851 >= 639 @ 1.98032
2.35/2.46 c bounds 2851 >= 640 @ 1.98194
2.35/2.46 c bounds 2851 >= 641 @ 1.98356
2.35/2.46 c bounds 2851 >= 642 @ 1.98518
2.35/2.46 c bounds 2851 >= 643 @ 1.98581
2.35/2.46 c bounds 2851 >= 644 @ 1.98741
2.35/2.46 c bounds 2851 >= 645 @ 1.98905
2.35/2.47 c bounds 2851 >= 646 @ 1.98975
2.35/2.47 c bounds 2851 >= 647 @ 1.9913
2.35/2.47 c bounds 2851 >= 648 @ 1.99291
2.35/2.47 c bounds 2851 >= 649 @ 1.99359
2.35/2.47 c bounds 2851 >= 650 @ 1.99515
2.35/2.47 c bounds 2851 >= 651 @ 1.99579
2.35/2.47 c bounds 2851 >= 652 @ 1.99737
2.35/2.48 c bounds 2851 >= 653 @ 1.99899
2.35/2.48 c bounds 2851 >= 654 @ 2.00062
2.35/2.48 c bounds 2851 >= 655 @ 2.00224
2.35/2.48 c bounds 2851 >= 656 @ 2.00384
2.35/2.48 c bounds 2851 >= 657 @ 2.00456
2.35/2.48 c bounds 2851 >= 658 @ 2.00607
2.35/2.49 c bounds 2851 >= 659 @ 2.00767
2.35/2.49 c bounds 2851 >= 660 @ 2.00928
2.35/2.49 c bounds 2851 >= 661 @ 2.01088
2.35/2.49 c bounds 2851 >= 662 @ 2.01154
2.35/2.49 c bounds 2851 >= 663 @ 2.01349
2.35/2.49 c bounds 2851 >= 664 @ 2.01429
2.45/2.50 c bounds 2851 >= 665 @ 2.01609
2.45/2.50 c bounds 2851 >= 666 @ 2.01653
2.45/2.50 c bounds 2851 >= 667 @ 2.01653
2.45/2.50 c bounds 2851 >= 668 @ 2.01802
2.45/2.50 c bounds 2851 >= 669 @ 2.0196
2.45/2.50 c bounds 2851 >= 670 @ 2.02119
2.45/2.51 c bounds 2851 >= 671 @ 2.02193
2.45/2.51 c bounds 2851 >= 672 @ 2.02352
2.45/2.51 c bounds 2851 >= 673 @ 2.02518
2.45/2.51 c bounds 2851 >= 674 @ 2.02684
2.45/2.51 c bounds 2851 >= 675 @ 2.0275
2.45/2.51 c bounds 2851 >= 676 @ 2.02819
2.45/2.52 c bounds 2851 >= 677 @ 2.02887
2.45/2.52 c bounds 2851 >= 678 @ 2.02949
2.45/2.52 c bounds 2851 >= 679 @ 2.03114
2.45/2.52 c bounds 2851 >= 680 @ 2.03183
2.45/2.52 c bounds 2851 >= 681 @ 2.03249
2.45/2.52 c bounds 2851 >= 682 @ 2.03406
2.45/2.53 c bounds 2851 >= 683 @ 2.03475
2.45/2.53 c bounds 2851 >= 684 @ 2.03631
2.45/2.53 c bounds 2851 >= 685 @ 2.03794
2.45/2.53 c bounds 2851 >= 686 @ 2.03865
2.45/2.53 c bounds 2851 >= 687 @ 2.0402
2.45/2.53 c bounds 2851 >= 688 @ 2.04183
2.45/2.54 c bounds 2851 >= 689 @ 2.04346
2.45/2.54 c bounds 2851 >= 690 @ 2.04508
2.45/2.54 c bounds 2851 >= 691 @ 2.04576
2.45/2.54 c bounds 2851 >= 692 @ 2.04732
2.45/2.59 c bounds 2850 >= 692 @ 2.09523
2.45/2.59 c bounds 2850 >= 693 @ 2.09711
2.45/2.59 c bounds 2850 >= 694 @ 2.09875
2.55/2.60 c bounds 2850 >= 695 @ 2.09948
2.55/2.60 c bounds 2850 >= 696 @ 2.10105
2.55/2.60 c bounds 2850 >= 697 @ 2.10268
2.55/2.60 c bounds 2850 >= 698 @ 2.10331
2.55/2.60 c bounds 2850 >= 699 @ 2.10495
2.55/2.60 c bounds 2850 >= 700 @ 2.10565
2.55/2.61 c bounds 2850 >= 701 @ 2.10651
2.55/2.61 c bounds 2850 >= 702 @ 2.1073
2.55/2.61 c bounds 2850 >= 703 @ 2.1088
2.55/2.61 c bounds 2850 >= 704 @ 2.10948
2.55/2.61 c bounds 2850 >= 705 @ 2.11029
2.55/2.61 c bounds 2850 >= 706 @ 2.11181
2.55/2.62 c bounds 2850 >= 707 @ 2.11249
2.55/2.62 c bounds 2850 >= 708 @ 2.11329
2.55/2.62 c bounds 2850 >= 709 @ 2.11488
2.55/2.62 c bounds 2850 >= 710 @ 2.11654
2.55/2.62 c bounds 2850 >= 711 @ 2.11728
2.55/2.62 c bounds 2850 >= 712 @ 2.11891
2.55/2.63 c bounds 2850 >= 713 @ 2.11965
2.55/2.63 c bounds 2850 >= 714 @ 2.12027
2.55/2.63 c bounds 2850 >= 715 @ 2.12194
2.55/2.63 c bounds 2850 >= 716 @ 2.12266
2.55/2.63 c bounds 2850 >= 717 @ 2.12429
2.55/2.63 c bounds 2850 >= 718 @ 2.12597
2.55/2.64 c bounds 2850 >= 719 @ 2.12669
2.55/2.64 c bounds 2850 >= 720 @ 2.12739
2.55/2.64 c bounds 2850 >= 721 @ 2.12898
2.55/2.64 c bounds 2850 >= 722 @ 2.13064
2.55/2.64 c bounds 2850 >= 723 @ 2.13139
2.55/2.64 c bounds 2850 >= 724 @ 2.13299
2.55/2.65 c bounds 2850 >= 725 @ 2.13466
2.55/2.65 c bounds 2850 >= 726 @ 2.13633
2.55/2.65 c bounds 2850 >= 727 @ 2.13798
2.55/2.65 c bounds 2850 >= 728 @ 2.13964
2.55/2.65 c bounds 2850 >= 729 @ 2.14038
2.55/2.65 c bounds 2850 >= 730 @ 2.14196
2.55/2.66 c bounds 2850 >= 731 @ 2.14266
2.55/2.66 c bounds 2850 >= 732 @ 2.14335
2.55/2.66 c bounds 2850 >= 733 @ 2.14492
2.55/2.66 c bounds 2850 >= 734 @ 2.14563
2.55/2.66 c bounds 2850 >= 735 @ 2.14631
2.55/2.66 c bounds 2850 >= 736 @ 2.14789
2.55/2.67 c bounds 2850 >= 737 @ 2.14952
2.55/2.67 c bounds 2850 >= 738 @ 2.15034
2.55/2.67 c bounds 2850 >= 739 @ 2.15197
2.55/2.67 c bounds 2850 >= 740 @ 2.15367
2.55/2.67 c bounds 2850 >= 741 @ 2.15438
2.55/2.67 c bounds 2850 >= 742 @ 2.15518
2.55/2.68 c bounds 2850 >= 743 @ 2.1568
2.55/2.68 c bounds 2850 >= 744 @ 2.15756
2.55/2.68 c bounds 2850 >= 745 @ 2.15829
2.55/2.68 c bounds 2850 >= 746 @ 2.15992
2.55/2.68 c bounds 2850 >= 747 @ 2.16162
2.55/2.69 c bounds 2850 >= 748 @ 2.16216
2.55/2.69 c bounds 2850 >= 749 @ 2.16245
2.55/2.69 c bounds 2850 >= 750 @ 2.16316
2.55/2.69 c bounds 2850 >= 751 @ 2.16476
2.55/2.69 c bounds 2850 >= 752 @ 2.1655
2.55/2.69 c bounds 2850 >= 753 @ 2.16711
2.65/2.70 c bounds 2850 >= 754 @ 2.16878
2.65/2.70 c bounds 2850 >= 755 @ 2.16953
2.65/2.70 c bounds 2850 >= 756 @ 2.17025
2.65/2.70 c bounds 2850 >= 757 @ 2.17186
2.65/2.70 c bounds 2850 >= 758 @ 2.17354
2.65/2.70 c bounds 2850 >= 759 @ 2.1743
2.65/2.71 c bounds 2850 >= 760 @ 2.17588
2.65/2.71 c bounds 2850 >= 761 @ 2.17755
2.65/2.71 c bounds 2850 >= 762 @ 2.17831
2.65/2.71 c bounds 2850 >= 763 @ 2.17991
2.65/2.71 c bounds 2850 >= 764 @ 2.18157
2.65/2.71 c bounds 2850 >= 765 @ 2.18231
2.65/2.72 c bounds 2850 >= 766 @ 2.18311
2.65/2.72 c bounds 2850 >= 767 @ 2.18462
2.65/2.72 c bounds 2850 >= 768 @ 2.1853
2.65/2.72 c bounds 2850 >= 769 @ 2.1861
2.65/2.72 c bounds 2850 >= 770 @ 2.18761
2.65/2.72 c bounds 2850 >= 771 @ 2.18829
2.65/2.73 c bounds 2850 >= 772 @ 2.18909
2.65/2.73 c bounds 2850 >= 773 @ 2.19073
2.65/2.73 c bounds 2850 >= 774 @ 2.1915
2.65/2.73 c bounds 2850 >= 775 @ 2.19225
2.65/2.73 c bounds 2850 >= 776 @ 2.19387
2.65/2.73 c bounds 2850 >= 777 @ 2.19558
2.65/2.74 c bounds 2850 >= 778 @ 2.19638
2.65/2.74 c bounds 2850 >= 779 @ 2.19707
2.65/2.74 c bounds 2850 >= 780 @ 2.19874
2.65/2.74 c bounds 2850 >= 781 @ 2.19949
2.65/2.74 c bounds 2850 >= 782 @ 2.20023
2.65/2.74 c bounds 2850 >= 783 @ 2.20186
2.65/2.75 c bounds 2850 >= 784 @ 2.20356
2.65/2.75 c bounds 2850 >= 785 @ 2.20527
2.65/2.75 c bounds 2850 >= 786 @ 2.20605
2.65/2.75 c bounds 2850 >= 787 @ 2.20768
2.65/2.75 c bounds 2850 >= 788 @ 2.20936
2.65/2.76 c bounds 2850 >= 789 @ 2.21017
2.65/2.76 c bounds 2850 >= 790 @ 2.21178
2.65/2.76 c bounds 2850 >= 791 @ 2.21348
2.65/2.76 c bounds 2850 >= 792 @ 2.21517
2.65/2.76 c bounds 2850 >= 793 @ 2.21603
2.65/2.76 c bounds 2850 >= 794 @ 2.21759
2.65/2.77 c bounds 2850 >= 795 @ 2.21835
2.65/2.77 c bounds 2850 >= 796 @ 2.21902
2.65/2.77 c bounds 2850 >= 797 @ 2.22068
2.65/2.77 c bounds 2850 >= 798 @ 2.22237
2.65/2.77 c bounds 2850 >= 799 @ 2.22407
2.65/2.77 c bounds 2850 >= 800 @ 2.22615
2.65/2.78 c bounds 2850 >= 801 @ 2.227
2.65/2.78 c bounds 2850 >= 802 @ 2.22855
2.65/2.78 c bounds 2850 >= 803 @ 2.2293
2.65/2.78 c bounds 2850 >= 804 @ 2.22999
2.65/2.78 c bounds 2850 >= 805 @ 2.2317
2.65/2.78 c bounds 2850 >= 806 @ 2.23249
2.65/2.79 c bounds 2850 >= 807 @ 2.23318
2.65/2.79 c bounds 2850 >= 808 @ 2.23491
2.65/2.79 c bounds 2850 >= 809 @ 2.23665
2.65/2.79 c bounds 2850 >= 810 @ 2.23745
2.65/2.79 c bounds 2850 >= 811 @ 2.23817
2.65/2.79 c bounds 2850 >= 812 @ 2.23985
2.76/2.80 c bounds 2850 >= 813 @ 2.24157
2.76/2.80 c bounds 2850 >= 814 @ 2.24331
2.76/2.80 c bounds 2850 >= 815 @ 2.24414
2.76/2.80 c bounds 2850 >= 816 @ 2.24576
2.76/2.80 c bounds 2850 >= 817 @ 2.24749
2.76/2.81 c bounds 2850 >= 818 @ 2.24829
2.76/2.81 c bounds 2850 >= 819 @ 2.24908
2.76/2.81 c bounds 2850 >= 820 @ 2.25074
2.76/2.81 c bounds 2850 >= 821 @ 2.25251
2.76/2.81 c bounds 2850 >= 822 @ 2.25332
2.76/2.81 c bounds 2850 >= 823 @ 2.25407
2.76/2.82 c bounds 2850 >= 824 @ 2.2557
2.76/2.82 c bounds 2850 >= 825 @ 2.25744
2.76/2.82 c bounds 2850 >= 826 @ 2.25824
2.76/2.82 c bounds 2850 >= 827 @ 2.25892
2.76/2.82 c bounds 2850 >= 828 @ 2.26061
2.76/2.82 c bounds 2850 >= 829 @ 2.26138
2.76/2.83 c bounds 2850 >= 830 @ 2.26211
2.76/2.83 c bounds 2850 >= 831 @ 2.26291
2.76/2.83 c bounds 2850 >= 832 @ 2.26448
2.76/2.83 c bounds 2850 >= 833 @ 2.26525
2.76/2.83 c bounds 2850 >= 834 @ 2.2669
2.76/2.83 c bounds 2850 >= 835 @ 2.26861
2.76/2.84 c bounds 2850 >= 836 @ 2.26939
2.76/2.84 c bounds 2850 >= 837 @ 2.27009
2.76/2.84 c bounds 2850 >= 838 @ 2.27089
2.76/2.84 c bounds 2850 >= 839 @ 2.27255
2.76/2.84 c bounds 2850 >= 840 @ 2.27432
2.76/2.85 c bounds 2850 >= 841 @ 2.27516
2.76/2.85 c bounds 2850 >= 842 @ 2.27684
2.76/2.85 c bounds 2850 >= 843 @ 2.27861
2.76/2.85 c bounds 2850 >= 844 @ 2.28036
2.76/2.85 c bounds 2850 >= 845 @ 2.2812
2.76/2.85 c bounds 2850 >= 846 @ 2.28288
2.76/2.86 c bounds 2850 >= 847 @ 2.28463
2.76/2.86 c bounds 2850 >= 848 @ 2.28639
2.76/2.86 c bounds 2850 >= 849 @ 2.28723
2.76/2.86 c bounds 2850 >= 850 @ 2.288
2.76/2.86 c bounds 2850 >= 851 @ 2.28884
2.76/2.86 c bounds 2850 >= 852 @ 2.29041
2.76/2.87 c bounds 2850 >= 853 @ 2.29252
2.76/2.87 c bounds 2850 >= 854 @ 2.29333
2.76/2.87 c bounds 2850 >= 855 @ 2.29403
2.76/2.87 c bounds 2850 >= 856 @ 2.29483
2.76/2.87 c bounds 2850 >= 857 @ 2.29652
2.76/2.88 c bounds 2850 >= 858 @ 2.29732
2.76/2.88 c bounds 2850 >= 859 @ 2.299
2.76/2.88 c bounds 2850 >= 860 @ 2.29981
2.76/2.88 c bounds 2850 >= 861 @ 2.3015
2.76/2.88 c bounds 2850 >= 862 @ 2.3023
2.76/2.88 c bounds 2850 >= 863 @ 2.30398
2.76/2.89 c bounds 2850 >= 864 @ 2.3048
2.76/2.89 c bounds 2850 >= 865 @ 2.30646
2.76/2.89 c bounds 2850 >= 866 @ 2.30726
2.76/2.89 c bounds 2850 >= 867 @ 2.30799
2.76/2.89 c bounds 2850 >= 868 @ 2.30879
2.76/2.89 c bounds 2850 >= 869 @ 2.31042
2.86/2.90 c bounds 2850 >= 870 @ 2.31121
2.86/2.90 c bounds 2850 >= 871 @ 2.31197
2.86/2.90 c bounds 2850 >= 872 @ 2.31368
2.86/2.90 c bounds 2850 >= 873 @ 2.31546
2.86/2.90 c bounds 2850 >= 874 @ 2.31724
2.86/2.91 c bounds 2850 >= 875 @ 2.31811
2.86/2.91 c bounds 2850 >= 876 @ 2.31892
2.86/2.91 c bounds 2850 >= 877 @ 2.32059
2.86/2.91 c bounds 2850 >= 878 @ 2.32237
2.86/2.91 c bounds 2850 >= 879 @ 2.32416
2.86/2.91 c bounds 2850 >= 880 @ 2.32494
2.86/2.92 c bounds 2850 >= 881 @ 2.32672
2.86/2.92 c bounds 2850 >= 882 @ 2.3285
2.86/2.92 c bounds 2850 >= 883 @ 2.33027
2.86/2.92 c bounds 2850 >= 884 @ 2.33112
2.86/2.92 c bounds 2850 >= 885 @ 2.33191
2.86/2.92 c bounds 2850 >= 886 @ 2.33358
2.86/2.93 c bounds 2850 >= 887 @ 2.33536
2.86/2.93 c bounds 2850 >= 888 @ 2.3362
2.86/2.93 c bounds 2850 >= 889 @ 2.33691
2.86/2.93 c bounds 2850 >= 890 @ 2.33771
2.86/2.93 c bounds 2850 >= 891 @ 2.33944
2.86/2.94 c bounds 2850 >= 892 @ 2.34026
2.86/2.94 c bounds 2850 >= 893 @ 2.34106
2.86/2.94 c bounds 2850 >= 894 @ 2.34274
2.86/2.94 c bounds 2850 >= 895 @ 2.34449
2.86/2.94 c bounds 2850 >= 896 @ 2.34625
2.86/2.94 c bounds 2850 >= 897 @ 2.34708
2.86/2.95 c bounds 2850 >= 898 @ 2.34877
2.86/2.95 c bounds 2850 >= 899 @ 2.34968
2.86/2.95 c bounds 2850 >= 900 @ 2.35128
2.86/2.95 c bounds 2850 >= 901 @ 2.3521
2.86/2.95 c bounds 2850 >= 902 @ 2.35287
2.86/2.95 c bounds 2850 >= 903 @ 2.35454
2.86/2.96 c bounds 2850 >= 904 @ 2.35629
2.86/2.96 c bounds 2850 >= 905 @ 2.35746
2.86/2.96 c bounds 2850 >= 906 @ 2.35928
2.86/2.96 c bounds 2850 >= 907 @ 2.36014
2.86/2.96 c bounds 2850 >= 908 @ 2.36097
2.86/2.97 c bounds 2850 >= 909 @ 2.36178
2.86/2.97 c bounds 2850 >= 910 @ 2.36348
2.86/2.97 c bounds 2850 >= 911 @ 2.36529
2.86/2.97 c bounds 2850 >= 912 @ 2.36615
2.86/2.97 c bounds 2850 >= 913 @ 2.36697
2.86/2.98 c bounds 2850 >= 914 @ 2.36779
2.86/2.98 c bounds 2850 >= 915 @ 2.36863
2.86/2.98 c bounds 2850 >= 916 @ 2.3703
2.86/2.98 c bounds 2850 >= 917 @ 2.37115
2.86/2.98 c bounds 2850 >= 918 @ 2.37198
2.86/2.98 c bounds 2850 >= 919 @ 2.3728
2.86/2.99 c bounds 2850 >= 920 @ 2.37447
2.96/3.07 c bounds 2849 >= 920 @ 2.44478
2.96/3.07 c bounds 2849 >= 921 @ 2.44601
2.96/3.07 c bounds 2849 >= 922 @ 2.44774
2.96/3.07 c bounds 2849 >= 923 @ 2.44862
2.96/3.07 c bounds 2849 >= 924 @ 2.44942
2.96/3.08 c bounds 2849 >= 925 @ 2.45113
2.96/3.08 c bounds 2849 >= 926 @ 2.45198
2.96/3.08 c bounds 2849 >= 927 @ 2.4528
2.96/3.08 c bounds 2849 >= 928 @ 2.4545
2.96/3.08 c bounds 2849 >= 929 @ 2.45541
2.96/3.08 c bounds 2849 >= 930 @ 2.45708
2.96/3.09 c bounds 2849 >= 931 @ 2.45793
2.96/3.09 c bounds 2849 >= 932 @ 2.45965
2.96/3.09 c bounds 2849 >= 933 @ 2.46055
2.96/3.09 c bounds 2849 >= 934 @ 2.46139
2.96/3.09 c bounds 2849 >= 935 @ 2.46301
2.96/3.10 c bounds 2849 >= 936 @ 2.46479
2.96/3.10 c bounds 2849 >= 937 @ 2.46558
2.96/3.10 c bounds 2849 >= 938 @ 2.46638
3.05/3.10 c bounds 2849 >= 939 @ 2.46821
3.05/3.10 c bounds 2849 >= 940 @ 2.47005
3.05/3.10 c bounds 2849 >= 941 @ 2.47094
3.05/3.11 c bounds 2849 >= 942 @ 2.4718
3.05/3.11 c bounds 2849 >= 943 @ 2.47358
3.05/3.11 c bounds 2849 >= 944 @ 2.47452
3.05/3.11 c bounds 2849 >= 945 @ 2.47535
3.05/3.11 c bounds 2849 >= 946 @ 2.47708
3.05/3.12 c bounds 2849 >= 947 @ 2.47797
3.05/3.12 c bounds 2849 >= 948 @ 2.47882
3.05/3.12 c bounds 2849 >= 949 @ 2.47968
3.05/3.12 c bounds 2849 >= 950 @ 2.48141
3.05/3.12 c bounds 2849 >= 951 @ 2.48233
3.05/3.12 c bounds 2849 >= 952 @ 2.48407
3.05/3.13 c bounds 2849 >= 953 @ 2.48589
3.05/3.13 c bounds 2849 >= 954 @ 2.48771
3.05/3.13 c bounds 2849 >= 955 @ 2.48862
3.05/3.13 c bounds 2849 >= 956 @ 2.48946
3.05/3.13 c bounds 2849 >= 957 @ 2.49031
3.05/3.14 c bounds 2849 >= 958 @ 2.492
3.05/3.14 c bounds 2849 >= 959 @ 2.49286
3.05/3.14 c bounds 2849 >= 960 @ 2.4937
3.05/3.14 c bounds 2849 >= 961 @ 2.49451
3.05/3.14 c bounds 2849 >= 962 @ 2.4953
3.05/3.14 c bounds 2849 >= 963 @ 2.49707
3.05/3.15 c bounds 2849 >= 964 @ 2.49889
3.05/3.15 c bounds 2849 >= 965 @ 2.50071
3.05/3.15 c bounds 2849 >= 966 @ 2.50251
3.05/3.15 c bounds 2849 >= 967 @ 2.50344
3.05/3.15 c bounds 2849 >= 968 @ 2.50428
3.05/3.16 c bounds 2849 >= 969 @ 2.50596
3.05/3.16 c bounds 2849 >= 970 @ 2.50776
3.05/3.16 c bounds 2849 >= 971 @ 2.50865
3.05/3.16 c bounds 2849 >= 972 @ 2.50982
3.05/3.16 c bounds 2849 >= 973 @ 2.51071
3.05/3.17 c bounds 2849 >= 974 @ 2.51157
3.05/3.17 c bounds 2849 >= 975 @ 2.51245
3.05/3.17 c bounds 2849 >= 976 @ 2.51419
3.05/3.17 c bounds 2849 >= 977 @ 2.51604
3.05/3.17 c bounds 2849 >= 978 @ 2.51789
3.05/3.17 c bounds 2849 >= 979 @ 2.51879
3.05/3.18 c bounds 2849 >= 980 @ 2.52058
3.05/3.18 c bounds 2849 >= 981 @ 2.52242
3.05/3.18 c bounds 2849 >= 982 @ 2.52339
3.05/3.18 c bounds 2849 >= 983 @ 2.52423
3.05/3.18 c bounds 2849 >= 984 @ 2.52598
3.05/3.19 c bounds 2849 >= 985 @ 2.52689
3.05/3.19 c bounds 2849 >= 986 @ 2.52776
3.05/3.19 c bounds 2849 >= 987 @ 2.52862
3.05/3.19 c bounds 2849 >= 988 @ 2.52941
3.05/3.19 c bounds 2849 >= 989 @ 2.53034
3.05/3.19 c bounds 2849 >= 990 @ 2.53121
3.16/3.20 c bounds 2849 >= 991 @ 2.5329
3.16/3.20 c bounds 2849 >= 992 @ 2.53379
3.16/3.20 c bounds 2849 >= 993 @ 2.53558
3.16/3.20 c bounds 2849 >= 994 @ 2.53651
3.16/3.20 c bounds 2849 >= 995 @ 2.53737
3.16/3.21 c bounds 2849 >= 996 @ 2.53909
3.16/3.21 c bounds 2849 >= 997 @ 2.54092
3.16/3.21 c bounds 2849 >= 998 @ 2.54276
3.16/3.21 c bounds 2849 >= 999 @ 2.54366
3.16/3.21 c bounds 2849 >= 1000 @ 2.54452
3.16/3.22 c bounds 2849 >= 1001 @ 2.54625
3.16/3.22 c bounds 2849 >= 1002 @ 2.54717
3.16/3.22 c bounds 2849 >= 1003 @ 2.54891
3.16/3.22 c bounds 2849 >= 1004 @ 2.54979
3.16/3.22 c bounds 2849 >= 1005 @ 2.55064
3.16/3.22 c bounds 2849 >= 1006 @ 2.55155
3.16/3.23 c bounds 2849 >= 1007 @ 2.55236
3.16/3.23 c bounds 2849 >= 1008 @ 2.55333
3.16/3.23 c bounds 2849 >= 1009 @ 2.55415
3.16/3.23 c bounds 2849 >= 1010 @ 2.55598
3.16/3.23 c bounds 2849 >= 1011 @ 2.55786
3.16/3.24 c bounds 2849 >= 1012 @ 2.5588
3.16/3.24 c bounds 2849 >= 1013 @ 2.55969
3.16/3.24 c bounds 2849 >= 1014 @ 2.5615
3.16/3.24 c bounds 2849 >= 1015 @ 2.56337
3.16/3.24 c bounds 2849 >= 1016 @ 2.56524
3.16/3.24 c bounds 2849 >= 1017 @ 2.56613
3.16/3.25 c bounds 2849 >= 1018 @ 2.56799
3.16/3.25 c bounds 2849 >= 1019 @ 2.56986
3.16/3.25 c bounds 2849 >= 1020 @ 2.57077
3.16/3.25 c bounds 2849 >= 1021 @ 2.57165
3.16/3.25 c bounds 2849 >= 1022 @ 2.57253
3.16/3.26 c bounds 2849 >= 1023 @ 2.57343
3.16/3.26 c bounds 2849 >= 1024 @ 2.57518
3.16/3.26 c bounds 2849 >= 1025 @ 2.57652
3.16/3.26 c bounds 2849 >= 1026 @ 2.5783
3.16/3.26 c bounds 2849 >= 1027 @ 2.57928
3.16/3.27 c bounds 2849 >= 1028 @ 2.58102
3.16/3.27 c bounds 2849 >= 1029 @ 2.58288
3.16/3.27 c bounds 2849 >= 1030 @ 2.58475
3.16/3.27 c bounds 2849 >= 1031 @ 2.58566
3.16/3.27 c bounds 2849 >= 1032 @ 2.58654
3.16/3.28 c bounds 2849 >= 1033 @ 2.58741
3.16/3.28 c bounds 2849 >= 1034 @ 2.58918
3.16/3.28 c bounds 2849 >= 1035 @ 2.59007
3.16/3.28 c bounds 2849 >= 1036 @ 2.59107
3.16/3.28 c bounds 2849 >= 1037 @ 2.59275
3.16/3.28 c bounds 2849 >= 1038 @ 2.59366
3.16/3.29 c bounds 2849 >= 1039 @ 2.59544
3.16/3.29 c bounds 2849 >= 1040 @ 2.59645
3.16/3.29 c bounds 2849 >= 1041 @ 2.59825
3.16/3.29 c bounds 2849 >= 1042 @ 2.60015
3.16/3.29 c bounds 2849 >= 1043 @ 2.60206
3.25/3.30 c bounds 2849 >= 1044 @ 2.60304
3.25/3.30 c bounds 2849 >= 1045 @ 2.60404
3.25/3.30 c bounds 2849 >= 1046 @ 2.60577
3.25/3.30 c bounds 2849 >= 1047 @ 2.60674
3.25/3.30 c bounds 2849 >= 1048 @ 2.6077
3.25/3.31 c bounds 2849 >= 1049 @ 2.60864
3.25/3.31 c bounds 2849 >= 1050 @ 2.60955
3.25/3.31 c bounds 2849 >= 1051 @ 2.61045
3.25/3.31 c bounds 2849 >= 1052 @ 2.61136
3.25/3.31 c bounds 2849 >= 1053 @ 2.61221
3.25/3.32 c bounds 2849 >= 1054 @ 2.61317
3.25/3.32 c bounds 2849 >= 1055 @ 2.61493
3.25/3.32 c bounds 2849 >= 1056 @ 2.61681
3.25/3.32 c bounds 2849 >= 1057 @ 2.61869
3.25/3.32 c bounds 2849 >= 1058 @ 2.61964
3.25/3.32 c bounds 2849 >= 1059 @ 2.62147
3.25/3.33 c bounds 2849 >= 1060 @ 2.62245
3.25/3.33 c bounds 2849 >= 1061 @ 2.62425
3.25/3.33 c bounds 2849 >= 1062 @ 2.62518
3.25/3.33 c bounds 2849 >= 1063 @ 2.62614
3.25/3.33 c bounds 2849 >= 1064 @ 2.6279
3.25/3.34 c bounds 2849 >= 1065 @ 2.62977
3.25/3.34 c bounds 2849 >= 1066 @ 2.63163
3.25/3.34 c bounds 2849 >= 1067 @ 2.63257
3.25/3.34 c bounds 2849 >= 1068 @ 2.63437
3.25/3.34 c bounds 2849 >= 1069 @ 2.63533
3.25/3.35 c bounds 2849 >= 1070 @ 2.63616
3.25/3.35 c bounds 2849 >= 1071 @ 2.63712
3.25/3.35 c bounds 2849 >= 1072 @ 2.63795
3.25/3.35 c bounds 2849 >= 1073 @ 2.63996
3.25/3.35 c bounds 2849 >= 1074 @ 2.64094
3.25/3.35 c bounds 2849 >= 1075 @ 2.64194
3.25/3.36 c bounds 2849 >= 1076 @ 2.64375
3.25/3.36 c bounds 2849 >= 1077 @ 2.64608
3.25/3.36 c bounds 2849 >= 1078 @ 2.64713
3.25/3.36 c bounds 2849 >= 1079 @ 2.64896
3.25/3.36 c bounds 2849 >= 1080 @ 2.65089
3.25/3.37 c bounds 2849 >= 1081 @ 2.65191
3.25/3.37 c bounds 2849 >= 1082 @ 2.65291
3.25/3.37 c bounds 2849 >= 1083 @ 2.65466
3.25/3.37 c bounds 2849 >= 1084 @ 2.65563
3.25/3.37 c bounds 2849 >= 1085 @ 2.65657
3.25/3.38 c bounds 2849 >= 1086 @ 2.65844
3.25/3.38 c bounds 2849 >= 1087 @ 2.65942
3.25/3.38 c bounds 2849 >= 1088 @ 2.66127
3.25/3.38 c bounds 2849 >= 1089 @ 2.66319
3.25/3.38 c bounds 2849 >= 1090 @ 2.6642
3.25/3.39 c bounds 2849 >= 1091 @ 2.66508
3.25/3.39 c bounds 2849 >= 1092 @ 2.66694
3.25/3.39 c bounds 2849 >= 1093 @ 2.66787
3.25/3.39 c bounds 2849 >= 1094 @ 2.66887
3.25/3.39 c bounds 2849 >= 1095 @ 2.67068
3.35/3.40 c bounds 2849 >= 1096 @ 2.67259
3.35/3.40 c bounds 2849 >= 1097 @ 2.6745
3.35/3.40 c bounds 2849 >= 1098 @ 2.67551
3.35/3.40 c bounds 2849 >= 1099 @ 2.67735
3.35/3.40 c bounds 2849 >= 1100 @ 2.67927
3.35/3.41 c bounds 2849 >= 1101 @ 2.68027
3.35/3.41 c bounds 2849 >= 1102 @ 2.68211
3.35/3.41 c bounds 2849 >= 1103 @ 2.68304
3.35/3.41 c bounds 2849 >= 1104 @ 2.68404
3.35/3.41 c bounds 2849 >= 1105 @ 2.68484
3.35/3.41 c bounds 2849 >= 1106 @ 2.68583
3.35/3.42 c bounds 2849 >= 1107 @ 2.68781
3.35/3.42 c bounds 2849 >= 1108 @ 2.68883
3.35/3.42 c bounds 2849 >= 1109 @ 2.68982
3.35/3.42 c bounds 2849 >= 1110 @ 2.69082
3.35/3.42 c bounds 2849 >= 1111 @ 2.69263
3.35/3.43 c bounds 2849 >= 1112 @ 2.69458
3.35/3.43 c bounds 2849 >= 1113 @ 2.69557
3.35/3.43 c bounds 2849 >= 1114 @ 2.69653
3.35/3.43 c bounds 2849 >= 1115 @ 2.69749
3.35/3.43 c bounds 2849 >= 1116 @ 2.69845
3.35/3.44 c bounds 2849 >= 1117 @ 2.6994
3.35/3.44 c bounds 2849 >= 1118 @ 2.70035
3.35/3.44 c bounds 2849 >= 1119 @ 2.70131
3.35/3.44 c bounds 2849 >= 1120 @ 2.70227
3.35/3.44 c bounds 2849 >= 1121 @ 2.70323
3.35/3.45 c bounds 2849 >= 1122 @ 2.70509
3.35/3.45 c bounds 2849 >= 1123 @ 2.70615
3.35/3.45 c bounds 2849 >= 1124 @ 2.7071
3.35/3.45 c bounds 2849 >= 1125 @ 2.70798
3.35/3.45 c bounds 2849 >= 1126 @ 2.70898
3.35/3.46 c bounds 2849 >= 1127 @ 2.70996
3.35/3.46 c bounds 2849 >= 1128 @ 2.71077
3.35/3.46 c bounds 2849 >= 1129 @ 2.71077
3.35/3.46 c bounds 2849 >= 1130 @ 2.71268
3.35/3.46 c bounds 2849 >= 1131 @ 2.71463
3.35/3.47 c bounds 2849 >= 1132 @ 2.71657
3.35/3.47 c bounds 2849 >= 1133 @ 2.7185
3.35/3.47 c bounds 2849 >= 1134 @ 2.71951
3.35/3.47 c bounds 2849 >= 1135 @ 2.72048
3.35/3.47 c bounds 2849 >= 1136 @ 2.7224
3.35/3.48 c bounds 2849 >= 1137 @ 2.72435
3.35/3.48 c bounds 2849 >= 1138 @ 2.7263
3.35/3.48 c bounds 2849 >= 1139 @ 2.7273
3.35/3.48 c bounds 2849 >= 1140 @ 2.72846
3.35/3.48 c bounds 2849 >= 1141 @ 2.72946
3.35/3.49 c bounds 2849 >= 1142 @ 2.73047
3.35/3.49 c bounds 2849 >= 1143 @ 2.73243
3.35/3.49 c bounds 2849 >= 1144 @ 2.73346
3.35/3.49 c bounds 2849 >= 1145 @ 2.73542
3.35/3.49 c bounds 2849 >= 1146 @ 2.73645
3.45/3.50 c bounds 2849 >= 1147 @ 2.73745
3.45/3.50 c bounds 2849 >= 1148 @ 2.73845
3.45/3.50 c bounds 2849 >= 1149 @ 2.73945
3.45/3.50 c bounds 2849 >= 1150 @ 2.74045
3.45/3.50 c bounds 2849 >= 1151 @ 2.7424
3.45/3.51 c bounds 2849 >= 1152 @ 2.74438
3.45/3.51 c bounds 2849 >= 1153 @ 2.7454
3.45/3.51 c bounds 2849 >= 1154 @ 2.7464
3.45/3.51 c bounds 2849 >= 1155 @ 2.74834
3.45/3.51 c bounds 2849 >= 1156 @ 2.75032
3.45/3.52 c bounds 2849 >= 1157 @ 2.75231
3.45/3.52 c bounds 2849 >= 1158 @ 2.75428
3.45/3.52 c bounds 2849 >= 1159 @ 2.75626
3.45/3.52 c bounds 2849 >= 1160 @ 2.7573
3.45/3.52 c bounds 2849 >= 1161 @ 2.75828
3.45/3.53 c bounds 2849 >= 1162 @ 2.75927
3.45/3.53 c bounds 2849 >= 1163 @ 2.76117
3.45/3.53 c bounds 2849 >= 1164 @ 2.76221
3.45/3.53 c bounds 2849 >= 1165 @ 2.76319
3.45/3.53 c bounds 2849 >= 1166 @ 2.76417
3.45/3.54 c bounds 2849 >= 1167 @ 2.76514
3.45/3.54 c bounds 2849 >= 1168 @ 2.76612
3.45/3.54 c bounds 2849 >= 1169 @ 2.7671
3.45/3.54 c bounds 2849 >= 1170 @ 2.769
3.45/3.54 c bounds 2849 >= 1171 @ 2.77012
3.45/3.55 c bounds 2849 >= 1172 @ 2.77113
3.55/3.66 c bounds 2848 >= 1172 @ 2.86315
3.55/3.66 c bounds 2848 >= 1173 @ 2.86542
3.55/3.66 c bounds 2848 >= 1174 @ 2.86657
3.55/3.67 c bounds 2848 >= 1175 @ 2.8685
3.55/3.67 c bounds 2848 >= 1176 @ 2.86957
3.55/3.67 c bounds 2848 >= 1177 @ 2.87056
3.55/3.67 c bounds 2848 >= 1178 @ 2.87178
3.55/3.67 c bounds 2848 >= 1179 @ 2.87279
3.55/3.68 c bounds 2848 >= 1180 @ 2.8747
3.55/3.68 c bounds 2848 >= 1181 @ 2.8758
3.55/3.68 c bounds 2848 >= 1182 @ 2.87681
3.55/3.68 c bounds 2848 >= 1183 @ 2.87781
3.55/3.68 c bounds 2848 >= 1184 @ 2.87971
3.55/3.69 c bounds 2848 >= 1185 @ 2.88081
3.55/3.69 c bounds 2848 >= 1186 @ 2.88181
3.55/3.69 c bounds 2848 >= 1187 @ 2.8828
3.55/3.69 c bounds 2848 >= 1188 @ 2.88414
3.55/3.69 c bounds 2848 >= 1189 @ 2.88611
3.65/3.70 c bounds 2848 >= 1190 @ 2.8871
3.65/3.70 c bounds 2848 >= 1191 @ 2.8881
3.65/3.70 c bounds 2848 >= 1192 @ 2.88832
3.65/3.70 c bounds 2848 >= 1193 @ 2.88911
3.65/3.70 c bounds 2848 >= 1194 @ 2.89011
3.65/3.71 c bounds 2848 >= 1195 @ 2.89032
3.65/3.71 c bounds 2848 >= 1196 @ 2.89207
3.65/3.71 c bounds 2848 >= 1197 @ 2.89307
3.65/3.71 c bounds 2848 >= 1198 @ 2.89407
3.65/3.71 c bounds 2848 >= 1199 @ 2.89504
3.65/3.72 c bounds 2848 >= 1200 @ 2.89603
3.65/3.72 c bounds 2848 >= 1201 @ 2.89796
3.65/3.72 c bounds 2848 >= 1202 @ 2.89898
3.65/3.72 c bounds 2848 >= 1203 @ 2.9009
3.65/3.72 c bounds 2848 >= 1204 @ 2.90286
3.65/3.73 c bounds 2848 >= 1205 @ 2.90391
3.65/3.73 c bounds 2848 >= 1206 @ 2.90488
3.65/3.73 c bounds 2848 >= 1207 @ 2.90593
3.65/3.73 c bounds 2848 >= 1208 @ 2.90696
3.65/3.73 c bounds 2848 >= 1209 @ 2.90893
3.65/3.74 c bounds 2848 >= 1210 @ 2.91
3.65/3.74 c bounds 2848 >= 1211 @ 2.91104
3.65/3.74 c bounds 2848 >= 1212 @ 2.91204
3.65/3.74 c bounds 2848 >= 1213 @ 2.91326
3.65/3.74 c bounds 2848 >= 1214 @ 2.91408
3.65/3.75 c bounds 2848 >= 1215 @ 2.91608
3.65/3.75 c bounds 2848 >= 1216 @ 2.9181
3.65/3.75 c bounds 2848 >= 1217 @ 2.91924
3.65/3.75 c bounds 2848 >= 1218 @ 2.9211
3.65/3.75 c bounds 2848 >= 1219 @ 2.9231
3.65/3.76 c bounds 2848 >= 1220 @ 2.92511
3.65/3.76 c bounds 2848 >= 1221 @ 2.92712
3.65/3.76 c bounds 2848 >= 1222 @ 2.92914
3.65/3.76 c bounds 2848 >= 1223 @ 2.93022
3.65/3.76 c bounds 2848 >= 1224 @ 2.93122
3.65/3.77 c bounds 2848 >= 1225 @ 2.93316
3.65/3.77 c bounds 2848 >= 1226 @ 2.93421
3.65/3.77 c bounds 2848 >= 1227 @ 2.93619
3.65/3.77 c bounds 2848 >= 1228 @ 2.93738
3.65/3.77 c bounds 2848 >= 1229 @ 2.9384
3.65/3.78 c bounds 2848 >= 1230 @ 2.94027
3.65/3.78 c bounds 2848 >= 1231 @ 2.94209
3.65/3.78 c bounds 2848 >= 1232 @ 2.94239
3.65/3.78 c bounds 2848 >= 1233 @ 2.94339
3.65/3.78 c bounds 2848 >= 1234 @ 2.94438
3.65/3.79 c bounds 2848 >= 1235 @ 2.94538
3.65/3.79 c bounds 2848 >= 1236 @ 2.94638
3.65/3.79 c bounds 2848 >= 1237 @ 2.94834
3.65/3.79 c bounds 2848 >= 1238 @ 2.94937
3.65/3.79 c bounds 2848 >= 1239 @ 2.95037
3.75/3.80 c bounds 2848 >= 1240 @ 2.95117
3.75/3.80 c bounds 2848 >= 1241 @ 2.95194
3.75/3.80 c bounds 2848 >= 1242 @ 2.95298
3.75/3.80 c bounds 2848 >= 1243 @ 2.95316
3.75/3.80 c bounds 2848 >= 1244 @ 2.95506
3.75/3.81 c bounds 2848 >= 1245 @ 2.95615
3.75/3.81 c bounds 2848 >= 1246 @ 2.95715
3.75/3.81 c bounds 2848 >= 1247 @ 2.95832
3.75/3.81 c bounds 2848 >= 1248 @ 2.95934
3.75/3.82 c bounds 2848 >= 1249 @ 2.96034
3.75/3.82 c bounds 2848 >= 1250 @ 2.96232
3.75/3.82 c bounds 2848 >= 1251 @ 2.96348
3.75/3.82 c bounds 2848 >= 1252 @ 2.96541
3.75/3.82 c bounds 2848 >= 1253 @ 2.96655
3.75/3.83 c bounds 2848 >= 1254 @ 2.96758
3.75/3.83 c bounds 2848 >= 1255 @ 2.96952
3.75/3.83 c bounds 2848 >= 1256 @ 2.97065
3.75/3.83 c bounds 2848 >= 1257 @ 2.9726
3.75/3.83 c bounds 2848 >= 1258 @ 2.97462
3.75/3.84 c bounds 2848 >= 1259 @ 2.97664
3.75/3.84 c bounds 2848 >= 1260 @ 2.9787
3.75/3.84 c bounds 2848 >= 1261 @ 2.9798
3.75/3.84 c bounds 2848 >= 1262 @ 2.98178
3.75/3.84 c bounds 2848 >= 1263 @ 2.98286
3.75/3.85 c bounds 2848 >= 1264 @ 2.98388
3.75/3.85 c bounds 2848 >= 1265 @ 2.98493
3.75/3.85 c bounds 2848 >= 1266 @ 2.98608
3.75/3.85 c bounds 2848 >= 1267 @ 2.98708
3.75/3.85 c bounds 2848 >= 1268 @ 2.98902
3.75/3.86 c bounds 2848 >= 1269 @ 2.99103
3.75/3.86 c bounds 2848 >= 1270 @ 2.99207
3.75/3.86 c bounds 2848 >= 1271 @ 2.99407
3.75/3.86 c bounds 2848 >= 1272 @ 2.99525
3.75/3.86 c bounds 2848 >= 1273 @ 2.99626
3.75/3.87 c bounds 2848 >= 1274 @ 2.99725
3.75/3.87 c bounds 2848 >= 1275 @ 2.99844
3.75/3.87 c bounds 2848 >= 1276 @ 3.00052
3.75/3.87 c bounds 2848 >= 1277 @ 3.00167
3.75/3.87 c bounds 2848 >= 1278 @ 3.00367
3.75/3.88 c bounds 2848 >= 1279 @ 3.00481
3.75/3.88 c bounds 2848 >= 1280 @ 3.00586
3.75/3.88 c bounds 2848 >= 1281 @ 3.00603
3.75/3.88 c bounds 2848 >= 1282 @ 3.00798
3.75/3.89 c bounds 2848 >= 1283 @ 3.01003
3.75/3.89 c bounds 2848 >= 1284 @ 3.01122
3.75/3.89 c bounds 2848 >= 1285 @ 3.01223
3.75/3.89 c bounds 2848 >= 1286 @ 3.01321
3.75/3.89 c bounds 2848 >= 1287 @ 3.01437
3.75/3.90 c bounds 2848 >= 1288 @ 3.01631
3.85/3.90 c bounds 2848 >= 1289 @ 3.01747
3.85/3.90 c bounds 2848 >= 1290 @ 3.01851
3.85/3.90 c bounds 2848 >= 1291 @ 3.02049
3.85/3.90 c bounds 2848 >= 1292 @ 3.02194
3.85/3.91 c bounds 2848 >= 1293 @ 3.02315
3.85/3.91 c bounds 2848 >= 1294 @ 3.02416
3.85/3.91 c bounds 2848 >= 1295 @ 3.02517
3.85/3.91 c bounds 2848 >= 1296 @ 3.02635
3.85/3.91 c bounds 2848 >= 1297 @ 3.02828
3.85/3.92 c bounds 2848 >= 1298 @ 3.02946
3.85/3.92 c bounds 2848 >= 1299 @ 3.03146
3.85/3.92 c bounds 2848 >= 1300 @ 3.03262
3.85/3.92 c bounds 2848 >= 1301 @ 3.03464
3.85/3.92 c bounds 2848 >= 1302 @ 3.03572
3.85/3.93 c bounds 2848 >= 1303 @ 3.03775
3.85/3.93 c bounds 2848 >= 1304 @ 3.03981
3.85/3.93 c bounds 2848 >= 1305 @ 3.04092
3.85/3.93 c bounds 2848 >= 1306 @ 3.0429
3.85/3.94 c bounds 2848 >= 1307 @ 3.04492
3.85/3.94 c bounds 2848 >= 1308 @ 3.04611
3.85/3.94 c bounds 2848 >= 1309 @ 3.04724
3.85/3.94 c bounds 2848 >= 1310 @ 3.04833
3.85/3.94 c bounds 2848 >= 1311 @ 3.04941
3.85/3.95 c bounds 2848 >= 1312 @ 3.05139
3.85/3.95 c bounds 2848 >= 1313 @ 3.05255
3.85/3.95 c bounds 2848 >= 1314 @ 3.05457
3.85/3.95 c bounds 2848 >= 1315 @ 3.05489
3.85/3.95 c bounds 2848 >= 1316 @ 3.05576
3.85/3.96 c bounds 2848 >= 1317 @ 3.05787
3.85/3.96 c bounds 2848 >= 1318 @ 3.05995
3.85/3.96 c bounds 2848 >= 1319 @ 3.06205
3.85/3.96 c bounds 2848 >= 1320 @ 3.06325
3.85/3.96 c bounds 2848 >= 1321 @ 3.06433
3.85/3.97 c bounds 2848 >= 1322 @ 3.06541
3.85/3.97 c bounds 2848 >= 1323 @ 3.0674
3.85/3.97 c bounds 2848 >= 1324 @ 3.06949
3.85/3.97 c bounds 2848 >= 1325 @ 3.07063
3.85/3.97 c bounds 2848 >= 1326 @ 3.0717
3.85/3.98 c bounds 2848 >= 1327 @ 3.07285
3.85/3.98 c bounds 2848 >= 1328 @ 3.07488
3.85/3.98 c bounds 2848 >= 1329 @ 3.07604
3.85/3.98 c bounds 2848 >= 1330 @ 3.07719
3.85/3.99 c bounds 2848 >= 1331 @ 3.07827
3.85/3.99 c bounds 2848 >= 1332 @ 3.08024
3.85/3.99 c bounds 2848 >= 1333 @ 3.08143
3.85/3.99 c bounds 2848 >= 1334 @ 3.08252
3.85/3.99 c bounds 2848 >= 1335 @ 3.08454
3.85/4.00 c bounds 2848 >= 1336 @ 3.08564
3.85/4.00 c bounds 2848 >= 1337 @ 3.08579
3.85/4.00 c bounds 2848 >= 1338 @ 3.08779
3.95/4.00 c bounds 2848 >= 1339 @ 3.08896
3.95/4.00 c bounds 2848 >= 1340 @ 3.08996
3.95/4.01 c bounds 2848 >= 1341 @ 3.09212
3.95/4.01 c bounds 2848 >= 1342 @ 3.09424
3.95/4.01 c bounds 2848 >= 1343 @ 3.09638
3.95/4.01 c bounds 2848 >= 1344 @ 3.0989
3.95/4.02 c bounds 2848 >= 1345 @ 3.10015
3.95/4.02 c bounds 2848 >= 1346 @ 3.10126
3.95/4.02 c bounds 2848 >= 1347 @ 3.10236
3.95/4.02 c bounds 2848 >= 1348 @ 3.10441
3.95/4.02 c bounds 2848 >= 1349 @ 3.10653
3.95/4.03 c bounds 2848 >= 1350 @ 3.10764
3.95/4.03 c bounds 2848 >= 1351 @ 3.10891
3.95/4.03 c bounds 2848 >= 1352 @ 3.10991
3.95/4.03 c bounds 2848 >= 1353 @ 3.1111
3.95/4.03 c bounds 2848 >= 1354 @ 3.11219
3.95/4.04 c bounds 2848 >= 1355 @ 3.1133
3.95/4.04 c bounds 2848 >= 1356 @ 3.1144
3.95/4.04 c bounds 2848 >= 1357 @ 3.11547
3.95/4.04 c bounds 2848 >= 1358 @ 3.11656
3.95/4.04 c bounds 2848 >= 1359 @ 3.11868
3.95/4.05 c bounds 2848 >= 1360 @ 3.11989
3.95/4.05 c bounds 2848 >= 1361 @ 3.12103
3.95/4.05 c bounds 2848 >= 1362 @ 3.12214
3.95/4.05 c bounds 2848 >= 1363 @ 3.12325
3.95/4.06 c bounds 2848 >= 1364 @ 3.12435
3.95/4.06 c bounds 2848 >= 1365 @ 3.1264
3.95/4.06 c bounds 2848 >= 1366 @ 3.12753
3.95/4.06 c bounds 2848 >= 1367 @ 3.12966
3.95/4.06 c bounds 2848 >= 1368 @ 3.13066
3.95/4.07 c bounds 2848 >= 1369 @ 3.13103
3.95/4.07 c bounds 2848 >= 1370 @ 3.13301
3.95/4.07 c bounds 2848 >= 1371 @ 3.13419
3.95/4.07 c bounds 2848 >= 1372 @ 3.13528
3.95/4.07 c bounds 2848 >= 1373 @ 3.13635
3.95/4.08 c bounds 2848 >= 1374 @ 3.13742
3.95/4.08 c bounds 2848 >= 1375 @ 3.13764
3.95/4.08 c bounds 2848 >= 1376 @ 3.13972
3.95/4.08 c bounds 2848 >= 1377 @ 3.14099
3.95/4.09 c bounds 2848 >= 1378 @ 3.14212
3.95/4.09 c bounds 2848 >= 1379 @ 3.14325
3.95/4.09 c bounds 2848 >= 1380 @ 3.14438
3.95/4.09 c bounds 2848 >= 1381 @ 3.14463
3.95/4.09 c bounds 2848 >= 1382 @ 3.14562
3.95/4.10 c bounds 2848 >= 1383 @ 3.14776
3.95/4.10 c bounds 2848 >= 1384 @ 3.1499
3.95/4.10 c bounds 2848 >= 1385 @ 3.15113
4.06/4.10 c bounds 2848 >= 1386 @ 3.15226
4.06/4.10 c bounds 2848 >= 1387 @ 3.15337
4.06/4.11 c bounds 2848 >= 1388 @ 3.15546
4.06/4.11 c bounds 2848 >= 1389 @ 3.1566
4.06/4.11 c bounds 2848 >= 1390 @ 3.15753
4.06/4.11 c bounds 2848 >= 1391 @ 3.15888
4.06/4.12 c bounds 2848 >= 1392 @ 3.16011
4.06/4.12 c bounds 2848 >= 1393 @ 3.16123
4.06/4.12 c bounds 2848 >= 1394 @ 3.16329
4.06/4.12 c bounds 2848 >= 1395 @ 3.16358
4.06/4.12 c bounds 2848 >= 1396 @ 3.16458
4.06/4.13 c bounds 2848 >= 1397 @ 3.16608
4.06/4.13 c bounds 2848 >= 1398 @ 3.16823
4.06/4.13 c bounds 2848 >= 1399 @ 3.17036
4.06/4.13 c bounds 2848 >= 1400 @ 3.17056
4.06/4.14 c bounds 2848 >= 1401 @ 3.17264
4.06/4.14 c bounds 2848 >= 1402 @ 3.17389
4.06/4.14 c bounds 2848 >= 1403 @ 3.175
4.06/4.14 c bounds 2848 >= 1404 @ 3.177
4.06/4.14 c bounds 2848 >= 1405 @ 3.17911
4.06/4.15 c bounds 2848 >= 1406 @ 3.18028
4.06/4.15 c bounds 2848 >= 1407 @ 3.18235
4.06/4.15 c bounds 2848 >= 1408 @ 3.18272
4.06/4.15 c bounds 2848 >= 1409 @ 3.18386
4.06/4.15 c bounds 2848 >= 1410 @ 3.18589
4.06/4.16 c bounds 2848 >= 1411 @ 3.18806
4.06/4.16 c bounds 2848 >= 1412 @ 3.18927
4.06/4.16 c bounds 2848 >= 1413 @ 3.18951
4.06/4.16 c bounds 2848 >= 1414 @ 3.19072
4.06/4.17 c bounds 2848 >= 1415 @ 3.1919
4.06/4.17 c bounds 2848 >= 1416 @ 3.19304
4.06/4.17 c bounds 2848 >= 1417 @ 3.19417
4.06/4.17 c bounds 2848 >= 1418 @ 3.19527
4.06/4.17 c bounds 2848 >= 1419 @ 3.1955
4.06/4.18 c bounds 2848 >= 1420 @ 3.19758
4.06/4.18 c bounds 2848 >= 1421 @ 3.19975
4.06/4.18 c bounds 2848 >= 1422 @ 3.20103
4.06/4.18 c bounds 2848 >= 1423 @ 3.2023
4.06/4.19 c bounds 2848 >= 1424 @ 3.20266
4.06/4.19 c bounds 2848 >= 1425 @ 3.20386
4.06/4.19 c bounds 2848 >= 1426 @ 3.20504
4.06/4.19 c bounds 2848 >= 1427 @ 3.20718
4.06/4.19 c bounds 2848 >= 1428 @ 3.20765
4.15/4.20 c bounds 2848 >= 1429 @ 3.20846
4.15/4.20 c bounds 2848 >= 1430 @ 3.20896
4.15/4.20 c bounds 2848 >= 1431 @ 3.21011
4.15/4.20 c bounds 2848 >= 1432 @ 3.21219
4.15/4.20 c bounds 2848 >= 1433 @ 3.21245
4.15/4.21 c bounds 2848 >= 1434 @ 3.21366
4.15/4.21 c bounds 2848 >= 1435 @ 3.2148
4.15/4.21 c bounds 2848 >= 1436 @ 3.21681
4.15/4.21 c bounds 2848 >= 1437 @ 3.21897
4.15/4.22 c bounds 2848 >= 1438 @ 3.22018
4.15/4.22 c bounds 2848 >= 1439 @ 3.22227
4.15/4.22 c bounds 2848 >= 1440 @ 3.22361
4.15/4.22 c bounds 2848 >= 1441 @ 3.22559
4.15/4.22 c bounds 2848 >= 1442 @ 3.22692
4.15/4.23 c bounds 2848 >= 1443 @ 3.22809
4.15/4.23 c bounds 2848 >= 1444 @ 3.23021
4.15/4.23 c bounds 2848 >= 1445 @ 3.2306
4.15/4.23 c bounds 2848 >= 1446 @ 3.23177
4.15/4.24 c bounds 2848 >= 1447 @ 3.23295
4.15/4.24 c bounds 2848 >= 1448 @ 3.23411
4.15/4.24 c bounds 2848 >= 1449 @ 3.23563
4.25/4.33 c bounds 2847 >= 1449 @ 3.32305
4.25/4.33 c bounds 2847 >= 1450 @ 3.32401
4.25/4.34 c bounds 2847 >= 1451 @ 3.32418
4.25/4.34 c bounds 2847 >= 1452 @ 3.32538
4.25/4.34 c bounds 2847 >= 1453 @ 3.32666
4.25/4.34 c bounds 2847 >= 1454 @ 3.32785
4.25/4.34 c bounds 2847 >= 1455 @ 3.32898
4.25/4.35 c bounds 2847 >= 1456 @ 3.33017
4.25/4.35 c bounds 2847 >= 1457 @ 3.33116
4.25/4.35 c bounds 2847 >= 1458 @ 3.33295
4.25/4.35 c bounds 2847 >= 1459 @ 3.33316
4.25/4.36 c bounds 2847 >= 1460 @ 3.33436
4.25/4.36 c bounds 2847 >= 1461 @ 3.33562
4.25/4.36 c bounds 2847 >= 1462 @ 3.3377
4.25/4.36 c bounds 2847 >= 1463 @ 3.33892
4.25/4.36 c bounds 2847 >= 1464 @ 3.33914
4.25/4.37 c bounds 2847 >= 1465 @ 3.34123
4.25/4.37 c bounds 2847 >= 1466 @ 3.34255
4.25/4.37 c bounds 2847 >= 1467 @ 3.34369
4.25/4.37 c bounds 2847 >= 1468 @ 3.34577
4.25/4.38 c bounds 2847 >= 1469 @ 3.34697
4.25/4.38 c bounds 2847 >= 1470 @ 3.34732
4.25/4.38 c bounds 2847 >= 1471 @ 3.34832
4.25/4.38 c bounds 2847 >= 1472 @ 3.3496
4.25/4.38 c bounds 2847 >= 1473 @ 3.35074
4.25/4.39 c bounds 2847 >= 1474 @ 3.35186
4.25/4.39 c bounds 2847 >= 1475 @ 3.35211
4.25/4.39 c bounds 2847 >= 1476 @ 3.35428
4.25/4.39 c bounds 2847 >= 1477 @ 3.35649
4.35/4.40 c bounds 2847 >= 1478 @ 3.3587
4.35/4.40 c bounds 2847 >= 1479 @ 3.36092
4.35/4.40 c bounds 2847 >= 1480 @ 3.36128
4.35/4.40 c bounds 2847 >= 1481 @ 3.36248
4.35/4.40 c bounds 2847 >= 1482 @ 3.36457
4.35/4.41 c bounds 2847 >= 1483 @ 3.36584
4.35/4.41 c bounds 2847 >= 1484 @ 3.36608
4.35/4.41 c bounds 2847 >= 1485 @ 3.36727
4.35/4.41 c bounds 2847 >= 1486 @ 3.36855
4.35/4.42 c bounds 2847 >= 1487 @ 3.36973
4.35/4.42 c bounds 2847 >= 1488 @ 3.37087
4.35/4.42 c bounds 2847 >= 1489 @ 3.37126
4.35/4.42 c bounds 2847 >= 1490 @ 3.37329
4.35/4.42 c bounds 2847 >= 1491 @ 3.3746
4.35/4.43 c bounds 2847 >= 1492 @ 3.37577
4.35/4.43 c bounds 2847 >= 1493 @ 3.37605
4.35/4.43 c bounds 2847 >= 1494 @ 3.37625
4.35/4.43 c bounds 2847 >= 1495 @ 3.37746
4.35/4.44 c bounds 2847 >= 1496 @ 3.37862
4.35/4.44 c bounds 2847 >= 1497 @ 3.37978
4.35/4.44 c bounds 2847 >= 1498 @ 3.38104
4.35/4.44 c bounds 2847 >= 1499 @ 3.38223
4.35/4.44 c bounds 2847 >= 1500 @ 3.38346
4.35/4.45 c bounds 2847 >= 1501 @ 3.38553
4.35/4.45 c bounds 2847 >= 1502 @ 3.38678
4.35/4.45 c bounds 2847 >= 1503 @ 3.38702
4.35/4.45 c bounds 2847 >= 1504 @ 3.38912
4.35/4.46 c bounds 2847 >= 1505 @ 3.39045
4.35/4.46 c bounds 2847 >= 1506 @ 3.39161
4.35/4.46 c bounds 2847 >= 1507 @ 3.39276
4.35/4.46 c bounds 2847 >= 1508 @ 3.3949
4.35/4.46 c bounds 2847 >= 1509 @ 3.396
4.35/4.47 c bounds 2847 >= 1510 @ 3.3968
4.35/4.47 c bounds 2847 >= 1511 @ 3.39804
4.35/4.47 c bounds 2847 >= 1512 @ 3.39942
4.35/4.47 c bounds 2847 >= 1513 @ 3.40062
4.35/4.48 c bounds 2847 >= 1514 @ 3.40183
4.35/4.48 c bounds 2847 >= 1515 @ 3.40218
4.35/4.48 c bounds 2847 >= 1516 @ 3.40341
4.35/4.48 c bounds 2847 >= 1517 @ 3.40552
4.35/4.48 c bounds 2847 >= 1518 @ 3.40778
4.35/4.49 c bounds 2847 >= 1519 @ 3.40817
4.35/4.49 c bounds 2847 >= 1520 @ 3.4094
4.35/4.49 c bounds 2847 >= 1521 @ 3.4106
4.35/4.49 c bounds 2847 >= 1522 @ 3.41097
4.45/4.50 c bounds 2847 >= 1523 @ 3.41217
4.45/4.50 c bounds 2847 >= 1524 @ 3.41338
4.45/4.50 c bounds 2847 >= 1525 @ 3.41549
4.45/4.50 c bounds 2847 >= 1526 @ 3.41771
4.45/4.51 c bounds 2847 >= 1527 @ 3.41912
4.45/4.51 c bounds 2847 >= 1528 @ 3.42117
4.45/4.51 c bounds 2847 >= 1529 @ 3.4234
4.45/4.51 c bounds 2847 >= 1530 @ 3.42562
4.45/4.51 c bounds 2847 >= 1531 @ 3.42592
4.45/4.52 c bounds 2847 >= 1532 @ 3.42711
4.45/4.52 c bounds 2847 >= 1533 @ 3.42843
4.45/4.52 c bounds 2847 >= 1534 @ 3.42963
4.45/4.52 c bounds 2847 >= 1535 @ 3.42991
4.45/4.53 c bounds 2847 >= 1536 @ 3.4311
4.45/4.53 c bounds 2847 >= 1537 @ 3.43326
4.45/4.53 c bounds 2847 >= 1538 @ 3.43456
4.45/4.53 c bounds 2847 >= 1539 @ 3.4349
4.45/4.53 c bounds 2847 >= 1540 @ 3.43509
4.45/4.54 c bounds 2847 >= 1541 @ 3.43627
4.45/4.54 c bounds 2847 >= 1542 @ 3.43751
4.45/4.54 c bounds 2847 >= 1543 @ 3.43969
4.45/4.54 c bounds 2847 >= 1544 @ 3.44008
4.45/4.55 c bounds 2847 >= 1545 @ 3.44135
4.45/4.55 c bounds 2847 >= 1546 @ 3.44257
4.45/4.55 c bounds 2847 >= 1547 @ 3.44477
4.45/4.55 c bounds 2847 >= 1548 @ 3.44704
4.45/4.55 c bounds 2847 >= 1549 @ 3.44841
4.45/4.56 c bounds 2847 >= 1550 @ 3.44963
4.45/4.56 c bounds 2847 >= 1551 @ 3.44986
4.45/4.56 c bounds 2847 >= 1552 @ 3.45126
4.45/4.56 c bounds 2847 >= 1553 @ 3.45247
4.45/4.57 c bounds 2847 >= 1554 @ 3.45367
4.45/4.57 c bounds 2847 >= 1555 @ 3.45506
4.45/4.57 c bounds 2847 >= 1556 @ 3.45718
4.45/4.57 c bounds 2847 >= 1557 @ 3.45944
4.45/4.57 c bounds 2847 >= 1558 @ 3.45984
4.45/4.58 c bounds 2847 >= 1559 @ 3.46094
4.45/4.58 c bounds 2847 >= 1560 @ 3.4632
4.45/4.58 c bounds 2847 >= 1561 @ 3.46454
4.45/4.58 c bounds 2847 >= 1562 @ 3.46527
4.45/4.59 c bounds 2847 >= 1563 @ 3.46648
4.45/4.59 c bounds 2847 >= 1564 @ 3.46866
4.45/4.59 c bounds 2847 >= 1565 @ 3.46991
4.45/4.59 c bounds 2847 >= 1566 @ 3.47216
4.55/4.60 c bounds 2847 >= 1567 @ 3.47349
4.55/4.60 c bounds 2847 >= 1568 @ 3.47465
4.55/4.60 c bounds 2847 >= 1569 @ 3.47589
4.55/4.60 c bounds 2847 >= 1570 @ 3.47725
4.55/4.60 c bounds 2847 >= 1571 @ 3.47844
4.55/4.61 c bounds 2847 >= 1572 @ 3.4806
4.55/4.61 c bounds 2847 >= 1573 @ 3.482
4.55/4.61 c bounds 2847 >= 1574 @ 3.48408
4.55/4.61 c bounds 2847 >= 1575 @ 3.48637
4.55/4.62 c bounds 2847 >= 1576 @ 3.48678
4.55/4.62 c bounds 2847 >= 1577 @ 3.48817
4.55/4.62 c bounds 2847 >= 1578 @ 3.48942
4.55/4.62 c bounds 2847 >= 1579 @ 3.48977
4.55/4.63 c bounds 2847 >= 1580 @ 3.49194
4.55/4.63 c bounds 2847 >= 1581 @ 3.49423
4.55/4.63 c bounds 2847 >= 1582 @ 3.49554
4.55/4.63 c bounds 2847 >= 1583 @ 3.49682
4.55/4.63 c bounds 2847 >= 1584 @ 3.49822
4.55/4.64 c bounds 2847 >= 1585 @ 3.49945
4.55/4.64 c bounds 2847 >= 1586 @ 3.49974
4.55/4.64 c bounds 2847 >= 1587 @ 3.50196
4.55/4.64 c bounds 2847 >= 1588 @ 3.50423
4.55/4.65 c bounds 2847 >= 1589 @ 3.50551
4.55/4.65 c bounds 2847 >= 1590 @ 3.50692
4.55/4.65 c bounds 2847 >= 1591 @ 3.50818
4.55/4.65 c bounds 2847 >= 1592 @ 3.5094
4.55/4.65 c bounds 2847 >= 1593 @ 3.5106
4.55/4.66 c bounds 2847 >= 1594 @ 3.51191
4.55/4.66 c bounds 2847 >= 1595 @ 3.51413
4.55/4.66 c bounds 2847 >= 1596 @ 3.51546
4.55/4.66 c bounds 2847 >= 1597 @ 3.51668
4.55/4.67 c bounds 2847 >= 1598 @ 3.51809
4.55/4.67 c bounds 2847 >= 1599 @ 3.5193
4.55/4.67 c bounds 2847 >= 1600 @ 3.52148
4.55/4.67 c bounds 2847 >= 1601 @ 3.5219
4.55/4.68 c bounds 2847 >= 1602 @ 3.52317
4.55/4.68 c bounds 2847 >= 1603 @ 3.52439
4.55/4.68 c bounds 2847 >= 1604 @ 3.52559
4.55/4.68 c bounds 2847 >= 1605 @ 3.52688
4.55/4.68 c bounds 2847 >= 1606 @ 3.52823
4.55/4.69 c bounds 2847 >= 1607 @ 3.52945
4.55/4.69 c bounds 2847 >= 1608 @ 3.52968
4.55/4.69 c bounds 2847 >= 1609 @ 3.53113
4.55/4.69 c bounds 2847 >= 1610 @ 3.53333
4.65/4.70 c bounds 2847 >= 1611 @ 3.53367
4.65/4.70 c bounds 2847 >= 1612 @ 3.53511
4.65/4.70 c bounds 2847 >= 1613 @ 3.53637
4.65/4.70 c bounds 2847 >= 1614 @ 3.53666
4.65/4.71 c bounds 2847 >= 1615 @ 3.53831
4.65/4.71 c bounds 2847 >= 1616 @ 3.53965
4.65/4.71 c bounds 2847 >= 1617 @ 3.54108
4.65/4.71 c bounds 2847 >= 1618 @ 3.54232
4.65/4.71 c bounds 2847 >= 1619 @ 3.54264
4.65/4.72 c bounds 2847 >= 1620 @ 3.54488
4.65/4.72 c bounds 2847 >= 1621 @ 3.54627
4.65/4.72 c bounds 2847 >= 1622 @ 3.54849
4.65/4.72 c bounds 2847 >= 1623 @ 3.54882
4.65/4.73 c bounds 2847 >= 1624 @ 3.55107
4.65/4.73 c bounds 2847 >= 1625 @ 3.55337
4.65/4.73 c bounds 2847 >= 1626 @ 3.55382
4.65/4.73 c bounds 2847 >= 1627 @ 3.5551
4.65/4.74 c bounds 2847 >= 1628 @ 3.55634
4.65/4.74 c bounds 2847 >= 1629 @ 3.55858
4.65/4.74 c bounds 2847 >= 1630 @ 3.56002
4.65/4.74 c bounds 2847 >= 1631 @ 3.56127
4.65/4.74 c bounds 2847 >= 1632 @ 3.5616
4.65/4.75 c bounds 2847 >= 1633 @ 3.5628
4.65/4.75 c bounds 2847 >= 1634 @ 3.56509
4.65/4.75 c bounds 2847 >= 1635 @ 3.5674
4.65/4.75 c bounds 2847 >= 1636 @ 3.56878
4.65/4.76 c bounds 2847 >= 1637 @ 3.5701
4.65/4.76 c bounds 2847 >= 1638 @ 3.57229
4.65/4.76 c bounds 2847 >= 1639 @ 3.57277
4.65/4.76 c bounds 2847 >= 1640 @ 3.57486
4.65/4.77 c bounds 2847 >= 1641 @ 3.57623
4.65/4.77 c bounds 2847 >= 1642 @ 3.57657
4.65/4.77 c bounds 2847 >= 1643 @ 3.57883
4.65/4.77 c bounds 2847 >= 1644 @ 3.58115
4.65/4.77 c bounds 2847 >= 1645 @ 3.58155
4.65/4.78 c bounds 2847 >= 1646 @ 3.58386
4.65/4.78 c bounds 2847 >= 1647 @ 3.58527
4.65/4.78 c bounds 2847 >= 1648 @ 3.58555
4.65/4.78 c bounds 2847 >= 1649 @ 3.58699
4.65/4.79 c bounds 2847 >= 1650 @ 3.58825
4.65/4.79 c bounds 2847 >= 1651 @ 3.58854
4.65/4.79 c bounds 2847 >= 1652 @ 3.59083
4.65/4.79 c bounds 2847 >= 1653 @ 3.59223
4.75/4.80 c bounds 2847 >= 1654 @ 3.59253
4.75/4.80 c bounds 2847 >= 1655 @ 3.59395
4.75/4.80 c bounds 2847 >= 1656 @ 3.5952
4.75/4.80 c bounds 2847 >= 1657 @ 3.59552
4.75/4.81 c bounds 2847 >= 1658 @ 3.59779
4.75/4.81 c bounds 2847 >= 1659 @ 3.59918
4.75/4.81 c bounds 2847 >= 1660 @ 3.59951
4.75/4.81 c bounds 2847 >= 1661 @ 3.60092
4.75/4.81 c bounds 2847 >= 1662 @ 3.60217
4.75/4.82 c bounds 2847 >= 1663 @ 3.60251
4.75/4.82 c bounds 2847 >= 1664 @ 3.60471
4.75/4.82 c bounds 2847 >= 1665 @ 3.60702
4.75/4.82 c bounds 2847 >= 1666 @ 3.60873
4.75/4.83 c bounds 2847 >= 1667 @ 3.61102
4.85/4.92 c bounds 2846 >= 1667 @ 3.69552
4.85/4.92 c bounds 2846 >= 1668 @ 3.69726
4.85/4.92 c bounds 2846 >= 1669 @ 3.69957
4.85/4.92 c bounds 2846 >= 1670 @ 3.70188
4.85/4.93 c bounds 2846 >= 1671 @ 3.70227
4.85/4.93 c bounds 2846 >= 1672 @ 3.7045
4.85/4.93 c bounds 2846 >= 1673 @ 3.7059
4.85/4.93 c bounds 2846 >= 1674 @ 3.70626
4.85/4.94 c bounds 2846 >= 1675 @ 3.70626
4.85/4.94 c bounds 2846 >= 1676 @ 3.70645
4.85/4.94 c bounds 2846 >= 1677 @ 3.70776
4.85/4.94 c bounds 2846 >= 1678 @ 3.70909
4.85/4.95 c bounds 2846 >= 1679 @ 3.70947
4.85/4.95 c bounds 2846 >= 1680 @ 3.71089
4.85/4.95 c bounds 2846 >= 1681 @ 3.71217
4.85/4.95 c bounds 2846 >= 1682 @ 3.71365
4.85/4.95 c bounds 2846 >= 1683 @ 3.71494
4.85/4.96 c bounds 2846 >= 1684 @ 3.71623
4.85/4.96 c bounds 2846 >= 1685 @ 3.71672
4.85/4.96 c bounds 2846 >= 1686 @ 3.718
4.85/4.96 c bounds 2846 >= 1687 @ 3.71943
4.85/4.97 c bounds 2846 >= 1688 @ 3.72077
4.85/4.97 c bounds 2846 >= 1689 @ 3.723
4.85/4.97 c bounds 2846 >= 1690 @ 3.72341
4.85/4.97 c bounds 2846 >= 1691 @ 3.72571
4.85/4.98 c bounds 2846 >= 1692 @ 3.72706
4.85/4.98 c bounds 2846 >= 1693 @ 3.7282
4.85/4.98 c bounds 2846 >= 1694 @ 3.72977
4.85/4.98 c bounds 2846 >= 1695 @ 3.73111
4.85/4.99 c bounds 2846 >= 1696 @ 3.73346
4.85/4.99 c bounds 2846 >= 1697 @ 3.73488
4.85/4.99 c bounds 2846 >= 1698 @ 3.73519
4.85/4.99 c bounds 2846 >= 1699 @ 3.73749
4.85/4.99 c bounds 2846 >= 1700 @ 3.73983
4.95/5.01 c bounds 2846 >= 1701 @ 3.74689
4.95/5.02 c bounds 2846 >= 1702 @ 3.7513
4.95/5.03 c bounds 2846 >= 1703 @ 3.76051
4.95/5.05 c bounds 2846 >= 1704 @ 3.77524
5.05/5.13 c #Conflicts: 1000 | #Constraints: 16430
5.05/5.13 c bounds 2846 >= 1705 @ 3.84618
5.54/5.63 c bounds 2845 >= 1705 @ 4.31413
5.54/5.64 c bounds 2845 >= 1706 @ 4.31882
5.54/5.65 c bounds 2845 >= 1707 @ 4.32732
5.54/5.67 c bounds 2845 >= 1708 @ 4.34391
10.33/10.44 c #Conflicts: 2000 | #Constraints: 17605
10.33/10.44 c INPROCESSING
10.33/10.44 c GARBAGE COLLECT
10.33/10.44 c #Conflicts: 3000 | #Constraints: 15850
10.33/10.44 c bounds 2845 >= 1709 @ 9.05821
10.74/10.89 c #Conflicts: 4000 | #Constraints: 16901
10.74/10.89 c INPROCESSING
10.74/10.89 c bounds 2844 >= 1709 @ 9.49133
10.84/10.90 c bounds 2844 >= 1710 @ 9.49382
10.84/10.91 c bounds 2844 >= 1711 @ 9.4966
10.84/10.93 c bounds 2844 >= 1712 @ 9.51429
10.84/11.00 c #Conflicts: 5000 | #Constraints: 16399
10.84/11.00 c bounds 2844 >= 1713 @ 9.56871
11.13/11.21 c bounds 2843 >= 1713 @ 9.76832
11.13/11.21 c bounds 2843 >= 1714 @ 9.77084
11.13/11.21 c bounds 2843 >= 1715 @ 9.77204
11.13/11.22 c bounds 2843 >= 1716 @ 9.7761
11.13/11.23 c bounds 2843 >= 1717 @ 9.78216
11.13/11.25 c bounds 2843 >= 1718 @ 9.7964
21.70/21.84 c #Conflicts: 6000 | #Constraints: 17547
21.70/21.84 c bounds 2843 >= 1719 @ 20.2954
21.81/21.90 c INPROCESSING
21.81/21.90 c GARBAGE COLLECT
21.81/21.90 c bounds 2842 >= 1719 @ 20.3477
21.81/21.95 c #Conflicts: 7000 | #Constraints: 16511
21.81/21.95 c bounds 2842 >= 1720 @ 20.3905
22.01/22.12 c bounds 2841 >= 1720 @ 20.5594
77.64/77.97 c #Conflicts: 8000 | #Constraints: 17560
77.64/77.97 c #Conflicts: 9000 | #Constraints: 18560
77.64/77.97 c INPROCESSING
77.64/77.97 c GARBAGE COLLECT
77.64/77.97 c bounds 2840 >= 1720 @ 76.0627
77.85/78.12 c bounds 2839 >= 1720 @ 76.1975
77.94/78.24 c bounds 2838 >= 1720 @ 76.3154
78.05/78.38 c bounds 2837 >= 1720 @ 76.4425
78.24/78.53 c bounds 2836 >= 1720 @ 76.5835
78.24/78.54 c bounds 2836 >= 1721 @ 76.5908
78.24/78.55 c bounds 2836 >= 1722 @ 76.5983
78.24/78.57 c bounds 2836 >= 1723 @ 76.6162
78.55/78.83 c bounds 2835 >= 1723 @ 76.8434
78.65/78.93 c #Conflicts: 10000 | #Constraints: 17313
78.65/78.93 c bounds 2835 >= 1724 @ 76.9314
78.75/79.09 c bounds 2834 >= 1724 @ 77.0779
78.85/79.10 c bounds 2834 >= 1725 @ 77.0867
78.85/79.11 c bounds 2834 >= 1726 @ 77.0915
78.85/79.13 c bounds 2834 >= 1727 @ 77.1045
78.85/79.17 c #Conflicts: 11000 | #Constraints: 18461
78.85/79.17 c bounds 2834 >= 1728 @ 77.1368
78.85/79.19 c bounds 2832 >= 1728 @ 77.1504
78.94/79.29 c bounds 2832 >= 1729 @ 77.2349
79.24/79.52 c #Conflicts: 12000 | #Constraints: 19549
79.24/79.52 c INPROCESSING
79.24/79.52 c GARBAGE COLLECT
79.24/79.52 c bounds 2831 >= 1729 @ 77.4437
79.54/79.81 c bounds 2830 >= 1729 @ 77.7259
79.54/79.82 c bounds 2830 >= 1730 @ 77.7327
79.54/79.82 c bounds 2830 >= 1731 @ 77.7384
79.54/79.84 c bounds 2830 >= 1732 @ 77.7482
79.64/79.90 c #Conflicts: 13000 | #Constraints: 17939
79.64/79.90 c bounds 2830 >= 1733 @ 77.7898
79.84/80.15 c #Conflicts: 14000 | #Constraints: 18981
79.84/80.15 c #Conflicts: 15000 | #Constraints: 19981
79.84/80.15 c INPROCESSING
79.84/80.15 c GARBAGE COLLECT
79.84/80.15 c bounds 2828 >= 1733 @ 78.0262
80.14/80.41 c bounds 2827 >= 1733 @ 78.2789
80.24/80.56 c bounds 2826 >= 1733 @ 78.4193
80.44/80.71 c bounds 2825 >= 1733 @ 78.5616
80.44/80.76 c bounds 2825 >= 1734 @ 78.6024
80.63/80.92 c bounds 2824 >= 1734 @ 78.7553
81.13/81.43 c #Conflicts: 16000 | #Constraints: 18182
81.13/81.43 c #Conflicts: 17000 | #Constraints: 19182
81.13/81.43 c #Conflicts: 18000 | #Constraints: 20182
81.13/81.43 c INPROCESSING
81.13/81.43 c GARBAGE COLLECT
81.13/81.43 c bounds 2823 >= 1734 @ 79.2452
81.33/81.60 c bounds 2822 >= 1734 @ 79.4096
81.43/81.76 c bounds 2821 >= 1734 @ 79.559
81.63/81.92 c bounds 2820 >= 1734 @ 79.7173
81.73/82.10 c bounds 2819 >= 1734 @ 79.8872
81.93/82.27 c bounds 2818 >= 1734 @ 80.056
81.93/82.29 c bounds 2818 >= 1735 @ 80.0665
82.03/82.30 c bounds 2818 >= 1736 @ 80.0778
82.03/82.33 c #Conflicts: 19000 | #Constraints: 18244
82.03/82.33 c bounds 2818 >= 1737 @ 80.1085
82.23/82.50 c bounds 2817 >= 1737 @ 80.2676
82.33/82.67 c #Conflicts: 20000 | #Constraints: 19284
82.33/82.67 c bounds 2817 >= 1738 @ 80.4211
82.52/82.87 c bounds 2816 >= 1738 @ 80.6132
82.92/83.25 c bounds 2815 >= 1738 @ 80.9806
82.92/83.26 c bounds 2815 >= 1739 @ 80.9856
82.92/83.27 c bounds 2815 >= 1740 @ 80.9925
83.03/83.30 c bounds 2815 >= 1741 @ 81.0184
83.03/83.39 c #Conflicts: 21000 | #Constraints: 20421
83.03/83.39 c bounds 2815 >= 1742 @ 81.1023
83.42/83.77 c bounds 2814 >= 1742 @ 81.4429
83.42/83.78 c bounds 2814 >= 1743 @ 81.4463
180.61/181.19 c INPROCESSING
180.61/181.19 c GARBAGE COLLECT
180.61/181.19 c #Conflicts: 22000 | #Constraints: 18146
180.61/181.19 c bounds 2814 >= 1744 @ 178.379
181.01/181.55 c #Conflicts: 23000 | #Constraints: 19218
181.01/181.55 c #Conflicts: 24000 | #Constraints: 20218
181.01/181.55 c #Conflicts: 25000 | #Constraints: 21218
181.01/181.55 c bounds 2814 >= 1745 @ 178.693
181.10/181.64 c bounds 2813 >= 1745 @ 178.779
181.20/181.75 c bounds 2812 >= 1745 @ 178.879
181.30/181.84 c bounds 2811 >= 1745 @ 178.968
181.40/182.00 c INPROCESSING
181.40/182.00 c GARBAGE COLLECT
181.40/182.00 c bounds 2810 >= 1745 @ 179.108
181.61/182.12 c bounds 2809 >= 1745 @ 179.221
181.80/182.32 c bounds 2808 >= 1745 @ 179.416
181.80/182.33 c bounds 2808 >= 1746 @ 179.419
181.80/182.33 c bounds 2808 >= 1747 @ 179.424
181.90/182.49 c bounds 2807 >= 1747 @ 179.57
182.00/182.51 c bounds 2807 >= 1748 @ 179.58
182.00/182.54 c #Conflicts: 26000 | #Constraints: 18831
182.00/182.54 c bounds 2807 >= 1749 @ 179.604
182.00/182.58 c bounds 2807 >= 1750 @ 179.627
182.20/182.72 c bounds 2806 >= 1750 @ 179.755
182.30/182.83 c #Conflicts: 27000 | #Constraints: 19961
182.30/182.83 c bounds 2806 >= 1751 @ 179.866
182.40/182.96 c bounds 2805 >= 1751 @ 179.986
182.60/183.12 c bounds 2804 >= 1751 @ 180.129
183.00/183.59 c #Conflicts: 28000 | #Constraints: 21020
183.00/183.59 c #Conflicts: 29000 | #Constraints: 22020
183.00/183.59 c INPROCESSING
183.00/183.59 c GARBAGE COLLECT
183.00/183.59 c bounds 2803 >= 1751 @ 180.576
183.69/184.23 c bounds 2802 >= 1751 @ 181.195
183.79/184.32 c #Conflicts: 30000 | #Constraints: 19358
183.79/184.32 c bounds 2802 >= 1752 @ 181.274
185.10/185.67 c #Conflicts: 31000 | #Constraints: 20403
185.10/185.67 c #Conflicts: 32000 | #Constraints: 21403
185.10/185.67 c #Conflicts: 33000 | #Constraints: 22403
185.10/185.67 c #Conflicts: 34000 | #Constraints: 23403
185.10/185.67 c #Conflicts: 35000 | #Constraints: 24403
185.10/185.67 c #Conflicts: 36000 | #Constraints: 25403
185.10/185.67 c bounds 2802 >= 1753 @ 182.565
194.08/194.61 c #Conflicts: 37000 | #Constraints: 26463
194.08/194.61 c #Conflicts: 38000 | #Constraints: 27463
194.08/194.61 c bounds 2801 >= 1753 @ 191.338
194.08/194.62 c bounds 2801 >= 1754 @ 191.344
194.08/194.63 c bounds 2801 >= 1755 @ 191.351
194.08/194.68 c #Conflicts: 39000 | #Constraints: 28518
194.08/194.68 c bounds 2801 >= 1756 @ 191.389
194.27/194.88 c #Conflicts: 40000 | #Constraints: 29557
194.27/194.88 c bounds 2801 >= 1757 @ 191.582
549.09/550.53 c #Conflicts: 41000 | #Constraints: 30593
549.09/550.53 c #Conflicts: 42000 | #Constraints: 31593
549.09/550.53 c INPROCESSING
549.09/550.53 c GARBAGE COLLECT
549.09/550.53 c rational objective 2022.3
551.69/553.17 c #Conflicts: 43000 | #Constraints: 23712
551.69/553.17 c bounds 2801 >= 1758 @ 548.569
553.08/554.58 c #Conflicts: 44000 | #Constraints: 24772
553.08/554.58 c #Conflicts: 45000 | #Constraints: 25772
553.08/554.58 c #Conflicts: 46000 | #Constraints: 26772
553.08/554.58 c #Conflicts: 47000 | #Constraints: 27772
553.08/554.58 c #Conflicts: 48000 | #Constraints: 28772
553.08/554.58 c INPROCESSING
553.08/554.58 c GARBAGE COLLECT
553.08/554.58 c #Conflicts: 49000 | #Constraints: 22774
553.08/554.58 c #Conflicts: 50000 | #Constraints: 23774
553.08/554.58 c bounds 2801 >= 1759 @ 549.897
554.98/556.44 c #Conflicts: 51000 | #Constraints: 24819
554.98/556.44 c #Conflicts: 52000 | #Constraints: 25819
554.98/556.44 c #Conflicts: 53000 | #Constraints: 26819
554.98/556.44 c INPROCESSING
554.98/556.44 c GARBAGE COLLECT
554.98/556.44 c #Conflicts: 54000 | #Constraints: 21659
554.98/556.44 c #Conflicts: 55000 | #Constraints: 22659
554.98/556.44 c #Conflicts: 56000 | #Constraints: 23659
554.98/556.44 c #Conflicts: 57000 | #Constraints: 24659
554.98/556.44 c #Conflicts: 58000 | #Constraints: 25659
554.98/556.44 c INPROCESSING
554.98/556.44 c GARBAGE COLLECT
554.98/556.44 c #Conflicts: 59000 | #Constraints: 20835
554.98/556.44 c #Conflicts: 60000 | #Constraints: 21835
554.98/556.44 c #Conflicts: 61000 | #Constraints: 22835
554.98/556.44 c bounds 2801 >= 1760 @ 551.657
555.38/556.80 c #Conflicts: 62000 | #Constraints: 23949
555.38/556.80 c #Conflicts: 63000 | #Constraints: 24949
555.38/556.80 c bounds 2801 >= 1761 @ 552.002
555.47/556.93 c #Conflicts: 64000 | #Constraints: 25997
555.47/556.93 c bounds 2801 >= 1762 @ 552.135
555.58/557.09 c INPROCESSING
555.58/557.09 c GARBAGE COLLECT
555.58/557.09 c #Conflicts: 65000 | #Constraints: 21228
555.58/557.09 c bounds 2801 >= 1763 @ 552.283
556.07/557.57 c #Conflicts: 66000 | #Constraints: 22297
556.07/557.57 c #Conflicts: 67000 | #Constraints: 23297
556.07/557.57 c #Conflicts: 68000 | #Constraints: 24297
556.07/557.57 c bounds 2801 >= 1764 @ 552.725
557.77/559.21 c #Conflicts: 69000 | #Constraints: 25363
557.77/559.21 c #Conflicts: 70000 | #Constraints: 26363
557.77/559.21 c #Conflicts: 71000 | #Constraints: 27363
557.77/559.21 c #Conflicts: 72000 | #Constraints: 28363
557.77/559.21 c #Conflicts: 73000 | #Constraints: 29363
557.77/559.21 c bounds 2801 >= 1765 @ 554.315
561.07/562.58 c #Conflicts: 74000 | #Constraints: 30414
561.07/562.58 c #Conflicts: 75000 | #Constraints: 31414
561.07/562.58 c #Conflicts: 76000 | #Constraints: 32414
561.07/562.58 c #Conflicts: 77000 | #Constraints: 33414
561.07/562.58 c #Conflicts: 78000 | #Constraints: 34414
561.07/562.58 c #Conflicts: 79000 | #Constraints: 35414
561.07/562.58 c bounds 2801 >= 1766 @ 557.58
954.69/957.05 c #Conflicts: 80000 | #Constraints: 36462
954.69/957.05 c #Conflicts: 81000 | #Constraints: 37462
954.69/957.05 c #Conflicts: 82000 | #Constraints: 38462
954.69/957.05 c #Conflicts: 83000 | #Constraints: 39462
954.69/957.05 c #Conflicts: 84000 | #Constraints: 40462
954.69/957.05 c INPROCESSING
954.69/957.05 c GARBAGE COLLECT
954.69/957.05 c #Conflicts: 85000 | #Constraints: 28387
954.69/957.05 c #Conflicts: 86000 | #Constraints: 29387
954.69/957.05 c #Conflicts: 87000 | #Constraints: 30387
954.69/957.05 c #Conflicts: 88000 | #Constraints: 31387
954.69/957.05 c #Conflicts: 89000 | #Constraints: 32387
954.69/957.05 c #Conflicts: 90000 | #Constraints: 33387
954.69/957.05 c bounds 2800 >= 1766 @ 950.513
954.88/957.27 c bounds 2799 >= 1766 @ 950.727
955.09/957.48 c bounds 2798 >= 1766 @ 950.929
955.38/957.71 c bounds 2797 >= 1766 @ 951.146
957.38/959.77 c #Conflicts: 91000 | #Constraints: 34391
957.38/959.77 c INPROCESSING
957.38/959.77 c GARBAGE COLLECT
957.38/959.77 c bounds 2796 >= 1766 @ 953.185
957.88/960.30 c #Conflicts: 92000 | #Constraints: 25273
957.88/960.30 c bounds 2795 >= 1766 @ 953.711
957.98/960.30 c bounds 2795 >= 1767 @ 953.717
958.68/961.04 c #Conflicts: 93000 | #Constraints: 26307
958.68/961.04 c #Conflicts: 94000 | #Constraints: 27307
958.68/961.04 c #Conflicts: 95000 | #Constraints: 28307
958.68/961.04 c #Conflicts: 96000 | #Constraints: 29307
958.68/961.04 c bounds 2795 >= 1768 @ 954.434
962.97/965.32 c #Conflicts: 97000 | #Constraints: 30424
962.97/965.32 c #Conflicts: 98000 | #Constraints: 31424
962.97/965.32 c #Conflicts: 99000 | #Constraints: 32424
962.97/965.32 c INPROCESSING
962.97/965.32 c GARBAGE COLLECT
962.97/965.32 c bounds 2795 >= 1769 @ 958.688
962.97/965.32 c bounds 2795 >= 1770 @ 958.691
962.97/965.33 c bounds 2795 >= 1771 @ 958.698
962.97/965.38 c bounds 2795 >= 1772 @ 958.738
963.17/965.58 c #Conflicts: 100000 | #Constraints: 24905
963.17/965.58 c #Conflicts: 101000 | #Constraints: 25905
963.17/965.58 c bounds 2795 >= 1773 @ 958.927
964.06/966.42 c #Conflicts: 102000 | #Constraints: 26953
964.06/966.42 c #Conflicts: 103000 | #Constraints: 27953
964.06/966.42 c #Conflicts: 104000 | #Constraints: 28953
964.06/966.42 c #Conflicts: 105000 | #Constraints: 29953
964.06/966.42 c bounds 2795 >= 1774 @ 959.72
1537.91/1541.66 c #Conflicts: 106000 | #Constraints: 30989
1537.91/1541.66 c INPROCESSING
1537.91/1541.66 c GARBAGE COLLECT
1537.91/1541.66 c rational objective 2022.36
1541.70/1545.47 c #Conflicts: 107000 | #Constraints: 23938
1541.70/1545.47 c #Conflicts: 108000 | #Constraints: 24938
1541.70/1545.47 c #Conflicts: 109000 | #Constraints: 25938
1541.70/1545.47 c #Conflicts: 110000 | #Constraints: 26938
1541.70/1545.47 c #Conflicts: 111000 | #Constraints: 27938
1541.70/1545.47 c #Conflicts: 112000 | #Constraints: 28938
1541.70/1545.47 c bounds 2795 >= 1775 @ 1536.8
1550.08/1553.86 c #Conflicts: 113000 | #Constraints: 30016
1550.08/1553.86 c #Conflicts: 114000 | #Constraints: 31016
1550.08/1553.86 c #Conflicts: 115000 | #Constraints: 32016
1550.08/1553.86 c #Conflicts: 116000 | #Constraints: 33016
1550.08/1553.86 c #Conflicts: 117000 | #Constraints: 34016
1550.08/1553.86 c #Conflicts: 118000 | #Constraints: 35016
1550.08/1553.86 c #Conflicts: 119000 | #Constraints: 36016
1550.08/1553.86 c #Conflicts: 120000 | #Constraints: 37016
1550.08/1553.86 c #Conflicts: 121000 | #Constraints: 38016
1550.08/1553.86 c #Conflicts: 122000 | #Constraints: 39016
1550.08/1553.86 c #Conflicts: 123000 | #Constraints: 40016
1550.08/1553.86 c #Conflicts: 124000 | #Constraints: 41016
1550.08/1553.86 c #Conflicts: 125000 | #Constraints: 42016
1550.08/1553.86 c #Conflicts: 126000 | #Constraints: 43016
1550.08/1553.86 c #Conflicts: 127000 | #Constraints: 44016
1550.08/1553.86 c #Conflicts: 128000 | #Constraints: 45016
1550.08/1553.86 c #Conflicts: 129000 | #Constraints: 46016
1550.08/1553.86 c bounds 2795 >= 1776 @ 1545
1550.08/1553.89 c bounds 2791 >= 1776 @ 1545.02
1550.28/1554.08 c bounds 2790 >= 1776 @ 1545.2
1550.47/1554.25 c bounds 2789 >= 1776 @ 1545.36
1550.68/1554.42 c bounds 2788 >= 1776 @ 1545.52
1550.78/1554.59 c bounds 2787 >= 1776 @ 1545.69
1551.07/1554.81 c bounds 2786 >= 1776 @ 1545.9
1551.38/1555.15 c bounds 2785 >= 1776 @ 1546.23
1551.77/1555.53 c #Conflicts: 130000 | #Constraints: 47110
1551.77/1555.53 c bounds 2784 >= 1776 @ 1546.6
1552.07/1555.86 c bounds 2783 >= 1776 @ 1546.93
1552.28/1556.10 c bounds 2782 >= 1776 @ 1547.15
1552.67/1556.47 c bounds 2781 >= 1776 @ 1547.5
1553.17/1556.93 c bounds 2780 >= 1776 @ 1547.95
1553.47/1557.26 c #Conflicts: 131000 | #Constraints: 48115
1553.47/1557.26 c bounds 2779 >= 1776 @ 1548.27
1553.76/1557.54 c bounds 2778 >= 1776 @ 1548.55
1554.46/1558.27 c bounds 2777 >= 1776 @ 1549.26
1554.97/1558.73 c bounds 2776 >= 1776 @ 1549.7
1555.86/1559.61 c #Conflicts: 132000 | #Constraints: 49119
1555.86/1559.61 c INPROCESSING
1555.86/1559.61 c GARBAGE COLLECT
1555.86/1559.61 c bounds 2775 >= 1776 @ 1550.55
1556.46/1560.28 c bounds 2774 >= 1776 @ 1551.2
1557.96/1561.71 c #Conflicts: 133000 | #Constraints: 33164
1557.96/1561.71 c bounds 2773 >= 1776 @ 1552.61
1558.27/1562.05 c bounds 2772 >= 1776 @ 1552.94
1558.86/1562.64 c bounds 2771 >= 1776 @ 1553.52
1559.16/1562.96 c bounds 2770 >= 1776 @ 1553.82
1559.56/1563.34 c #Conflicts: 134000 | #Constraints: 34168
1559.56/1563.34 c bounds 2769 >= 1776 @ 1554.19
1559.96/1563.70 c bounds 2768 >= 1776 @ 1554.54
1560.36/1564.11 c bounds 2767 >= 1776 @ 1554.94
1560.75/1564.53 c bounds 2766 >= 1776 @ 1555.34
1561.26/1565.06 c #Conflicts: 135000 | #Constraints: 35172
1561.26/1565.06 c bounds 2765 >= 1776 @ 1555.86
1561.65/1565.43 c bounds 2764 >= 1776 @ 1556.21
1562.35/1566.12 c bounds 2763 >= 1776 @ 1556.89
1563.14/1566.99 c #Conflicts: 136000 | #Constraints: 36175
1563.14/1566.99 c bounds 2762 >= 1776 @ 1557.64
1563.74/1567.55 c bounds 2761 >= 1776 @ 1558.17
1564.25/1568.03 c bounds 2760 >= 1776 @ 1558.64
1565.14/1568.98 c #Conflicts: 137000 | #Constraints: 37178
1565.14/1568.98 c bounds 2759 >= 1776 @ 1559.55
1566.53/1570.34 c bounds 2758 >= 1776 @ 1560.86
1567.93/1571.73 c #Conflicts: 138000 | #Constraints: 38180
1567.93/1571.73 c bounds 2757 >= 1776 @ 1562.22
1568.93/1572.74 c bounds 2756 >= 1776 @ 1563.2
1574.82/1578.68 c #Conflicts: 139000 | #Constraints: 39182
1574.82/1578.68 c #Conflicts: 140000 | #Constraints: 40182
1574.82/1578.68 c bounds 2755 >= 1776 @ 1569.06
1574.92/1578.73 c bounds 2755 >= 1777 @ 1569.1
1575.02/1578.81 c bounds 2755 >= 1778 @ 1569.18
1575.42/1579.28 c INPROCESSING
1575.42/1579.28 c GARBAGE COLLECT
1575.42/1579.28 c bounds 2755 >= 1779 @ 1569.64
1575.52/1579.31 c #Conflicts: 141000 | #Constraints: 28438
1575.52/1579.31 c bounds 2755 >= 1780 @ 1569.67
1575.52/1579.34 c bounds 2755 >= 1781 @ 1569.7
1575.72/1579.51 c #Conflicts: 142000 | #Constraints: 29534
1575.72/1579.51 c #Conflicts: 143000 | #Constraints: 30534
1575.72/1579.51 c bounds 2755 >= 1782 @ 1569.86
1577.12/1580.96 c #Conflicts: 144000 | #Constraints: 31582
1577.12/1580.96 c #Conflicts: 145000 | #Constraints: 32582
1577.12/1580.96 c #Conflicts: 146000 | #Constraints: 33582
1577.12/1580.96 c #Conflicts: 147000 | #Constraints: 34582
1577.12/1580.96 c #Conflicts: 148000 | #Constraints: 35582
1577.12/1580.96 c #Conflicts: 149000 | #Constraints: 36582
1577.12/1580.96 c bounds 2755 >= 1783 @ 1571.26
1581.80/1585.62 c INPROCESSING
1581.80/1585.62 c GARBAGE COLLECT
1581.80/1585.62 c #Conflicts: 150000 | #Constraints: 26742
1581.80/1585.62 c #Conflicts: 151000 | #Constraints: 27742
1581.80/1585.62 c #Conflicts: 152000 | #Constraints: 28742
1581.80/1585.62 c #Conflicts: 153000 | #Constraints: 29742
1581.80/1585.62 c #Conflicts: 154000 | #Constraints: 30742
1581.80/1585.62 c #Conflicts: 155000 | #Constraints: 31742
1581.80/1585.62 c #Conflicts: 156000 | #Constraints: 32742
1581.80/1585.62 c #Conflicts: 157000 | #Constraints: 33742
1581.80/1585.62 c #Conflicts: 158000 | #Constraints: 34742
1581.80/1585.62 c INPROCESSING
1581.80/1585.62 c GARBAGE COLLECT
1581.80/1585.62 c #Conflicts: 159000 | #Constraints: 25752
1581.80/1585.62 c #Conflicts: 160000 | #Constraints: 26752
1581.80/1585.62 c #Conflicts: 161000 | #Constraints: 27752
1581.80/1585.62 c #Conflicts: 162000 | #Constraints: 28752
1581.80/1585.62 c #Conflicts: 163000 | #Constraints: 29752
1581.80/1585.62 c #Conflicts: 164000 | #Constraints: 30752
1581.80/1585.62 c #Conflicts: 165000 | #Constraints: 31752
1581.80/1585.62 c #Conflicts: 166000 | #Constraints: 32752
1581.80/1585.62 c #Conflicts: 167000 | #Constraints: 33752
1581.80/1585.62 c #Conflicts: 168000 | #Constraints: 34752
1581.80/1585.62 c bounds 2755 >= 1784 @ 1575.74
1607.24/1611.10 c #Conflicts: 169000 | #Constraints: 35827
1607.24/1611.10 c #Conflicts: 170000 | #Constraints: 36827
1607.24/1611.10 c #Conflicts: 171000 | #Constraints: 37827
1607.24/1611.10 c #Conflicts: 172000 | #Constraints: 38827
1607.24/1611.10 c #Conflicts: 173000 | #Constraints: 39827
1607.24/1611.10 c #Conflicts: 174000 | #Constraints: 40827
1607.24/1611.10 c #Conflicts: 175000 | #Constraints: 41827
1607.24/1611.10 c #Conflicts: 176000 | #Constraints: 42827
1607.24/1611.10 c #Conflicts: 177000 | #Constraints: 43827
1607.24/1611.10 c #Conflicts: 178000 | #Constraints: 44827
1607.24/1611.10 c #Conflicts: 179000 | #Constraints: 45827
1607.24/1611.10 c #Conflicts: 180000 | #Constraints: 46827
1607.24/1611.10 c #Conflicts: 181000 | #Constraints: 47827
1607.24/1611.10 c #Conflicts: 182000 | #Constraints: 48827
1607.24/1611.10 c #Conflicts: 183000 | #Constraints: 49827
1607.24/1611.10 c #Conflicts: 184000 | #Constraints: 50827
1607.24/1611.10 c #Conflicts: 185000 | #Constraints: 51827
1607.24/1611.10 c #Conflicts: 186000 | #Constraints: 52827
1607.24/1611.10 c #Conflicts: 187000 | #Constraints: 53827
1607.24/1611.10 c #Conflicts: 188000 | #Constraints: 54827
1607.24/1611.10 c #Conflicts: 189000 | #Constraints: 55827
1607.24/1611.10 c INPROCESSING
1607.24/1611.10 c GARBAGE COLLECT
1607.24/1611.10 c #Conflicts: 190000 | #Constraints: 36384
1607.24/1611.10 c #Conflicts: 191000 | #Constraints: 37384
1607.24/1611.10 c #Conflicts: 192000 | #Constraints: 38384
1607.24/1611.10 c #Conflicts: 193000 | #Constraints: 39384
1607.24/1611.10 c bounds 2754 >= 1784 @ 1600.9
1607.24/1611.12 c bounds 2754 >= 1785 @ 1600.92
1607.24/1611.15 c bounds 2754 >= 1786 @ 1600.94
1607.24/1611.19 c bounds 2754 >= 1787 @ 1600.97
1607.44/1611.30 c #Conflicts: 194000 | #Constraints: 40499
1607.44/1611.30 c bounds 2754 >= 1788 @ 1601.08
1607.83/1611.74 c #Conflicts: 195000 | #Constraints: 41538
1607.83/1611.74 c bounds 2754 >= 1789 @ 1601.52
1609.33/1613.21 c #Conflicts: 196000 | #Constraints: 42598
1609.33/1613.21 c #Conflicts: 197000 | #Constraints: 43598
1609.33/1613.21 c #Conflicts: 198000 | #Constraints: 44598
1609.33/1613.21 c #Conflicts: 199000 | #Constraints: 45598
1609.33/1613.21 c bounds 2754 >= 1790 @ 1602.96
1611.53/1615.47 c #Conflicts: 200000 | #Constraints: 46640
1611.53/1615.47 c INPROCESSING
1611.53/1615.47 c GARBAGE COLLECT
1611.53/1615.47 c #Conflicts: 201000 | #Constraints: 32121
1611.53/1615.47 c #Conflicts: 202000 | #Constraints: 33121
1611.53/1615.47 c #Conflicts: 203000 | #Constraints: 34121
1611.53/1615.47 c #Conflicts: 204000 | #Constraints: 35121
1611.53/1615.47 c #Conflicts: 205000 | #Constraints: 36121
1611.53/1615.47 c #Conflicts: 206000 | #Constraints: 37121
1611.53/1615.47 c #Conflicts: 207000 | #Constraints: 38121
1611.53/1615.47 c bounds 2754 >= 1791 @ 1605.19
2149.80/2154.97 c #Conflicts: 208000 | #Constraints: 39193
2149.80/2154.97 c #Conflicts: 209000 | #Constraints: 40193
2149.80/2154.97 c #Conflicts: 210000 | #Constraints: 41193
2149.80/2154.97 c INPROCESSING
2149.80/2154.97 c GARBAGE COLLECT
2149.80/2154.97 c #Conflicts: 211000 | #Constraints: 29129
2149.80/2154.97 c #Conflicts: 212000 | #Constraints: 30129
2149.80/2154.97 c #Conflicts: 213000 | #Constraints: 31129
2149.80/2154.97 c #Conflicts: 214000 | #Constraints: 32129
2149.80/2154.97 c #Conflicts: 215000 | #Constraints: 33129
2149.80/2154.97 c #Conflicts: 216000 | #Constraints: 34129
2149.80/2154.97 c #Conflicts: 217000 | #Constraints: 35129
2149.80/2154.97 c #Conflicts: 218000 | #Constraints: 36129
2149.80/2154.97 c #Conflicts: 219000 | #Constraints: 37129
2149.80/2154.97 c #Conflicts: 220000 | #Constraints: 38129
2149.80/2154.97 c #Conflicts: 221000 | #Constraints: 39129
2149.80/2154.97 c INPROCESSING
2149.80/2154.97 c GARBAGE COLLECT
2149.80/2154.97 c #Conflicts: 222000 | #Constraints: 28200
2149.80/2154.97 c #Conflicts: 223000 | #Constraints: 29200
2149.80/2154.97 c #Conflicts: 224000 | #Constraints: 30200
2149.80/2154.97 c #Conflicts: 225000 | #Constraints: 31200
2149.80/2154.97 c #Conflicts: 226000 | #Constraints: 32200
2149.80/2154.97 c #Conflicts: 227000 | #Constraints: 33200
2149.80/2154.97 c #Conflicts: 228000 | #Constraints: 34200
2149.80/2154.97 c #Conflicts: 229000 | #Constraints: 35200
2149.80/2154.97 c #Conflicts: 230000 | #Constraints: 36200
2149.80/2154.97 c #Conflicts: 231000 | #Constraints: 37200
2149.80/2154.97 c #Conflicts: 232000 | #Constraints: 38200
2149.80/2154.97 c bounds 2753 >= 1791 @ 2141.74
2150.51/2155.68 c #Conflicts: 233000 | #Constraints: 39201
2150.51/2155.68 c #Conflicts: 234000 | #Constraints: 40201
2150.51/2155.68 c bounds 2753 >= 1792 @ 2142.41
2152.30/2157.47 c #Conflicts: 235000 | #Constraints: 41273
2152.30/2157.47 c #Conflicts: 236000 | #Constraints: 42273
2152.30/2157.47 c #Conflicts: 237000 | #Constraints: 43273
2152.30/2157.47 c #Conflicts: 238000 | #Constraints: 44273
2152.30/2157.47 c #Conflicts: 239000 | #Constraints: 45273
2152.30/2157.47 c bounds 2753 >= 1793 @ 2144.15
2161.18/2166.35 c #Conflicts: 240000 | #Constraints: 46309
2161.18/2166.35 c #Conflicts: 241000 | #Constraints: 47309
2161.18/2166.35 c #Conflicts: 242000 | #Constraints: 48309
2161.18/2166.35 c #Conflicts: 243000 | #Constraints: 49309
2161.18/2166.35 c #Conflicts: 244000 | #Constraints: 50309
2161.18/2166.35 c #Conflicts: 245000 | #Constraints: 51309
2161.18/2166.35 c #Conflicts: 246000 | #Constraints: 52309
2161.18/2166.35 c #Conflicts: 247000 | #Constraints: 53309
2161.18/2166.35 c #Conflicts: 248000 | #Constraints: 54309
2161.18/2166.35 c #Conflicts: 249000 | #Constraints: 55309
2161.18/2166.35 c #Conflicts: 250000 | #Constraints: 56309
2161.18/2166.35 c #Conflicts: 251000 | #Constraints: 57309
2161.18/2166.35 c #Conflicts: 252000 | #Constraints: 58309
2161.18/2166.35 c #Conflicts: 253000 | #Constraints: 59309
2161.18/2166.35 c #Conflicts: 254000 | #Constraints: 60309
2161.18/2166.35 c #Conflicts: 255000 | #Constraints: 61309
2161.18/2166.35 c bounds 2753 >= 1794 @ 2152.87
2183.12/2188.33 c #Conflicts: 256000 | #Constraints: 62372
2183.12/2188.33 c #Conflicts: 257000 | #Constraints: 63372
2183.12/2188.33 c INPROCESSING
2183.12/2188.33 c GARBAGE COLLECT
2183.12/2188.33 c #Conflicts: 258000 | #Constraints: 40268
2183.12/2188.33 c #Conflicts: 259000 | #Constraints: 41268
2183.12/2188.33 c #Conflicts: 260000 | #Constraints: 42268
2183.12/2188.33 c #Conflicts: 261000 | #Constraints: 43268
2183.12/2188.33 c #Conflicts: 262000 | #Constraints: 44268
2183.12/2188.33 c #Conflicts: 263000 | #Constraints: 45268
2183.12/2188.33 c #Conflicts: 264000 | #Constraints: 46268
2183.12/2188.33 c #Conflicts: 265000 | #Constraints: 47268
2183.12/2188.33 c #Conflicts: 266000 | #Constraints: 48268
2183.12/2188.33 c #Conflicts: 267000 | #Constraints: 49268
2183.12/2188.33 c #Conflicts: 268000 | #Constraints: 50268
2183.12/2188.33 c #Conflicts: 269000 | #Constraints: 51268
2183.12/2188.33 c INPROCESSING
2183.12/2188.33 c GARBAGE COLLECT
2183.12/2188.33 c #Conflicts: 270000 | #Constraints: 34179
2183.12/2188.33 c #Conflicts: 271000 | #Constraints: 35179
2183.12/2188.33 c #Conflicts: 272000 | #Constraints: 36179
2183.12/2188.33 c #Conflicts: 273000 | #Constraints: 37179
2183.12/2188.33 c #Conflicts: 274000 | #Constraints: 38179
2183.12/2188.33 c #Conflicts: 275000 | #Constraints: 39179
2183.12/2188.33 c #Conflicts: 276000 | #Constraints: 40179
2183.12/2188.33 c #Conflicts: 277000 | #Constraints: 41179
2183.12/2188.33 c #Conflicts: 278000 | #Constraints: 42179
2183.12/2188.33 c #Conflicts: 279000 | #Constraints: 43179
2183.12/2188.33 c #Conflicts: 280000 | #Constraints: 44179
2183.12/2188.33 c #Conflicts: 281000 | #Constraints: 45179
2183.12/2188.33 c #Conflicts: 282000 | #Constraints: 46179
2183.12/2188.33 c INPROCESSING
2183.12/2188.33 c GARBAGE COLLECT
2183.12/2188.33 c #Conflicts: 283000 | #Constraints: 31983
2183.12/2188.33 c #Conflicts: 284000 | #Constraints: 32983
2183.12/2188.33 c #Conflicts: 285000 | #Constraints: 33983
2183.12/2188.33 c #Conflicts: 286000 | #Constraints: 34983
2183.12/2188.33 c #Conflicts: 287000 | #Constraints: 35983
2183.12/2188.33 c #Conflicts: 288000 | #Constraints: 36983
2183.12/2188.33 c #Conflicts: 289000 | #Constraints: 37983
2183.12/2188.33 c #Conflicts: 290000 | #Constraints: 38983
2183.12/2188.33 c #Conflicts: 291000 | #Constraints: 39983
2183.12/2188.33 c #Conflicts: 292000 | #Constraints: 40983
2183.12/2188.33 c #Conflicts: 293000 | #Constraints: 41983
2183.12/2188.33 c #Conflicts: 294000 | #Constraints: 42983
2183.12/2188.33 c INPROCESSING
2183.12/2188.33 c GARBAGE COLLECT
2183.12/2188.33 c #Conflicts: 295000 | #Constraints: 30132
2183.12/2188.33 c #Conflicts: 296000 | #Constraints: 31132
2183.12/2188.33 c #Conflicts: 297000 | #Constraints: 32132
2183.12/2188.33 c #Conflicts: 298000 | #Constraints: 33132
2183.12/2188.33 c #Conflicts: 299000 | #Constraints: 34132
2183.12/2188.33 c #Conflicts: 300000 | #Constraints: 35132
2183.12/2188.33 c #Conflicts: 301000 | #Constraints: 36132
2183.12/2188.33 c #Conflicts: 302000 | #Constraints: 37132
2183.12/2188.33 c #Conflicts: 303000 | #Constraints: 38132
2183.12/2188.33 c #Conflicts: 304000 | #Constraints: 39132
2183.12/2188.33 c #Conflicts: 305000 | #Constraints: 40132
2183.12/2188.33 c #Conflicts: 306000 | #Constraints: 41132
2183.12/2188.33 c #Conflicts: 307000 | #Constraints: 42132
2183.12/2188.33 c #Conflicts: 308000 | #Constraints: 43132
2183.12/2188.33 c #Conflicts: 309000 | #Constraints: 44132
2183.12/2188.33 c #Conflicts: 310000 | #Constraints: 45132
2183.12/2188.33 c bounds 2753 >= 1795 @ 2174.29
2216.03/2221.30 c #Conflicts: 311000 | #Constraints: 46201
2216.03/2221.30 c #Conflicts: 312000 | #Constraints: 47201
2216.03/2221.30 c #Conflicts: 313000 | #Constraints: 48201
2216.03/2221.30 c #Conflicts: 314000 | #Constraints: 49201
2216.03/2221.30 c #Conflicts: 315000 | #Constraints: 50201
2216.03/2221.30 c #Conflicts: 316000 | #Constraints: 51201
2216.03/2221.30 c #Conflicts: 317000 | #Constraints: 52201
2216.03/2221.30 c #Conflicts: 318000 | #Constraints: 53201
2216.03/2221.30 c #Conflicts: 319000 | #Constraints: 54201
2216.03/2221.30 c #Conflicts: 320000 | #Constraints: 55201
2216.03/2221.30 c #Conflicts: 321000 | #Constraints: 56201
2216.03/2221.30 c #Conflicts: 322000 | #Constraints: 57201
2216.03/2221.30 c #Conflicts: 323000 | #Constraints: 58201
2216.03/2221.30 c #Conflicts: 324000 | #Constraints: 59201
2216.03/2221.30 c #Conflicts: 325000 | #Constraints: 60201
2216.03/2221.30 c #Conflicts: 326000 | #Constraints: 61201
2216.03/2221.30 c #Conflicts: 327000 | #Constraints: 62201
2216.03/2221.30 c #Conflicts: 328000 | #Constraints: 63201
2216.03/2221.30 c #Conflicts: 329000 | #Constraints: 64201
2216.03/2221.30 c #Conflicts: 330000 | #Constraints: 65201
2216.03/2221.30 c #Conflicts: 331000 | #Constraints: 66201
2216.03/2221.30 c #Conflicts: 332000 | #Constraints: 67201
2216.03/2221.30 c #Conflicts: 333000 | #Constraints: 68201
2216.03/2221.30 c #Conflicts: 334000 | #Constraints: 69201
2216.03/2221.30 c #Conflicts: 335000 | #Constraints: 70201
2216.03/2221.30 c #Conflicts: 336000 | #Constraints: 71201
2216.03/2221.30 c INPROCESSING
2216.03/2221.30 c GARBAGE COLLECT
2216.03/2221.30 c #Conflicts: 337000 | #Constraints: 44518
2216.03/2221.30 c #Conflicts: 338000 | #Constraints: 45518
2216.03/2221.30 c #Conflicts: 339000 | #Constraints: 46518
2216.03/2221.30 c #Conflicts: 340000 | #Constraints: 47518
2216.03/2221.30 c #Conflicts: 341000 | #Constraints: 48518
2216.03/2221.30 c #Conflicts: 342000 | #Constraints: 49518
2216.03/2221.30 c #Conflicts: 343000 | #Constraints: 50518
2216.03/2221.30 c #Conflicts: 344000 | #Constraints: 51518
2216.03/2221.30 c #Conflicts: 345000 | #Constraints: 52518
2216.03/2221.30 c #Conflicts: 346000 | #Constraints: 53518
2216.03/2221.30 c #Conflicts: 347000 | #Constraints: 54518
2216.03/2221.30 c #Conflicts: 348000 | #Constraints: 55518
2216.03/2221.30 c #Conflicts: 349000 | #Constraints: 56518
2216.03/2221.30 c INPROCESSING
2216.03/2221.30 c GARBAGE COLLECT
2216.03/2221.30 c #Conflicts: 350000 | #Constraints: 36777
2216.03/2221.30 c bounds 2752 >= 1795 @ 2206.88
2217.83/2223.11 c #Conflicts: 351000 | #Constraints: 37778
2217.83/2223.11 c bounds 2751 >= 1795 @ 2208.67
2218.72/2224.05 c bounds 2750 >= 1795 @ 2209.6
2219.42/2224.73 c bounds 2749 >= 1795 @ 2210.26
2219.42/2224.74 c bounds 2749 >= 1796 @ 2210.27
2219.42/2224.76 c bounds 2749 >= 1797 @ 2210.29
2219.52/2224.82 c #Conflicts: 352000 | #Constraints: 38836
2219.52/2224.82 c bounds 2749 >= 1798 @ 2210.35
2219.73/2225.00 c bounds 2749 >= 1799 @ 2210.53
2220.02/2225.39 c #Conflicts: 353000 | #Constraints: 39917
2220.02/2225.39 c bounds 2749 >= 1800 @ 2210.9
2220.42/2225.75 c bounds 2748 >= 1800 @ 2211.26
2221.42/2226.74 c #Conflicts: 354000 | #Constraints: 40981
2221.42/2226.74 c #Conflicts: 355000 | #Constraints: 41981
2221.42/2226.74 c bounds 2748 >= 1801 @ 2212.22
2221.72/2227.10 c bounds 2747 >= 1801 @ 2212.56
2222.31/2227.62 c bounds 2746 >= 1801 @ 2213.08
2228.80/2234.17 c #Conflicts: 356000 | #Constraints: 43022
2228.80/2234.17 c #Conflicts: 357000 | #Constraints: 44022
2228.80/2234.17 c bounds 2745 >= 1801 @ 2219.51
2228.80/2234.19 c bounds 2745 >= 1802 @ 2219.53
2228.90/2234.25 c bounds 2745 >= 1803 @ 2219.58
2228.99/2234.38 c #Conflicts: 358000 | #Constraints: 45086
2228.99/2234.38 c bounds 2745 >= 1804 @ 2219.71
2229.30/2234.69 c bounds 2745 >= 1805 @ 2220.01
2230.79/2236.19 c #Conflicts: 359000 | #Constraints: 46191
2230.79/2236.19 c #Conflicts: 360000 | #Constraints: 47191
2230.79/2236.19 c bounds 2745 >= 1806 @ 2221.49
2961.54/2968.55 c #Conflicts: 361000 | #Constraints: 48230
2961.54/2968.55 c #Conflicts: 362000 | #Constraints: 49230
2961.54/2968.55 c #Conflicts: 363000 | #Constraints: 50230
2961.54/2968.55 c INPROCESSING
2961.54/2968.55 c GARBAGE COLLECT
2961.54/2968.55 c #Conflicts: 364000 | #Constraints: 33689
2961.54/2968.55 c #Conflicts: 365000 | #Constraints: 34689
2961.54/2968.55 c bounds 2745 >= 1807 @ 2950.17
2962.33/2969.35 c #Conflicts: 366000 | #Constraints: 35755
2962.33/2969.35 c #Conflicts: 367000 | #Constraints: 36755
2962.33/2969.35 c #Conflicts: 368000 | #Constraints: 37755
2962.33/2969.35 c #Conflicts: 369000 | #Constraints: 38755
2962.33/2969.35 c bounds 2745 >= 1808 @ 2950.91
2963.24/2970.21 c #Conflicts: 370000 | #Constraints: 39845
2963.24/2970.21 c #Conflicts: 371000 | #Constraints: 40845
2963.24/2970.21 c bounds 2745 >= 1809 @ 2951.76
2966.13/2973.16 c #Conflicts: 372000 | #Constraints: 41890
2966.13/2973.16 c #Conflicts: 373000 | #Constraints: 42890
2966.13/2973.16 c #Conflicts: 374000 | #Constraints: 43890
2966.13/2973.16 c #Conflicts: 375000 | #Constraints: 44890
2966.13/2973.16 c #Conflicts: 376000 | #Constraints: 45890
2966.13/2973.16 c #Conflicts: 377000 | #Constraints: 46890
2966.13/2973.16 c #Conflicts: 378000 | #Constraints: 47890
2966.13/2973.16 c INPROCESSING
2966.13/2973.16 c GARBAGE COLLECT
2966.13/2973.16 c #Conflicts: 379000 | #Constraints: 33001
2966.13/2973.16 c bounds 2744 >= 1809 @ 2954.67
2967.82/2974.83 c bounds 2743 >= 1809 @ 2956.31
2967.82/2974.86 c #Conflicts: 380000 | #Constraints: 34003
2967.82/2974.86 c bounds 2743 >= 1810 @ 2956.33
2967.82/2974.88 c bounds 2743 >= 1811 @ 2956.35
2967.93/2974.90 c bounds 2743 >= 1812 @ 2956.37
2967.93/2974.97 c bounds 2743 >= 1813 @ 2956.43
2968.03/2975.09 c #Conflicts: 381000 | #Constraints: 35147
2968.03/2975.09 c bounds 2743 >= 1814 @ 2956.54
2968.42/2975.42 c #Conflicts: 382000 | #Constraints: 36192
2968.42/2975.42 c #Conflicts: 383000 | #Constraints: 37192
2968.42/2975.42 c bounds 2743 >= 1815 @ 2956.84
2969.62/2976.65 c #Conflicts: 384000 | #Constraints: 38240
2969.62/2976.65 c #Conflicts: 385000 | #Constraints: 39240
2969.62/2976.65 c #Conflicts: 386000 | #Constraints: 40240
2969.62/2976.65 c #Conflicts: 387000 | #Constraints: 41240
2969.62/2976.65 c bounds 2743 >= 1816 @ 2958.03
2973.81/2980.84 c #Conflicts: 388000 | #Constraints: 42294
2973.81/2980.84 c #Conflicts: 389000 | #Constraints: 43294
2973.81/2980.84 c bounds 2742 >= 1816 @ 2962.13
2973.81/2980.85 c bounds 2742 >= 1817 @ 2962.14
2973.81/2980.87 c bounds 2742 >= 1818 @ 2962.16
2973.91/2980.91 c bounds 2742 >= 1819 @ 2962.19
2974.01/2981.04 c #Conflicts: 390000 | #Constraints: 44403
2974.01/2981.04 c bounds 2742 >= 1820 @ 2962.32
2974.50/2981.51 c #Conflicts: 391000 | #Constraints: 45457
2974.50/2981.51 c #Conflicts: 392000 | #Constraints: 46457
2974.50/2981.51 c bounds 2742 >= 1821 @ 2962.76
2978.60/2985.61 c #Conflicts: 393000 | #Constraints: 47505
2978.60/2985.61 c #Conflicts: 394000 | #Constraints: 48505
2978.60/2985.61 c #Conflicts: 395000 | #Constraints: 49505
2978.60/2985.61 c #Conflicts: 396000 | #Constraints: 50505
2978.60/2985.61 c #Conflicts: 397000 | #Constraints: 51505
2978.60/2985.61 c #Conflicts: 398000 | #Constraints: 52505
2978.60/2985.61 c #Conflicts: 399000 | #Constraints: 53505
2978.60/2985.61 c #Conflicts: 400000 | #Constraints: 54505
2978.60/2985.61 c #Conflicts: 401000 | #Constraints: 55505
2978.60/2985.61 c bounds 2742 >= 1822 @ 2966.79
2981.89/2988.90 c #Conflicts: 402000 | #Constraints: 56550
2981.89/2988.90 c bounds 2741 >= 1822 @ 2970.02
2983.69/2990.73 c #Conflicts: 403000 | #Constraints: 57551
2983.69/2990.73 c #Conflicts: 404000 | #Constraints: 58551
2983.69/2990.73 c #Conflicts: 405000 | #Constraints: 59551
2983.69/2990.73 c #Conflicts: 406000 | #Constraints: 60551
2983.69/2990.73 c #Conflicts: 407000 | #Constraints: 61551
2983.69/2990.73 c #Conflicts: 408000 | #Constraints: 62551
2983.69/2990.73 c bounds 2741 >= 1823 @ 2971.79
2983.99/2991.08 c bounds 2740 >= 1823 @ 2972.12
2994.07/3001.18 c #Conflicts: 409000 | #Constraints: 63639
2994.07/3001.18 c #Conflicts: 410000 | #Constraints: 64639
2994.07/3001.18 c #Conflicts: 411000 | #Constraints: 65639
2994.07/3001.18 c #Conflicts: 412000 | #Constraints: 66639
2994.07/3001.18 c #Conflicts: 413000 | #Constraints: 67639
2994.07/3001.18 c #Conflicts: 414000 | #Constraints: 68639
2994.07/3001.18 c #Conflicts: 415000 | #Constraints: 69639
2994.07/3001.18 c #Conflicts: 416000 | #Constraints: 70639
2994.07/3001.18 c #Conflicts: 417000 | #Constraints: 71639
2994.07/3001.18 c #Conflicts: 418000 | #Constraints: 72639
2994.07/3001.18 c #Conflicts: 419000 | #Constraints: 73639
2994.07/3001.18 c #Conflicts: 420000 | #Constraints: 74639
2994.07/3001.18 c #Conflicts: 421000 | #Constraints: 75639
2994.07/3001.18 c #Conflicts: 422000 | #Constraints: 76639
2994.07/3001.18 c #Conflicts: 423000 | #Constraints: 77639
2994.07/3001.18 c #Conflicts: 424000 | #Constraints: 78639
2994.07/3001.18 c INPROCESSING
2994.07/3001.18 c GARBAGE COLLECT
2994.07/3001.18 c bounds 2739 >= 1823 @ 2982.1
2994.26/3001.39 c #Conflicts: 425000 | #Constraints: 48126
2994.26/3001.39 c bounds 2738 >= 1823 @ 2982.3
2994.66/3001.79 c bounds 2737 >= 1823 @ 2982.69
2995.06/3002.18 c bounds 2736 >= 1823 @ 2983.08
2995.76/3002.88 c bounds 2735 >= 1823 @ 2983.77
3003.64/3010.77 c #Conflicts: 426000 | #Constraints: 49130
3003.64/3010.77 c #Conflicts: 427000 | #Constraints: 50130
3003.64/3010.77 c #Conflicts: 428000 | #Constraints: 51130
3003.64/3010.77 c bounds 2734 >= 1823 @ 2991.61
3011.32/3018.42 c #Conflicts: 429000 | #Constraints: 52131
3011.32/3018.42 c #Conflicts: 430000 | #Constraints: 53131
3011.32/3018.42 c #Conflicts: 431000 | #Constraints: 54131
3011.32/3018.42 c #Conflicts: 432000 | #Constraints: 55131
3011.32/3018.42 c #Conflicts: 433000 | #Constraints: 56131
3011.32/3018.42 c #Conflicts: 434000 | #Constraints: 57131
3011.32/3018.42 c #Conflicts: 435000 | #Constraints: 58131
3011.32/3018.42 c #Conflicts: 436000 | #Constraints: 59131
3011.32/3018.42 c #Conflicts: 437000 | #Constraints: 60131
3011.32/3018.42 c #Conflicts: 438000 | #Constraints: 61131
3011.32/3018.42 c #Conflicts: 439000 | #Constraints: 62131
3011.32/3018.42 c #Conflicts: 440000 | #Constraints: 63131
3011.32/3018.42 c INPROCESSING
3011.32/3018.42 c GARBAGE COLLECT
3011.32/3018.42 c bounds 2733 >= 1823 @ 2999.2
3030.58/3037.78 c #Conflicts: 441000 | #Constraints: 40628
3030.58/3037.78 c #Conflicts: 442000 | #Constraints: 41628
3030.58/3037.78 c #Conflicts: 443000 | #Constraints: 42628
3030.58/3037.78 c #Conflicts: 444000 | #Constraints: 43628
3030.58/3037.78 c #Conflicts: 445000 | #Constraints: 44628
3030.58/3037.78 c bounds 2732 >= 1823 @ 3018.48
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63665 MiB (62681 MiB free)
memory of node 1: 64507 MiB (63893 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4487760-1751328791/watcher-4487760-1751328791 -o /tmp/evaluation-result-4487760-1751328791/solver-4487760-1751328791 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751325174-49942 --watchdog 3760 run-opt-ls.sh HOME/instance-4487760-1751328791.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=51176, runsolver pid=51173
Current StackSize limit: 8192 KiB
[startup+0.100059 s]*
/proc/loadavg: 4.11 4.09 4.09 5/268 51178
/proc/meminfo: memFree=129612812/131250000 swapFree=33010684/33010684
[pid=51176] ppid=51173 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/51176/stat : 51176 (run-opt-ls.sh) S 51173 51176 49929 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 48559329 4292608 768 18446744073709551615 94385520656384 94385521550917 140735081435936 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94385521789968 94385521837712 94385525002240 140735081441639 140735081441765 140735081441765 140735081447367 0
/proc/51176/statm: 1048 768 704 219 0 110 0
[pid=51178] ppid=51176 vsize=25568 memory=16496 CPUtime=0.07 cores=5,7
/proc/51178/stat : 51178 (pbsuma) R 51176 51176 49929 0 -1 4194304 3977 0 0 0 7 0 0 0 20 0 1 0 48559330 26181632 4124 18446744073709551615 4210688 4653049 140733098318464 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 37203968 140733098326371 140733098326578 140733098326578 140733098332143 0
/proc/51178/statm: 6392 4124 1024 108 0 3800 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 29760 KiB
Current children cumulated memory: 19568 KiB
[startup+0.204643 s]*
/proc/loadavg: 4.11 4.09 4.09 5/268 51178
/proc/meminfo: memFree=129612812/131250000 swapFree=33010684/33010684
[pid=51176] ppid=51173 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/51176/stat : 51176 (run-opt-ls.sh) S 51173 51176 49929 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 48559329 4292608 768 18446744073709551615 94385520656384 94385521550917 140735081435936 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94385521789968 94385521837712 94385525002240 140735081441639 140735081441765 140735081441765 140735081447367 0
/proc/51176/statm: 1048 768 704 219 0 110 0
[pid=51178] ppid=51176 vsize=25568 memory=16496 CPUtime=0.18 cores=5,7
/proc/51178/stat : 51178 (pbsuma) R 51176 51176 49929 0 -1 4194304 3977 0 0 0 18 0 0 0 20 0 1 0 48559330 26181632 4124 18446744073709551615 4210688 4653049 140733098318464 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 37203968 140733098326371 140733098326578 140733098326578 140733098332143 0
/proc/51178/statm: 6392 4124 1024 108 0 3800 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 29760 KiB
Current children cumulated memory: 19568 KiB
[startup+0.304414 s]*
/proc/loadavg: 4.11 4.09 4.09 4/268 51179
/proc/meminfo: memFree=129605000/131250000 swapFree=33010684/33010684
[pid=51176] ppid=51173 vsize=4192 memory=3072 CPUtime=0.28 cores=5,7
/proc/51176/stat : 51176 (run-opt-ls.sh) S 51173 51176 49929 0 -1 4194304 239 6520 0 0 0 0 27 1 20 0 1 0 48559329 4292608 768 18446744073709551615 94385520656384 94385521550917 140735081435936 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94385521789968 94385521837712 94385525002240 140735081441639 140735081441765 140735081441765 140735081447367 0
/proc/51176/statm: 1048 768 704 219 0 110 0
[pid=51179] ppid=51176 vsize=5932 memory=128 CPUtime=0 cores=5,7
/proc/51179/stat : 51179 (roundingsat) D 51176 51176 49929 0 -1 4456448 45 0 0 0 0 0 0 0 20 0 1 0 48559359 6074368 32 18446744073709551615 4227072 8923433 140728145712672 0 0 0 0 0 0 1 0 0 17 5 0 0 0 0 0 9823104 9832592 18075648 140728145721670 140728145721896 140728145721896 140728145727466 0
/proc/51179/statm: 1483 32 32 1147 0 51 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 10124 KiB
Current children cumulated memory: 3200 KiB
[startup+0.700129 s]
/proc/loadavg: 4.11 4.09 4.09 5/268 51179
/proc/meminfo: memFree=129601008/131250000 swapFree=33010684/33010684
[pid=51176] ppid=51173 vsize=4192 memory=3072 CPUtime=0.28 cores=5,7
/proc/51176/stat : 51176 (run-opt-ls.sh) S 51173 51176 49929 0 -1 4194304 239 6520 0 0 0 0 27 1 20 0 1 0 48559329 4292608 768 18446744073709551615 94385520656384 94385521550917 140735081435936 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94385521789968 94385521837712 94385525002240 140735081441639 140735081441765 140735081441765 140735081447367 0
/proc/51176/statm: 1048 768 704 219 0 110 0
[pid=51179] ppid=51176 vsize=73972 memory=27436 CPUtime=0.38 cores=5,7
/proc/51179/stat : 51179 (roundingsat) R 51176 51176 49929 0 -1 4194304 4998 0 0 0 37 1 0 0 20 0 1 0 48559359 75747328 6859 18446744073709551615 4227072 8923433 140728145712672 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 18075648 140728145721670 140728145721896 140728145721896 140728145727466 0
/proc/51179/statm: 18493 6859 2336 1147 0 5920 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 78164 KiB
Current children cumulated memory: 30508 KiB
[startup+1.50015 s]
/proc/loadavg: 4.11 4.09 4.09 5/268 51179
/proc/meminfo: memFree=129599244/131250000 swapFree=33010684/33010684
[pid=51176] ppid=51173 vsize=4192 memory=3072 CPUtime=0.28 cores=5,7
/proc/51176/stat : 51176 (run-opt-ls.sh) S 51173 51176 49929 0 -1 4194304 239 6520 0 0 0 0 27 1 20 0 1 0 48559329 4292608 768 18446744073709551615 94385520656384 94385521550917 140735081435936 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94385521789968 94385521837712 94385525002240 140735081441639 140735081441765 140735081441765 140735081447367 0
/proc/51176/statm: 1048 768 704 219 0 110 0
[pid=51179] ppid=51176 vsize=89908 memory=42412 CPUtime=1.17 cores=5,7
/proc/51179/stat : 51179 (roundingsat) R 51176 51176 49929 0 -1 4194304 8691 0 0 0 114 3 0 0 20 0 1 0 48559359 92065792 10603 18446744073709551615 4227072 8923433 140728145712672 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 18075648 140728145721670 140728145721896 140728145721896 140728145727466 0
/proc/51179/statm: 22477 10603 2400 1147 0 9904 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 94100 KiB
Current children cumulated memory: 45484 KiB
[startup+3.10538 s]
/proc/loadavg: 4.11 4.09 4.09 5/268 51179
/proc/meminfo: memFree=129528832/131250000 swapFree=33010684/33010684
[pid=51176] ppid=51173 vsize=4192 memory=3072 CPUtime=0.28 cores=5,7
/proc/51176/stat : 51176 (run-opt-ls.sh) S 51173 51176 49929 0 -1 4194304 239 6520 0 0 0 0 27 1 20 0 1 0 48559329 4292608 768 18446744073709551615 94385520656384 94385521550917 140735081435936 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94385521789968 94385521837712 94385525002240 140735081441639 140735081441765 140735081441765 140735081447367 0
/proc/51176/statm: 1048 768 704 219 0 110 0
[pid=51179] ppid=51176 vsize=160992 memory=109316 CPUtime=2.77 cores=5,7
/proc/51179/stat : 51179 (roundingsat) R 51176 51176 49929 0 -1 4194304 17416 0 0 0 246 31 0 0 20 0 1 0 48559359 164855808 27329 18446744073709551615 4227072 8923433 140728145712672 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 18075648 140728145721670 140728145721896 140728145721896 140728145727466 0
/proc/51179/statm: 40248 27329 2432 1147 0 27675 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 165184 KiB
Current children cumulated memory: 112388 KiB
[startup+6.30016 s]
/proc/loadavg: 4.10 4.09 4.09 5/268 51179
/proc/meminfo: memFree=129384016/131250000 swapFree=33010684/33010684
[pid=51176] ppid=51173 vsize=4192 memory=3072 CPUtime=0.28 cores=5,7
/proc/51176/stat : 51176 (run-opt-ls.sh) S 51173 51176 49929 0 -1 4194304 239 6520 0 0 0 0 27 1 20 0 1 0 48559329 4292608 768 18446744073709551615 94385520656384 94385521550917 140735081435936 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94385521789968 94385521837712 94385525002240 140735081441639 140735081441765 140735081441765 140735081447367 0
/proc/51176/statm: 1048 768 704 219 0 110 0
[pid=51179] ppid=51176 vsize=303820 memory=215176 CPUtime=5.97 cores=5,7
/proc/51179/stat : 51179 (roundingsat) R 51176 51176 49929 0 -1 4194304 33665 0 0 0 495 102 0 0 20 0 1 0 48559359 311111680 53794 18446744073709551615 4227072 8923433 140728145712672 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 18075648 140728145721670 140728145721896 140728145721896 140728145727466 0
/proc/51179/statm: 75955 53794 2432 1147 0 63382 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 308012 KiB
Current children cumulated memory: 218248 KiB
[startup+12.7002 s]
/proc/loadavg: 4.09 4.08 4.09 5/269 51180
/proc/meminfo: memFree=129346716/131250000 swapFree=33010684/33010684
[pid=51176] ppid=51173 vsize=4192 memory=3072 CPUtime=0.28 cores=5,7
/proc/51176/stat : 51176 (run-opt-ls.sh) S 51173 51176 49929 0 -1 4194304 239 6520 0 0 0 0 27 1 20 0 1 0 48559329 4292608 768 18446744073709551615 94385520656384 94385521550917 140735081435936 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94385521789968 94385521837712 94385525002240 140735081441639 140735081441765 140735081441765 140735081447367 0
/proc/51176/statm: 1048 768 704 219 0 110 0
[pid=51179] ppid=51176 vsize=311116 memory=222708 CPUtime=12.34 cores=5,7
/proc/51179/stat : 51179 (roundingsat) R 51176 51176 49929 0 -1 4194304 34532 0 0 0 1121 113 0 0 20 0 1 0 48559359 318582784 55677 18446744073709551615 4227072 8923433 140728145712672 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 18075648 140728145721670 140728145721896 140728145721896 140728145727466 0
/proc/51179/statm: 77779 55677 2432 1147 0 65206 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 315308 KiB
Current children cumulated memory: 225780 KiB
[startup+25.5002 s]
/proc/loadavg: 4.07 4.08 4.09 5/269 51180
/proc/meminfo: memFree=129259288/131250000 swapFree=33010684/33010684
[pid=51176] ppid=51173 vsize=4192 memory=3072 CPUtime=0.28 cores=5,7
/proc/51176/stat : 51176 (run-opt-ls.sh) S 51173 51176 49929 0 -1 4194304 239 6520 0 0 0 0 27 1 20 0 1 0 48559329 4292608 768 18446744073709551615 94385520656384 94385521550917 140735081435936 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94385521789968 94385521837712 94385525002240 140735081441639 140735081441765 140735081441765 140735081447367 0
/proc/51176/statm: 1048 768 704 219 0 110 0
[pid=51179] ppid=51176 vsize=312216 memory=223732 CPUtime=25.11 cores=5,7
/proc/51179/stat : 51179 (roundingsat) R 51176 51176 49929 0 -1 4194304 34795 0 0 0 2386 125 0 0 20 0 1 0 48559359 319709184 55933 18446744073709551615 4227072 8923433 140728145712672 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 18075648 140728145721670 140728145721896 140728145721896 140728145727466 0
/proc/51179/statm: 78054 55933 2432 1147 0 65481 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 316408 KiB
Current children cumulated memory: 226804 KiB
[startup+51.1056 s]
/proc/loadavg: 4.03 4.07 4.08 4/263 51822
/proc/meminfo: memFree=129103060/131250000 swapFree=33010684/33010684
[pid=51176] ppid=51173 vsize=4192 memory=3072 CPUtime=0.28 cores=5,7
/proc/51176/stat : 51176 (run-opt-ls.sh) S 51173 51176 49929 0 -1 4194304 239 6520 0 0 0 0 27 1 20 0 1 0 48559329 4292608 768 18446744073709551615 94385520656384 94385521550917 140735081435936 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94385521789968 94385521837712 94385525002240 140735081441639 140735081441765 140735081441765 140735081447367 0
/proc/51176/statm: 1048 768 704 219 0 110 0
[pid=51179] ppid=51176 vsize=324904 memory=236740 CPUtime=50.65 cores=5,7
/proc/51179/stat : 51179 (roundingsat) R 51176 51176 49929 0 -1 4194304 36494 0 0 0 4932 133 0 0 20 0 1 0 48559359 332701696 59185 18446744073709551615 4227072 8923433 140728145712672 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 18075648 140728145721670 140728145721896 140728145721896 140728145727466 0
/proc/51179/statm: 81226 59185 2432 1147 0 68653 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 329096 KiB
Current children cumulated memory: 239812 KiB
[startup+102.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/269 51839
/proc/meminfo: memFree=128594772/131250000 swapFree=33010684/33010684
[pid=51176] ppid=51173 vsize=4192 memory=3072 CPUtime=0.28 cores=5,7
/proc/51176/stat : 51176 (run-opt-ls.sh) S 51173 51176 49929 0 -1 4194304 239 6520 0 0 0 0 27 1 20 0 1 0 48559329 4292608 768 18446744073709551615 94385520656384 94385521550917 140735081435936 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94385521789968 94385521837712 94385525002240 140735081441639 140735081441765 140735081441765 140735081447367 0
/proc/51176/statm: 1048 768 704 219 0 110 0
[pid=51179] ppid=51176 vsize=521656 memory=393964 CPUtime=101.71 cores=5,7
/proc/51179/stat : 51179 (roundingsat) R 51176 51176 49929 0 -1 4194304 74698 0 0 0 9983 188 0 0 20 0 1 0 48559359 534175744 98491 18446744073709551615 4227072 8923433 140728145712672 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 18075648 140728145721670 140728145721896 140728145721896 140728145727466 0
/proc/51179/statm: 130414 98491 2432 1147 0 117841 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 525848 KiB
Current children cumulated memory: 397036 KiB
[startup+162.3 s]
/proc/loadavg: 4.07 4.07 4.09 5/269 51841
/proc/meminfo: memFree=128583508/131250000 swapFree=33010684/33010684
[pid=51176] ppid=51173 vsize=4192 memory=3072 CPUtime=0.28 cores=5,7
/proc/51176/stat : 51176 (run-opt-ls.sh) S 51173 51176 49929 0 -1 4194304 239 6520 0 0 0 0 27 1 20 0 1 0 48559329 4292608 768 18446744073709551615 94385520656384 94385521550917 140735081435936 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94385521789968 94385521837712 94385525002240 140735081441639 140735081441765 140735081441765 140735081447367 0
/proc/51176/statm: 1048 768 704 219 0 110 0
[pid=51179] ppid=51176 vsize=523340 memory=395884 CPUtime=161.56 cores=5,7
/proc/51179/stat : 51179 (roundingsat) R 51176 51176 49929 0 -1 4194304 75132 0 0 0 15956 200 0 0 20 0 1 0 48559359 535900160 98971 18446744073709551615 4227072 8923433 140728145712672 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 18075648 140728145721670 140728145721896 140728145721896 140728145727466 0
/proc/51179/statm: 130835 98971 2432 1147 0 118262 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 527532 KiB
Current children cumulated memory: 398956 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 4.07 4.09 5/269 51843
/proc/meminfo: memFree=128233960/131250000 swapFree=33010684/33010684
[pid=51176] ppid=51173 vsize=4192 memory=3072 CPUtime=0.28 cores=5,7
/proc/51176/stat : 51176 (run-opt-ls.sh) S 51173 51176 49929 0 -1 4194304 239 6520 0 0 0 0 27 1 20 0 1 0 48559329 4292608 768 18446744073709551615 94385520656384 94385521550917 140735081435936 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94385521789968 94385521837712 94385525002240 140735081441639 140735081441765 140735081441765 140735081447367 0
/proc/51176/statm: 1048 768 704 219 0 110 0
[pid=51179] ppid=51176 vsize=909248 memory=737608 CPUtime=221.43 cores=5,7
/proc/51179/stat : 51179 (roundingsat) R 51176 51176 49929 0 -1 4194304 139586 0 0 0 21882 261 0 0 20 0 1 0 48559359 931069952 184402 18446744073709551615 4227072 8923433 140728145712672 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 18075648 140728145721670 140728145721896 140728145721896 140728145727466 0
/proc/51179/statm: 227312 184402 2432 1147 0 214739 0
Current children cumulated CPU time: 221.71 s
################
# More data... #
################
/proc/meminfo: memFree=126777620/131250000 swapFree=33010684/33010684
[pid=51176] ppid=51173 vsize=4192 memory=3072 CPUtime=0.28 cores=5,7
/proc/51176/stat : 51176 (run-opt-ls.sh) S 51173 51176 49929 0 -1 4194304 239 6520 0 0 0 0 27 1 20 0 1 0 48559329 4292608 768 18446744073709551615 94385520656384 94385521550917 140735081435936 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94385521789968 94385521837712 94385525002240 140735081441639 140735081441765 140735081441765 140735081447367 0
/proc/51176/statm: 1048 768 704 219 0 110 0
[pid=51179] ppid=51176 vsize=1999312 memory=1771216 CPUtime=3274.33 cores=5,7
/proc/51179/stat : 51179 (roundingsat) R 51176 51176 49929 0 -1 4194304 300888 0 0 0 326204 1229 0 0 20 0 1 0 48559359 2047295488 442804 18446744073709551615 4227072 8923433 140728145712672 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 18075648 140728145721670 140728145721896 140728145721896 140728145727466 0
/proc/51179/statm: 499828 442804 2560 1147 0 487255 0
Current children cumulated CPU time: 3274.61 s
Current children cumulated vsize: 2003504 KiB
Current children cumulated memory: 1774288 KiB
[startup+3342.3 s]
/proc/loadavg: 4.34 4.17 4.12 5/267 52048
/proc/meminfo: memFree=126790820/131250000 swapFree=33010684/33010684
[pid=51176] ppid=51173 vsize=4192 memory=3072 CPUtime=0.28 cores=5,7
/proc/51176/stat : 51176 (run-opt-ls.sh) S 51173 51176 49929 0 -1 4194304 239 6520 0 0 0 0 27 1 20 0 1 0 48559329 4292608 768 18446744073709551615 94385520656384 94385521550917 140735081435936 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94385521789968 94385521837712 94385525002240 140735081441639 140735081441765 140735081441765 140735081447367 0
/proc/51176/statm: 1048 768 704 219 0 110 0
[pid=51179] ppid=51176 vsize=1970036 memory=1738424 CPUtime=3334.19 cores=5,7
/proc/51179/stat : 51179 (roundingsat) R 51176 51176 49929 0 -1 4194304 301342 0 0 0 332176 1243 0 0 20 0 1 0 48559359 2017316864 434606 18446744073709551615 4227072 8923433 140728145712672 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 18075648 140728145721670 140728145721896 140728145721896 140728145727466 0
/proc/51179/statm: 492509 434606 2560 1147 0 479936 0
Current children cumulated CPU time: 3334.47 s
Current children cumulated vsize: 1974228 KiB
Current children cumulated memory: 1741496 KiB
[startup+3402.3 s]
/proc/loadavg: 4.24 4.17 4.12 5/267 52050
/proc/meminfo: memFree=126786908/131250000 swapFree=33010684/33010684
[pid=51176] ppid=51173 vsize=4192 memory=3072 CPUtime=0.28 cores=5,7
/proc/51176/stat : 51176 (run-opt-ls.sh) S 51173 51176 49929 0 -1 4194304 239 6520 0 0 0 0 27 1 20 0 1 0 48559329 4292608 768 18446744073709551615 94385520656384 94385521550917 140735081435936 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94385521789968 94385521837712 94385525002240 140735081441639 140735081441765 140735081441765 140735081447367 0
/proc/51176/statm: 1048 768 704 219 0 110 0
[pid=51179] ppid=51176 vsize=1970036 memory=1738424 CPUtime=3394.06 cores=5,7
/proc/51179/stat : 51179 (roundingsat) R 51176 51176 49929 0 -1 4194304 301343 0 0 0 338142 1264 0 0 20 0 1 0 48559359 2017316864 434606 18446744073709551615 4227072 8923433 140728145712672 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 18075648 140728145721670 140728145721896 140728145721896 140728145727466 0
/proc/51179/statm: 492509 434606 2560 1147 0 479936 0
Current children cumulated CPU time: 3394.34 s
Current children cumulated vsize: 1974228 KiB
Current children cumulated memory: 1741496 KiB
[startup+3462.3 s]
/proc/loadavg: 4.09 4.14 4.11 5/267 52052
/proc/meminfo: memFree=126787164/131250000 swapFree=33010684/33010684
[pid=51176] ppid=51173 vsize=4192 memory=3072 CPUtime=0.28 cores=5,7
/proc/51176/stat : 51176 (run-opt-ls.sh) S 51173 51176 49929 0 -1 4194304 239 6520 0 0 0 0 27 1 20 0 1 0 48559329 4292608 768 18446744073709551615 94385520656384 94385521550917 140735081435936 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94385521789968 94385521837712 94385525002240 140735081441639 140735081441765 140735081441765 140735081447367 0
/proc/51176/statm: 1048 768 704 219 0 110 0
[pid=51179] ppid=51176 vsize=1970036 memory=1738424 CPUtime=3453.93 cores=5,7
/proc/51179/stat : 51179 (roundingsat) R 51176 51176 49929 0 -1 4194304 301388 0 0 0 344107 1286 0 0 20 0 1 0 48559359 2017316864 434606 18446744073709551615 4227072 8923433 140728145712672 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 18075648 140728145721670 140728145721896 140728145721896 140728145727466 0
/proc/51179/statm: 492509 434606 2560 1147 0 479936 0
Current children cumulated CPU time: 3454.21 s
Current children cumulated vsize: 1974228 KiB
Current children cumulated memory: 1741496 KiB
[startup+3522.3 s]
/proc/loadavg: 4.07 4.12 4.10 5/267 52056
/proc/meminfo: memFree=126786844/131250000 swapFree=33010684/33010684
[pid=51176] ppid=51173 vsize=4192 memory=3072 CPUtime=0.28 cores=5,7
/proc/51176/stat : 51176 (run-opt-ls.sh) S 51173 51176 49929 0 -1 4194304 239 6520 0 0 0 0 27 1 20 0 1 0 48559329 4292608 768 18446744073709551615 94385520656384 94385521550917 140735081435936 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94385521789968 94385521837712 94385525002240 140735081441639 140735081441765 140735081441765 140735081447367 0
/proc/51176/statm: 1048 768 704 219 0 110 0
[pid=51179] ppid=51176 vsize=1970036 memory=1738424 CPUtime=3513.79 cores=5,7
/proc/51179/stat : 51179 (roundingsat) R 51176 51176 49929 0 -1 4194304 301443 0 0 0 350075 1304 0 0 20 0 1 0 48559359 2017316864 434606 18446744073709551615 4227072 8923433 140728145712672 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 18075648 140728145721670 140728145721896 140728145721896 140728145727466 0
/proc/51179/statm: 492509 434606 2560 1147 0 479936 0
Current children cumulated CPU time: 3514.07 s
Current children cumulated vsize: 1974228 KiB
Current children cumulated memory: 1741496 KiB
[startup+3582.3 s]
/proc/loadavg: 4.12 4.13 4.10 5/267 52058
/proc/meminfo: memFree=126786208/131250000 swapFree=33010684/33010684
[pid=51176] ppid=51173 vsize=4192 memory=3072 CPUtime=0.28 cores=5,7
/proc/51176/stat : 51176 (run-opt-ls.sh) S 51173 51176 49929 0 -1 4194304 239 6520 0 0 0 0 27 1 20 0 1 0 48559329 4292608 768 18446744073709551615 94385520656384 94385521550917 140735081435936 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94385521789968 94385521837712 94385525002240 140735081441639 140735081441765 140735081441765 140735081447367 0
/proc/51176/statm: 1048 768 704 219 0 110 0
[pid=51179] ppid=51176 vsize=1970036 memory=1738424 CPUtime=3573.65 cores=5,7
/proc/51179/stat : 51179 (roundingsat) R 51176 51176 49929 0 -1 4194304 301449 0 0 0 356043 1322 0 0 20 0 1 0 48559359 2017316864 434606 18446744073709551615 4227072 8923433 140728145712672 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 18075648 140728145721670 140728145721896 140728145721896 140728145727466 0
/proc/51179/statm: 492509 434606 2560 1147 0 479936 0
Current children cumulated CPU time: 3573.93 s
Current children cumulated vsize: 1974228 KiB
Current children cumulated memory: 1741496 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3608.5 s]
/proc/loadavg: 4.08 4.12 4.10 5/267 52059
/proc/meminfo: memFree=126785976/131250000 swapFree=33010684/33010684
[pid=51176] ppid=51173 vsize=4192 memory=3072 CPUtime=0.28 cores=5,7
/proc/51176/stat : 51176 (run-opt-ls.sh) S 51173 51176 49929 0 -1 4194304 239 6520 0 0 0 0 27 1 20 0 1 0 48559329 4292608 768 18446744073709551615 94385520656384 94385521550917 140735081435936 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94385521789968 94385521837712 94385525002240 140735081441639 140735081441765 140735081441765 140735081447367 0
/proc/51176/statm: 1048 768 704 219 0 110 0
[pid=51179] ppid=51176 vsize=1970036 memory=1738424 CPUtime=3599.8 cores=5,7
/proc/51179/stat : 51179 (roundingsat) R 51176 51176 49929 0 -1 4194304 301450 0 0 0 358650 1330 0 0 20 0 1 0 48559359 2017316864 434606 18446744073709551615 4227072 8923433 140728145712672 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 18075648 140728145721670 140728145721896 140728145721896 140728145727466 0
/proc/51179/statm: 492509 434606 2560 1147 0 479936 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 1974228 KiB
Current children cumulated memory: 1741496 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3608.5 s]
# the end of solver process 51176 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.274914 s, system=0.013924 s
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
[startup+3610.51 s]
# the end of solver process 51179 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3588.77 s, system=13.3222 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.6 s]
/proc/loadavg: 4.08 4.12 4.10 5/266 52059
/proc/meminfo: memFree=126785976/131250000 swapFree=33010684/33010684
[pid=51179] ppid=51173 vsize=1970036 memory=1738424 CPUtime=3600.9 cores=5,7
/proc/51179/stat : 51179 (roundingsat) R 51173 51176 49929 0 -1 4194304 301450 0 0 0 358760 1330 0 0 20 0 1 0 48559359 2017316864 434606 18446744073709551615 4227072 8923433 140728145712672 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 18075648 140728145721670 140728145721896 140728145721896 140728145727466 0
/proc/51179/statm: 492509 434606 2560 1147 0 479936 0
Current cumulated CPU time of completed processes: 0.288838 s
Current children cumulated CPU time: 3600.9 s
Current children cumulated vsize: 1970036 KiB
Current children cumulated memory: 1738424 KiB
[startup+3610 s]*
/proc/loadavg: 4.07 4.12 4.09 5/266 52059
/proc/meminfo: memFree=126785976/131250000 swapFree=33010684/33010684
[pid=51179] ppid=51173 vsize=1970036 memory=1738424 CPUtime=3601.3 cores=5,7
/proc/51179/stat : 51179 (roundingsat) R 51173 51176 49929 0 -1 4194304 301450 0 0 0 358800 1330 0 0 20 0 1 0 48559359 2017316864 434606 18446744073709551615 4227072 8923433 140728145712672 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 18075648 140728145721670 140728145721896 140728145721896 140728145727466 0
/proc/51179/statm: 492509 434606 2560 1147 0 479936 0
Current cumulated CPU time of completed processes: 0.288838 s
Current children cumulated CPU time: 3601.3 s
Current children cumulated vsize: 1970036 KiB
Current children cumulated memory: 1738424 KiB
[startup+3610.4 s]
/proc/loadavg: 4.07 4.12 4.09 5/266 52059
/proc/meminfo: memFree=126785976/131250000 swapFree=33010684/33010684
[pid=51179] ppid=51173 vsize=1970036 memory=1738424 CPUtime=3601.69 cores=5,7
/proc/51179/stat : 51179 (roundingsat) R 51173 51176 49929 0 -1 4194304 301450 0 0 0 358839 1330 0 0 20 0 1 0 48559359 2017316864 434606 18446744073709551615 4227072 8923433 140728145712672 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 18075648 140728145721670 140728145721896 140728145721896 140728145727466 0
/proc/51179/statm: 492509 434606 2560 1147 0 479936 0
Current cumulated CPU time of completed processes: 0.288838 s
Current children cumulated CPU time: 3601.69 s
Current children cumulated vsize: 1970036 KiB
Current children cumulated memory: 1738424 KiB
[startup+3610.5 s]
/proc/loadavg: 4.07 4.12 4.09 5/266 52059
/proc/meminfo: memFree=126785976/131250000 swapFree=33010684/33010684
[pid=51179] ppid=51173 vsize=1970036 memory=1738424 CPUtime=3601.79 cores=5,7
/proc/51179/stat : 51179 (roundingsat) R 51173 51176 49929 0 -1 4194304 301450 0 0 0 358849 1330 0 0 20 0 1 0 48559359 2017316864 434606 18446744073709551615 4227072 8923433 140728145712672 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 18075648 140728145721670 140728145721896 140728145721896 140728145727466 0
/proc/51179/statm: 492509 434606 2560 1147 0 479936 0
Current cumulated CPU time of completed processes: 0.288838 s
Current children cumulated CPU time: 3601.79 s
Current children cumulated vsize: 1970036 KiB
Current children cumulated memory: 1738424 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3610.51
CPU time (s): 3602.09
CPU user time (s): 3588.77
CPU system time (s): 13.3222
CPU usage (%): 99.767
Max. virtual memory (cumulated for all children) (KiB): 2016952
Max. memory (cumulated for all children) (KiB): 1780756
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3588.77
system time used= 13.3222
maximum resident set size= 1787200
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 308209
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1208
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 271
involuntary context switches= 1452
# summary of solver processes directly reported to runsolver:
# pid: 51176,51179
# total CPU time (s): 3602.09
# total CPU user time (s): 3588.77
# total CPU system time (s): 13.3222
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.18647 second user time and 16.5115 second system time
The end
Begin job on nodeC013 at 2025-07-01 02:13:11
IDJOB=4487760
IDBENCH=147222
IDSOLVER=3355
FILE ID=nodeC013/4487760-1751328791
RUNJOBID= nodeC013-1751325174-49942
SLURM_JOB_ID= 9594350
Free space on /tmp= 433032 MiB
SOLVER NAME= roundingsat-ls+pbsuma 63f22ad
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB05/sorensson/garden/normalized-g100x100.opb
COMMAND LINE= run-opt-ls.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4487760-1751328791/watcher-4487760-1751328791 -o /tmp/evaluation-result-4487760-1751328791/solver-4487760-1751328791 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751325174-49942 --watchdog 3760 run-opt-ls.sh HOME/instance-4487760-1751328791.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 908a9c4c32d975b4e5850834449958a7
RANDOM SEED=1579190316
nodeC013 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.839
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.853
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3602.242
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3601.218
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.819
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.910
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.863
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 129613224 kB
MemAvailable: 129706048 kB
Buffers: 3280 kB
Cached: 893756 kB
SwapCached: 0 kB
Active: 409404 kB
Inactive: 650116 kB
Active(anon): 175772 kB
Inactive(anon): 0 kB
Active(file): 233632 kB
Inactive(file): 650116 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 25756 kB
Writeback: 8 kB
AnonPages: 165372 kB
Mapped: 112600 kB
Shmem: 13284 kB
KReclaimable: 96228 kB
Slab: 184424 kB
SReclaimable: 96228 kB
SUnreclaim: 88196 kB
KernelStack: 4304 kB
PageTables: 3524 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 490008 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150584 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 32768 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 215764 kB
DirectMap2M: 8992768 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432948 MiB
End job on nodeC013 at 2025-07-01 03:13:21