0.00/0.00	c RoundingSat 2
0.00/0.00	c branch 
0.00/0.00	c commit 
0.10/0.14	c #variables 10000 #constraints 10000
1.78/1.89	c bounds - >= 0 @ 0.100453
1.78/1.89	c bounds 3334 >= 0 @ 1.178
1.78/1.89	c bounds 3334 >= 1 @ 1.18314
1.78/1.89	c bounds 3334 >= 2 @ 1.18828
1.78/1.89	c bounds 3334 >= 3 @ 1.19334
1.78/1.89	c bounds 3334 >= 4 @ 1.1983
1.78/1.89	c bounds 3334 >= 5 @ 1.20353
1.78/1.89	c bounds 3334 >= 6 @ 1.20846
1.78/1.89	c bounds 3334 >= 7 @ 1.21338
1.78/1.89	c bounds 3334 >= 8 @ 1.21864
1.78/1.89	c bounds 3334 >= 9 @ 1.22256
1.78/1.89	c bounds 3334 >= 10 @ 1.22752
1.78/1.89	c bounds 3334 >= 11 @ 1.23143
1.78/1.89	c bounds 3334 >= 12 @ 1.23532
1.78/1.89	c bounds 3334 >= 13 @ 1.24022
1.78/1.89	c bounds 3334 >= 14 @ 1.24514
1.78/1.89	c bounds 3334 >= 15 @ 1.25005
1.78/1.89	c bounds 3334 >= 16 @ 1.25495
1.78/1.89	c bounds 3334 >= 17 @ 1.26018
1.78/1.89	c bounds 3334 >= 18 @ 1.26526
1.78/1.89	c bounds 3334 >= 19 @ 1.27016
1.78/1.89	c bounds 3334 >= 20 @ 1.27505
1.78/1.89	c bounds 3334 >= 21 @ 1.27998
1.78/1.89	c bounds 3334 >= 22 @ 1.28488
1.78/1.89	c bounds 3334 >= 23 @ 1.28981
1.78/1.89	c bounds 3334 >= 24 @ 1.29527
1.78/1.89	c bounds 3334 >= 25 @ 1.30063
1.78/1.89	c bounds 3334 >= 26 @ 1.30605
1.78/1.89	c bounds 3334 >= 27 @ 1.31146
1.78/1.89	c bounds 3334 >= 28 @ 1.31688
1.78/1.89	c bounds 3334 >= 29 @ 1.32228
1.78/1.89	c bounds 3334 >= 30 @ 1.32768
1.78/1.89	c bounds 3334 >= 31 @ 1.33307
1.78/1.89	c bounds 3334 >= 32 @ 1.33845
1.78/1.89	c bounds 3334 >= 33 @ 1.34382
1.78/1.89	c bounds 3334 >= 34 @ 1.34918
1.78/1.89	c bounds 3334 >= 35 @ 1.35474
1.78/1.89	c bounds 3334 >= 36 @ 1.36025
1.78/1.89	c bounds 3334 >= 37 @ 1.36477
1.78/1.89	c bounds 3334 >= 38 @ 1.37026
1.78/1.89	c bounds 3334 >= 39 @ 1.37477
1.78/1.89	c bounds 3334 >= 40 @ 1.3793
1.78/1.89	c bounds 3334 >= 41 @ 1.38374
1.78/1.89	c bounds 3334 >= 42 @ 1.38923
1.78/1.89	c bounds 3334 >= 43 @ 1.39371
1.78/1.89	c bounds 3334 >= 44 @ 1.39924
1.78/1.89	c bounds 3334 >= 45 @ 1.40474
1.78/1.89	c bounds 3334 >= 46 @ 1.4102
1.78/1.89	c bounds 3334 >= 47 @ 1.4157
1.78/1.89	c bounds 3334 >= 48 @ 1.42124
1.78/1.89	c bounds 3334 >= 49 @ 1.4254
1.78/1.89	c bounds 3334 >= 50 @ 1.43037
1.78/1.89	c bounds 3334 >= 51 @ 1.43537
1.78/1.89	c bounds 3334 >= 52 @ 1.44033
1.78/1.89	c bounds 3334 >= 53 @ 1.44529
1.78/1.89	c bounds 3334 >= 54 @ 1.45053
1.78/1.89	c bounds 3334 >= 55 @ 1.45451
1.78/1.89	c bounds 3334 >= 56 @ 1.45849
1.78/1.89	c bounds 3334 >= 57 @ 1.46247
1.78/1.89	c bounds 3334 >= 58 @ 1.46643
1.78/1.89	c bounds 3334 >= 59 @ 1.47063
1.78/1.89	c bounds 3334 >= 60 @ 1.47358
1.78/1.89	c bounds 3334 >= 61 @ 1.47752
1.78/1.89	c bounds 3334 >= 62 @ 1.4805
1.78/1.89	c bounds 3334 >= 63 @ 1.48446
1.78/1.89	c bounds 3334 >= 64 @ 1.48841
1.78/1.89	c bounds 3334 >= 65 @ 1.49265
1.78/1.89	c bounds 3334 >= 66 @ 1.49691
1.78/1.89	c bounds 3334 >= 67 @ 1.50114
1.78/1.89	c bounds 3334 >= 68 @ 1.50553
1.78/1.89	c bounds 3334 >= 69 @ 1.50985
1.78/1.89	c bounds 3334 >= 70 @ 1.51419
1.78/1.89	c bounds 3334 >= 71 @ 1.51851
1.78/1.89	c bounds 3334 >= 72 @ 1.5229
1.78/1.89	c bounds 3334 >= 73 @ 1.52724
1.78/1.89	c bounds 3334 >= 74 @ 1.53057
1.78/1.89	c bounds 3334 >= 75 @ 1.53391
1.78/1.89	c bounds 3334 >= 76 @ 1.53721
1.78/1.89	c bounds 3334 >= 77 @ 1.54126
1.78/1.89	c bounds 3334 >= 78 @ 1.5453
1.78/1.89	c bounds 3334 >= 79 @ 1.54934
1.78/1.89	c bounds 3334 >= 80 @ 1.55339
1.78/1.89	c bounds 3334 >= 81 @ 1.55743
1.78/1.89	c bounds 3334 >= 82 @ 1.56146
1.78/1.89	c bounds 3334 >= 83 @ 1.56572
1.78/1.89	c bounds 3334 >= 84 @ 1.56977
1.78/1.89	c bounds 3334 >= 85 @ 1.57379
1.78/1.89	c bounds 3334 >= 86 @ 1.57684
1.78/1.89	c bounds 3334 >= 87 @ 1.57988
1.78/1.89	c bounds 3334 >= 88 @ 1.58291
1.78/1.89	c bounds 3334 >= 89 @ 1.58704
1.78/1.89	c bounds 3334 >= 90 @ 1.59108
1.78/1.89	c bounds 3334 >= 91 @ 1.5954
1.78/1.89	c bounds 3334 >= 92 @ 1.59941
1.78/1.89	c bounds 3334 >= 93 @ 1.60241
1.78/1.89	c bounds 3334 >= 94 @ 1.60643
1.78/1.89	c bounds 3334 >= 95 @ 1.61045
1.78/1.89	c bounds 3334 >= 96 @ 1.61446
1.78/1.89	c bounds 3334 >= 97 @ 1.61756
1.78/1.89	c bounds 3334 >= 98 @ 1.62154
1.78/1.89	c bounds 3334 >= 99 @ 1.62602
1.78/1.89	c bounds 3334 >= 100 @ 1.63
1.78/1.89	c bounds 3334 >= 101 @ 1.63398
1.78/1.89	c bounds 3334 >= 102 @ 1.63807
1.78/1.89	c bounds 3334 >= 103 @ 1.64219
1.78/1.89	c bounds 3334 >= 104 @ 1.64626
1.78/1.89	c bounds 3334 >= 105 @ 1.65061
1.78/1.89	c bounds 3334 >= 106 @ 1.654
1.78/1.89	c bounds 3334 >= 107 @ 1.65838
1.78/1.89	c bounds 3334 >= 108 @ 1.66273
1.78/1.89	c bounds 3334 >= 109 @ 1.66708
1.78/1.89	c bounds 3334 >= 110 @ 1.67143
1.78/1.89	c bounds 3334 >= 111 @ 1.67482
1.78/1.89	c bounds 3334 >= 112 @ 1.67817
1.78/1.89	c bounds 3334 >= 113 @ 1.68253
1.78/1.89	c bounds 3334 >= 114 @ 1.68487
1.78/1.89	c bounds 3334 >= 115 @ 1.68923
1.78/1.89	c bounds 3334 >= 116 @ 1.69356
1.78/1.89	c bounds 3334 >= 117 @ 1.69792
1.78/1.89	c bounds 3334 >= 118 @ 1.70223
1.78/1.89	c bounds 3334 >= 119 @ 1.70657
1.78/1.89	c bounds 3334 >= 120 @ 1.71092
1.78/1.89	c bounds 3334 >= 121 @ 1.71524
1.78/1.89	c bounds 3334 >= 122 @ 1.71954
1.78/1.89	c bounds 3334 >= 123 @ 1.72386
1.78/1.89	c bounds 3334 >= 124 @ 1.72818
1.78/1.89	c bounds 3334 >= 125 @ 1.73252
1.78/1.89	c bounds 3334 >= 126 @ 1.73686
1.78/1.89	c bounds 3334 >= 127 @ 1.74117
1.78/1.89	c bounds 3334 >= 128 @ 1.74552
1.78/1.89	c bounds 3334 >= 129 @ 1.74984
1.78/1.89	c bounds 3334 >= 130 @ 1.7542
1.78/1.89	c bounds 3334 >= 131 @ 1.75851
1.78/1.89	c bounds 3334 >= 132 @ 1.76281
1.78/1.89	c bounds 3334 >= 133 @ 1.76714
1.78/1.89	c bounds 3334 >= 134 @ 1.77141
1.78/1.89	c bounds 3334 >= 135 @ 1.77586
2.48/2.50	c bounds 3334 >= 136 @ 1.78023
2.48/2.50	c bounds 3334 >= 137 @ 1.78365
2.48/2.50	c bounds 3334 >= 138 @ 1.78803
2.48/2.50	c bounds 3334 >= 139 @ 1.79245
2.48/2.50	c bounds 3334 >= 140 @ 1.79681
2.48/2.50	c bounds 3334 >= 141 @ 1.80117
2.48/2.50	c bounds 3334 >= 142 @ 1.80557
2.48/2.50	c bounds 3334 >= 143 @ 1.80995
2.48/2.50	c bounds 3334 >= 144 @ 1.81431
2.48/2.50	c bounds 3334 >= 145 @ 1.81867
2.48/2.50	c bounds 3334 >= 146 @ 1.82302
2.48/2.50	c bounds 3334 >= 147 @ 1.82544
2.48/2.50	c bounds 3334 >= 148 @ 1.82987
2.48/2.50	c bounds 3334 >= 149 @ 1.83428
2.48/2.50	c bounds 3334 >= 150 @ 1.83864
2.48/2.50	c bounds 3334 >= 151 @ 1.843
2.48/2.50	c bounds 3334 >= 152 @ 1.84741
2.48/2.50	c bounds 3334 >= 153 @ 1.85185
2.48/2.50	c bounds 3334 >= 154 @ 1.85598
2.48/2.50	c bounds 3334 >= 155 @ 1.85915
2.48/2.50	c bounds 3334 >= 156 @ 1.86224
2.48/2.50	c bounds 3334 >= 157 @ 1.86639
2.48/2.50	c bounds 3334 >= 158 @ 1.86978
2.48/2.50	c bounds 3334 >= 159 @ 1.87387
2.48/2.50	c bounds 3334 >= 160 @ 1.87701
2.48/2.50	c bounds 3334 >= 161 @ 1.88108
2.48/2.50	c bounds 3334 >= 162 @ 1.88541
2.48/2.50	c bounds 3334 >= 163 @ 1.88879
2.48/2.50	c bounds 3334 >= 164 @ 1.89287
2.48/2.50	c bounds 3334 >= 165 @ 1.89695
2.48/2.50	c bounds 3334 >= 166 @ 1.90006
2.48/2.50	c bounds 3334 >= 167 @ 1.9032
2.48/2.50	c bounds 3334 >= 168 @ 1.90726
2.48/2.50	c bounds 3334 >= 169 @ 1.91168
2.48/2.50	c bounds 3334 >= 170 @ 1.91487
2.48/2.50	c bounds 3334 >= 171 @ 1.91802
2.48/2.50	c bounds 3334 >= 172 @ 1.92224
2.48/2.50	c bounds 3334 >= 173 @ 1.92484
2.48/2.50	c bounds 3334 >= 174 @ 1.92764
2.48/2.50	c bounds 3334 >= 175 @ 1.93119
2.48/2.50	c bounds 3334 >= 176 @ 1.93476
2.48/2.50	c bounds 3334 >= 177 @ 1.93732
2.48/2.50	c bounds 3334 >= 178 @ 1.93993
2.48/2.50	c bounds 3334 >= 179 @ 1.9427
2.48/2.50	c bounds 3334 >= 180 @ 1.94524
2.48/2.50	c bounds 3334 >= 181 @ 1.94879
2.48/2.50	c bounds 3334 >= 182 @ 1.95135
2.48/2.50	c bounds 3334 >= 183 @ 1.9549
2.48/2.50	c bounds 3334 >= 184 @ 1.95888
2.48/2.50	c bounds 3334 >= 185 @ 1.96241
2.48/2.50	c bounds 3334 >= 186 @ 1.96494
2.48/2.50	c bounds 3334 >= 187 @ 1.96848
2.48/2.50	c bounds 3334 >= 188 @ 1.97219
2.48/2.50	c bounds 3334 >= 189 @ 1.97596
2.48/2.50	c bounds 3333 >= 189 @ 2.02499
2.48/2.50	c bounds 3333 >= 190 @ 2.02862
2.48/2.50	c bounds 3333 >= 191 @ 2.03217
2.48/2.50	c bounds 3333 >= 192 @ 2.03574
2.48/2.50	c bounds 3333 >= 193 @ 2.03927
2.48/2.50	c bounds 3333 >= 194 @ 2.04279
2.48/2.50	c bounds 3333 >= 195 @ 2.04631
2.48/2.50	c bounds 3333 >= 196 @ 2.04982
2.48/2.50	c bounds 3333 >= 197 @ 2.05335
2.48/2.50	c bounds 3333 >= 198 @ 2.05685
2.48/2.50	c bounds 3333 >= 199 @ 2.06035
2.48/2.50	c bounds 3333 >= 200 @ 2.06386
2.48/2.50	c bounds 3333 >= 201 @ 2.06737
2.48/2.50	c bounds 3333 >= 202 @ 2.06998
2.48/2.50	c bounds 3333 >= 203 @ 2.07358
2.48/2.50	c bounds 3333 >= 204 @ 2.07622
2.48/2.50	c bounds 3333 >= 205 @ 2.07975
2.48/2.50	c bounds 3333 >= 206 @ 2.08333
2.48/2.50	c bounds 3333 >= 207 @ 2.08691
2.48/2.50	c bounds 3333 >= 208 @ 2.09049
2.48/2.50	c bounds 3333 >= 209 @ 2.09314
2.48/2.50	c bounds 3333 >= 210 @ 2.09666
2.48/2.50	c bounds 3333 >= 211 @ 2.10024
2.48/2.50	c bounds 3333 >= 212 @ 2.10381
2.48/2.50	c bounds 3333 >= 213 @ 2.10642
2.48/2.50	c bounds 3333 >= 214 @ 2.10994
2.48/2.50	c bounds 3333 >= 215 @ 2.11352
2.48/2.50	c bounds 3333 >= 216 @ 2.1171
2.48/2.50	c bounds 3333 >= 217 @ 2.12069
2.48/2.50	c bounds 3333 >= 218 @ 2.12425
2.48/2.50	c bounds 3333 >= 219 @ 2.12684
2.48/2.50	c bounds 3333 >= 220 @ 2.1304
2.48/2.50	c bounds 3333 >= 221 @ 2.13296
2.48/2.50	c bounds 3333 >= 222 @ 2.13672
2.48/2.50	c bounds 3333 >= 223 @ 2.14054
2.48/2.50	c bounds 3333 >= 224 @ 2.14433
2.48/2.50	c bounds 3333 >= 225 @ 2.14716
2.48/2.50	c bounds 3333 >= 226 @ 2.15088
2.48/2.50	c bounds 3333 >= 227 @ 2.15467
2.48/2.50	c bounds 3333 >= 228 @ 2.15728
2.48/2.50	c bounds 3333 >= 229 @ 2.15982
2.48/2.50	c bounds 3333 >= 230 @ 2.16358
2.48/2.50	c bounds 3333 >= 231 @ 2.16714
2.48/2.50	c bounds 3333 >= 232 @ 2.17068
2.48/2.50	c bounds 3333 >= 233 @ 2.17424
2.48/2.50	c bounds 3333 >= 234 @ 2.17683
2.48/2.50	c bounds 3333 >= 235 @ 2.18038
2.48/2.50	c bounds 3333 >= 236 @ 2.18404
2.48/2.50	c bounds 3333 >= 237 @ 2.18694
2.48/2.50	c bounds 3333 >= 238 @ 2.1907
2.48/2.50	c bounds 3333 >= 239 @ 2.19433
2.48/2.50	c bounds 3333 >= 240 @ 2.19796
2.48/2.50	c bounds 3333 >= 241 @ 2.19977
2.48/2.50	c bounds 3333 >= 242 @ 2.2034
2.48/2.50	c bounds 3333 >= 243 @ 2.20705
2.48/2.50	c bounds 3333 >= 244 @ 2.20971
2.48/2.50	c bounds 3333 >= 245 @ 2.21337
2.48/2.50	c bounds 3333 >= 246 @ 2.21704
2.48/2.50	c bounds 3333 >= 247 @ 2.21869
2.48/2.50	c bounds 3333 >= 248 @ 2.22231
2.48/2.50	c bounds 3333 >= 249 @ 2.22595
2.48/2.50	c bounds 3333 >= 250 @ 2.22955
2.48/2.50	c bounds 3333 >= 251 @ 2.23317
2.48/2.50	c bounds 3333 >= 252 @ 2.23586
2.48/2.50	c bounds 3333 >= 253 @ 2.23943
2.48/2.50	c bounds 3333 >= 254 @ 2.24303
2.48/2.50	c bounds 3333 >= 255 @ 2.24567
2.48/2.50	c bounds 3333 >= 256 @ 2.24833
2.48/2.50	c bounds 3333 >= 257 @ 2.25194
2.48/2.50	c bounds 3333 >= 258 @ 2.25553
2.48/2.50	c bounds 3333 >= 259 @ 2.25914
2.48/2.50	c bounds 3333 >= 260 @ 2.26181
2.48/2.50	c bounds 3333 >= 261 @ 2.26547
2.48/2.50	c bounds 3333 >= 262 @ 2.26907
2.48/2.50	c bounds 3333 >= 263 @ 2.27174
2.48/2.50	c bounds 3333 >= 264 @ 2.27527
2.48/2.50	c bounds 3333 >= 265 @ 2.27888
2.48/2.50	c bounds 3333 >= 266 @ 2.28148
2.99/3.01	c bounds 3333 >= 267 @ 2.28507
2.99/3.01	c bounds 3333 >= 268 @ 2.28866
2.99/3.01	c bounds 3333 >= 269 @ 2.29235
2.99/3.01	c bounds 3333 >= 270 @ 2.29604
2.99/3.01	c bounds 3333 >= 271 @ 2.29973
2.99/3.01	c bounds 3333 >= 272 @ 2.30242
2.99/3.01	c bounds 3333 >= 273 @ 2.30609
2.99/3.01	c bounds 3333 >= 274 @ 2.30975
2.99/3.01	c bounds 3333 >= 275 @ 2.31242
2.99/3.01	c bounds 3333 >= 276 @ 2.3161
2.99/3.01	c bounds 3333 >= 277 @ 2.31977
2.99/3.01	c bounds 3333 >= 278 @ 2.32244
2.99/3.01	c bounds 3333 >= 279 @ 2.32459
2.99/3.01	c bounds 3333 >= 280 @ 2.32743
2.99/3.01	c bounds 3333 >= 281 @ 2.33108
2.99/3.01	c bounds 3333 >= 282 @ 2.33471
2.99/3.01	c bounds 3333 >= 283 @ 2.33833
2.99/3.01	c bounds 3333 >= 284 @ 2.34196
2.99/3.01	c bounds 3333 >= 285 @ 2.34365
2.99/3.01	c bounds 3333 >= 286 @ 2.34623
2.99/3.01	c bounds 3333 >= 287 @ 2.34986
2.99/3.01	c bounds 3333 >= 288 @ 2.35367
2.99/3.01	c bounds 3333 >= 289 @ 2.35658
2.99/3.01	c bounds 3333 >= 290 @ 2.35937
2.99/3.01	c bounds 3333 >= 291 @ 2.36323
2.99/3.01	c bounds 3333 >= 292 @ 2.36706
2.99/3.01	c bounds 3333 >= 293 @ 2.37091
2.99/3.01	c bounds 3333 >= 294 @ 2.37477
2.99/3.01	c bounds 3333 >= 295 @ 2.37668
2.99/3.01	c bounds 3333 >= 296 @ 2.38047
2.99/3.01	c bounds 3333 >= 297 @ 2.3843
2.99/3.01	c bounds 3333 >= 298 @ 2.38812
2.99/3.01	c bounds 3333 >= 299 @ 2.39194
2.99/3.01	c bounds 3333 >= 300 @ 2.39578
2.99/3.01	c bounds 3333 >= 301 @ 2.39866
2.99/3.01	c bounds 3333 >= 302 @ 2.40131
2.99/3.01	c bounds 3333 >= 303 @ 2.40524
2.99/3.01	c bounds 3333 >= 304 @ 2.40914
2.99/3.01	c bounds 3333 >= 305 @ 2.41305
2.99/3.01	c bounds 3333 >= 306 @ 2.41696
2.99/3.01	c bounds 3333 >= 307 @ 2.42085
2.99/3.01	c bounds 3333 >= 308 @ 2.42476
2.99/3.01	c bounds 3333 >= 309 @ 2.42867
2.99/3.01	c bounds 3333 >= 310 @ 2.43161
2.99/3.01	c bounds 3333 >= 311 @ 2.43451
2.99/3.01	c bounds 3333 >= 312 @ 2.43741
2.99/3.01	c bounds 3333 >= 313 @ 2.44126
2.99/3.01	c bounds 3333 >= 314 @ 2.44515
2.99/3.01	c bounds 3333 >= 315 @ 2.44904
2.99/3.01	c bounds 3333 >= 316 @ 2.45292
2.99/3.01	c bounds 3333 >= 317 @ 2.45685
2.99/3.01	c bounds 3333 >= 318 @ 2.46055
2.99/3.01	c bounds 3333 >= 319 @ 2.46331
2.99/3.01	c bounds 3333 >= 320 @ 2.46691
2.99/3.01	c bounds 3333 >= 321 @ 2.47056
2.99/3.01	c bounds 3333 >= 322 @ 2.47426
2.99/3.01	c bounds 3333 >= 323 @ 2.47712
2.99/3.01	c bounds 3333 >= 324 @ 2.48101
2.99/3.01	c bounds 3333 >= 325 @ 2.4849
2.99/3.01	c bounds 3333 >= 326 @ 2.48781
2.99/3.01	c bounds 3333 >= 327 @ 2.49167
2.99/3.01	c bounds 3333 >= 328 @ 2.49553
2.99/3.01	c bounds 3333 >= 329 @ 2.49841
2.99/3.01	c bounds 3333 >= 330 @ 2.50128
2.99/3.01	c bounds 3333 >= 331 @ 2.50555
2.99/3.01	c bounds 3333 >= 332 @ 2.50842
2.99/3.01	c bounds 3333 >= 333 @ 2.51225
2.99/3.01	c bounds 3333 >= 334 @ 2.51516
2.99/3.01	c bounds 3333 >= 335 @ 2.51896
2.99/3.01	c bounds 3333 >= 336 @ 2.52294
2.99/3.01	c bounds 3333 >= 337 @ 2.52689
2.99/3.01	c bounds 3333 >= 338 @ 2.53081
2.99/3.01	c bounds 3333 >= 339 @ 2.53474
2.99/3.01	c bounds 3333 >= 340 @ 2.53849
2.99/3.01	c bounds 3333 >= 341 @ 2.5422
2.99/3.01	c bounds 3333 >= 342 @ 2.54492
2.99/3.01	c bounds 3333 >= 343 @ 2.54863
2.99/3.01	c bounds 3333 >= 344 @ 2.55233
2.99/3.01	c bounds 3333 >= 345 @ 2.55511
2.99/3.01	c bounds 3333 >= 346 @ 2.55779
2.99/3.01	c bounds 3333 >= 347 @ 2.56151
2.99/3.01	c bounds 3333 >= 348 @ 2.56541
2.99/3.01	c bounds 3333 >= 349 @ 2.56932
2.99/3.01	c bounds 3333 >= 350 @ 2.57229
2.99/3.01	c bounds 3333 >= 351 @ 2.57522
2.99/3.01	c bounds 3333 >= 352 @ 2.57911
2.99/3.01	c bounds 3333 >= 353 @ 2.58207
2.99/3.01	c bounds 3333 >= 354 @ 2.585
2.99/3.01	c bounds 3333 >= 355 @ 2.58695
2.99/3.01	c bounds 3333 >= 356 @ 2.59079
2.99/3.01	c bounds 3333 >= 357 @ 2.5947
2.99/3.01	c bounds 3333 >= 358 @ 2.5986
2.99/3.01	c bounds 3333 >= 359 @ 2.60251
2.99/3.01	c bounds 3333 >= 360 @ 2.60641
2.99/3.01	c bounds 3333 >= 361 @ 2.61011
2.99/3.01	c bounds 3333 >= 362 @ 2.61288
2.99/3.01	c bounds 3333 >= 363 @ 2.61675
2.99/3.01	c bounds 3333 >= 364 @ 2.62075
2.99/3.01	c bounds 3333 >= 365 @ 2.62474
2.99/3.01	c bounds 3333 >= 366 @ 2.62873
2.99/3.01	c bounds 3333 >= 367 @ 2.63273
2.99/3.01	c bounds 3333 >= 368 @ 2.63672
2.99/3.01	c bounds 3333 >= 369 @ 2.6407
2.99/3.01	c bounds 3333 >= 370 @ 2.6448
2.99/3.01	c bounds 3333 >= 371 @ 2.64793
2.99/3.01	c bounds 3333 >= 372 @ 2.651
2.99/3.01	c bounds 3333 >= 373 @ 2.65404
2.99/3.01	c bounds 3333 >= 374 @ 2.65711
2.99/3.01	c bounds 3333 >= 375 @ 2.66018
2.99/3.01	c bounds 3333 >= 376 @ 2.66318
2.99/3.01	c bounds 3333 >= 377 @ 2.66711
2.99/3.01	c bounds 3333 >= 378 @ 2.67011
2.99/3.01	c bounds 3333 >= 379 @ 2.67308
2.99/3.01	c bounds 3333 >= 380 @ 2.67605
2.99/3.01	c bounds 3333 >= 381 @ 2.67902
2.99/3.01	c bounds 3333 >= 382 @ 2.68197
2.99/3.01	c bounds 3333 >= 383 @ 2.68493
2.99/3.01	c bounds 3333 >= 384 @ 2.68927
2.99/3.01	c bounds 3333 >= 385 @ 2.693
2.99/3.01	c bounds 3333 >= 386 @ 2.69579
2.99/3.01	c bounds 3333 >= 387 @ 2.69947
2.99/3.01	c bounds 3333 >= 388 @ 2.70321
2.99/3.01	c bounds 3333 >= 389 @ 2.70694
2.99/3.01	c bounds 3333 >= 390 @ 2.70972
2.99/3.01	c bounds 3333 >= 391 @ 2.71338
2.99/3.01	c bounds 3333 >= 392 @ 2.7173
2.99/3.01	c bounds 3333 >= 393 @ 2.72125
2.99/3.01	c bounds 3333 >= 394 @ 2.72519
2.99/3.01	c bounds 3333 >= 395 @ 2.72912
2.99/3.01	c bounds 3333 >= 396 @ 2.73305
2.99/3.01	c bounds 3333 >= 397 @ 2.73697
2.99/3.01	c bounds 3333 >= 398 @ 2.74089
2.99/3.01	c bounds 3333 >= 399 @ 2.74388
3.48/3.51	c bounds 3333 >= 400 @ 2.74789
3.48/3.51	c bounds 3333 >= 401 @ 2.75065
3.48/3.51	c bounds 3333 >= 402 @ 2.75334
3.48/3.51	c bounds 3333 >= 403 @ 2.75715
3.48/3.51	c bounds 3333 >= 404 @ 2.76093
3.48/3.51	c bounds 3333 >= 405 @ 2.76473
3.48/3.51	c bounds 3333 >= 406 @ 2.76658
3.48/3.51	c bounds 3333 >= 407 @ 2.76931
3.48/3.51	c bounds 3333 >= 408 @ 2.77211
3.48/3.51	c bounds 3333 >= 409 @ 2.77611
3.48/3.51	c bounds 3333 >= 410 @ 2.7799
3.48/3.51	c bounds 3333 >= 411 @ 2.78367
3.48/3.51	c bounds 3333 >= 412 @ 2.7865
3.48/3.51	c bounds 3333 >= 413 @ 2.78948
3.48/3.51	c bounds 3333 >= 414 @ 2.79341
3.48/3.51	c bounds 3333 >= 415 @ 2.7974
3.48/3.51	c bounds 3333 >= 416 @ 2.80045
3.48/3.51	c bounds 3333 >= 417 @ 2.80347
3.48/3.51	c bounds 3333 >= 418 @ 2.80643
3.48/3.51	c bounds 3333 >= 419 @ 2.80943
3.48/3.51	c bounds 3333 >= 420 @ 2.81241
3.48/3.51	c bounds 3333 >= 421 @ 2.81525
3.48/3.51	c bounds 3333 >= 422 @ 2.81696
3.48/3.51	c bounds 3333 >= 423 @ 2.82072
3.48/3.51	c bounds 3333 >= 424 @ 2.82447
3.48/3.51	c bounds 3333 >= 425 @ 2.82729
3.48/3.51	c bounds 3333 >= 426 @ 2.83034
3.48/3.51	c bounds 3333 >= 427 @ 2.8334
3.48/3.51	c bounds 3333 >= 428 @ 2.83621
3.48/3.51	c bounds 3333 >= 429 @ 2.83887
3.48/3.51	c bounds 3333 >= 430 @ 2.84253
3.48/3.51	c bounds 3333 >= 431 @ 2.84514
3.48/3.51	c bounds 3333 >= 432 @ 2.84872
3.48/3.51	c bounds 3333 >= 433 @ 2.85147
3.48/3.51	c bounds 3333 >= 434 @ 2.85417
3.48/3.51	c bounds 3333 >= 435 @ 2.85566
3.48/3.51	c bounds 3333 >= 436 @ 2.85921
3.48/3.51	c bounds 3333 >= 437 @ 2.86294
3.48/3.51	c bounds 3333 >= 438 @ 2.86561
3.48/3.51	c bounds 3333 >= 439 @ 2.86932
3.48/3.51	c bounds 3333 >= 440 @ 2.87
3.48/3.51	c bounds 3333 >= 441 @ 2.8726
3.48/3.51	c bounds 3333 >= 442 @ 2.87624
3.48/3.51	c bounds 3333 >= 443 @ 2.87988
3.48/3.51	c bounds 3333 >= 444 @ 2.88251
3.48/3.51	c bounds 3333 >= 445 @ 2.88647
3.48/3.51	c bounds 3333 >= 446 @ 2.89014
3.48/3.51	c bounds 3333 >= 447 @ 2.89285
3.48/3.51	c bounds 3333 >= 448 @ 2.89467
3.48/3.51	c bounds 3333 >= 449 @ 2.89739
3.48/3.51	c bounds 3333 >= 450 @ 2.90112
3.48/3.51	c bounds 3333 >= 451 @ 2.90486
3.48/3.51	c bounds 3333 >= 452 @ 2.90664
3.48/3.51	c bounds 3333 >= 453 @ 2.90932
3.48/3.51	c bounds 3333 >= 454 @ 2.91301
3.48/3.51	c bounds 3333 >= 455 @ 2.9166
3.48/3.51	c bounds 3333 >= 456 @ 2.91927
3.48/3.51	c bounds 3333 >= 457 @ 2.92289
3.48/3.51	c bounds 3333 >= 458 @ 2.92654
3.48/3.51	c bounds 3333 >= 459 @ 2.92926
3.48/3.51	c bounds 3333 >= 460 @ 2.93296
3.48/3.51	c bounds 3333 >= 461 @ 2.93669
3.48/3.51	c bounds 3333 >= 462 @ 2.93948
3.48/3.51	c bounds 3333 >= 463 @ 2.94206
3.48/3.51	c bounds 3333 >= 464 @ 2.94563
3.48/3.51	c bounds 3333 >= 465 @ 2.94832
3.48/3.51	c bounds 3333 >= 466 @ 2.95187
3.48/3.51	c bounds 3333 >= 467 @ 2.95548
3.48/3.51	c bounds 3333 >= 468 @ 2.95811
3.48/3.51	c bounds 3333 >= 469 @ 2.96171
3.48/3.51	c bounds 3333 >= 470 @ 2.96447
3.48/3.51	c bounds 3333 >= 471 @ 2.96711
3.48/3.51	c bounds 3333 >= 472 @ 2.97079
3.48/3.51	c bounds 3333 >= 473 @ 2.97447
3.48/3.51	c bounds 3333 >= 474 @ 2.97714
3.48/3.51	c bounds 3333 >= 475 @ 2.97991
3.48/3.51	c bounds 3333 >= 476 @ 2.98371
3.48/3.51	c bounds 3333 >= 477 @ 2.9875
3.48/3.51	c bounds 3333 >= 478 @ 2.9897
3.48/3.51	c bounds 3333 >= 479 @ 2.9925
3.48/3.51	c bounds 3333 >= 480 @ 2.99425
3.48/3.51	c bounds 3333 >= 481 @ 2.99687
3.48/3.51	c bounds 3333 >= 482 @ 3.00053
3.48/3.51	c bounds 3333 >= 483 @ 3.00325
3.48/3.51	c bounds 3333 >= 484 @ 3.00585
3.48/3.51	c bounds 3333 >= 485 @ 3.0095
3.48/3.51	c bounds 3333 >= 486 @ 3.01326
3.48/3.51	c bounds 3333 >= 487 @ 3.01602
3.48/3.51	c bounds 3333 >= 488 @ 3.01975
3.48/3.51	c bounds 3333 >= 489 @ 3.0235
3.48/3.51	c bounds 3333 >= 490 @ 3.02623
3.48/3.51	c bounds 3333 >= 491 @ 3.0288
3.48/3.51	c bounds 3333 >= 492 @ 3.03246
3.48/3.51	c bounds 3333 >= 493 @ 3.03518
3.48/3.51	c bounds 3333 >= 494 @ 3.03792
3.48/3.51	c bounds 3333 >= 495 @ 3.0406
3.48/3.51	c bounds 3333 >= 496 @ 3.04323
3.48/3.51	c bounds 3333 >= 497 @ 3.04586
3.48/3.51	c bounds 3333 >= 498 @ 3.04947
3.48/3.51	c bounds 3333 >= 499 @ 3.05313
3.48/3.51	c bounds 3333 >= 500 @ 3.05473
3.48/3.51	c bounds 3333 >= 501 @ 3.05835
3.48/3.51	c bounds 3333 >= 502 @ 3.0611
3.48/3.51	c bounds 3333 >= 503 @ 3.06374
3.48/3.51	c bounds 3333 >= 504 @ 3.06658
3.48/3.51	c bounds 3333 >= 505 @ 3.07039
3.48/3.51	c bounds 3333 >= 506 @ 3.07323
3.48/3.51	c bounds 3333 >= 507 @ 3.07688
3.48/3.51	c bounds 3333 >= 508 @ 3.0796
3.48/3.51	c bounds 3333 >= 509 @ 3.0833
3.48/3.51	c bounds 3333 >= 510 @ 3.08605
3.48/3.51	c bounds 3333 >= 511 @ 3.08867
3.48/3.51	c bounds 3333 >= 512 @ 3.09239
3.48/3.51	c bounds 3333 >= 513 @ 3.09525
3.48/3.51	c bounds 3333 >= 514 @ 3.09901
3.48/3.51	c bounds 3333 >= 515 @ 3.10179
3.48/3.51	c bounds 3333 >= 516 @ 3.10551
3.48/3.51	c bounds 3333 >= 517 @ 3.10916
3.48/3.51	c bounds 3333 >= 518 @ 3.11096
3.48/3.51	c bounds 3333 >= 519 @ 3.11261
3.48/3.51	c bounds 3333 >= 520 @ 3.11629
3.48/3.51	c bounds 3333 >= 521 @ 3.11925
3.48/3.51	c bounds 3333 >= 522 @ 3.12119
3.48/3.51	c bounds 3333 >= 523 @ 3.12393
3.48/3.51	c bounds 3333 >= 524 @ 3.12653
3.48/3.51	c bounds 3333 >= 525 @ 3.13023
3.48/3.51	c bounds 3333 >= 526 @ 3.13303
3.48/3.51	c bounds 3333 >= 527 @ 3.13566
3.48/3.51	c bounds 3333 >= 528 @ 3.13934
3.48/3.51	c bounds 3333 >= 529 @ 3.14218
3.48/3.51	c bounds 3333 >= 530 @ 3.14496
3.48/3.51	c bounds 3333 >= 531 @ 3.14712
3.48/3.51	c bounds 3333 >= 532 @ 3.1499
3.99/4.06	c bounds 3333 >= 533 @ 3.15255
3.99/4.06	c bounds 3333 >= 534 @ 3.15626
3.99/4.06	c bounds 3333 >= 535 @ 3.15996
3.99/4.06	c bounds 3333 >= 536 @ 3.16272
3.99/4.06	c bounds 3333 >= 537 @ 3.16567
3.99/4.06	c bounds 3333 >= 538 @ 3.16938
3.99/4.06	c bounds 3333 >= 539 @ 3.17314
3.99/4.06	c bounds 3333 >= 540 @ 3.17698
3.99/4.06	c bounds 3333 >= 541 @ 3.17988
3.99/4.06	c bounds 3333 >= 542 @ 3.1838
3.99/4.06	c bounds 3333 >= 543 @ 3.18652
3.99/4.06	c bounds 3333 >= 544 @ 3.19024
3.99/4.06	c bounds 3333 >= 545 @ 3.19301
3.99/4.06	c bounds 3333 >= 546 @ 3.19579
3.99/4.06	c bounds 3333 >= 547 @ 3.19859
3.99/4.06	c bounds 3333 >= 548 @ 3.20139
3.99/4.06	c bounds 3333 >= 549 @ 3.20511
3.99/4.06	c bounds 3333 >= 550 @ 3.20793
3.99/4.06	c bounds 3333 >= 551 @ 3.21059
3.99/4.06	c bounds 3333 >= 552 @ 3.21456
3.99/4.06	c bounds 3333 >= 553 @ 3.21736
3.99/4.06	c bounds 3333 >= 554 @ 3.22116
3.99/4.06	c bounds 3333 >= 555 @ 3.22497
3.99/4.06	c bounds 3333 >= 556 @ 3.22786
3.99/4.06	c bounds 3333 >= 557 @ 3.2316
3.99/4.06	c bounds 3333 >= 558 @ 3.2344
3.99/4.06	c bounds 3333 >= 559 @ 3.23821
3.99/4.06	c bounds 3333 >= 560 @ 3.24198
3.99/4.06	c bounds 3333 >= 561 @ 3.24477
3.99/4.06	c bounds 3333 >= 562 @ 3.24744
3.99/4.06	c bounds 3333 >= 563 @ 3.2502
3.99/4.06	c bounds 3333 >= 564 @ 3.25386
3.99/4.06	c bounds 3333 >= 565 @ 3.25663
3.99/4.06	c bounds 3333 >= 566 @ 3.25934
3.99/4.06	c bounds 3333 >= 567 @ 3.26316
3.99/4.06	c bounds 3333 >= 568 @ 3.26697
3.99/4.06	c bounds 3333 >= 569 @ 3.26977
3.99/4.06	c bounds 3333 >= 570 @ 3.2724
3.99/4.06	c bounds 3333 >= 571 @ 3.27621
3.99/4.06	c bounds 3333 >= 572 @ 3.27997
3.99/4.06	c bounds 3333 >= 573 @ 3.28276
3.99/4.06	c bounds 3333 >= 574 @ 3.2856
3.99/4.06	c bounds 3333 >= 575 @ 3.28838
3.99/4.06	c bounds 3333 >= 576 @ 3.29119
3.99/4.06	c bounds 3333 >= 577 @ 3.29494
3.99/4.06	c bounds 3333 >= 578 @ 3.29777
3.99/4.06	c bounds 3333 >= 579 @ 3.30149
3.99/4.06	c bounds 3333 >= 580 @ 3.30425
3.99/4.06	c bounds 3333 >= 581 @ 3.30711
3.99/4.06	c bounds 3333 >= 582 @ 3.31095
3.99/4.06	c bounds 3333 >= 583 @ 3.31421
3.99/4.06	c bounds 3333 >= 584 @ 3.31802
3.99/4.06	c bounds 3333 >= 585 @ 3.32181
3.99/4.06	c bounds 3333 >= 586 @ 3.32464
3.99/4.06	c bounds 3333 >= 587 @ 3.32734
3.99/4.06	c bounds 3332 >= 587 @ 3.36142
3.99/4.06	c bounds 3332 >= 588 @ 3.36441
3.99/4.06	c bounds 3332 >= 589 @ 3.36712
3.99/4.06	c bounds 3332 >= 590 @ 3.37091
3.99/4.06	c bounds 3332 >= 591 @ 3.37467
3.99/4.06	c bounds 3332 >= 592 @ 3.37745
3.99/4.06	c bounds 3332 >= 593 @ 3.38111
3.99/4.06	c bounds 3332 >= 594 @ 3.38485
3.99/4.06	c bounds 3332 >= 595 @ 3.3886
3.99/4.06	c bounds 3332 >= 596 @ 3.39139
3.99/4.06	c bounds 3332 >= 597 @ 3.39413
3.99/4.06	c bounds 3332 >= 598 @ 3.39693
3.99/4.06	c bounds 3332 >= 599 @ 3.40073
3.99/4.06	c bounds 3332 >= 600 @ 3.4036
3.99/4.06	c bounds 3332 >= 601 @ 3.40643
3.99/4.06	c bounds 3332 >= 602 @ 3.40913
3.99/4.06	c bounds 3332 >= 603 @ 3.4119
3.99/4.06	c bounds 3332 >= 604 @ 3.41569
3.99/4.06	c bounds 3332 >= 605 @ 3.41853
3.99/4.06	c bounds 3332 >= 606 @ 3.42132
3.99/4.06	c bounds 3332 >= 607 @ 3.42409
3.99/4.06	c bounds 3332 >= 608 @ 3.42692
3.99/4.06	c bounds 3332 >= 609 @ 3.43075
3.99/4.06	c bounds 3332 >= 610 @ 3.43458
3.99/4.06	c bounds 3332 >= 611 @ 3.43754
3.99/4.06	c bounds 3332 >= 612 @ 3.44042
3.99/4.06	c bounds 3332 >= 613 @ 3.4433
3.99/4.06	c bounds 3332 >= 614 @ 3.4461
3.99/4.06	c bounds 3332 >= 615 @ 3.44995
3.99/4.06	c bounds 3332 >= 616 @ 3.45273
3.99/4.06	c bounds 3332 >= 617 @ 3.4569
3.99/4.06	c bounds 3332 >= 618 @ 3.45968
3.99/4.06	c bounds 3332 >= 619 @ 3.4625
3.99/4.06	c bounds 3332 >= 620 @ 3.4653
3.99/4.06	c bounds 3332 >= 621 @ 3.467
3.99/4.06	c bounds 3332 >= 622 @ 3.46981
3.99/4.06	c bounds 3332 >= 623 @ 3.47266
3.99/4.06	c bounds 3332 >= 624 @ 3.47554
3.99/4.06	c bounds 3332 >= 625 @ 3.47841
3.99/4.06	c bounds 3332 >= 626 @ 3.48127
3.99/4.06	c bounds 3332 >= 627 @ 3.484
3.99/4.06	c bounds 3332 >= 628 @ 3.48681
3.99/4.06	c bounds 3332 >= 629 @ 3.49058
3.99/4.06	c bounds 3332 >= 630 @ 3.49342
3.99/4.06	c bounds 3332 >= 631 @ 3.4952
3.99/4.06	c bounds 3332 >= 632 @ 3.49792
3.99/4.06	c bounds 3332 >= 633 @ 3.50074
3.99/4.06	c bounds 3332 >= 634 @ 3.50447
3.99/4.06	c bounds 3332 >= 635 @ 3.50727
3.99/4.06	c bounds 3332 >= 636 @ 3.50907
3.99/4.06	c bounds 3332 >= 637 @ 3.51182
3.99/4.06	c bounds 3332 >= 638 @ 3.51574
3.99/4.06	c bounds 3332 >= 639 @ 3.51862
3.99/4.06	c bounds 3332 >= 640 @ 3.52253
3.99/4.06	c bounds 3332 >= 641 @ 3.52641
3.99/4.06	c bounds 3332 >= 642 @ 3.52928
3.99/4.06	c bounds 3332 >= 643 @ 3.53215
3.99/4.06	c bounds 3332 >= 644 @ 3.5339
3.99/4.06	c bounds 3332 >= 645 @ 3.53575
3.99/4.06	c bounds 3332 >= 646 @ 3.5395
3.99/4.06	c bounds 3332 >= 647 @ 3.54337
3.99/4.06	c bounds 3332 >= 648 @ 3.54631
3.99/4.06	c bounds 3332 >= 649 @ 3.54919
3.99/4.06	c bounds 3332 >= 650 @ 3.55206
3.99/4.06	c bounds 3332 >= 651 @ 3.55586
3.99/4.06	c bounds 3332 >= 652 @ 3.55874
3.99/4.06	c bounds 3332 >= 653 @ 3.56262
3.99/4.06	c bounds 3332 >= 654 @ 3.56548
3.99/4.06	c bounds 3332 >= 655 @ 3.56926
3.99/4.06	c bounds 3332 >= 656 @ 3.57306
3.99/4.06	c bounds 3332 >= 657 @ 3.57498
3.99/4.06	c bounds 3332 >= 658 @ 3.57872
3.99/4.06	c bounds 3332 >= 659 @ 3.5815
3.99/4.06	c bounds 3332 >= 660 @ 3.5854
3.99/4.06	c bounds 3332 >= 661 @ 3.5893
3.99/4.06	c bounds 3332 >= 662 @ 3.59143
3.99/4.06	c bounds 3332 >= 663 @ 3.59519
3.99/4.06	c bounds 3332 >= 664 @ 3.59804
4.57/4.63	c bounds 3332 >= 665 @ 3.60092
4.57/4.63	c bounds 3332 >= 666 @ 3.60368
4.57/4.63	c bounds 3332 >= 667 @ 3.60643
4.57/4.63	c bounds 3332 >= 668 @ 3.61019
4.57/4.63	c bounds 3332 >= 669 @ 3.61342
4.57/4.63	c bounds 3332 >= 670 @ 3.61718
4.57/4.63	c bounds 3332 >= 671 @ 3.62008
4.57/4.63	c bounds 3332 >= 672 @ 3.62299
4.57/4.63	c bounds 3332 >= 673 @ 3.62588
4.57/4.63	c bounds 3332 >= 674 @ 3.62968
4.57/4.63	c bounds 3332 >= 675 @ 3.63357
4.57/4.63	c bounds 3332 >= 676 @ 3.63746
4.57/4.63	c bounds 3332 >= 677 @ 3.63936
4.57/4.63	c bounds 3332 >= 678 @ 3.64323
4.57/4.63	c bounds 3332 >= 679 @ 3.64621
4.57/4.63	c bounds 3332 >= 680 @ 3.6491
4.57/4.63	c bounds 3332 >= 681 @ 3.65199
4.57/4.63	c bounds 3332 >= 682 @ 3.65576
4.57/4.63	c bounds 3332 >= 683 @ 3.65964
4.57/4.63	c bounds 3332 >= 684 @ 3.66271
4.57/4.63	c bounds 3332 >= 685 @ 3.66555
4.57/4.63	c bounds 3332 >= 686 @ 3.66947
4.57/4.63	c bounds 3332 >= 687 @ 3.67241
4.57/4.63	c bounds 3332 >= 688 @ 3.67528
4.57/4.63	c bounds 3332 >= 689 @ 3.67912
4.57/4.63	c bounds 3332 >= 690 @ 3.68302
4.57/4.63	c bounds 3332 >= 691 @ 3.68601
4.57/4.63	c bounds 3332 >= 692 @ 3.68894
4.57/4.63	c bounds 3332 >= 693 @ 3.69189
4.57/4.63	c bounds 3332 >= 694 @ 3.69487
4.57/4.63	c bounds 3332 >= 695 @ 3.69776
4.57/4.63	c bounds 3332 >= 696 @ 3.70064
4.57/4.63	c bounds 3332 >= 697 @ 3.70436
4.57/4.63	c bounds 3332 >= 698 @ 3.70825
4.57/4.63	c bounds 3332 >= 699 @ 3.71206
4.57/4.63	c bounds 3332 >= 700 @ 3.71491
4.57/4.63	c bounds 3332 >= 701 @ 3.71881
4.57/4.63	c bounds 3332 >= 702 @ 3.72273
4.57/4.63	c bounds 3332 >= 703 @ 3.72572
4.57/4.63	c bounds 3332 >= 704 @ 3.72958
4.57/4.63	c bounds 3332 >= 705 @ 3.73359
4.57/4.63	c bounds 3332 >= 706 @ 3.73657
4.57/4.63	c bounds 3332 >= 707 @ 3.74039
4.57/4.63	c bounds 3332 >= 708 @ 3.74323
4.57/4.63	c bounds 3332 >= 709 @ 3.74612
4.57/4.63	c bounds 3332 >= 710 @ 3.7491
4.57/4.63	c bounds 3332 >= 711 @ 3.75306
4.57/4.63	c bounds 3332 >= 712 @ 3.75705
4.57/4.63	c bounds 3332 >= 713 @ 3.76104
4.57/4.63	c bounds 3332 >= 714 @ 3.7649
4.57/4.63	c bounds 3332 >= 715 @ 3.76786
4.57/4.63	c bounds 3332 >= 716 @ 3.7707
4.57/4.63	c bounds 3332 >= 717 @ 3.77361
4.57/4.63	c bounds 3332 >= 718 @ 3.77652
4.57/4.63	c bounds 3332 >= 719 @ 3.7803
4.57/4.63	c bounds 3332 >= 720 @ 3.78416
4.57/4.63	c bounds 3332 >= 721 @ 3.78798
4.57/4.63	c bounds 3332 >= 722 @ 3.79187
4.57/4.63	c bounds 3332 >= 723 @ 3.79588
4.57/4.63	c bounds 3332 >= 724 @ 3.79877
4.57/4.63	c bounds 3332 >= 725 @ 3.8026
4.57/4.63	c bounds 3332 >= 726 @ 3.80657
4.57/4.63	c bounds 3332 >= 727 @ 3.8096
4.57/4.63	c bounds 3332 >= 728 @ 3.81259
4.57/4.63	c bounds 3332 >= 729 @ 3.81556
4.57/4.63	c bounds 3332 >= 730 @ 3.81853
4.57/4.63	c bounds 3332 >= 731 @ 3.82232
4.57/4.63	c bounds 3332 >= 732 @ 3.82422
4.57/4.63	c bounds 3332 >= 733 @ 3.82704
4.57/4.63	c bounds 3332 >= 734 @ 3.82895
4.57/4.63	c bounds 3332 >= 735 @ 3.83185
4.57/4.63	c bounds 3332 >= 736 @ 3.83475
4.57/4.63	c bounds 3332 >= 737 @ 3.83867
4.57/4.63	c bounds 3332 >= 738 @ 3.84274
4.57/4.63	c bounds 3332 >= 739 @ 3.84575
4.57/4.63	c bounds 3332 >= 740 @ 3.84869
4.57/4.63	c bounds 3332 >= 741 @ 3.85165
4.57/4.63	c bounds 3332 >= 742 @ 3.85462
4.57/4.63	c bounds 3332 >= 743 @ 3.85852
4.57/4.63	c bounds 3332 >= 744 @ 3.86152
4.57/4.63	c bounds 3332 >= 745 @ 3.86537
4.57/4.63	c bounds 3332 >= 746 @ 3.86737
4.57/4.63	c bounds 3332 >= 747 @ 3.87033
4.57/4.63	c bounds 3332 >= 748 @ 3.87331
4.57/4.63	c bounds 3332 >= 749 @ 3.87626
4.57/4.63	c bounds 3332 >= 750 @ 3.87914
4.57/4.63	c bounds 3332 >= 751 @ 3.88126
4.57/4.63	c bounds 3332 >= 752 @ 3.88428
4.57/4.63	c bounds 3332 >= 753 @ 3.88729
4.57/4.63	c bounds 3332 >= 754 @ 3.8903
4.57/4.63	c bounds 3332 >= 755 @ 3.89331
4.57/4.63	c bounds 3332 >= 756 @ 3.89717
4.57/4.63	c bounds 3332 >= 757 @ 3.90007
4.57/4.63	c bounds 3332 >= 758 @ 3.90301
4.57/4.63	c bounds 3332 >= 759 @ 3.90594
4.57/4.63	c bounds 3332 >= 760 @ 3.90882
4.57/4.63	c bounds 3332 >= 761 @ 3.91176
4.57/4.63	c bounds 3332 >= 762 @ 3.91574
4.57/4.63	c bounds 3331 >= 762 @ 3.96238
4.57/4.63	c bounds 3331 >= 763 @ 3.96675
4.57/4.63	c bounds 3331 >= 764 @ 3.9708
4.57/4.63	c bounds 3331 >= 765 @ 3.97482
4.57/4.63	c bounds 3331 >= 766 @ 3.9778
4.57/4.63	c bounds 3331 >= 767 @ 3.98169
4.57/4.63	c bounds 3331 >= 768 @ 3.98457
4.57/4.63	c bounds 3331 >= 769 @ 3.98845
4.57/4.63	c bounds 3331 >= 770 @ 3.99132
4.57/4.63	c bounds 3331 >= 771 @ 3.99518
4.57/4.63	c bounds 3331 >= 772 @ 3.99818
4.57/4.63	c bounds 3331 >= 773 @ 4.00122
4.57/4.63	c bounds 3331 >= 774 @ 4.00427
4.57/4.63	c bounds 3331 >= 775 @ 4.00752
4.57/4.63	c bounds 3331 >= 776 @ 4.01048
4.57/4.63	c bounds 3331 >= 777 @ 4.01443
4.57/4.63	c bounds 3331 >= 778 @ 4.01736
4.57/4.63	c bounds 3331 >= 779 @ 4.02132
4.57/4.63	c bounds 3331 >= 780 @ 4.02426
4.57/4.63	c bounds 3331 >= 781 @ 4.02819
4.57/4.63	c bounds 3331 >= 782 @ 4.03114
4.57/4.63	c bounds 3331 >= 783 @ 4.03505
4.57/4.63	c bounds 3331 >= 784 @ 4.03899
4.57/4.63	c bounds 3331 >= 785 @ 4.04297
4.57/4.63	c bounds 3331 >= 786 @ 4.04599
4.57/4.63	c bounds 3331 >= 787 @ 4.0499
4.57/4.63	c bounds 3331 >= 788 @ 4.05302
4.57/4.63	c bounds 3331 >= 789 @ 4.05606
4.57/4.63	c bounds 3331 >= 790 @ 4.05909
4.57/4.63	c bounds 3331 >= 791 @ 4.06211
4.57/4.63	c bounds 3331 >= 792 @ 4.06522
4.57/4.63	c bounds 3331 >= 793 @ 4.06917
4.57/4.63	c bounds 3331 >= 794 @ 4.07211
4.57/4.63	c bounds 3331 >= 795 @ 4.07602
5.08/5.17	c bounds 3331 >= 796 @ 4.07904
5.08/5.17	c bounds 3331 >= 797 @ 4.082
5.08/5.17	c bounds 3331 >= 798 @ 4.08502
5.08/5.17	c bounds 3331 >= 799 @ 4.08804
5.08/5.17	c bounds 3331 >= 800 @ 4.09106
5.08/5.17	c bounds 3331 >= 801 @ 4.09436
5.08/5.17	c bounds 3331 >= 802 @ 4.09822
5.08/5.17	c bounds 3331 >= 803 @ 4.10218
5.08/5.17	c bounds 3331 >= 804 @ 4.10526
5.08/5.17	c bounds 3331 >= 805 @ 4.1093
5.08/5.17	c bounds 3331 >= 806 @ 4.11251
5.08/5.17	c bounds 3331 >= 807 @ 4.11652
5.08/5.17	c bounds 3331 >= 808 @ 4.1195
5.08/5.17	c bounds 3331 >= 809 @ 4.1225
5.08/5.17	c bounds 3331 >= 810 @ 4.12552
5.08/5.17	c bounds 3331 >= 811 @ 4.12866
5.08/5.17	c bounds 3331 >= 812 @ 4.13256
5.08/5.17	c bounds 3331 >= 813 @ 4.13571
5.08/5.17	c bounds 3331 >= 814 @ 4.13881
5.08/5.17	c bounds 3331 >= 815 @ 4.14188
5.08/5.17	c bounds 3331 >= 816 @ 4.14585
5.08/5.17	c bounds 3331 >= 817 @ 4.14889
5.08/5.17	c bounds 3331 >= 818 @ 4.15276
5.08/5.17	c bounds 3331 >= 819 @ 4.15678
5.08/5.17	c bounds 3331 >= 820 @ 4.15978
5.08/5.17	c bounds 3331 >= 821 @ 4.16277
5.08/5.17	c bounds 3331 >= 822 @ 4.16571
5.08/5.17	c bounds 3331 >= 823 @ 4.16876
5.08/5.17	c bounds 3331 >= 824 @ 4.17181
5.08/5.17	c bounds 3331 >= 825 @ 4.17576
5.08/5.17	c bounds 3331 >= 826 @ 4.17967
5.08/5.17	c bounds 3331 >= 827 @ 4.18272
5.08/5.17	c bounds 3331 >= 828 @ 4.18563
5.08/5.17	c bounds 3331 >= 829 @ 4.18952
5.08/5.17	c bounds 3331 >= 830 @ 4.19252
5.08/5.17	c bounds 3331 >= 831 @ 4.19539
5.08/5.17	c bounds 3331 >= 832 @ 4.19933
5.08/5.17	c bounds 3331 >= 833 @ 4.20231
5.08/5.17	c bounds 3331 >= 834 @ 4.20421
5.08/5.17	c bounds 3331 >= 835 @ 4.20723
5.08/5.17	c bounds 3331 >= 836 @ 4.21016
5.08/5.17	c bounds 3331 >= 837 @ 4.21415
5.08/5.17	c bounds 3331 >= 838 @ 4.21628
5.08/5.17	c bounds 3331 >= 839 @ 4.21952
5.08/5.17	c bounds 3331 >= 840 @ 4.22265
5.08/5.17	c bounds 3331 >= 841 @ 4.22666
5.08/5.17	c bounds 3331 >= 842 @ 4.23063
5.08/5.17	c bounds 3331 >= 843 @ 4.23372
5.08/5.17	c bounds 3331 >= 844 @ 4.23669
5.08/5.17	c bounds 3331 >= 845 @ 4.23973
5.08/5.17	c bounds 3331 >= 846 @ 4.2427
5.08/5.17	c bounds 3331 >= 847 @ 4.24669
5.08/5.17	c bounds 3331 >= 848 @ 4.24981
5.08/5.17	c bounds 3331 >= 849 @ 4.25384
5.08/5.17	c bounds 3331 >= 850 @ 4.25595
5.08/5.17	c bounds 3331 >= 851 @ 4.25903
5.08/5.17	c bounds 3331 >= 852 @ 4.26216
5.08/5.17	c bounds 3331 >= 853 @ 4.2637
5.08/5.17	c bounds 3331 >= 854 @ 4.26776
5.08/5.17	c bounds 3331 >= 855 @ 4.27087
5.08/5.17	c bounds 3331 >= 856 @ 4.27395
5.08/5.17	c bounds 3331 >= 857 @ 4.27694
5.08/5.17	c bounds 3331 >= 858 @ 4.28091
5.08/5.17	c bounds 3331 >= 859 @ 4.28504
5.08/5.17	c bounds 3331 >= 860 @ 4.28809
5.08/5.17	c bounds 3331 >= 861 @ 4.29109
5.08/5.17	c bounds 3331 >= 862 @ 4.29414
5.08/5.17	c bounds 3331 >= 863 @ 4.29731
5.08/5.17	c bounds 3331 >= 864 @ 4.30038
5.08/5.17	c bounds 3331 >= 865 @ 4.30335
5.08/5.17	c bounds 3331 >= 866 @ 4.30536
5.08/5.17	c bounds 3331 >= 867 @ 4.3083
5.08/5.17	c bounds 3331 >= 868 @ 4.31129
5.08/5.17	c bounds 3331 >= 869 @ 4.31427
5.08/5.17	c bounds 3331 >= 870 @ 4.31724
5.08/5.17	c bounds 3331 >= 871 @ 4.32114
5.08/5.17	c bounds 3331 >= 872 @ 4.32432
5.08/5.17	c bounds 3331 >= 873 @ 4.32746
5.08/5.17	c bounds 3331 >= 874 @ 4.33052
5.08/5.17	c bounds 3331 >= 875 @ 4.33358
5.08/5.17	c bounds 3331 >= 876 @ 4.33768
5.08/5.17	c bounds 3331 >= 877 @ 4.34181
5.08/5.17	c bounds 3331 >= 878 @ 4.34498
5.08/5.17	c bounds 3331 >= 879 @ 4.3482
5.08/5.17	c bounds 3331 >= 880 @ 4.35123
5.08/5.17	c bounds 3331 >= 881 @ 4.35337
5.08/5.17	c bounds 3331 >= 882 @ 4.35641
5.08/5.17	c bounds 3331 >= 883 @ 4.35942
5.08/5.17	c bounds 3331 >= 884 @ 4.36247
5.08/5.17	c bounds 3331 >= 885 @ 4.36548
5.08/5.17	c bounds 3331 >= 886 @ 4.36755
5.08/5.17	c bounds 3331 >= 887 @ 4.3716
5.08/5.17	c bounds 3331 >= 888 @ 4.3737
5.08/5.17	c bounds 3331 >= 889 @ 4.37676
5.08/5.17	c bounds 3331 >= 890 @ 4.38089
5.08/5.17	c bounds 3331 >= 891 @ 4.38411
5.08/5.17	c bounds 3331 >= 892 @ 4.38751
5.08/5.17	c bounds 3331 >= 893 @ 4.39155
5.08/5.17	c bounds 3331 >= 894 @ 4.39562
5.08/5.17	c bounds 3331 >= 895 @ 4.39767
5.08/5.17	c bounds 3331 >= 896 @ 4.39974
5.08/5.17	c bounds 3331 >= 897 @ 4.40287
5.08/5.17	c bounds 3331 >= 898 @ 4.40607
5.08/5.17	c bounds 3331 >= 899 @ 4.40932
5.08/5.17	c bounds 3331 >= 900 @ 4.41235
5.08/5.17	c bounds 3331 >= 901 @ 4.41628
5.08/5.17	c bounds 3331 >= 902 @ 4.41934
5.08/5.17	c bounds 3331 >= 903 @ 4.42237
5.08/5.17	c bounds 3331 >= 904 @ 4.4254
5.08/5.17	c bounds 3331 >= 905 @ 4.42973
5.08/5.17	c bounds 3331 >= 906 @ 4.43295
5.08/5.17	c bounds 3331 >= 907 @ 4.43601
5.08/5.17	c bounds 3331 >= 908 @ 4.43912
5.08/5.17	c bounds 3331 >= 909 @ 4.44221
5.08/5.17	c bounds 3331 >= 910 @ 4.44529
5.08/5.17	c bounds 3331 >= 911 @ 4.44838
5.08/5.17	c bounds 3331 >= 912 @ 4.45148
5.08/5.17	c bounds 3331 >= 913 @ 4.45554
5.08/5.17	c bounds 3331 >= 914 @ 4.45868
5.08/5.17	c bounds 3331 >= 915 @ 4.46283
5.08/5.17	c bounds 3331 >= 916 @ 4.46608
5.08/5.17	c bounds 3331 >= 917 @ 4.47016
5.08/5.17	c bounds 3331 >= 918 @ 4.47432
5.08/5.17	c bounds 3331 >= 919 @ 4.47642
5.08/5.17	c bounds 3331 >= 920 @ 4.48043
5.08/5.17	c bounds 3331 >= 921 @ 4.48461
5.08/5.17	c bounds 3331 >= 922 @ 4.48785
5.08/5.17	c bounds 3331 >= 923 @ 4.49184
5.08/5.17	c bounds 3331 >= 924 @ 4.49496
5.08/5.17	c bounds 3331 >= 925 @ 4.49899
5.08/5.17	c bounds 3331 >= 926 @ 4.50213
5.08/5.17	c bounds 3331 >= 927 @ 4.50613
5.08/5.17	c bounds 3331 >= 928 @ 4.51017
5.67/5.71	c bounds 3331 >= 929 @ 4.51325
5.67/5.71	c bounds 3331 >= 930 @ 4.51528
5.67/5.71	c bounds 3331 >= 931 @ 4.5173
5.67/5.71	c bounds 3331 >= 932 @ 4.51832
5.67/5.71	c bounds 3331 >= 933 @ 4.52137
5.67/5.71	c bounds 3331 >= 934 @ 4.52439
5.67/5.71	c bounds 3331 >= 935 @ 4.5275
5.67/5.71	c bounds 3331 >= 936 @ 4.53074
5.67/5.71	c bounds 3331 >= 937 @ 4.53386
5.67/5.71	c bounds 3331 >= 938 @ 4.53698
5.67/5.71	c bounds 3331 >= 939 @ 4.54019
5.67/5.71	c bounds 3331 >= 940 @ 4.54437
5.67/5.71	c bounds 3331 >= 941 @ 4.54741
5.67/5.71	c bounds 3331 >= 942 @ 4.55057
5.67/5.71	c bounds 3331 >= 943 @ 4.55374
5.67/5.71	c bounds 3331 >= 944 @ 4.55687
5.67/5.71	c bounds 3331 >= 945 @ 4.56001
5.67/5.71	c bounds 3331 >= 946 @ 4.56318
5.67/5.71	c bounds 3331 >= 947 @ 4.56536
5.67/5.71	c bounds 3331 >= 948 @ 4.5685
5.67/5.71	c bounds 3331 >= 949 @ 4.5717
5.67/5.71	c bounds 3331 >= 950 @ 4.57573
5.67/5.71	c bounds 3331 >= 951 @ 4.57899
5.67/5.71	c bounds 3331 >= 952 @ 4.58203
5.67/5.71	c bounds 3331 >= 953 @ 4.58511
5.67/5.71	c bounds 3331 >= 954 @ 4.58721
5.67/5.71	c bounds 3331 >= 955 @ 4.59031
5.67/5.71	c bounds 3331 >= 956 @ 4.59338
5.67/5.71	c bounds 3331 >= 957 @ 4.59558
5.67/5.71	c bounds 3331 >= 958 @ 4.59902
5.67/5.71	c bounds 3331 >= 959 @ 4.60213
5.67/5.71	c bounds 3331 >= 960 @ 4.60535
5.67/5.71	c bounds 3331 >= 961 @ 4.60861
5.67/5.71	c bounds 3331 >= 962 @ 4.61177
5.67/5.71	c bounds 3331 >= 963 @ 4.61488
5.67/5.71	c bounds 3331 >= 964 @ 4.6179
5.67/5.71	c bounds 3331 >= 965 @ 4.62006
5.67/5.71	c bounds 3331 >= 966 @ 4.62208
5.67/5.71	c bounds 3331 >= 967 @ 4.62516
5.67/5.71	c bounds 3331 >= 968 @ 4.62835
5.67/5.71	c bounds 3331 >= 969 @ 4.6316
5.67/5.71	c bounds 3331 >= 970 @ 4.63476
5.67/5.71	c bounds 3331 >= 971 @ 4.6379
5.67/5.71	c bounds 3331 >= 972 @ 4.64091
5.67/5.71	c bounds 3331 >= 973 @ 4.64507
5.67/5.71	c bounds 3331 >= 974 @ 4.6482
5.67/5.71	c bounds 3331 >= 975 @ 4.65137
5.67/5.71	c bounds 3331 >= 976 @ 4.6536
5.67/5.71	c bounds 3331 >= 977 @ 4.65689
5.67/5.71	c bounds 3331 >= 978 @ 4.65935
5.67/5.71	c bounds 3331 >= 979 @ 4.66271
5.67/5.71	c bounds 3331 >= 980 @ 4.66588
5.67/5.71	c bounds 3331 >= 981 @ 4.66808
5.67/5.71	c bounds 3331 >= 982 @ 4.67129
5.67/5.71	c bounds 3331 >= 983 @ 4.67553
5.67/5.71	c bounds 3331 >= 984 @ 4.67979
5.67/5.71	c bounds 3331 >= 985 @ 4.68202
5.67/5.71	c bounds 3331 >= 986 @ 4.68525
5.67/5.71	c bounds 3331 >= 987 @ 4.6885
5.67/5.71	c bounds 3331 >= 988 @ 4.69162
5.67/5.71	c bounds 3331 >= 989 @ 4.69469
5.67/5.71	c bounds 3331 >= 990 @ 4.69778
5.67/5.71	c bounds 3331 >= 991 @ 4.6989
5.67/5.71	c bounds 3331 >= 992 @ 4.703
5.67/5.71	c bounds 3331 >= 993 @ 4.70623
5.67/5.71	c bounds 3331 >= 994 @ 4.70952
5.67/5.71	c bounds 3331 >= 995 @ 4.71269
5.67/5.71	c bounds 3331 >= 996 @ 4.71483
5.67/5.71	c bounds 3331 >= 997 @ 4.71788
5.67/5.71	c bounds 3331 >= 998 @ 4.72101
5.67/5.71	c bounds 3331 >= 999 @ 4.7241
5.67/5.71	c bounds 3331 >= 1000 @ 4.72732
5.67/5.71	c bounds 3331 >= 1001 @ 4.73129
5.67/5.71	c bounds 3331 >= 1002 @ 4.73449
5.67/5.71	c bounds 3331 >= 1003 @ 4.73757
5.67/5.71	c bounds 3331 >= 1004 @ 4.74064
5.67/5.71	c bounds 3331 >= 1005 @ 4.74374
5.67/5.71	c bounds 3331 >= 1006 @ 4.74608
5.67/5.71	c bounds 3331 >= 1007 @ 4.74942
5.67/5.71	c bounds 3331 >= 1008 @ 4.75267
5.67/5.71	c bounds 3331 >= 1009 @ 4.75589
5.67/5.71	c bounds 3331 >= 1010 @ 4.76059
5.67/5.71	c bounds 3331 >= 1011 @ 4.76286
5.67/5.71	c bounds 3331 >= 1012 @ 4.76603
5.67/5.71	c bounds 3331 >= 1013 @ 4.76931
5.67/5.71	c bounds 3331 >= 1014 @ 4.77244
5.67/5.71	c bounds 3331 >= 1015 @ 4.77557
5.67/5.71	c bounds 3331 >= 1016 @ 4.77773
5.67/5.71	c bounds 3331 >= 1017 @ 4.78099
5.67/5.71	c bounds 3331 >= 1018 @ 4.78457
5.67/5.71	c bounds 3331 >= 1019 @ 4.78804
5.67/5.71	c bounds 3331 >= 1020 @ 4.79226
5.67/5.71	c bounds 3331 >= 1021 @ 4.79638
5.67/5.71	c bounds 3331 >= 1022 @ 4.79963
5.67/5.71	c bounds 3331 >= 1023 @ 4.80174
5.67/5.71	c bounds 3331 >= 1024 @ 4.80516
5.67/5.71	c bounds 3331 >= 1025 @ 4.80917
5.67/5.71	c bounds 3331 >= 1026 @ 4.81141
5.67/5.72	c bounds 3331 >= 1027 @ 4.81446
5.67/5.72	c bounds 3331 >= 1028 @ 4.81767
5.67/5.72	c bounds 3331 >= 1029 @ 4.82077
5.67/5.72	c bounds 3331 >= 1030 @ 4.82398
5.67/5.72	c bounds 3331 >= 1031 @ 4.8273
5.67/5.72	c bounds 3331 >= 1032 @ 4.8305
5.67/5.72	c bounds 3331 >= 1033 @ 4.83268
5.67/5.72	c bounds 3331 >= 1034 @ 4.83484
5.67/5.72	c bounds 3331 >= 1035 @ 4.83828
5.67/5.72	c bounds 3331 >= 1036 @ 4.84263
5.67/5.72	c bounds 3331 >= 1037 @ 4.84589
5.67/5.72	c bounds 3331 >= 1038 @ 4.84919
5.67/5.72	c bounds 3331 >= 1039 @ 4.85235
5.67/5.72	c bounds 3331 >= 1040 @ 4.85464
5.67/5.72	c bounds 3331 >= 1041 @ 4.85895
5.67/5.72	c bounds 3331 >= 1042 @ 4.86327
5.67/5.72	c bounds 3331 >= 1043 @ 4.86658
5.67/5.72	c bounds 3331 >= 1044 @ 4.87085
5.67/5.72	c bounds 3331 >= 1045 @ 4.87418
5.67/5.72	c bounds 3331 >= 1046 @ 4.87731
5.67/5.72	c bounds 3331 >= 1047 @ 4.88047
5.67/5.72	c bounds 3331 >= 1048 @ 4.88268
5.67/5.72	c bounds 3331 >= 1049 @ 4.88601
5.67/5.72	c bounds 3331 >= 1050 @ 4.88921
5.67/5.72	c bounds 3331 >= 1051 @ 4.89234
5.67/5.72	c bounds 3331 >= 1052 @ 4.89555
5.67/5.72	c bounds 3331 >= 1053 @ 4.89881
5.67/5.72	c bounds 3331 >= 1054 @ 4.90214
5.67/5.72	c bounds 3331 >= 1055 @ 4.90538
5.67/5.72	c bounds 3331 >= 1056 @ 4.90761
5.67/5.72	c bounds 3331 >= 1057 @ 4.91099
5.67/5.72	c bounds 3331 >= 1058 @ 4.91419
6.37/6.40	c bounds 3331 >= 1059 @ 4.91838
6.37/6.40	c bounds 3331 >= 1060 @ 4.92069
6.37/6.40	c bounds 3331 >= 1061 @ 4.92402
6.37/6.40	c bounds 3331 >= 1062 @ 4.92754
6.37/6.40	c bounds 3331 >= 1063 @ 4.9309
6.37/6.40	c bounds 3331 >= 1064 @ 4.93418
6.37/6.40	c bounds 3331 >= 1065 @ 4.9364
6.37/6.40	c bounds 3331 >= 1066 @ 4.93964
6.37/6.40	c bounds 3331 >= 1067 @ 4.94378
6.37/6.40	c bounds 3331 >= 1068 @ 4.94802
6.37/6.40	c bounds 3331 >= 1069 @ 4.95216
6.37/6.40	c bounds 3331 >= 1070 @ 4.95539
6.37/6.40	c bounds 3331 >= 1071 @ 4.95952
6.37/6.40	c bounds 3331 >= 1072 @ 4.96375
6.37/6.40	c bounds 3331 >= 1073 @ 4.96711
6.37/6.40	c bounds 3331 >= 1074 @ 4.96936
6.37/6.40	c bounds 3331 >= 1075 @ 4.97265
6.37/6.40	c bounds 3331 >= 1076 @ 4.97608
6.37/6.40	c bounds 3331 >= 1077 @ 4.97839
6.37/6.40	c bounds 3331 >= 1078 @ 4.98183
6.37/6.40	c bounds 3331 >= 1079 @ 4.98513
6.37/6.40	c bounds 3331 >= 1080 @ 4.98742
6.37/6.40	c bounds 3331 >= 1081 @ 4.99171
6.37/6.40	c bounds 3331 >= 1082 @ 4.995
6.37/6.40	c bounds 3331 >= 1083 @ 4.9982
6.37/6.40	c bounds 3331 >= 1084 @ 5.00244
6.37/6.40	c bounds 3331 >= 1085 @ 5.00585
6.37/6.40	c bounds 3331 >= 1086 @ 5.00902
6.37/6.40	c bounds 3331 >= 1087 @ 5.01128
6.37/6.40	c bounds 3331 >= 1088 @ 5.01455
6.37/6.40	c bounds 3331 >= 1089 @ 5.01883
6.37/6.40	c bounds 3331 >= 1090 @ 5.02217
6.37/6.40	c bounds 3330 >= 1090 @ 5.14597
6.37/6.40	c bounds 3330 >= 1091 @ 5.1509
6.37/6.40	c bounds 3330 >= 1092 @ 5.15554
6.37/6.40	c bounds 3330 >= 1093 @ 5.15924
6.37/6.40	c bounds 3330 >= 1094 @ 5.16297
6.37/6.40	c bounds 3330 >= 1095 @ 5.16755
6.37/6.40	c bounds 3330 >= 1096 @ 5.17
6.37/6.40	c bounds 3330 >= 1097 @ 5.17248
6.37/6.40	c bounds 3330 >= 1098 @ 5.17672
6.37/6.40	c bounds 3330 >= 1099 @ 5.18005
6.37/6.40	c bounds 3330 >= 1100 @ 5.18343
6.37/6.40	c bounds 3330 >= 1101 @ 5.18757
6.37/6.40	c bounds 3330 >= 1102 @ 5.18984
6.37/6.40	c bounds 3330 >= 1103 @ 5.19314
6.37/6.40	c bounds 3330 >= 1104 @ 5.19747
6.37/6.40	c bounds 3330 >= 1105 @ 5.19992
6.37/6.40	c bounds 3330 >= 1106 @ 5.20325
6.37/6.40	c bounds 3330 >= 1107 @ 5.20657
6.37/6.40	c bounds 3330 >= 1108 @ 5.20885
6.37/6.40	c bounds 3330 >= 1109 @ 5.21125
6.37/6.40	c bounds 3330 >= 1110 @ 5.2154
6.37/6.40	c bounds 3330 >= 1111 @ 5.21777
6.37/6.40	c bounds 3330 >= 1112 @ 5.22028
6.37/6.40	c bounds 3330 >= 1113 @ 5.2235
6.37/6.40	c bounds 3330 >= 1114 @ 5.2279
6.37/6.40	c bounds 3330 >= 1115 @ 5.2314
6.37/6.40	c bounds 3330 >= 1116 @ 5.23466
6.37/6.40	c bounds 3330 >= 1117 @ 5.23806
6.37/6.40	c bounds 3330 >= 1118 @ 5.24152
6.37/6.40	c bounds 3330 >= 1119 @ 5.24381
6.37/6.40	c bounds 3330 >= 1120 @ 5.24819
6.37/6.40	c bounds 3330 >= 1121 @ 5.2516
6.37/6.40	c bounds 3330 >= 1122 @ 5.25432
6.37/6.40	c bounds 3330 >= 1123 @ 5.25756
6.37/6.40	c bounds 3330 >= 1124 @ 5.2608
6.37/6.40	c bounds 3330 >= 1125 @ 5.26431
6.37/6.40	c bounds 3330 >= 1126 @ 5.26758
6.37/6.40	c bounds 3330 >= 1127 @ 5.27094
6.37/6.40	c bounds 3330 >= 1128 @ 5.27427
6.37/6.40	c bounds 3330 >= 1129 @ 5.27746
6.37/6.40	c bounds 3330 >= 1130 @ 5.28072
6.37/6.40	c bounds 3330 >= 1131 @ 5.28408
6.37/6.40	c bounds 3330 >= 1132 @ 5.28737
6.37/6.40	c bounds 3330 >= 1133 @ 5.29059
6.37/6.40	c bounds 3330 >= 1134 @ 5.29385
6.37/6.40	c bounds 3330 >= 1135 @ 5.29717
6.37/6.40	c bounds 3330 >= 1136 @ 5.3013
6.37/6.40	c bounds 3330 >= 1137 @ 5.30462
6.37/6.40	c bounds 3330 >= 1138 @ 5.30884
6.37/6.40	c bounds 3330 >= 1139 @ 5.31225
6.37/6.40	c bounds 3330 >= 1140 @ 5.31483
6.37/6.40	c bounds 3330 >= 1141 @ 5.31929
6.37/6.40	c bounds 3330 >= 1142 @ 5.32277
6.37/6.40	c bounds 3330 >= 1143 @ 5.3263
6.37/6.40	c bounds 3330 >= 1144 @ 5.32964
6.37/6.40	c bounds 3330 >= 1145 @ 5.33313
6.37/6.40	c bounds 3330 >= 1146 @ 5.33639
6.37/6.40	c bounds 3330 >= 1147 @ 5.33973
6.37/6.40	c bounds 3330 >= 1148 @ 5.34319
6.37/6.40	c bounds 3330 >= 1149 @ 5.34556
6.37/6.40	c bounds 3330 >= 1150 @ 5.3481
6.37/6.40	c bounds 3330 >= 1151 @ 5.35137
6.37/6.40	c bounds 3330 >= 1152 @ 5.3537
6.37/6.40	c bounds 3330 >= 1153 @ 5.35708
6.37/6.40	c bounds 3330 >= 1154 @ 5.36038
6.37/6.40	c bounds 3330 >= 1155 @ 5.36171
6.37/6.40	c bounds 3330 >= 1156 @ 5.36543
6.37/6.40	c bounds 3330 >= 1157 @ 5.36768
6.37/6.40	c bounds 3330 >= 1158 @ 5.37121
6.37/6.40	c bounds 3330 >= 1159 @ 5.37244
6.37/6.40	c bounds 3330 >= 1160 @ 5.37468
6.37/6.40	c bounds 3330 >= 1161 @ 5.37806
6.37/6.40	c bounds 3330 >= 1162 @ 5.38138
6.37/6.40	c bounds 3330 >= 1163 @ 5.38387
6.37/6.40	c bounds 3330 >= 1164 @ 5.38723
6.37/6.40	c bounds 3330 >= 1165 @ 5.38961
6.37/6.40	c bounds 3330 >= 1166 @ 5.39395
6.37/6.40	c bounds 3330 >= 1167 @ 5.39727
6.37/6.40	c bounds 3330 >= 1168 @ 5.40051
6.37/6.40	c bounds 3330 >= 1169 @ 5.40389
6.37/6.40	c bounds 3330 >= 1170 @ 5.40712
6.37/6.40	c bounds 3330 >= 1171 @ 5.40945
6.37/6.40	c bounds 3330 >= 1172 @ 5.41293
6.37/6.40	c bounds 3330 >= 1173 @ 5.41628
6.37/6.40	c bounds 3330 >= 1174 @ 5.4188
6.37/6.40	c bounds 3330 >= 1175 @ 5.4221
6.37/6.40	c bounds 3330 >= 1176 @ 5.42437
6.37/6.40	c bounds 3330 >= 1177 @ 5.42781
6.37/6.40	c bounds 3330 >= 1178 @ 5.43119
6.37/6.40	c bounds 3330 >= 1179 @ 5.43349
6.37/6.40	c bounds 3330 >= 1180 @ 5.43691
6.37/6.40	c bounds 3330 >= 1181 @ 5.44019
6.37/6.40	c bounds 3330 >= 1182 @ 5.44352
6.37/6.40	c bounds 3330 >= 1183 @ 5.44693
6.37/6.40	c bounds 3330 >= 1184 @ 5.45026
6.37/6.40	c bounds 3330 >= 1185 @ 5.45278
6.37/6.40	c bounds 3330 >= 1186 @ 5.4571
6.87/6.98	c bounds 3330 >= 1187 @ 5.4594
6.87/6.98	c bounds 3330 >= 1188 @ 5.46305
6.87/6.98	c bounds 3330 >= 1189 @ 5.46539
6.87/6.98	c bounds 3330 >= 1190 @ 5.46878
6.87/6.98	c bounds 3330 >= 1191 @ 5.47303
6.87/6.98	c bounds 3330 >= 1192 @ 5.47734
6.87/6.98	c bounds 3330 >= 1193 @ 5.48077
6.87/6.98	c bounds 3330 >= 1194 @ 5.4841
6.87/6.98	c bounds 3330 >= 1195 @ 5.48749
6.87/6.98	c bounds 3330 >= 1196 @ 5.49099
6.87/6.98	c bounds 3330 >= 1197 @ 5.49327
6.87/6.98	c bounds 3330 >= 1198 @ 5.49667
6.87/6.98	c bounds 3330 >= 1199 @ 5.50104
6.87/6.98	c bounds 3330 >= 1200 @ 5.50338
6.87/6.98	c bounds 3330 >= 1201 @ 5.50766
6.87/6.98	c bounds 3330 >= 1202 @ 5.511
6.87/6.98	c bounds 3330 >= 1203 @ 5.51435
6.87/6.98	c bounds 3330 >= 1204 @ 5.51786
6.87/6.98	c bounds 3330 >= 1205 @ 5.52111
6.87/6.98	c bounds 3330 >= 1206 @ 5.52357
6.87/6.98	c bounds 3330 >= 1207 @ 5.52695
6.87/6.98	c bounds 3330 >= 1208 @ 5.5289
6.87/6.98	c bounds 3330 >= 1209 @ 5.53333
6.87/6.98	c bounds 3330 >= 1210 @ 5.5369
6.87/6.98	c bounds 3330 >= 1211 @ 5.54026
6.87/6.98	c bounds 3330 >= 1212 @ 5.54369
6.87/6.98	c bounds 3330 >= 1213 @ 5.54606
6.87/6.98	c bounds 3330 >= 1214 @ 5.54941
6.87/6.98	c bounds 3330 >= 1215 @ 5.5528
6.87/6.98	c bounds 3330 >= 1216 @ 5.55616
6.87/6.98	c bounds 3330 >= 1217 @ 5.55974
6.87/6.98	c bounds 3330 >= 1218 @ 5.56214
6.87/6.98	c bounds 3330 >= 1219 @ 5.5658
6.87/6.98	c bounds 3330 >= 1220 @ 5.56715
6.87/6.98	c bounds 3330 >= 1221 @ 5.5706
6.87/6.98	c bounds 3330 >= 1222 @ 5.57292
6.87/6.98	c bounds 3330 >= 1223 @ 5.57522
6.87/6.98	c bounds 3330 >= 1224 @ 5.57961
6.87/6.98	c bounds 3330 >= 1225 @ 5.58211
6.87/6.98	c bounds 3330 >= 1226 @ 5.58553
6.87/6.98	c bounds 3330 >= 1227 @ 5.5888
6.87/6.98	c bounds 3330 >= 1228 @ 5.59319
6.87/6.98	c bounds 3330 >= 1229 @ 5.59662
6.87/6.98	c bounds 3330 >= 1230 @ 5.59899
6.87/6.98	c bounds 3330 >= 1231 @ 5.60251
6.87/6.98	c bounds 3330 >= 1232 @ 5.60585
6.87/6.98	c bounds 3330 >= 1233 @ 5.6084
6.87/6.98	c bounds 3330 >= 1234 @ 5.61167
6.87/6.98	c bounds 3330 >= 1235 @ 5.61498
6.87/6.98	c bounds 3330 >= 1236 @ 5.61843
6.87/6.98	c bounds 3330 >= 1237 @ 5.62175
6.87/6.98	c bounds 3330 >= 1238 @ 5.62505
6.87/6.98	c bounds 3330 >= 1239 @ 5.62946
6.87/6.98	c bounds 3330 >= 1240 @ 5.63287
6.87/6.98	c bounds 3330 >= 1241 @ 5.63561
6.87/6.98	c bounds 3330 >= 1242 @ 5.63798
6.87/6.98	c bounds 3330 >= 1243 @ 5.64245
6.87/6.98	c bounds 3330 >= 1244 @ 5.64491
6.87/6.98	c bounds 3330 >= 1245 @ 5.64929
6.87/6.98	c bounds 3330 >= 1246 @ 5.65176
6.87/6.98	c bounds 3330 >= 1247 @ 5.65429
6.87/6.98	c bounds 3330 >= 1248 @ 5.6567
6.87/6.98	c bounds 3330 >= 1249 @ 5.65908
6.87/6.98	c bounds 3330 >= 1250 @ 5.66353
6.87/6.98	c bounds 3330 >= 1251 @ 5.66595
6.87/6.98	c bounds 3330 >= 1252 @ 5.66951
6.87/6.98	c bounds 3330 >= 1253 @ 5.67194
6.87/6.98	c bounds 3330 >= 1254 @ 5.67554
6.87/6.98	c bounds 3330 >= 1255 @ 5.677
6.87/6.98	c bounds 3330 >= 1256 @ 5.68145
6.87/6.98	c bounds 3330 >= 1257 @ 5.68387
6.87/6.98	c bounds 3330 >= 1258 @ 5.68737
6.87/6.98	c bounds 3330 >= 1259 @ 5.6918
6.87/6.98	c bounds 3330 >= 1260 @ 5.69572
6.87/6.98	c bounds 3330 >= 1261 @ 5.69927
6.87/6.98	c bounds 3330 >= 1262 @ 5.70268
6.87/6.98	c bounds 3330 >= 1263 @ 5.70531
6.87/6.98	c bounds 3330 >= 1264 @ 5.70769
6.87/6.98	c bounds 3330 >= 1265 @ 5.71018
6.87/6.98	c bounds 3330 >= 1266 @ 5.71443
6.87/6.98	c bounds 3330 >= 1267 @ 5.71783
6.87/6.98	c bounds 3330 >= 1268 @ 5.72135
6.87/6.98	c bounds 3330 >= 1269 @ 5.72368
6.87/6.98	c bounds 3330 >= 1270 @ 5.72714
6.87/6.98	c bounds 3330 >= 1271 @ 5.73041
6.87/6.98	c bounds 3330 >= 1272 @ 5.7328
6.87/6.98	c bounds 3330 >= 1273 @ 5.73728
6.87/6.98	c bounds 3330 >= 1274 @ 5.73879
6.87/6.98	c bounds 3330 >= 1275 @ 5.74238
6.87/6.98	c bounds 3330 >= 1276 @ 5.74586
6.87/6.98	c bounds 3330 >= 1277 @ 5.74944
6.87/6.98	c bounds 3330 >= 1278 @ 5.7529
6.87/6.98	c bounds 3330 >= 1279 @ 5.75648
6.87/6.98	c bounds 3330 >= 1280 @ 5.75995
6.87/6.98	c bounds 3330 >= 1281 @ 5.76355
6.87/6.98	c bounds 3330 >= 1282 @ 5.76712
6.87/6.98	c bounds 3330 >= 1283 @ 5.76947
6.87/6.98	c bounds 3330 >= 1284 @ 5.77205
6.87/6.98	c bounds 3330 >= 1285 @ 5.77546
6.87/6.98	c bounds 3330 >= 1286 @ 5.77904
6.87/6.98	c bounds 3330 >= 1287 @ 5.78148
6.87/6.98	c bounds 3330 >= 1288 @ 5.78408
6.87/6.98	c bounds 3330 >= 1289 @ 5.78553
6.87/6.98	c bounds 3330 >= 1290 @ 5.78815
6.87/6.98	c bounds 3330 >= 1291 @ 5.79051
6.87/6.98	c bounds 3330 >= 1292 @ 5.79304
6.87/6.98	c bounds 3330 >= 1293 @ 5.7975
6.87/6.98	c bounds 3330 >= 1294 @ 5.80116
6.87/6.98	c bounds 3330 >= 1295 @ 5.80461
6.87/6.98	c bounds 3330 >= 1296 @ 5.80909
6.87/6.98	c bounds 3330 >= 1297 @ 5.81057
6.87/6.98	c bounds 3330 >= 1298 @ 5.81419
6.87/6.98	c bounds 3330 >= 1299 @ 5.81663
6.87/6.98	c bounds 3330 >= 1300 @ 5.82026
6.87/6.98	c bounds 3330 >= 1301 @ 5.82374
6.87/6.98	c bounds 3330 >= 1302 @ 5.82723
6.87/6.98	c bounds 3330 >= 1303 @ 5.83066
6.87/6.98	c bounds 3330 >= 1304 @ 5.83415
6.87/6.98	c bounds 3330 >= 1305 @ 5.83847
6.87/6.98	c bounds 3330 >= 1306 @ 5.84208
6.87/6.98	c bounds 3330 >= 1307 @ 5.8456
6.87/6.98	c bounds 3330 >= 1308 @ 5.84921
6.87/6.98	c bounds 3330 >= 1309 @ 5.85186
6.87/6.98	c bounds 3330 >= 1310 @ 5.85529
6.87/6.98	c bounds 3330 >= 1311 @ 5.85888
6.87/6.98	c bounds 3330 >= 1312 @ 5.86134
6.87/6.98	c bounds 3330 >= 1313 @ 5.86434
6.87/6.98	c bounds 3330 >= 1314 @ 5.86687
6.87/6.98	c bounds 3330 >= 1315 @ 5.86933
7.46/7.57	c bounds 3330 >= 1316 @ 5.87377
7.46/7.57	c bounds 3330 >= 1317 @ 5.87633
7.46/7.57	c bounds 3330 >= 1318 @ 5.88076
7.46/7.57	c bounds 3330 >= 1319 @ 5.88335
7.46/7.57	c bounds 3330 >= 1320 @ 5.88595
7.46/7.57	c bounds 3330 >= 1321 @ 5.88858
7.46/7.57	c bounds 3330 >= 1322 @ 5.8922
7.46/7.57	c bounds 3330 >= 1323 @ 5.89483
7.46/7.57	c bounds 3330 >= 1324 @ 5.89918
7.46/7.57	c bounds 3330 >= 1325 @ 5.90074
7.46/7.57	c bounds 3330 >= 1326 @ 5.90414
7.46/7.57	c bounds 3330 >= 1327 @ 5.90653
7.46/7.57	c bounds 3330 >= 1328 @ 5.91105
7.46/7.57	c bounds 3330 >= 1329 @ 5.91561
7.46/7.57	c bounds 3330 >= 1330 @ 5.91941
7.46/7.57	c bounds 3330 >= 1331 @ 5.923
7.46/7.57	c bounds 3330 >= 1332 @ 5.9265
7.46/7.57	c bounds 3330 >= 1333 @ 5.93101
7.46/7.57	c bounds 3330 >= 1334 @ 5.93351
7.46/7.57	c bounds 3330 >= 1335 @ 5.93707
7.46/7.57	c bounds 3330 >= 1336 @ 5.93945
7.46/7.57	c bounds 3330 >= 1337 @ 5.94385
7.46/7.57	c bounds 3330 >= 1338 @ 5.94726
7.46/7.57	c bounds 3330 >= 1339 @ 5.95079
7.46/7.57	c bounds 3330 >= 1340 @ 5.95316
7.46/7.57	c bounds 3330 >= 1341 @ 5.95589
7.46/7.57	c bounds 3330 >= 1342 @ 5.9592
7.46/7.57	c bounds 3330 >= 1343 @ 5.9621
7.46/7.57	c bounds 3330 >= 1344 @ 5.96481
7.46/7.57	c bounds 3330 >= 1345 @ 5.96834
7.46/7.57	c bounds 3330 >= 1346 @ 5.97201
7.46/7.57	c bounds 3330 >= 1347 @ 5.97488
7.46/7.57	c bounds 3330 >= 1348 @ 5.97907
7.46/7.57	c bounds 3330 >= 1349 @ 5.98207
7.46/7.57	c bounds 3330 >= 1350 @ 5.98488
7.46/7.57	c bounds 3330 >= 1351 @ 5.98758
7.46/7.57	c bounds 3330 >= 1352 @ 5.99004
7.46/7.57	c bounds 3330 >= 1353 @ 5.99364
7.46/7.57	c bounds 3330 >= 1354 @ 5.99609
7.46/7.57	c bounds 3330 >= 1355 @ 5.99869
7.46/7.57	c bounds 3330 >= 1356 @ 6.00115
7.46/7.57	c bounds 3330 >= 1357 @ 6.00474
7.46/7.57	c bounds 3330 >= 1358 @ 6.00812
7.46/7.57	c bounds 3330 >= 1359 @ 6.0127
7.46/7.57	c bounds 3330 >= 1360 @ 6.01635
7.46/7.57	c bounds 3330 >= 1361 @ 6.01992
7.46/7.57	c bounds 3330 >= 1362 @ 6.02447
7.46/7.57	c bounds 3330 >= 1363 @ 6.0261
7.46/7.57	c bounds 3330 >= 1364 @ 6.0298
7.46/7.57	c bounds 3330 >= 1365 @ 6.03384
7.46/7.57	c bounds 3330 >= 1366 @ 6.03453
7.46/7.57	c bounds 3330 >= 1367 @ 6.03801
7.46/7.57	c bounds 3330 >= 1368 @ 6.04064
7.46/7.57	c bounds 3330 >= 1369 @ 6.04409
7.46/7.57	c bounds 3330 >= 1370 @ 6.04768
7.46/7.57	c bounds 3330 >= 1371 @ 6.04918
7.46/7.57	c bounds 3330 >= 1372 @ 6.05277
7.46/7.57	c bounds 3330 >= 1373 @ 6.05647
7.46/7.57	c bounds 3330 >= 1374 @ 6.06085
7.46/7.57	c bounds 3330 >= 1375 @ 6.06445
7.46/7.57	c bounds 3330 >= 1376 @ 6.06704
7.46/7.57	c bounds 3330 >= 1377 @ 6.07065
7.46/7.57	c bounds 3330 >= 1378 @ 6.07216
7.46/7.57	c bounds 3330 >= 1379 @ 6.07574
7.46/7.57	c bounds 3330 >= 1380 @ 6.07945
7.46/7.57	c bounds 3330 >= 1381 @ 6.08202
7.46/7.57	c bounds 3330 >= 1382 @ 6.08659
7.46/7.57	c bounds 3330 >= 1383 @ 6.08915
7.46/7.57	c bounds 3330 >= 1384 @ 6.09282
7.46/7.57	c bounds 3330 >= 1385 @ 6.09552
7.46/7.57	c bounds 3330 >= 1386 @ 6.0981
7.46/7.57	c bounds 3330 >= 1387 @ 6.10174
7.46/7.57	c bounds 3330 >= 1388 @ 6.10446
7.46/7.57	c bounds 3330 >= 1389 @ 6.10694
7.46/7.57	c bounds 3330 >= 1390 @ 6.11051
7.46/7.57	c bounds 3330 >= 1391 @ 6.11396
7.46/7.57	c bounds 3330 >= 1392 @ 6.11759
7.46/7.57	c bounds 3330 >= 1393 @ 6.12218
7.46/7.57	c bounds 3330 >= 1394 @ 6.12482
7.46/7.57	c bounds 3330 >= 1395 @ 6.12751
7.46/7.57	c bounds 3330 >= 1396 @ 6.13095
7.46/7.57	c bounds 3330 >= 1397 @ 6.13453
7.46/7.57	c bounds 3330 >= 1398 @ 6.13807
7.46/7.57	c bounds 3330 >= 1399 @ 6.14065
7.46/7.57	c bounds 3330 >= 1400 @ 6.14328
7.46/7.57	c bounds 3330 >= 1401 @ 6.14571
7.46/7.57	c bounds 3330 >= 1402 @ 6.14834
7.46/7.57	c bounds 3330 >= 1403 @ 6.15075
7.46/7.57	c bounds 3330 >= 1404 @ 6.15339
7.46/7.57	c bounds 3330 >= 1405 @ 6.15693
7.46/7.57	c bounds 3330 >= 1406 @ 6.16053
7.46/7.57	c bounds 3330 >= 1407 @ 6.16326
7.46/7.57	c bounds 3330 >= 1408 @ 6.1669
7.46/7.57	c bounds 3330 >= 1409 @ 6.17059
7.46/7.57	c bounds 3330 >= 1410 @ 6.17417
7.46/7.57	c bounds 3330 >= 1411 @ 6.17681
7.46/7.57	c bounds 3330 >= 1412 @ 6.18058
7.46/7.57	c bounds 3330 >= 1413 @ 6.18325
7.46/7.57	c bounds 3330 >= 1414 @ 6.18576
7.46/7.57	c bounds 3330 >= 1415 @ 6.18945
7.46/7.57	c bounds 3330 >= 1416 @ 6.19126
7.46/7.57	c bounds 3330 >= 1417 @ 6.19332
7.46/7.57	c bounds 3330 >= 1418 @ 6.19684
7.46/7.57	c bounds 3330 >= 1419 @ 6.20041
7.46/7.57	c bounds 3330 >= 1420 @ 6.20309
7.46/7.57	c bounds 3330 >= 1421 @ 6.20559
7.46/7.57	c bounds 3330 >= 1422 @ 6.20922
7.46/7.57	c bounds 3330 >= 1423 @ 6.21281
7.46/7.57	c bounds 3330 >= 1424 @ 6.21641
7.46/7.57	c bounds 3330 >= 1425 @ 6.21998
7.46/7.57	c bounds 3330 >= 1426 @ 6.22164
7.46/7.57	c bounds 3330 >= 1427 @ 6.22531
7.46/7.57	c bounds 3330 >= 1428 @ 6.22893
7.46/7.57	c bounds 3330 >= 1429 @ 6.23163
7.46/7.57	c bounds 3330 >= 1430 @ 6.23535
7.46/7.57	c bounds 3330 >= 1431 @ 6.23805
7.46/7.57	c bounds 3330 >= 1432 @ 6.24051
7.46/7.57	c bounds 3330 >= 1433 @ 6.24217
7.46/7.57	c bounds 3330 >= 1434 @ 6.24573
7.46/7.57	c bounds 3330 >= 1435 @ 6.24925
7.46/7.57	c bounds 3330 >= 1436 @ 6.25199
7.46/7.57	c bounds 3330 >= 1437 @ 6.25552
7.46/7.57	c bounds 3330 >= 1438 @ 6.25842
7.46/7.57	c bounds 3330 >= 1439 @ 6.26112
7.46/7.57	c bounds 3330 >= 1440 @ 6.26357
7.46/7.57	c bounds 3330 >= 1441 @ 6.26717
7.46/7.57	c bounds 3330 >= 1442 @ 6.26979
7.46/7.57	c bounds 3330 >= 1443 @ 6.27348
8.27/8.38	c bounds 3330 >= 1444 @ 6.27716
8.27/8.38	c bounds 3330 >= 1445 @ 6.28073
8.27/8.38	c bounds 3330 >= 1446 @ 6.28341
8.27/8.38	c bounds 3330 >= 1447 @ 6.28612
8.27/8.38	c bounds 3330 >= 1448 @ 6.2887
8.27/8.38	c bounds 3330 >= 1449 @ 6.28959
8.27/8.38	c bounds 3330 >= 1450 @ 6.29331
8.27/8.38	c bounds 3330 >= 1451 @ 6.29714
8.27/8.38	c bounds 3330 >= 1452 @ 6.30089
8.27/8.38	c bounds 3330 >= 1453 @ 6.30537
8.27/8.38	c bounds 3330 >= 1454 @ 6.30808
8.27/8.38	c bounds 3330 >= 1455 @ 6.31087
8.27/8.38	c bounds 3330 >= 1456 @ 6.31398
8.27/8.38	c bounds 3330 >= 1457 @ 6.31749
8.27/8.38	c bounds 3330 >= 1458 @ 6.32223
8.27/8.38	c bounds 3330 >= 1459 @ 6.32408
8.27/8.38	c bounds 3330 >= 1460 @ 6.32775
8.27/8.38	c bounds 3330 >= 1461 @ 6.33038
8.27/8.38	c bounds 3330 >= 1462 @ 6.33309
8.27/8.38	c bounds 3330 >= 1463 @ 6.33566
8.27/8.38	c bounds 3330 >= 1464 @ 6.3383
8.27/8.38	c bounds 3330 >= 1465 @ 6.34187
8.27/8.38	c bounds 3330 >= 1466 @ 6.3445
8.27/8.38	c bounds 3330 >= 1467 @ 6.34811
8.27/8.38	c bounds 3330 >= 1468 @ 6.35171
8.27/8.38	c bounds 3330 >= 1469 @ 6.35389
8.27/8.38	c bounds 3330 >= 1470 @ 6.35751
8.27/8.38	c bounds 3330 >= 1471 @ 6.3622
8.27/8.38	c bounds 3330 >= 1472 @ 6.365
8.27/8.38	c bounds 3330 >= 1473 @ 6.36757
8.27/8.38	c bounds 3330 >= 1474 @ 6.37117
8.27/8.38	c bounds 3330 >= 1475 @ 6.37399
8.27/8.38	c bounds 3330 >= 1476 @ 6.37675
8.27/8.38	c bounds 3330 >= 1477 @ 6.37931
8.27/8.38	c bounds 3330 >= 1478 @ 6.38294
8.27/8.38	c bounds 3330 >= 1479 @ 6.3858
8.27/8.38	c bounds 3330 >= 1480 @ 6.38945
8.27/8.38	c bounds 3330 >= 1481 @ 6.39316
8.27/8.38	c bounds 3330 >= 1482 @ 6.3959
8.27/8.38	c bounds 3330 >= 1483 @ 6.3987
8.27/8.38	c bounds 3330 >= 1484 @ 6.40123
8.27/8.38	c bounds 3330 >= 1485 @ 6.40498
8.27/8.38	c bounds 3330 >= 1486 @ 6.40882
8.27/8.38	c bounds 3330 >= 1487 @ 6.41239
8.27/8.38	c bounds 3330 >= 1488 @ 6.41522
8.27/8.38	c bounds 3330 >= 1489 @ 6.41899
8.27/8.38	c bounds 3330 >= 1490 @ 6.42276
8.27/8.38	c bounds 3330 >= 1491 @ 6.42638
8.27/8.38	c bounds 3330 >= 1492 @ 6.42918
8.27/8.38	c bounds 3330 >= 1493 @ 6.43195
8.27/8.38	c bounds 3330 >= 1494 @ 6.43578
8.27/8.38	c bounds 3330 >= 1495 @ 6.43938
8.27/8.38	c bounds 3330 >= 1496 @ 6.44308
8.27/8.38	c bounds 3330 >= 1497 @ 6.44577
8.27/8.38	c bounds 3330 >= 1498 @ 6.44933
8.27/8.38	c bounds 3330 >= 1499 @ 6.45307
8.27/8.38	c bounds 3330 >= 1500 @ 6.45586
8.27/8.38	c bounds 3330 >= 1501 @ 6.45878
8.27/8.38	c bounds 3330 >= 1502 @ 6.46171
8.27/8.38	c bounds 3330 >= 1503 @ 6.46521
8.27/8.38	c bounds 3330 >= 1504 @ 6.46716
8.27/8.38	c bounds 3330 >= 1505 @ 6.47191
8.27/8.38	c bounds 3330 >= 1506 @ 6.47564
8.27/8.38	c bounds 3330 >= 1507 @ 6.47828
8.27/8.38	c bounds 3330 >= 1508 @ 6.48185
8.27/8.38	c bounds 3330 >= 1509 @ 6.48568
8.27/8.38	c bounds 3330 >= 1510 @ 6.48932
8.27/8.38	c bounds 3330 >= 1511 @ 6.49205
8.27/8.38	c bounds 3330 >= 1512 @ 6.49572
8.27/8.38	c bounds 3330 >= 1513 @ 6.49863
8.27/8.38	c bounds 3330 >= 1514 @ 6.50047
8.27/8.38	c bounds 3330 >= 1515 @ 6.50225
8.27/8.38	c bounds 3330 >= 1516 @ 6.50511
8.27/8.38	c bounds 3330 >= 1517 @ 6.50891
8.27/8.38	c bounds 3330 >= 1518 @ 6.51163
8.27/8.38	c bounds 3330 >= 1519 @ 6.51516
8.27/8.38	c bounds 3330 >= 1520 @ 6.51805
8.27/8.38	c bounds 3330 >= 1521 @ 6.52219
8.27/8.38	c bounds 3330 >= 1522 @ 6.5249
8.27/8.38	c bounds 3330 >= 1523 @ 6.52774
8.27/8.38	c bounds 3330 >= 1524 @ 6.53057
8.27/8.38	c bounds 3330 >= 1525 @ 6.53517
8.27/8.38	c bounds 3330 >= 1526 @ 6.5379
8.27/8.38	c bounds 3330 >= 1527 @ 6.5406
8.27/8.38	c bounds 3330 >= 1528 @ 6.54248
8.27/8.38	c bounds 3330 >= 1529 @ 6.54616
8.27/8.38	c bounds 3329 >= 1529 @ 6.72699
8.27/8.38	c bounds 3329 >= 1530 @ 6.73041
8.27/8.38	c bounds 3329 >= 1531 @ 6.73417
8.27/8.38	c bounds 3329 >= 1532 @ 6.73694
8.27/8.38	c bounds 3329 >= 1533 @ 6.73954
8.27/8.38	c bounds 3329 >= 1534 @ 6.74237
8.27/8.38	c bounds 3329 >= 1535 @ 6.74715
8.27/8.38	c bounds 3329 >= 1536 @ 6.74997
8.27/8.38	c bounds 3329 >= 1537 @ 6.7525
8.27/8.38	c bounds 3329 >= 1538 @ 6.75613
8.27/8.38	c bounds 3329 >= 1539 @ 6.75974
8.27/8.38	c bounds 3329 >= 1540 @ 6.76347
8.27/8.38	c bounds 3329 >= 1541 @ 6.76819
8.27/8.38	c bounds 3329 >= 1542 @ 6.77211
8.27/8.38	c bounds 3329 >= 1543 @ 6.77502
8.27/8.38	c bounds 3329 >= 1544 @ 6.77871
8.27/8.38	c bounds 3329 >= 1545 @ 6.78248
8.27/8.38	c bounds 3329 >= 1546 @ 6.78623
8.27/8.38	c bounds 3329 >= 1547 @ 6.79097
8.27/8.38	c bounds 3329 >= 1548 @ 6.79382
8.27/8.38	c bounds 3329 >= 1549 @ 6.79642
8.27/8.38	c bounds 3329 >= 1550 @ 6.7993
8.27/8.38	c bounds 3329 >= 1551 @ 6.80208
8.27/8.38	c bounds 3329 >= 1552 @ 6.80493
8.27/8.38	c bounds 3329 >= 1553 @ 6.80872
8.27/8.38	c bounds 3329 >= 1554 @ 6.81147
8.27/8.38	c bounds 3329 >= 1555 @ 6.81431
8.27/8.38	c bounds 3329 >= 1556 @ 6.8172
8.27/8.38	c bounds 3329 >= 1557 @ 6.82104
8.27/8.38	c bounds 3329 >= 1558 @ 6.82292
8.27/8.38	c bounds 3329 >= 1559 @ 6.82672
8.27/8.38	c bounds 3329 >= 1560 @ 6.83034
8.27/8.38	c bounds 3329 >= 1561 @ 6.8331
8.27/8.38	c bounds 3329 >= 1562 @ 6.83693
8.27/8.38	c bounds 3329 >= 1563 @ 6.83979
8.27/8.38	c bounds 3329 >= 1564 @ 6.84348
8.27/8.38	c bounds 3329 >= 1565 @ 6.84723
8.27/8.38	c bounds 3329 >= 1566 @ 6.85107
8.27/8.38	c bounds 3329 >= 1567 @ 6.85488
8.27/8.38	c bounds 3329 >= 1568 @ 6.85874
8.27/8.38	c bounds 3329 >= 1569 @ 6.86231
8.27/8.38	c bounds 3329 >= 1570 @ 6.86609
8.86/9.01	c bounds 3329 >= 1571 @ 6.86883
8.86/9.01	c bounds 3329 >= 1572 @ 6.87165
8.86/9.01	c bounds 3329 >= 1573 @ 6.8742
8.86/9.01	c bounds 3329 >= 1574 @ 6.87704
8.86/9.01	c bounds 3329 >= 1575 @ 6.88127
8.86/9.01	c bounds 3329 >= 1576 @ 6.88416
8.86/9.01	c bounds 3329 >= 1577 @ 6.88807
8.86/9.01	c bounds 3329 >= 1578 @ 6.8909
8.86/9.01	c bounds 3329 >= 1579 @ 6.89463
8.86/9.01	c bounds 3329 >= 1580 @ 6.89853
8.86/9.01	c bounds 3329 >= 1581 @ 6.90015
8.86/9.01	c bounds 3329 >= 1582 @ 6.90296
8.86/9.01	c bounds 3329 >= 1583 @ 6.9067
8.86/9.01	c bounds 3329 >= 1584 @ 6.91155
8.86/9.01	c bounds 3329 >= 1585 @ 6.91551
8.86/9.01	c bounds 3329 >= 1586 @ 6.91808
8.86/9.01	c bounds 3329 >= 1587 @ 6.92198
8.86/9.01	c bounds 3329 >= 1588 @ 6.9247
8.86/9.01	c bounds 3329 >= 1589 @ 6.92757
8.86/9.01	c bounds 3329 >= 1590 @ 6.93117
8.86/9.01	c bounds 3329 >= 1591 @ 6.93394
8.86/9.01	c bounds 3329 >= 1592 @ 6.93771
8.86/9.01	c bounds 3329 >= 1593 @ 6.94049
8.86/9.01	c bounds 3329 >= 1594 @ 6.94417
8.86/9.01	c bounds 3329 >= 1595 @ 6.94792
8.86/9.01	c bounds 3329 >= 1596 @ 6.95275
8.86/9.01	c bounds 3329 >= 1597 @ 6.95667
8.86/9.01	c bounds 3329 >= 1598 @ 6.95958
8.86/9.01	c bounds 3329 >= 1599 @ 6.96237
8.86/9.01	c bounds 3329 >= 1600 @ 6.96498
8.86/9.01	c bounds 3329 >= 1601 @ 6.96874
8.86/9.01	c bounds 3329 >= 1602 @ 6.97257
8.86/9.01	c bounds 3329 >= 1603 @ 6.97541
8.86/9.01	c bounds 3329 >= 1604 @ 6.9791
8.86/9.01	c bounds 3329 >= 1605 @ 6.98092
8.86/9.01	c bounds 3329 >= 1606 @ 6.9849
8.86/9.01	c bounds 3329 >= 1607 @ 6.98766
8.86/9.01	c bounds 3329 >= 1608 @ 6.98953
8.86/9.01	c bounds 3329 >= 1609 @ 6.9924
8.86/9.01	c bounds 3329 >= 1610 @ 6.99606
8.86/9.01	c bounds 3329 >= 1611 @ 6.99992
8.86/9.01	c bounds 3329 >= 1612 @ 7.0038
8.86/9.01	c bounds 3329 >= 1613 @ 7.00756
8.86/9.01	c bounds 3329 >= 1614 @ 7.01153
8.86/9.01	c bounds 3329 >= 1615 @ 7.01445
8.86/9.01	c bounds 3329 >= 1616 @ 7.01921
8.86/9.01	c bounds 3329 >= 1617 @ 7.02314
8.86/9.01	c bounds 3329 >= 1618 @ 7.02605
8.86/9.01	c bounds 3329 >= 1619 @ 7.02896
8.86/9.01	c bounds 3329 >= 1620 @ 7.03277
8.86/9.01	c bounds 3329 >= 1621 @ 7.03555
8.86/9.01	c bounds 3329 >= 1622 @ 7.03844
8.86/9.01	c bounds 3329 >= 1623 @ 7.04135
8.86/9.01	c bounds 3329 >= 1624 @ 7.04503
8.86/9.01	c bounds 3329 >= 1625 @ 7.04891
8.86/9.01	c bounds 3329 >= 1626 @ 7.05181
8.86/9.01	c bounds 3329 >= 1627 @ 7.05568
8.86/9.01	c bounds 3329 >= 1628 @ 7.0609
8.86/9.01	c bounds 3329 >= 1629 @ 7.06382
8.86/9.01	c bounds 3329 >= 1630 @ 7.0668
8.86/9.01	c bounds 3329 >= 1631 @ 7.07062
8.86/9.01	c bounds 3329 >= 1632 @ 7.0736
8.86/9.01	c bounds 3329 >= 1633 @ 7.07647
8.86/9.01	c bounds 3329 >= 1634 @ 7.08026
8.86/9.01	c bounds 3329 >= 1635 @ 7.08492
8.86/9.01	c bounds 3329 >= 1636 @ 7.08765
8.86/9.01	c bounds 3329 >= 1637 @ 7.08955
8.86/9.01	c bounds 3329 >= 1638 @ 7.09241
8.86/9.01	c bounds 3329 >= 1639 @ 7.09625
8.86/9.01	c bounds 3329 >= 1640 @ 7.09922
8.86/9.01	c bounds 3329 >= 1641 @ 7.10204
8.86/9.01	c bounds 3329 >= 1642 @ 7.10566
8.86/9.01	c bounds 3329 >= 1643 @ 7.10852
8.86/9.01	c bounds 3329 >= 1644 @ 7.11172
8.86/9.01	c bounds 3329 >= 1645 @ 7.11461
8.86/9.01	c bounds 3329 >= 1646 @ 7.11953
8.86/9.01	c bounds 3329 >= 1647 @ 7.12147
8.86/9.01	c bounds 3329 >= 1648 @ 7.1254
8.86/9.01	c bounds 3329 >= 1649 @ 7.12834
8.86/9.01	c bounds 3329 >= 1650 @ 7.13236
8.86/9.01	c bounds 3329 >= 1651 @ 7.13616
8.86/9.01	c bounds 3329 >= 1652 @ 7.13916
8.86/9.01	c bounds 3329 >= 1653 @ 7.142
8.86/9.01	c bounds 3329 >= 1654 @ 7.14593
8.86/9.01	c bounds 3329 >= 1655 @ 7.14961
8.86/9.01	c bounds 3329 >= 1656 @ 7.15249
8.86/9.01	c bounds 3329 >= 1657 @ 7.15436
8.86/9.01	c bounds 3329 >= 1658 @ 7.15736
8.86/9.01	c bounds 3329 >= 1659 @ 7.16131
8.86/9.01	c bounds 3329 >= 1660 @ 7.16423
8.86/9.01	c bounds 3329 >= 1661 @ 7.16717
8.86/9.01	c bounds 3329 >= 1662 @ 7.16923
8.86/9.01	c bounds 3329 >= 1663 @ 7.17121
8.86/9.01	c bounds 3329 >= 1664 @ 7.17595
8.86/9.01	c bounds 3329 >= 1665 @ 7.17979
8.86/9.01	c bounds 3329 >= 1666 @ 7.18273
8.86/9.01	c bounds 3329 >= 1667 @ 7.18649
8.86/9.01	c bounds 3329 >= 1668 @ 7.18948
8.86/9.01	c bounds 3329 >= 1669 @ 7.1932
8.86/9.01	c bounds 3329 >= 1670 @ 7.19697
8.86/9.01	c bounds 3329 >= 1671 @ 7.1998
8.86/9.01	c bounds 3329 >= 1672 @ 7.20468
8.86/9.01	c bounds 3329 >= 1673 @ 7.20751
8.86/9.01	c bounds 3329 >= 1674 @ 7.21045
8.86/9.01	c bounds 3329 >= 1675 @ 7.21415
8.86/9.01	c bounds 3329 >= 1676 @ 7.21713
8.86/9.01	c bounds 3329 >= 1677 @ 7.22091
8.86/9.01	c bounds 3329 >= 1678 @ 7.22387
8.86/9.01	c bounds 3329 >= 1679 @ 7.22782
8.86/9.01	c bounds 3329 >= 1680 @ 7.23134
8.86/9.01	c bounds 3329 >= 1681 @ 7.23532
8.86/9.01	c bounds 3329 >= 1682 @ 7.24029
8.86/9.01	c bounds 3329 >= 1683 @ 7.2443
8.86/9.01	c bounds 3329 >= 1684 @ 7.24815
8.86/9.01	c bounds 3329 >= 1685 @ 7.25189
8.86/9.01	c bounds 3329 >= 1686 @ 7.25474
8.86/9.01	c bounds 3329 >= 1687 @ 7.2586
8.86/9.01	c bounds 3329 >= 1688 @ 7.2615
8.86/9.01	c bounds 3329 >= 1689 @ 7.26355
8.86/9.01	c bounds 3329 >= 1690 @ 7.26747
8.86/9.01	c bounds 3329 >= 1691 @ 7.27036
8.86/9.01	c bounds 3329 >= 1692 @ 7.2744
8.86/9.01	c bounds 3329 >= 1693 @ 7.27737
8.86/9.01	c bounds 3329 >= 1694 @ 7.28037
8.86/9.01	c bounds 3329 >= 1695 @ 7.28432
8.86/9.01	c bounds 3329 >= 1696 @ 7.28718
8.86/9.01	c bounds 3329 >= 1697 @ 7.29102
8.86/9.01	c bounds 3329 >= 1698 @ 7.29409
8.86/9.01	c bounds 3329 >= 1699 @ 7.29713
75.36/75.63	c bounds 3329 >= 1700 @ 7.2994
75.36/75.63	c bounds 3329 >= 1701 @ 7.31965
75.36/75.63	c bounds 3329 >= 1702 @ 7.33037
75.36/75.63	c bounds 3329 >= 1703 @ 7.35138
75.36/75.63	c bounds 3329 >= 1704 @ 7.3683
75.36/75.63	c bounds 3329 >= 1705 @ 7.38221
75.36/75.63	c bounds 3329 >= 1706 @ 7.39667
75.36/75.63	c bounds 3329 >= 1707 @ 7.42218
75.36/75.63	c bounds 3329 >= 1708 @ 7.4496
75.36/75.63	c #Conflicts:       1000 | #Constraints:      16501
75.36/75.63	c bounds 3328 >= 1708 @ 7.77957
75.36/75.63	c bounds 3328 >= 1709 @ 7.79124
75.36/75.63	c bounds 3328 >= 1710 @ 7.79904
75.36/75.63	c bounds 3328 >= 1711 @ 7.81889
75.36/75.63	c bounds 3328 >= 1712 @ 7.84221
75.36/75.63	c #Conflicts:       2000 | #Constraints:      17625
75.36/75.63	c INPROCESSING
75.36/75.63	c GARBAGE COLLECT
75.36/75.63	c bounds 3328 >= 1713 @ 11.8902
75.36/75.63	c #Conflicts:       3000 | #Constraints:      16034
75.36/75.63	c bounds 3328 >= 1714 @ 12.1197
75.36/75.63	c bounds 3322 >= 1714 @ 12.1319
75.36/75.63	c bounds 3321 >= 1714 @ 12.2427
75.36/75.63	c bounds 3320 >= 1714 @ 12.3486
75.36/75.63	c #Conflicts:       4000 | #Constraints:      17079
75.36/75.63	c INPROCESSING
75.36/75.63	c GARBAGE COLLECT
75.36/75.63	c bounds 3320 >= 1715 @ 13.4308
75.36/75.63	c bounds 3320 >= 1716 @ 13.4383
75.36/75.63	c bounds 3320 >= 1717 @ 13.4444
75.36/75.63	c bounds 3320 >= 1718 @ 13.4519
75.36/75.63	c bounds 3320 >= 1719 @ 13.4622
75.36/75.63	c bounds 3320 >= 1720 @ 13.516
75.36/75.63	c #Conflicts:       5000 | #Constraints:      16611
75.36/75.63	c bounds 3320 >= 1721 @ 13.5596
75.36/75.63	c bounds 3320 >= 1722 @ 13.5695
75.36/75.63	c bounds 3320 >= 1723 @ 13.6012
75.36/75.63	c #Conflicts:       6000 | #Constraints:      17728
75.36/75.63	c INPROCESSING
75.36/75.63	c GARBAGE COLLECT
75.36/75.63	c #Conflicts:       7000 | #Constraints:      16759
75.36/75.63	c bounds 3320 >= 1724 @ 22.9009
75.36/75.63	c bounds 3320 >= 1725 @ 22.9171
75.36/75.63	c bounds 3320 >= 1726 @ 22.9846
75.36/75.63	c #Conflicts:       8000 | #Constraints:      17885
75.36/75.63	c bounds 3320 >= 1727 @ 23.0475
75.36/75.63	c bounds 3320 >= 1728 @ 23.0784
75.36/75.63	c bounds 3320 >= 1729 @ 23.1146
75.36/75.63	c #Conflicts:       9000 | #Constraints:      19002
75.36/75.63	c bounds 3320 >= 1730 @ 23.1829
75.36/75.63	c INPROCESSING
75.36/75.63	c GARBAGE COLLECT
75.36/75.63	c bounds 3320 >= 1731 @ 66.6113
75.36/75.63	c #Conflicts:      10000 | #Constraints:      17844
75.36/75.63	c bounds 3319 >= 1731 @ 66.7188
75.36/75.63	c bounds 3319 >= 1732 @ 66.745
75.36/75.63	c bounds 3318 >= 1732 @ 66.8745
75.36/75.63	c bounds 3318 >= 1733 @ 66.8907
75.36/75.63	c bounds 3318 >= 1734 @ 66.8975
75.36/75.63	c #Conflicts:      11000 | #Constraints:      18954
75.36/75.63	c bounds 3318 >= 1735 @ 66.919
75.36/75.63	c bounds 3318 >= 1736 @ 67.04
75.36/75.63	c bounds 3313 >= 1736 @ 67.0538
75.36/75.63	c #Conflicts:      12000 | #Constraints:      20030
75.36/75.63	c bounds 3312 >= 1736 @ 67.1218
75.36/75.63	c bounds 3311 >= 1736 @ 67.1849
75.36/75.63	c bounds 3310 >= 1736 @ 68.0313
75.36/75.63	c bounds 3310 >= 1737 @ 68.0413
75.36/75.63	c bounds 3310 >= 1738 @ 68.0548
75.36/75.63	c bounds 3310 >= 1739 @ 68.0925
75.36/75.63	c #Conflicts:      13000 | #Constraints:      21138
75.36/75.63	c #Conflicts:      14000 | #Constraints:      22138
75.36/75.63	c bounds 3310 >= 1740 @ 68.4717
75.36/75.63	c bounds 3309 >= 1740 @ 68.5006
75.36/75.63	c bounds 3308 >= 1740 @ 68.5562
75.36/75.63	c bounds 3307 >= 1740 @ 68.7236
75.36/75.63	c bounds 3306 >= 1740 @ 68.8234
75.36/75.63	c #Conflicts:      15000 | #Constraints:      23190
75.36/75.63	c bounds 3306 >= 1741 @ 69.1467
75.36/75.63	c bounds 3305 >= 1741 @ 69.2263
75.36/75.63	c bounds 3304 >= 1741 @ 69.292
75.36/75.63	c bounds 3303 >= 1741 @ 69.3546
75.36/75.63	c bounds 3302 >= 1741 @ 69.4113
75.36/75.63	c bounds 3301 >= 1741 @ 69.476
75.36/75.63	c bounds 3300 >= 1741 @ 69.5454
75.36/75.63	c bounds 3299 >= 1741 @ 69.6047
75.36/75.63	c bounds 3298 >= 1741 @ 69.6674
75.36/75.63	c bounds 3297 >= 1741 @ 69.7841
75.36/75.63	c #Conflicts:      16000 | #Constraints:      24226
75.36/75.63	c bounds 3296 >= 1741 @ 69.9467
75.36/75.63	c bounds 3296 >= 1742 @ 69.9608
75.36/75.63	c bounds 3296 >= 1743 @ 69.9713
75.36/75.63	c bounds 3295 >= 1743 @ 70.0808
75.36/75.63	c INPROCESSING
75.36/75.63	c GARBAGE COLLECT
75.36/75.63	c bounds 3295 >= 1744 @ 70.1872
75.36/75.63	c #Conflicts:      17000 | #Constraints:      20464
75.36/75.63	c bounds 3295 >= 1745 @ 70.3243
75.36/75.63	c bounds 3294 >= 1745 @ 70.3329
75.36/75.63	c bounds 3293 >= 1745 @ 70.4299
75.36/75.63	c bounds 3292 >= 1745 @ 70.5133
75.36/75.63	c #Conflicts:      18000 | #Constraints:      21551
75.36/75.63	c bounds 3291 >= 1745 @ 70.6589
75.36/75.63	c bounds 3290 >= 1745 @ 70.9726
75.36/75.63	c bounds 3290 >= 1746 @ 70.9818
75.36/75.63	c bounds 3290 >= 1747 @ 70.9929
75.36/75.63	c bounds 3290 >= 1748 @ 71.0105
75.36/75.63	c bounds 3290 >= 1749 @ 71.0281
75.36/75.63	c bounds 3290 >= 1750 @ 71.0363
75.36/75.63	c bounds 3290 >= 1751 @ 71.0592
75.36/75.63	c #Conflicts:      19000 | #Constraints:      22757
75.36/75.63	c #Conflicts:      20000 | #Constraints:      23757
75.36/75.63	c INPROCESSING
75.36/75.63	c GARBAGE COLLECT
75.36/75.63	c bounds 3285 >= 1751 @ 71.3116
75.36/75.63	c bounds 3284 >= 1751 @ 71.4211
75.36/75.63	c bounds 3283 >= 1751 @ 71.5475
75.36/75.63	c bounds 3282 >= 1751 @ 71.606
75.36/75.63	c bounds 3281 >= 1751 @ 71.6578
75.36/75.63	c bounds 3280 >= 1751 @ 71.9403
75.36/75.63	c bounds 3280 >= 1752 @ 71.955
75.36/75.63	c bounds 3280 >= 1753 @ 71.9719
480.94/482.44	c bounds 3280 >= 1754 @ 71.9934
480.94/482.44	c #Conflicts:      21000 | #Constraints:      20556
480.94/482.44	c bounds 3280 >= 1755 @ 72.0273
480.94/482.44	c bounds 3278 >= 1755 @ 72.0499
480.94/482.44	c #Conflicts:      22000 | #Constraints:      21596
480.94/482.44	c bounds 3278 >= 1756 @ 162.77
480.94/482.44	c bounds 3277 >= 1756 @ 162.935
480.94/482.44	c bounds 3276 >= 1756 @ 163.023
480.94/482.44	c bounds 3275 >= 1756 @ 163.125
480.94/482.44	c bounds 3275 >= 1757 @ 163.137
480.94/482.44	c bounds 3275 >= 1758 @ 163.147
480.94/482.44	c bounds 3275 >= 1759 @ 163.178
480.94/482.44	c bounds 3275 >= 1760 @ 163.229
480.94/482.44	c bounds 3274 >= 1760 @ 163.345
480.94/482.44	c #Conflicts:      23000 | #Constraints:      22786
480.94/482.44	c bounds 3274 >= 1761 @ 163.482
480.94/482.44	c bounds 3273 >= 1761 @ 163.721
480.94/482.44	c bounds 3273 >= 1762 @ 163.805
480.94/482.44	c #Conflicts:      24000 | #Constraints:      23859
480.94/482.44	c bounds 3272 >= 1762 @ 164.02
480.94/482.44	c #Conflicts:      25000 | #Constraints:      24860
480.94/482.44	c #Conflicts:      26000 | #Constraints:      25860
480.94/482.44	c bounds 3272 >= 1763 @ 164.659
480.94/482.44	c bounds 3271 >= 1763 @ 164.785
480.94/482.44	c bounds 3270 >= 1763 @ 164.887
480.94/482.44	c bounds 3269 >= 1763 @ 165.064
480.94/482.44	c #Conflicts:      27000 | #Constraints:      26923
480.94/482.44	c bounds 3268 >= 1763 @ 167.595
480.94/482.44	c bounds 3268 >= 1764 @ 167.615
480.94/482.44	c bounds 3268 >= 1765 @ 167.634
480.94/482.44	c bounds 3268 >= 1766 @ 167.663
480.94/482.44	c bounds 3268 >= 1767 @ 167.738
480.94/482.44	c bounds 3268 >= 1768 @ 167.786
480.94/482.44	c bounds 3268 >= 1769 @ 167.832
480.94/482.44	c #Conflicts:      28000 | #Constraints:      28191
480.94/482.44	c bounds 3268 >= 1770 @ 167.926
480.94/482.44	c #Conflicts:      29000 | #Constraints:      29224
480.94/482.44	c bounds 3268 >= 1771 @ 168.306
480.94/482.44	c bounds 3268 >= 1772 @ 168.671
480.94/482.44	c #Conflicts:      30000 | #Constraints:      30335
480.94/482.44	c INPROCESSING
480.94/482.44	c GARBAGE COLLECT
480.94/482.44	c #Conflicts:      31000 | #Constraints:      23987
480.94/482.44	c bounds 3268 >= 1773 @ 169.342
480.94/482.44	c #Conflicts:      32000 | #Constraints:      25020
480.94/482.44	c #Conflicts:      33000 | #Constraints:      26020
480.94/482.44	c bounds 3268 >= 1774 @ 169.841
480.94/482.44	c #Conflicts:      34000 | #Constraints:      27113
480.94/482.44	c bounds 3251 >= 1774 @ 170.147
480.94/482.44	c bounds 3250 >= 1774 @ 170.408
480.94/482.44	c #Conflicts:      35000 | #Constraints:      28115
480.94/482.44	c bounds 3249 >= 1774 @ 170.765
480.94/482.44	c bounds 3249 >= 1775 @ 170.783
480.94/482.44	c bounds 3249 >= 1776 @ 170.8
480.94/482.44	c bounds 3249 >= 1777 @ 170.815
480.94/482.44	c bounds 3249 >= 1778 @ 170.86
480.94/482.44	c bounds 3245 >= 1778 @ 170.894
480.94/482.44	c bounds 3244 >= 1778 @ 171.089
480.94/482.44	c #Conflicts:      36000 | #Constraints:      29262
480.94/482.44	c INPROCESSING
480.94/482.44	c GARBAGE COLLECT
480.94/482.44	c bounds 3244 >= 1779 @ 171.234
480.94/482.44	c bounds 3243 >= 1779 @ 171.427
480.94/482.44	c bounds 3243 >= 1780 @ 171.444
480.94/482.44	c bounds 3243 >= 1781 @ 171.465
480.94/482.44	c bounds 3242 >= 1781 @ 171.738
480.94/482.44	c bounds 3242 >= 1782 @ 171.763
480.94/482.44	c #Conflicts:      37000 | #Constraints:      25295
480.94/482.44	c bounds 3242 >= 1783 @ 171.776
480.94/482.44	c bounds 3242 >= 1784 @ 171.812
480.94/482.44	c #Conflicts:      38000 | #Constraints:      26370
480.94/482.44	c bounds 3242 >= 1785 @ 171.998
480.94/482.44	c bounds 3241 >= 1785 @ 172.189
480.94/482.44	c #Conflicts:      39000 | #Constraints:      27404
480.94/482.44	c bounds 3240 >= 1785 @ 173.609
480.94/482.44	c #Conflicts:      40000 | #Constraints:      28405
480.94/482.44	c #Conflicts:      41000 | #Constraints:      29405
480.94/482.44	c #Conflicts:      42000 | #Constraints:      30405
480.94/482.44	c #Conflicts:      43000 | #Constraints:      31405
480.94/482.44	c bounds 3240 >= 1786 @ 175.165
480.94/482.44	c bounds 3239 >= 1786 @ 175.31
480.94/482.44	c bounds 3238 >= 1786 @ 175.456
480.94/482.44	c bounds 3237 >= 1786 @ 175.585
480.94/482.44	c bounds 3236 >= 1786 @ 175.726
480.94/482.44	c bounds 3235 >= 1786 @ 175.864
480.94/482.44	c #Conflicts:      44000 | #Constraints:      32476
480.94/482.44	c bounds 3234 >= 1786 @ 178.712
480.94/482.44	c #Conflicts:      45000 | #Constraints:      33477
480.94/482.44	c #Conflicts:      46000 | #Constraints:      34477
480.94/482.44	c bounds 3234 >= 1787 @ 179.161
480.94/482.44	c #Conflicts:      47000 | #Constraints:      35552
480.94/482.44	c #Conflicts:      48000 | #Constraints:      36552
480.94/482.44	c #Conflicts:      49000 | #Constraints:      37552
480.94/482.44	c INPROCESSING
480.94/482.44	c GARBAGE COLLECT
480.94/482.44	c rational objective 2022.3
516.04/517.63	c #Conflicts:      50000 | #Constraints:      28093
516.04/517.63	c bounds 3233 >= 1787 @ 476.002
516.04/517.63	c bounds 3233 >= 1788 @ 476.017
516.04/517.63	c bounds 3233 >= 1789 @ 476.033
516.04/517.63	c bounds 3233 >= 1790 @ 476.046
516.04/517.63	c bounds 3233 >= 1791 @ 476.074
516.04/517.63	c bounds 3233 >= 1792 @ 476.087
516.04/517.63	c bounds 3233 >= 1793 @ 476.138
516.04/517.63	c bounds 3232 >= 1793 @ 476.5
516.04/517.63	c #Conflicts:      51000 | #Constraints:      29299
516.04/517.63	c #Conflicts:      52000 | #Constraints:      30299
516.04/517.63	c #Conflicts:      53000 | #Constraints:      31299
516.04/517.63	c bounds 3232 >= 1794 @ 477.325
516.04/517.63	c #Conflicts:      54000 | #Constraints:      32341
516.04/517.63	c bounds 3231 >= 1794 @ 478.373
516.04/517.63	c bounds 3230 >= 1794 @ 478.75
516.04/517.63	c bounds 3229 >= 1794 @ 479.064
516.04/517.63	c bounds 3228 >= 1794 @ 479.356
516.04/517.63	c bounds 3228 >= 1795 @ 479.375
516.04/517.63	c bounds 3228 >= 1796 @ 479.401
516.04/517.63	c bounds 3228 >= 1797 @ 479.466
516.04/517.63	c bounds 3227 >= 1797 @ 479.765
516.04/517.63	c #Conflicts:      55000 | #Constraints:      33466
516.04/517.63	c bounds 3227 >= 1798 @ 479.858
516.04/517.63	c bounds 3227 >= 1799 @ 479.965
516.04/517.63	c bounds 3226 >= 1799 @ 480.165
516.04/517.63	c bounds 3226 >= 1800 @ 480.185
516.04/517.63	c bounds 3226 >= 1801 @ 480.232
516.04/517.63	c #Conflicts:      56000 | #Constraints:      34605
516.04/517.63	c INPROCESSING
516.04/517.63	c GARBAGE COLLECT
516.04/517.63	c bounds 3225 >= 1801 @ 480.954
516.04/517.63	c bounds 3225 >= 1802 @ 480.968
516.04/517.63	c bounds 3225 >= 1803 @ 480.985
516.04/517.63	c bounds 3225 >= 1804 @ 481.027
516.04/517.63	c #Conflicts:      57000 | #Constraints:      29072
516.04/517.63	c #Conflicts:      58000 | #Constraints:      30072
516.04/517.63	c bounds 3225 >= 1805 @ 481.322
516.04/517.63	c bounds 3224 >= 1805 @ 481.932
516.04/517.63	c #Conflicts:      59000 | #Constraints:      31109
516.04/517.63	c bounds 3224 >= 1806 @ 482.112
516.04/517.63	c #Conflicts:      60000 | #Constraints:      32163
516.04/517.63	c bounds 3223 >= 1806 @ 483.585
516.04/517.63	c #Conflicts:      61000 | #Constraints:      33164
516.04/517.63	c bounds 3223 >= 1807 @ 484.088
516.04/517.63	c #Conflicts:      62000 | #Constraints:      34242
516.04/517.63	c #Conflicts:      63000 | #Constraints:      35242
516.04/517.63	c bounds 3223 >= 1808 @ 485.047
516.04/517.63	c bounds 3222 >= 1808 @ 485.501
516.04/517.63	c #Conflicts:      64000 | #Constraints:      36330
516.04/517.63	c bounds 3221 >= 1808 @ 485.691
516.04/517.63	c bounds 3220 >= 1808 @ 485.884
516.04/517.63	c bounds 3219 >= 1808 @ 486.115
516.04/517.63	c bounds 3218 >= 1808 @ 486.303
516.04/517.63	c bounds 3217 >= 1808 @ 486.557
516.04/517.63	c bounds 3216 >= 1808 @ 486.796
516.04/517.63	c bounds 3215 >= 1808 @ 487.467
516.04/517.63	c #Conflicts:      65000 | #Constraints:      37337
516.04/517.63	c #Conflicts:      66000 | #Constraints:      38337
516.04/517.63	c bounds 3215 >= 1809 @ 488.013
516.04/517.63	c bounds 3214 >= 1809 @ 488.361
516.04/517.63	c bounds 3213 >= 1809 @ 488.781
516.04/517.63	c bounds 3213 >= 1810 @ 488.799
516.04/517.63	c bounds 3213 >= 1811 @ 488.829
516.04/517.63	c bounds 3213 >= 1812 @ 488.879
516.04/517.63	c bounds 3213 >= 1813 @ 488.929
516.04/517.63	c bounds 3212 >= 1813 @ 489.185
516.04/517.63	c #Conflicts:      67000 | #Constraints:      39532
516.04/517.63	c bounds 3212 >= 1814 @ 489.317
516.04/517.63	c bounds 3212 >= 1815 @ 489.522
516.04/517.63	c bounds 3211 >= 1815 @ 489.743
516.04/517.63	c bounds 3210 >= 1815 @ 489.969
516.04/517.63	c bounds 3210 >= 1816 @ 490.032
516.04/517.63	c #Conflicts:      68000 | #Constraints:      40645
516.04/517.63	c bounds 3210 >= 1817 @ 490.481
516.04/517.63	c bounds 3209 >= 1817 @ 490.792
516.04/517.63	c #Conflicts:      69000 | #Constraints:      41700
516.04/517.63	c bounds 3208 >= 1817 @ 491.023
516.04/517.63	c bounds 3207 >= 1817 @ 491.381
516.04/517.63	c bounds 3206 >= 1817 @ 492.052
516.04/517.63	c #Conflicts:      70000 | #Constraints:      42703
516.04/517.63	c #Conflicts:      71000 | #Constraints:      43703
516.04/517.63	c bounds 3206 >= 1818 @ 493.57
516.04/517.63	c bounds 3205 >= 1818 @ 493.899
516.04/517.63	c bounds 3204 >= 1818 @ 494.911
516.04/517.63	c #Conflicts:      72000 | #Constraints:      44759
516.04/517.63	c bounds 3203 >= 1818 @ 496.743
516.04/517.63	c INPROCESSING
516.04/517.63	c GARBAGE COLLECT
516.04/517.63	c #Conflicts:      73000 | #Constraints:      32182
516.04/517.63	c bounds 3203 >= 1819 @ 497.242
516.04/517.63	c #Conflicts:      74000 | #Constraints:      33215
516.04/517.63	c #Conflicts:      75000 | #Constraints:      34215
516.04/517.63	c #Conflicts:      76000 | #Constraints:      35215
516.04/517.63	c #Conflicts:      77000 | #Constraints:      36215
516.04/517.63	c #Conflicts:      78000 | #Constraints:      37215
516.04/517.63	c #Conflicts:      79000 | #Constraints:      38215
516.04/517.63	c #Conflicts:      80000 | #Constraints:      39215
516.04/517.63	c bounds 3203 >= 1820 @ 500.312
516.04/517.63	c #Conflicts:      81000 | #Constraints:      40332
516.04/517.63	c #Conflicts:      82000 | #Constraints:      41332
516.04/517.63	c bounds 3202 >= 1820 @ 506.577
516.04/517.63	c bounds 3202 >= 1821 @ 506.592
516.04/517.63	c bounds 3202 >= 1822 @ 506.628
516.04/517.63	c bounds 3202 >= 1823 @ 506.69
516.04/517.63	c #Conflicts:      83000 | #Constraints:      42453
516.04/517.63	c bounds 3202 >= 1824 @ 506.945
516.04/517.63	c #Conflicts:      84000 | #Constraints:      43489
516.04/517.63	c bounds 3202 >= 1825 @ 507.202
965.46/968.17	c bounds 3202 >= 1826 @ 507.451
965.46/968.17	c #Conflicts:      85000 | #Constraints:      44561
965.46/968.17	c bounds 3202 >= 1827 @ 507.796
965.46/968.17	c bounds 3202 >= 1828 @ 507.822
965.46/968.17	c bounds 3202 >= 1829 @ 507.872
965.46/968.17	c bounds 3202 >= 1830 @ 507.98
965.46/968.17	c #Conflicts:      86000 | #Constraints:      45702
965.46/968.17	c #Conflicts:      87000 | #Constraints:      46702
965.46/968.17	c bounds 3202 >= 1831 @ 669.974
965.46/968.17	c #Conflicts:      88000 | #Constraints:      47741
965.46/968.17	c bounds 3192 >= 1831 @ 670.614
965.46/968.17	c #Conflicts:      89000 | #Constraints:      48742
965.46/968.17	c #Conflicts:      90000 | #Constraints:      49742
965.46/968.17	c #Conflicts:      91000 | #Constraints:      50742
965.46/968.17	c INPROCESSING
965.46/968.17	c GARBAGE COLLECT
965.46/968.17	c bounds 3191 >= 1831 @ 671.501
965.46/968.17	c bounds 3190 >= 1831 @ 671.541
965.46/968.17	c bounds 3189 >= 1831 @ 671.587
965.46/968.17	c bounds 3188 >= 1831 @ 671.807
965.46/968.17	c bounds 3187 >= 1831 @ 672.058
965.46/968.17	c #Conflicts:      92000 | #Constraints:      36753
965.46/968.17	c bounds 3186 >= 1831 @ 674.379
965.46/968.17	c #Conflicts:      93000 | #Constraints:      37754
965.46/968.17	c #Conflicts:      94000 | #Constraints:      38754
965.46/968.17	c #Conflicts:      95000 | #Constraints:      39754
965.46/968.17	c #Conflicts:      96000 | #Constraints:      40754
965.46/968.17	c #Conflicts:      97000 | #Constraints:      41754
965.46/968.17	c bounds 3186 >= 1832 @ 675.969
965.46/968.17	c bounds 3185 >= 1832 @ 676.094
965.46/968.17	c bounds 3184 >= 1832 @ 676.215
965.46/968.17	c #Conflicts:      98000 | #Constraints:      42792
965.46/968.17	c #Conflicts:      99000 | #Constraints:      43792
965.46/968.17	c #Conflicts:     100000 | #Constraints:      44792
965.46/968.17	c #Conflicts:     101000 | #Constraints:      45792
965.46/968.17	c #Conflicts:     102000 | #Constraints:      46792
965.46/968.17	c #Conflicts:     103000 | #Constraints:      47792
965.46/968.17	c bounds 3184 >= 1833 @ 679.233
965.46/968.17	c bounds 3183 >= 1833 @ 679.433
965.46/968.17	c bounds 3182 >= 1833 @ 679.609
965.46/968.17	c #Conflicts:     104000 | #Constraints:      48854
965.46/968.17	c bounds 3181 >= 1833 @ 679.729
965.46/968.17	c bounds 3180 >= 1833 @ 680.179
965.46/968.17	c bounds 3179 >= 1833 @ 680.412
965.46/968.17	c bounds 3178 >= 1833 @ 680.732
965.46/968.17	c bounds 3177 >= 1833 @ 680.936
965.46/968.17	c bounds 3176 >= 1833 @ 681.222
965.46/968.17	c bounds 3175 >= 1833 @ 681.522
965.46/968.17	c bounds 3174 >= 1833 @ 682.259
965.46/968.17	c #Conflicts:     105000 | #Constraints:      49862
965.46/968.17	c #Conflicts:     106000 | #Constraints:      50862
965.46/968.17	c bounds 3173 >= 1833 @ 685.479
965.46/968.17	c #Conflicts:     107000 | #Constraints:      51863
965.46/968.17	c #Conflicts:     108000 | #Constraints:      52863
965.46/968.17	c bounds 3172 >= 1833 @ 700.095
965.46/968.17	c #Conflicts:     109000 | #Constraints:      53864
965.46/968.17	c #Conflicts:     110000 | #Constraints:      54864
965.46/968.17	c #Conflicts:     111000 | #Constraints:      55864
965.46/968.17	c bounds 3172 >= 1834 @ 704.516
965.46/968.17	c INPROCESSING
965.46/968.17	c GARBAGE COLLECT
965.46/968.17	c rational objective 2022.3
1414.43/1418.29	c #Conflicts:     112000 | #Constraints:      38975
1414.43/1418.29	c #Conflicts:     113000 | #Constraints:      39975
1414.43/1418.29	c #Conflicts:     114000 | #Constraints:      40975
1414.43/1418.29	c bounds 3172 >= 1835 @ 954.853
1414.43/1418.29	c #Conflicts:     115000 | #Constraints:      42029
1414.43/1418.29	c #Conflicts:     116000 | #Constraints:      43029
1414.43/1418.29	c #Conflicts:     117000 | #Constraints:      44029
1414.43/1418.29	c #Conflicts:     118000 | #Constraints:      45029
1414.43/1418.29	c #Conflicts:     119000 | #Constraints:      46029
1414.43/1418.29	c bounds 3172 >= 1836 @ 956.66
1414.43/1418.29	c #Conflicts:     120000 | #Constraints:      47089
1414.43/1418.29	c #Conflicts:     121000 | #Constraints:      48089
1414.43/1418.29	c #Conflicts:     122000 | #Constraints:      49089
1414.43/1418.29	c #Conflicts:     123000 | #Constraints:      50089
1414.43/1418.29	c #Conflicts:     124000 | #Constraints:      51089
1414.43/1418.29	c #Conflicts:     125000 | #Constraints:      52089
1414.43/1418.29	c #Conflicts:     126000 | #Constraints:      53089
1414.43/1418.29	c #Conflicts:     127000 | #Constraints:      54089
1414.43/1418.29	c #Conflicts:     128000 | #Constraints:      55089
1414.43/1418.29	c #Conflicts:     129000 | #Constraints:      56089
1414.43/1418.29	c #Conflicts:     130000 | #Constraints:      57089
1414.43/1418.29	c #Conflicts:     131000 | #Constraints:      58089
1414.43/1418.29	c #Conflicts:     132000 | #Constraints:      59089
1414.43/1418.29	c #Conflicts:     133000 | #Constraints:      60089
1414.43/1418.29	c #Conflicts:     134000 | #Constraints:      61089
1414.43/1418.29	c INPROCESSING
1414.43/1418.29	c GARBAGE COLLECT
1414.43/1418.29	c bounds 3171 >= 1836 @ 972.133
1414.43/1418.29	c bounds 3170 >= 1836 @ 972.305
1414.43/1418.29	c bounds 3169 >= 1836 @ 972.498
1414.43/1418.29	c bounds 3168 >= 1836 @ 972.619
1414.43/1418.29	c bounds 3167 >= 1836 @ 972.747
1414.43/1418.29	c #Conflicts:     135000 | #Constraints:      43488
1414.43/1418.29	c bounds 3166 >= 1836 @ 973.17
1414.43/1418.29	c bounds 3165 >= 1836 @ 973.767
1414.43/1418.29	c bounds 3164 >= 1836 @ 973.959
1414.43/1418.29	c bounds 3163 >= 1836 @ 974.447
1414.43/1418.29	c #Conflicts:     136000 | #Constraints:      44492
1414.43/1418.29	c bounds 3162 >= 1836 @ 976.007
1414.43/1418.29	c bounds 3161 >= 1836 @ 976.363
1414.43/1418.29	c bounds 3160 >= 1836 @ 976.645
1414.43/1418.29	c bounds 3159 >= 1836 @ 977.122
1414.43/1418.29	c #Conflicts:     137000 | #Constraints:      45496
1414.43/1418.29	c #Conflicts:     138000 | #Constraints:      46496
1414.43/1418.29	c bounds 3158 >= 1836 @ 983.421
1414.43/1418.29	c bounds 3157 >= 1836 @ 984.536
1414.43/1418.29	c bounds 3156 >= 1836 @ 985.134
1414.43/1418.29	c #Conflicts:     139000 | #Constraints:      47499
1414.43/1418.29	c bounds 3155 >= 1836 @ 985.692
1414.43/1418.29	c bounds 3154 >= 1836 @ 986.281
1414.43/1418.29	c bounds 3153 >= 1836 @ 986.833
1414.43/1418.29	c #Conflicts:     140000 | #Constraints:      48502
1414.43/1418.29	c #Conflicts:     141000 | #Constraints:      49502
1414.43/1418.29	c bounds 3152 >= 1836 @ 996.772
1414.43/1418.29	c #Conflicts:     142000 | #Constraints:      50503
1414.43/1418.29	c #Conflicts:     143000 | #Constraints:      51503
1414.43/1418.29	c #Conflicts:     144000 | #Constraints:      52503
1414.43/1418.29	c #Conflicts:     145000 | #Constraints:      53503
1414.43/1418.29	c #Conflicts:     146000 | #Constraints:      54503
1414.43/1418.29	c #Conflicts:     147000 | #Constraints:      55503
1414.43/1418.29	c bounds 3152 >= 1837 @ 1348.5
1414.43/1418.29	c #Conflicts:     148000 | #Constraints:      56578
1414.43/1418.29	c #Conflicts:     149000 | #Constraints:      57578
1414.43/1418.29	c bounds 3151 >= 1837 @ 1358.99
1414.43/1418.29	c bounds 3151 >= 1838 @ 1360.04
1414.43/1418.29	c #Conflicts:     150000 | #Constraints:      58615
1414.43/1418.29	c bounds 3151 >= 1839 @ 1361.15
1414.43/1418.29	c #Conflicts:     151000 | #Constraints:      59660
1414.43/1418.29	c bounds 3151 >= 1840 @ 1364.52
1414.43/1418.29	c bounds 3151 >= 1841 @ 1365.52
1414.43/1418.29	c #Conflicts:     152000 | #Constraints:      60747
1414.43/1418.29	c bounds 3151 >= 1842 @ 1367.48
1414.43/1418.29	c #Conflicts:     153000 | #Constraints:      61789
1414.43/1418.29	c bounds 3150 >= 1842 @ 1368.96
1414.43/1418.29	c #Conflicts:     154000 | #Constraints:      62790
1414.43/1418.29	c #Conflicts:     155000 | #Constraints:      63790
1414.43/1418.29	c bounds 3150 >= 1843 @ 1372.18
1414.43/1418.29	c bounds 3149 >= 1843 @ 1372.94
1414.43/1418.29	c bounds 3148 >= 1843 @ 1373.68
1414.43/1418.29	c bounds 3147 >= 1843 @ 1376.83
1414.43/1418.29	c #Conflicts:     156000 | #Constraints:      64829
1414.43/1418.29	c #Conflicts:     157000 | #Constraints:      65829
1414.43/1418.29	c #Conflicts:     158000 | #Constraints:      66829
1414.43/1418.29	c #Conflicts:     159000 | #Constraints:      67829
1414.43/1418.29	c INPROCESSING
1414.43/1418.29	c GARBAGE COLLECT
1414.43/1418.29	c bounds 3146 >= 1843 @ 1388.32
1414.43/1418.29	c bounds 3145 >= 1843 @ 1388.98
1414.43/1418.29	c bounds 3144 >= 1843 @ 1389.35
1414.43/1418.29	c bounds 3143 >= 1843 @ 1390.18
1414.43/1418.29	c #Conflicts:     160000 | #Constraints:      47223
1414.43/1418.29	c bounds 3142 >= 1843 @ 1395.12
1414.43/1418.29	c #Conflicts:     161000 | #Constraints:      48224
1414.43/1418.29	c bounds 3141 >= 1843 @ 1397.43
1414.43/1418.29	c #Conflicts:     162000 | #Constraints:      49225
1414.43/1418.29	c #Conflicts:     163000 | #Constraints:      50225
1414.43/1418.29	c bounds 3141 >= 1844 @ 1398.66
1414.43/1418.29	c #Conflicts:     164000 | #Constraints:      51285
1793.66/1798.49	c #Conflicts:     165000 | #Constraints:      52285
1793.66/1798.49	c #Conflicts:     166000 | #Constraints:      53285
1793.66/1798.49	c #Conflicts:     167000 | #Constraints:      54285
1793.66/1798.49	c #Conflicts:     168000 | #Constraints:      55285
1793.66/1798.49	c #Conflicts:     169000 | #Constraints:      56285
1793.66/1798.49	c bounds 3141 >= 1845 @ 1403.62
1793.66/1798.49	c bounds 3140 >= 1845 @ 1404.23
1793.66/1798.49	c bounds 3139 >= 1845 @ 1404.58
1793.66/1798.49	c bounds 3138 >= 1845 @ 1404.98
1793.66/1798.49	c bounds 3137 >= 1845 @ 1405.35
1793.66/1798.49	c bounds 3136 >= 1845 @ 1405.73
1793.66/1798.49	c bounds 3135 >= 1845 @ 1406.41
1793.66/1798.49	c bounds 3134 >= 1845 @ 1406.88
1793.66/1798.49	c bounds 3133 >= 1845 @ 1407.55
1793.66/1798.49	c #Conflicts:     170000 | #Constraints:      57344
1793.66/1798.49	c bounds 3132 >= 1845 @ 1409.65
1793.66/1798.49	c bounds 3131 >= 1845 @ 1410.61
1793.66/1798.49	c bounds 3130 >= 1845 @ 1411.51
1793.66/1798.49	c bounds 3129 >= 1845 @ 1412.52
1793.66/1798.49	c #Conflicts:     171000 | #Constraints:      58348
1793.66/1798.49	c bounds 3128 >= 1845 @ 1413.48
1793.66/1798.49	c bounds 3127 >= 1845 @ 1414.64
1793.66/1798.49	c bounds 3126 >= 1845 @ 1415.76
1793.66/1798.49	c #Conflicts:     172000 | #Constraints:      59351
1793.66/1798.49	c #Conflicts:     173000 | #Constraints:      60351
1793.66/1798.49	c #Conflicts:     174000 | #Constraints:      61351
1793.66/1798.49	c #Conflicts:     175000 | #Constraints:      62351
1793.66/1798.49	c #Conflicts:     176000 | #Constraints:      63351
1793.66/1798.49	c #Conflicts:     177000 | #Constraints:      64351
1793.66/1798.49	c #Conflicts:     178000 | #Constraints:      65351
1793.66/1798.49	c #Conflicts:     179000 | #Constraints:      66351
1793.66/1798.49	c #Conflicts:     180000 | #Constraints:      67351
1793.66/1798.49	c #Conflicts:     181000 | #Constraints:      68351
1793.66/1798.49	c #Conflicts:     182000 | #Constraints:      69351
1793.66/1798.49	c #Conflicts:     183000 | #Constraints:      70351
1793.66/1798.49	c #Conflicts:     184000 | #Constraints:      71351
1793.66/1798.49	c #Conflicts:     185000 | #Constraints:      72351
1793.66/1798.49	c INPROCESSING
1793.66/1798.49	c GARBAGE COLLECT
1793.66/1798.49	c rational objective 2022.3
2536.15/2542.80	c #Conflicts:     186000 | #Constraints:      48824
2536.15/2542.80	c bounds 3125 >= 1845 @ 1778.4
2536.15/2542.80	c bounds 3124 >= 1845 @ 1779.64
2536.15/2542.80	c #Conflicts:     187000 | #Constraints:      49826
2536.15/2542.80	c bounds 3123 >= 1845 @ 1786.66
2536.15/2542.80	c #Conflicts:     188000 | #Constraints:      50827
2536.15/2542.80	c bounds 3122 >= 1845 @ 1789.15
2536.15/2542.80	c #Conflicts:     189000 | #Constraints:      51828
2536.15/2542.80	c bounds 3121 >= 1845 @ 1792.65
2536.15/2542.80	c #Conflicts:     190000 | #Constraints:      52829
2536.15/2542.80	c #Conflicts:     191000 | #Constraints:      53829
2536.15/2542.80	c #Conflicts:     192000 | #Constraints:      54829
2536.15/2542.80	c #Conflicts:     193000 | #Constraints:      55829
2536.15/2542.80	c #Conflicts:     194000 | #Constraints:      56829
2536.15/2542.80	c #Conflicts:     195000 | #Constraints:      57829
2536.15/2542.80	c #Conflicts:     196000 | #Constraints:      58829
2536.15/2542.80	c #Conflicts:     197000 | #Constraints:      59829
2536.15/2542.80	c #Conflicts:     198000 | #Constraints:      60829
2536.15/2542.80	c #Conflicts:     199000 | #Constraints:      61829
2536.15/2542.80	c bounds 3120 >= 1845 @ 1874.57
2536.15/2542.80	c #Conflicts:     200000 | #Constraints:      62830
2536.15/2542.80	c #Conflicts:     201000 | #Constraints:      63830
2536.15/2542.80	c #Conflicts:     202000 | #Constraints:      64830
2536.15/2542.80	c #Conflicts:     203000 | #Constraints:      65830
2536.15/2542.80	c #Conflicts:     204000 | #Constraints:      66830
2536.15/2542.80	c #Conflicts:     205000 | #Constraints:      67830
2536.15/2542.80	c #Conflicts:     206000 | #Constraints:      68830
2536.15/2542.80	c bounds 3120 >= 1846 @ 1888.85
2536.15/2542.80	c #Conflicts:     207000 | #Constraints:      69890
2536.15/2542.80	c #Conflicts:     208000 | #Constraints:      70890
2536.15/2542.80	c #Conflicts:     209000 | #Constraints:      71890
2536.15/2542.80	c #Conflicts:     210000 | #Constraints:      72890
2536.15/2542.80	c #Conflicts:     211000 | #Constraints:      73890
2536.15/2542.80	c #Conflicts:     212000 | #Constraints:      74890
2536.15/2542.80	c #Conflicts:     213000 | #Constraints:      75890
2536.15/2542.80	c #Conflicts:     214000 | #Constraints:      76890
2536.15/2542.80	c INPROCESSING
2536.15/2542.80	c GARBAGE COLLECT
2536.15/2542.80	c #Conflicts:     215000 | #Constraints:      50656
2536.15/2542.80	c #Conflicts:     216000 | #Constraints:      51656
2536.15/2542.80	c #Conflicts:     217000 | #Constraints:      52656
2536.15/2542.80	c #Conflicts:     218000 | #Constraints:      53656
2536.15/2542.80	c #Conflicts:     219000 | #Constraints:      54656
2536.15/2542.80	c #Conflicts:     220000 | #Constraints:      55656
2536.15/2542.80	c #Conflicts:     221000 | #Constraints:      56656
2536.15/2542.80	c #Conflicts:     222000 | #Constraints:      57656
2536.15/2542.80	c #Conflicts:     223000 | #Constraints:      58656
2536.15/2542.80	c #Conflicts:     224000 | #Constraints:      59656
2536.15/2542.80	c #Conflicts:     225000 | #Constraints:      60656
2536.15/2542.80	c #Conflicts:     226000 | #Constraints:      61656
2536.15/2542.80	c #Conflicts:     227000 | #Constraints:      62656
2536.15/2542.80	c #Conflicts:     228000 | #Constraints:      63656
2536.15/2542.80	c #Conflicts:     229000 | #Constraints:      64656
2536.15/2542.80	c #Conflicts:     230000 | #Constraints:      65656
2536.15/2542.80	c #Conflicts:     231000 | #Constraints:      66656
2536.15/2542.80	c #Conflicts:     232000 | #Constraints:      67656
2536.15/2542.80	c #Conflicts:     233000 | #Constraints:      68656
2536.15/2542.80	c #Conflicts:     234000 | #Constraints:      69656
2536.15/2542.80	c #Conflicts:     235000 | #Constraints:      70656
2536.15/2542.80	c #Conflicts:     236000 | #Constraints:      71656
2536.15/2542.80	c #Conflicts:     237000 | #Constraints:      72656
2536.15/2542.80	c #Conflicts:     238000 | #Constraints:      73656
2536.15/2542.80	c #Conflicts:     239000 | #Constraints:      74656
2536.15/2542.80	c #Conflicts:     240000 | #Constraints:      75656
2536.15/2542.81	c #Conflicts:     241000 | #Constraints:      76656
2536.15/2542.81	c #Conflicts:     242000 | #Constraints:      77656
2536.15/2542.81	c #Conflicts:     243000 | #Constraints:      78656
2536.15/2542.81	c #Conflicts:     244000 | #Constraints:      79656
2536.15/2542.81	c INPROCESSING
2536.15/2542.81	c GARBAGE COLLECT
2536.15/2542.81	c rational objective 2022.3
2650.33/2657.35	c #Conflicts:     245000 | #Constraints:      52729
2650.33/2657.35	c #Conflicts:     246000 | #Constraints:      53729
2650.33/2657.35	c #Conflicts:     247000 | #Constraints:      54729
2650.33/2657.35	c #Conflicts:     248000 | #Constraints:      55729
2650.33/2657.35	c #Conflicts:     249000 | #Constraints:      56729
2650.33/2657.35	c #Conflicts:     250000 | #Constraints:      57729
2650.33/2657.35	c #Conflicts:     251000 | #Constraints:      58729
2650.33/2657.35	c #Conflicts:     252000 | #Constraints:      59729
2650.33/2657.35	c #Conflicts:     253000 | #Constraints:      60729
2650.33/2657.35	c #Conflicts:     254000 | #Constraints:      61729
2650.33/2657.35	c #Conflicts:     255000 | #Constraints:      62729
2650.33/2657.35	c #Conflicts:     256000 | #Constraints:      63729
2650.33/2657.35	c #Conflicts:     257000 | #Constraints:      64729
2650.33/2657.35	c #Conflicts:     258000 | #Constraints:      65729
2650.33/2657.35	c #Conflicts:     259000 | #Constraints:      66729
2650.33/2657.35	c #Conflicts:     260000 | #Constraints:      67729
2650.33/2657.35	c #Conflicts:     261000 | #Constraints:      68729
2650.33/2657.35	c #Conflicts:     262000 | #Constraints:      69729
2650.33/2657.35	c #Conflicts:     263000 | #Constraints:      70729
2650.33/2657.35	c #Conflicts:     264000 | #Constraints:      71729
2650.33/2657.35	c #Conflicts:     265000 | #Constraints:      72729
2650.33/2657.35	c #Conflicts:     266000 | #Constraints:      73729
2650.33/2657.35	c #Conflicts:     267000 | #Constraints:      74729
2650.33/2657.35	c #Conflicts:     268000 | #Constraints:      75729
2650.33/2657.35	c #Conflicts:     269000 | #Constraints:      76729
2650.33/2657.35	c #Conflicts:     270000 | #Constraints:      77729
2650.33/2657.35	c #Conflicts:     271000 | #Constraints:      78729
2650.33/2657.35	c #Conflicts:     272000 | #Constraints:      79729
2650.33/2657.35	c #Conflicts:     273000 | #Constraints:      80729
2650.33/2657.35	c #Conflicts:     274000 | #Constraints:      81729
2650.33/2657.35	c #Conflicts:     275000 | #Constraints:      82729
2650.33/2657.35	c #Conflicts:     276000 | #Constraints:      83729
2650.33/2657.35	c #Conflicts:     277000 | #Constraints:      84729
2650.33/2657.35	c INPROCESSING
2650.33/2657.35	c GARBAGE COLLECT
2650.33/2657.35	c rational objective 2022.3

ERROR: no interpretation found !

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: 64059 MiB (58571 MiB free)
  memory of node 1: 64510 MiB (56685 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4456722-1721769209/watcher-4456722-1721769209 -o /tmp/evaluation-result-4456722-1721769209/solver-4456722-1721769209 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1721765593-126870 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4456722-1721769209 --lp-cut-gomory=0 HOME/instance-4456722-1721769209.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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 4.18.0-301.1.el8.x86_64
Linux 4.18.0-301.1.el8.x
Current StackSize limit: 8192 KiB

solver pid=129293, runsolver pid=129290

[startup+0.10027 s]*
/proc/loadavg: 4.40 4.21 4.12 5/250 129294
/proc/meminfo: memFree=118016832/131655788 swapFree=131071996/131071996
[pid=129293] ppid=129290 vsize=41000 memory=9124 CPUtime=0.1 cores=4,6
/proc/129293/stat : 129293 (roundingsat) R 129290 129293 126859 0 -1 4194304 1513 0 0 0 8 2 0 0 20 0 1 0 12909978 41984000 2281 134679101440 4194304 8254037 140720494272800 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9037040 9046032 30142464 140720494277468 140720494277730 140720494277730 140720494284745 0
/proc/129293/statm: 10250 2281 1359 992 0 2108 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 41000 KiB
Current children cumulated memory: 9124 KiB

[startup+0.212879 s]*
/proc/loadavg: 4.40 4.21 4.12 5/250 129294
/proc/meminfo: memFree=118003384/131655788 swapFree=131071996/131071996
[pid=129293] ppid=129290 vsize=53704 memory=21572 CPUtime=0.21 cores=4,6
/proc/129293/stat : 129293 (roundingsat) R 129290 129293 126859 0 -1 4194304 4535 0 0 0 17 4 0 0 20 0 1 0 12909978 54992896 5393 134679101440 4194304 8254037 140720494272800 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 30142464 140720494277468 140720494277730 140720494277730 140720494284745 0
/proc/129293/statm: 13426 5393 1771 992 0 5284 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 53704 KiB
Current children cumulated memory: 21572 KiB

[startup+0.313789 s]*
/proc/loadavg: 4.40 4.21 4.12 5/250 129294
/proc/meminfo: memFree=117998188/131655788 swapFree=131071996/131071996
[pid=129293] ppid=129290 vsize=54472 memory=22628 CPUtime=0.31 cores=4,6
/proc/129293/stat : 129293 (roundingsat) R 129290 129293 126859 0 -1 4194304 4795 0 0 0 26 5 0 0 20 0 1 0 12909978 55779328 5657 134679101440 4194304 8254037 140720494272800 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 30142464 140720494277468 140720494277730 140720494277730 140720494284745 0
/proc/129293/statm: 13618 5657 1771 992 0 5476 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 54472 KiB
Current children cumulated memory: 22628 KiB

[startup+0.700272 s]
/proc/loadavg: 4.40 4.21 4.12 5/250 129294
/proc/meminfo: memFree=117994996/131655788 swapFree=131071996/131071996
[pid=129293] ppid=129290 vsize=56408 memory=24476 CPUtime=0.69 cores=4,6
/proc/129293/stat : 129293 (roundingsat) R 129290 129293 126859 0 -1 4194304 5242 0 0 0 63 6 0 0 20 0 1 0 12909978 57761792 6119 134679101440 4194304 8254037 140720494272800 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 30142464 140720494277468 140720494277730 140720494277730 140720494284745 0
/proc/129293/statm: 14102 6119 1771 992 0 5960 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 56408 KiB
Current children cumulated memory: 24476 KiB

[startup+1.50031 s]
/proc/loadavg: 4.40 4.21 4.12 5/250 129294
/proc/meminfo: memFree=117984416/131655788 swapFree=131071996/131071996
[pid=129293] ppid=129290 vsize=57920 memory=29340 CPUtime=1.48 cores=4,6
/proc/129293/stat : 129293 (roundingsat) R 129290 129293 126859 0 -1 4194304 5926 0 0 0 140 8 0 0 20 0 1 0 12909978 59310080 7335 134679101440 4194304 8254037 140720494272800 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 30142464 140720494277468 140720494277730 140720494277730 140720494284745 0
/proc/129293/statm: 14480 7335 1818 992 0 6338 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 57920 KiB
Current children cumulated memory: 29340 KiB

[startup+3.11332 s]
/proc/loadavg: 4.36 4.21 4.12 5/250 129294
/proc/meminfo: memFree=117817404/131655788 swapFree=131071996/131071996
[pid=129293] ppid=129290 vsize=74048 memory=45580 CPUtime=3.09 cores=4,6
/proc/129293/stat : 129293 (roundingsat) R 129290 129293 126859 0 -1 4194304 7452 0 0 0 282 27 0 0 20 0 1 0 12909978 75825152 11395 134679101440 4194304 8254037 140720494272800 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 30142464 140720494277468 140720494277730 140720494277730 140720494284745 0
/proc/129293/statm: 18512 11395 1818 992 0 10370 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 74048 KiB
Current children cumulated memory: 45580 KiB

[startup+6.30027 s]
/proc/loadavg: 4.36 4.21 4.12 5/250 129296
/proc/meminfo: memFree=117560628/131655788 swapFree=131071996/131071996
[pid=129293] ppid=129290 vsize=147188 memory=92064 CPUtime=6.27 cores=4,6
/proc/129293/stat : 129293 (roundingsat) R 129290 129293 126859 0 -1 4194304 11902 0 0 0 538 89 0 0 20 0 1 0 12909978 150720512 23016 134679101440 4194304 8254037 140720494272800 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 30142464 140720494277468 140720494277730 140720494277730 140720494284745 0
/proc/129293/statm: 36797 23016 1818 992 0 28655 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 147188 KiB
Current children cumulated memory: 92064 KiB

[startup+12.7003 s]
/proc/loadavg: 4.31 4.20 4.12 5/250 129296
/proc/meminfo: memFree=117193128/131655788 swapFree=131071996/131071996
[pid=129293] ppid=129290 vsize=234864 memory=161860 CPUtime=12.65 cores=4,6
/proc/129293/stat : 129293 (roundingsat) R 129290 129293 126859 0 -1 4194304 21595 0 0 0 1062 203 0 0 20 0 1 0 12909978 240500736 40465 134679101440 4194304 8254037 140720494272800 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 30142464 140720494277468 140720494277730 140720494277730 140720494284745 0
/proc/129293/statm: 58716 40465 1818 992 0 50574 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 234864 KiB
Current children cumulated memory: 161860 KiB

[startup+25.5003 s]
/proc/loadavg: 4.19 4.18 4.11 5/253 129584
/proc/meminfo: memFree=116262820/131655788 swapFree=131071996/131071996
[pid=129293] ppid=129290 vsize=236392 memory=163980 CPUtime=25.41 cores=4,6
/proc/129293/stat : 129293 (roundingsat) R 129290 129293 126859 0 -1 4194304 22065 0 0 0 2304 237 0 0 20 0 1 0 12909978 242065408 40995 134679101440 4194304 8254037 140720494272800 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 30142464 140720494277468 140720494277730 140720494277730 140720494284745 0
/proc/129293/statm: 59098 40995 1895 992 0 50956 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 236392 KiB
Current children cumulated memory: 163980 KiB

[startup+51.1138 s]
/proc/loadavg: 4.25 4.20 4.12 5/255 129590
/proc/meminfo: memFree=113565948/131655788 swapFree=131071996/131071996
[pid=129293] ppid=129290 vsize=246200 memory=172072 CPUtime=50.95 cores=4,6
/proc/129293/stat : 129293 (roundingsat) R 129290 129293 126859 0 -1 4194304 23899 0 0 0 4839 256 0 0 20 0 1 0 12909978 252108800 43018 134679101440 4194304 8254037 140720494272800 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 30142464 140720494277468 140720494277730 140720494277730 140720494284745 0
/proc/129293/statm: 61550 43018 1895 992 0 53408 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 246200 KiB
Current children cumulated memory: 172072 KiB

[startup+102.3 s]
/proc/loadavg: 4.26 4.22 4.13 5/257 129601
/proc/meminfo: memFree=108120292/131655788 swapFree=131071996/131071996
[pid=129293] ppid=129290 vsize=286332 memory=211120 CPUtime=101.98 cores=4,6
/proc/129293/stat : 129293 (roundingsat) R 129290 129293 126859 0 -1 4194304 33669 0 0 0 9835 363 0 0 20 0 1 0 12909978 293203968 52780 134679101440 4194304 8254037 140720494272800 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 30142464 140720494277468 140720494277730 140720494277730 140720494284745 0
/proc/129293/statm: 71583 52780 1895 992 0 63441 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 286332 KiB
Current children cumulated memory: 211120 KiB

[startup+162.3 s]
/proc/loadavg: 4.43 4.28 4.16 5/260 129660
/proc/meminfo: memFree=101933908/131655788 swapFree=131071996/131071996
[pid=129293] ppid=129290 vsize=286332 memory=211624 CPUtime=161.8 cores=4,6
/proc/129293/stat : 129293 (roundingsat) R 129290 129293 126859 0 -1 4194304 33759 0 0 0 15797 383 0 0 20 0 1 0 12909978 293203968 52906 134679101440 4194304 8254037 140720494272800 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 30142464 140720494277468 140720494277730 140720494277730 140720494284745 0
/proc/129293/statm: 71583 52906 1895 992 0 63441 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 286332 KiB
Current children cumulated memory: 211624 KiB

[startup+222.3 s]
/proc/loadavg: 4.28 4.26 4.16 5/263 129674
/proc/meminfo: memFree=95743732/131655788 swapFree=131071996/131071996
[pid=129293] ppid=129290 vsize=491108 memory=408908 CPUtime=221.59 cores=4,6
/proc/129293/stat : 129293 (roundingsat) R 129290 129293 126859 0 -1 4194304 74418 0 0 0 21573 586 0 0 20 0 1 0 12909978 502894592 102227 134679101440 4194304 8254037 140720494272800 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 30142464 140720494277468 140720494277730 140720494277730 140720494284745 0
/proc/129293/statm: 122777 102227 1895 992 0 114635 0
Current children cumulated CPU time: 221.59 s
Current children cumulated vsize: 491108 KiB
Current children cumulated memory: 408908 KiB

[startup+282.3 s]
/proc/loadavg: 4.60 4.35 4.19 5/264 129685
/proc/meminfo: memFree=89544860/131655788 swapFree=131071996/131071996
[pid=129293] ppid=129290 vsize=522568 memory=434824 CPUtime=281.4 cores=4,6
/proc/129293/stat : 129293 (roundingsat) R 129290 129293 126859 0 -1 4194304 77929 0 0 0 27543 597 0 0 20 0 1 0 12909978 535109632 108706 134679101440 4194304 8254037 140720494272800 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 30142464 140720494277468 140720494277730 140720494277730 140720494284745 0
/proc/129293/statm: 130642 108706 1895 992 0 122500 0
Current children cumulated CPU time: 281.4 s
Current children cumulated vsize: 522568 KiB
Current children cumulated memory: 434824 KiB

[startup+342.3 s]
/proc/loadavg: 4.59 4.38 4.21 5/258 129695
/proc/meminfo: memFree=83797284/131655788 swapFree=131071996/131071996
[pid=129293] ppid=129290 vsize=548584 memory=456788 CPUtime=341.21 cores=4,6
/proc/129293/stat : 129293 (roundingsat) R 129290 129293 126859 0 -1 4194304 79158 0 0 0 33517 604 0 0 20 0 1 0 12909978 561750016 114197 134679101440 4194304 8254037 140720494272800 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 30142464 140720494277468 140720494277730 140720494277730 140720494284745 0
/proc/129293/statm: 137146 114197 1895 992 0 129004 0
Current children cumulated CPU time: 341.21 s
Current children cumulated vsize: 548584 KiB
Current children cumulated memory: 456788 KiB

[startup+402.3 s]
/proc/loadavg: 4.26 4.32 4.20 5/263 129713
/proc/meminfo: memFree=77865104/131655788 swapFree=131071996/131071996
[pid=129293] ppid=129290 vsize=553784 memory=469840 CPUtime=401.03 cores=4,6
/proc/129293/stat : 129293 (roundingsat) R 129290 129293 126859 0 -1 4194304 80629 0 0 0 39494 609 0 0 20 0 1 0 12909978 567074816 117460 134679101440 4194304 8254037 140720494272800 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 30142464 140720494277468 140720494277730 140720494277730 140720494284745 0
/proc/129293/statm: 138446 117460 1895 992 0 130304 0
Current children cumulated CPU time: 401.03 s
Current children cumulated vsize: 553784 KiB
Current children cumulated memory: 469840 KiB

[startup+462.3 s]
/proc/loadavg: 4.33 4.34 4.21 5/263 129723
/proc/meminfo: memFree=71892860/131655788 swapFree=131071996/131071996
[pid=129293] ppid=129290 vsize=578928 memory=481296 CPUtime=460.88 cores=4,6
/proc/129293/stat : 129293 (roundingsat) R 129290 129293 126859 0 -1 4194304 81809 0 0 0 45475 613 0 0 20 0 1 0 12909978 592822272 120324 134679101440 4194304 8254037 140720494272800 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 30142464 140720494277468 140720494277730 140720494277730 140720494284745 0
/proc/129293/statm: 144732 120324 1895 992 0 136590 0

################
# More data... #
################

[startup+3042.3 s]
/proc/loadavg: 4.12 4.10 4.12 5/256 131411
/proc/meminfo: memFree=600584/131655788 swapFree=131071472/131071996
[pid=129293] ppid=129290 vsize=2297832 memory=1966884 CPUtime=3034.36 cores=4,6
/proc/129293/stat : 129293 (roundingsat) R 129290 129293 126859 0 -1 4194304 388215 0 1 0 301227 2209 0 0 20 0 1 0 12909978 2352979968 491721 134679101440 4194304 8254037 140720494272800 0 0 0 0 0 25182210 0 0 0 17 4 0 0 1 0 0 9037040 9046032 30142464 140720494277468 140720494277730 140720494277730 140720494284745 0
/proc/129293/statm: 574458 491721 1908 992 0 566316 0
Current children cumulated CPU time: 3034.36 s
Current children cumulated vsize: 2297832 KiB
Current children cumulated memory: 1966884 KiB

[startup+3102.3 s]
/proc/loadavg: 4.17 4.11 4.12 5/256 131421
/proc/meminfo: memFree=661984/131655788 swapFree=131071472/131071996
[pid=129293] ppid=129290 vsize=2297832 memory=1966884 CPUtime=3094.21 cores=4,6
/proc/129293/stat : 129293 (roundingsat) R 129290 129293 126859 0 -1 4194304 388372 0 1 0 307206 2215 0 0 20 0 1 0 12909978 2352979968 491721 134679101440 4194304 8254037 140720494272800 0 0 0 0 0 25182210 0 0 0 17 4 0 0 1 0 0 9037040 9046032 30142464 140720494277468 140720494277730 140720494277730 140720494284745 0
/proc/129293/statm: 574458 491721 1908 992 0 566316 0
Current children cumulated CPU time: 3094.21 s
Current children cumulated vsize: 2297832 KiB
Current children cumulated memory: 1966884 KiB

[startup+3162.3 s]
/proc/loadavg: 4.10 4.11 4.12 5/264 131443
/proc/meminfo: memFree=593824/131655788 swapFree=131071472/131071996
[pid=129293] ppid=129290 vsize=2297832 memory=1966884 CPUtime=3154.07 cores=4,6
/proc/129293/stat : 129293 (roundingsat) R 129290 129293 126859 0 -1 4194304 388551 0 1 0 313186 2221 0 0 20 0 1 0 12909978 2352979968 491721 134679101440 4194304 8254037 140720494272800 0 0 0 0 0 25182210 0 0 0 17 4 0 0 1 0 0 9037040 9046032 30142464 140720494277468 140720494277730 140720494277730 140720494284745 0
/proc/129293/statm: 574458 491721 1908 992 0 566316 0
Current children cumulated CPU time: 3154.07 s
Current children cumulated vsize: 2297832 KiB
Current children cumulated memory: 1966884 KiB

[startup+3222.3 s]
/proc/loadavg: 4.10 4.10 4.11 5/262 131466
/proc/meminfo: memFree=537976/131655788 swapFree=131071472/131071996
[pid=129293] ppid=129290 vsize=2297832 memory=1968932 CPUtime=3213.91 cores=4,6
/proc/129293/stat : 129293 (roundingsat) R 129290 129293 126859 0 -1 4194304 389186 0 1 0 319165 2226 0 0 20 0 1 0 12909978 2352979968 492233 134679101440 4194304 8254037 140720494272800 0 0 0 0 0 25182210 0 0 0 17 4 0 0 1 0 0 9037040 9046032 30142464 140720494277468 140720494277730 140720494277730 140720494284745 0
/proc/129293/statm: 574458 492233 1908 992 0 566316 0
Current children cumulated CPU time: 3213.91 s
Current children cumulated vsize: 2297832 KiB
Current children cumulated memory: 1968932 KiB

[startup+3282.3 s]
/proc/loadavg: 4.08 4.09 4.11 7/264 131747
/proc/meminfo: memFree=19253008/131655788 swapFree=131071472/131071996
[pid=129293] ppid=129290 vsize=2297832 memory=1968932 CPUtime=3273.74 cores=4,6
/proc/129293/stat : 129293 (roundingsat) R 129290 129293 126859 0 -1 4194304 389572 0 1 0 325142 2232 0 0 20 0 1 0 12909978 2352979968 492233 134679101440 4194304 8254037 140720494272800 0 0 0 0 0 25182210 0 0 0 17 4 0 0 1 0 0 9037040 9046032 30142464 140720494277468 140720494277730 140720494277730 140720494284745 0
/proc/129293/statm: 574458 492233 1908 992 0 566316 0
Current children cumulated CPU time: 3273.74 s
Current children cumulated vsize: 2297832 KiB
Current children cumulated memory: 1968932 KiB

[startup+3342.3 s]
/proc/loadavg: 4.18 4.12 4.11 6/265 131758
/proc/meminfo: memFree=18372808/131655788 swapFree=131071472/131071996
[pid=129293] ppid=129290 vsize=2303180 memory=1978164 CPUtime=3333.55 cores=4,6
/proc/129293/stat : 129293 (roundingsat) R 129290 129293 126859 0 -1 4194304 390475 0 1 0 331117 2238 0 0 20 0 1 0 12909978 2358456320 494541 134679101440 4194304 8254037 140720494272800 0 0 0 0 0 25182210 0 0 0 17 4 0 0 1 0 0 9037040 9046032 30142464 140720494277468 140720494277730 140720494277730 140720494284745 0
/proc/129293/statm: 575795 494541 1908 992 0 567653 0
Current children cumulated CPU time: 3333.55 s
Current children cumulated vsize: 2303180 KiB
Current children cumulated memory: 1978164 KiB

[startup+3402.3 s]
/proc/loadavg: 4.14 4.11 4.11 6/270 132066
/proc/meminfo: memFree=16784468/131655788 swapFree=131071472/131071996
[pid=129293] ppid=129290 vsize=2303180 memory=1978188 CPUtime=3393.35 cores=4,6
/proc/129293/stat : 129293 (roundingsat) R 129290 129293 126859 0 -1 4194304 390609 0 1 0 337094 2241 0 0 20 0 1 0 12909978 2358456320 494547 134679101440 4194304 8254037 140720494272800 0 0 0 0 0 25182210 0 0 0 17 4 0 0 1 0 0 9037040 9046032 30142464 140720494277468 140720494277730 140720494277730 140720494284745 0
/proc/129293/statm: 575795 494547 1908 992 0 567653 0
Current children cumulated CPU time: 3393.35 s
Current children cumulated vsize: 2303180 KiB
Current children cumulated memory: 1978188 KiB

[startup+3462.3 s]
/proc/loadavg: 4.09 4.11 4.10 6/258 132076
/proc/meminfo: memFree=16224348/131655788 swapFree=131071472/131071996
[pid=129293] ppid=129290 vsize=2303180 memory=1978188 CPUtime=3453.16 cores=4,6
/proc/129293/stat : 129293 (roundingsat) R 129290 129293 126859 0 -1 4194304 390742 0 1 0 343071 2245 0 0 20 0 1 0 12909978 2358456320 494547 134679101440 4194304 8254037 140720494272800 0 0 0 0 0 25182210 0 0 0 17 4 0 0 1 0 0 9037040 9046032 30142464 140720494277468 140720494277730 140720494277730 140720494284745 0
/proc/129293/statm: 575795 494547 1908 992 0 567653 0
Current children cumulated CPU time: 3453.16 s
Current children cumulated vsize: 2303180 KiB
Current children cumulated memory: 1978188 KiB

[startup+3522.3 s]
/proc/loadavg: 4.18 4.13 4.11 6/257 132087
/proc/meminfo: memFree=15476808/131655788 swapFree=131071472/131071996
[pid=129293] ppid=129290 vsize=2303180 memory=1978188 CPUtime=3512.99 cores=4,6
/proc/129293/stat : 129293 (roundingsat) R 129290 129293 126859 0 -1 4194304 390836 0 1 0 349048 2251 0 0 20 0 1 0 12909978 2358456320 494547 134679101440 4194304 8254037 140720494272800 0 0 0 0 0 25182210 0 0 0 17 4 0 0 1 0 0 9037040 9046032 30142464 140720494277468 140720494277730 140720494277730 140720494284745 0
/proc/129293/statm: 575795 494547 1908 992 0 567653 0
Current children cumulated CPU time: 3512.99 s
Current children cumulated vsize: 2303180 KiB
Current children cumulated memory: 1978188 KiB

[startup+3582.3 s]
/proc/loadavg: 4.26 4.17 4.12 6/259 132100
/proc/meminfo: memFree=14424828/131655788 swapFree=131071472/131071996
[pid=129293] ppid=129290 vsize=2303180 memory=1978188 CPUtime=3572.81 cores=4,6
/proc/129293/stat : 129293 (roundingsat) R 129290 129293 126859 0 -1 4194304 390965 0 1 0 355026 2255 0 0 20 0 1 0 12909978 2358456320 494547 134679101440 4194304 8254037 140720494272800 0 0 0 0 0 25182210 0 0 0 17 4 0 0 1 0 0 9037040 9046032 30142464 140720494277468 140720494277730 140720494277730 140720494284745 0
/proc/129293/statm: 575795 494547 1908 992 0 567653 0
Current children cumulated CPU time: 3572.81 s
Current children cumulated vsize: 2303180 KiB
Current children cumulated memory: 1978188 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.6 s]
/proc/loadavg: 4.17 4.16 4.12 6/257 132105
/proc/meminfo: memFree=14010768/131655788 swapFree=131071472/131071996
[pid=129293] ppid=129290 vsize=2303180 memory=1978188 CPUtime=3600.03 cores=4,6
/proc/129293/stat : 129293 (roundingsat) R 129290 129293 126859 0 -1 4194304 391023 0 1 0 357746 2257 0 0 20 0 1 0 12909978 2358456320 494547 134679101440 4194304 8254037 140720494272800 0 0 0 0 0 25182210 0 0 0 17 4 0 0 1 0 0 9037040 9046032 30142464 140720494277468 140720494277730 140720494277730 140720494284745 0
/proc/129293/statm: 575795 494547 1908 992 0 567653 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 2303180 KiB
Current children cumulated memory: 1978188 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Sending SIGKILL to process tree (bottom up)
??? end of watcher thread

[startup+3611.65 s]
# the end of solver process 129293 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)

# cumulated CPU time of all completed processes:  user=3579.46 s, system=22.6179 s

Solver just ended.
Dumping a history of the last processes samples

[startup+3610.4 s]
/proc/loadavg: 4.17 4.16 4.12 6/257 132105
/proc/meminfo: memFree=13982980/131655788 swapFree=131071472/131071996
[pid=129293] ppid=129290 vsize=2303180 memory=1978188 CPUtime=3600.83 cores=4,6
/proc/129293/stat : 129293 (roundingsat) R 129290 129293 126859 0 -1 4194304 391023 0 1 0 357826 2257 0 0 20 0 1 0 12909978 2358456320 494547 134679101440 4194304 8254037 140720494272800 0 0 0 0 0 25182210 0 0 0 17 4 0 0 1 0 0 9037040 9046032 30142464 140720494277468 140720494277730 140720494277730 140720494284745 0
/proc/129293/statm: 575795 494547 1908 992 0 567653 0
Current children cumulated CPU time: 3600.83 s
Current children cumulated vsize: 2303180 KiB
Current children cumulated memory: 1978188 KiB

[startup+3611.2 s]
/proc/loadavg: 4.17 4.16 4.12 7/257 132105
/proc/meminfo: memFree=13958176/131655788 swapFree=131071472/131071996
[pid=129293] ppid=129290 vsize=2303180 memory=1978188 CPUtime=3601.63 cores=4,6
/proc/129293/stat : 129293 (roundingsat) R 129290 129293 126859 0 -1 4194304 391023 0 1 0 357906 2257 0 0 20 0 1 0 12909978 2358456320 494547 134679101440 4194304 8254037 140720494272800 0 0 0 0 0 25182210 0 0 0 17 4 0 0 1 0 0 9037040 9046032 30142464 140720494277468 140720494277730 140720494277730 140720494284745 0
/proc/129293/statm: 575795 494547 1908 992 0 567653 0
Current children cumulated CPU time: 3601.63 s
Current children cumulated vsize: 2303180 KiB
Current children cumulated memory: 1978188 KiB

[startup+3611.6 s]
/proc/loadavg: 4.17 4.16 4.12 7/257 132105
/proc/meminfo: memFree=13958176/131655788 swapFree=131071472/131071996
[pid=129293] ppid=129290 vsize=2303180 memory=1978188 CPUtime=3602.03 cores=4,6
/proc/129293/stat : 129293 (roundingsat) R 129290 129293 126859 0 -1 4194304 391023 0 1 0 357946 2257 0 0 20 0 1 0 12909978 2358456320 494547 134679101440 4194304 8254037 140720494272800 0 0 0 0 0 25182210 0 0 0 17 4 0 0 1 0 0 9037040 9046032 30142464 140720494277468 140720494277730 140720494277730 140720494284745 0
/proc/129293/statm: 575795 494547 1908 992 0 567653 0
Current children cumulated CPU time: 3602.03 s
Current children cumulated vsize: 2303180 KiB
Current children cumulated memory: 1978188 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 3611.65
CPU time (s): 3602.08
CPU user time (s): 3579.46
CPU system time (s): 22.6179
CPU usage (%): 99.7351
Max. virtual memory (cumulated for all children) (KiB): 2303180
Max. memory (cumulated for all children) (KiB): 1978188

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3579.46
system time used= 22.6179
maximum resident set size= 1978188
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 391023
page faults= 1
swaps= 0
block input operations= 2176
block output operations= 5437792
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 29
involuntary context switches= 2486


# summary of solver processes directly reported to runsolver:
#   pid: 129293
#   total CPU time (s): 3602.08
#   total CPU user time (s): 3579.46
#   total CPU system time (s): 22.6179

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.5383 second user time and 37.984 second system time

The end

Begin job on nodeC003 at 2024-07-23 23:13:29
IDJOB=4456722
IDBENCH=147222
IDSOLVER=3085
FILE ID=nodeC003/4456722-1721769209
RUNJOBID= nodeC003-1721765593-126870
SLURM_JOB_ID= 7770666
Free space on /tmp= 723764 MiB

SOLVER NAME= RoundingSat log
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB05/sorensson/garden/normalized-g100x100.opb
COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=CERTNAME --lp-cut-gomory=0 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4456722-1721769209/watcher-4456722-1721769209 -o /tmp/evaluation-result-4456722-1721769209/solver-4456722-1721769209 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1721765593-126870 --watchdog 3760  roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4456722-1721769209 --lp-cut-gomory=0 HOME/instance-4456722-1721769209.opb

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2

MD5SUM BENCH= 908a9c4c32d975b4e5850834449958a7
RANDOM SEED=76681830

nodeC003.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/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	: 0xb00001f
cpu MHz		: 1197.296
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6984.09
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	: 0xb00001f
cpu MHz		: 3659.917
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.31
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	: 0xb00001f
cpu MHz		: 1197.273
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6984.09
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	: 0xb00001f
cpu MHz		: 1197.488
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.31
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	: 0xb00001f
cpu MHz		: 1197.276
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6984.09
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	: 0xb00001f
cpu MHz		: 3659.921
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.31
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	: 0xb00001f
cpu MHz		: 1197.284
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6984.09
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	: 0xb00001f
cpu MHz		: 1197.426
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.31
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        118023420 kB
MemAvailable:   129877352 kB
Buffers:          194400 kB
Cached:         12440752 kB
SwapCached:            0 kB
Active:          1274988 kB
Inactive:       11724724 kB
Active(anon):       1440 kB
Inactive(anon):   408752 kB
Active(file):    1273548 kB
Inactive(file): 11315972 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             51948 kB
Writeback:            76 kB
AnonPages:        364400 kB
Mapped:           116948 kB
Shmem:             45896 kB
KReclaimable:     208888 kB
Slab:             314352 kB
SReclaimable:     208888 kB
SUnreclaim:       105464 kB
KernelStack:        3980 kB
PageTables:        10400 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     757796 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            18944 kB
HardwareCorrupted:     0 kB
AnonHugePages:    206848 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      267080 kB
DirectMap2M:    27949056 kB
DirectMap1G:    108003328 kB

Free space on /tmp at the end= 723744 MiB
End job on nodeC003 at 2024-07-24 00:13:41