0.00/0.00	c RoundingSat 2
0.00/0.00	c branch 
0.00/0.00	c commit 
0.00/0.05	c #variables 10000 #constraints 10000
0.98/1.00	c bounds - >= 0 @ 0.037604
0.98/1.00	c bounds 3334 >= 0 @ 0.52957
0.98/1.00	c bounds 3334 >= 1 @ 0.533184
0.98/1.00	c bounds 3334 >= 2 @ 0.535808
0.98/1.00	c bounds 3334 >= 3 @ 0.539069
0.98/1.00	c bounds 3334 >= 4 @ 0.542274
0.98/1.00	c bounds 3334 >= 5 @ 0.545458
0.98/1.00	c bounds 3334 >= 6 @ 0.548644
0.98/1.00	c bounds 3334 >= 7 @ 0.55183
0.98/1.00	c bounds 3334 >= 8 @ 0.554995
0.98/1.00	c bounds 3334 >= 9 @ 0.558168
0.98/1.00	c bounds 3334 >= 10 @ 0.561339
0.98/1.00	c bounds 3334 >= 11 @ 0.564538
0.98/1.00	c bounds 3334 >= 12 @ 0.568216
0.98/1.00	c bounds 3334 >= 13 @ 0.57151
0.98/1.00	c bounds 3334 >= 14 @ 0.574783
0.98/1.00	c bounds 3334 >= 15 @ 0.578054
0.98/1.00	c bounds 3334 >= 16 @ 0.581341
0.98/1.00	c bounds 3334 >= 17 @ 0.584629
0.98/1.00	c bounds 3334 >= 18 @ 0.587818
0.98/1.00	c bounds 3334 >= 19 @ 0.590972
0.98/1.00	c bounds 3334 >= 20 @ 0.594115
0.98/1.00	c bounds 3334 >= 21 @ 0.597289
0.98/1.00	c bounds 3334 >= 22 @ 0.600442
0.98/1.00	c bounds 3334 >= 23 @ 0.60361
0.98/1.00	c bounds 3334 >= 24 @ 0.605795
0.98/1.00	c bounds 3334 >= 25 @ 0.608941
0.98/1.00	c bounds 3334 >= 26 @ 0.61241
0.98/1.00	c bounds 3334 >= 27 @ 0.615915
0.98/1.00	c bounds 3334 >= 28 @ 0.61941
0.98/1.00	c bounds 3334 >= 29 @ 0.622884
0.98/1.00	c bounds 3334 >= 30 @ 0.626359
0.98/1.00	c bounds 3334 >= 31 @ 0.629843
0.98/1.00	c bounds 3334 >= 32 @ 0.633313
0.98/1.00	c bounds 3334 >= 33 @ 0.636788
0.98/1.00	c bounds 3334 >= 34 @ 0.640243
0.98/1.00	c bounds 3334 >= 35 @ 0.643827
0.98/1.00	c bounds 3334 >= 36 @ 0.647386
0.98/1.00	c bounds 3334 >= 37 @ 0.649948
0.98/1.00	c bounds 3334 >= 38 @ 0.653493
0.98/1.00	c bounds 3334 >= 39 @ 0.657047
0.98/1.00	c bounds 3334 >= 40 @ 0.66046
0.98/1.00	c bounds 3334 >= 41 @ 0.663787
0.98/1.00	c bounds 3334 >= 42 @ 0.667146
0.98/1.00	c bounds 3334 >= 43 @ 0.670495
0.98/1.00	c bounds 3334 >= 44 @ 0.67284
0.98/1.00	c bounds 3334 >= 45 @ 0.676145
0.98/1.00	c bounds 3334 >= 46 @ 0.67935
0.98/1.00	c bounds 3334 >= 47 @ 0.682783
0.98/1.00	c bounds 3334 >= 48 @ 0.686235
0.98/1.00	c bounds 3334 >= 49 @ 0.689685
0.98/1.00	c bounds 3334 >= 50 @ 0.693124
0.98/1.00	c bounds 3334 >= 51 @ 0.69636
0.98/1.00	c bounds 3334 >= 52 @ 0.699559
0.98/1.00	c bounds 3334 >= 53 @ 0.701995
0.98/1.00	c bounds 3334 >= 54 @ 0.705396
0.98/1.00	c bounds 3334 >= 55 @ 0.708858
0.98/1.00	c bounds 3334 >= 56 @ 0.71129
0.98/1.00	c bounds 3334 >= 57 @ 0.713672
0.98/1.00	c bounds 3334 >= 58 @ 0.7171
0.98/1.00	c bounds 3334 >= 59 @ 0.720456
0.98/1.00	c bounds 3334 >= 60 @ 0.723869
0.98/1.00	c bounds 3334 >= 61 @ 0.727287
0.98/1.00	c bounds 3334 >= 62 @ 0.729703
0.98/1.00	c bounds 3334 >= 63 @ 0.733108
0.98/1.00	c bounds 3334 >= 64 @ 0.73652
0.98/1.00	c bounds 3334 >= 65 @ 0.739723
0.98/1.00	c bounds 3334 >= 66 @ 0.741925
0.98/1.00	c bounds 3334 >= 67 @ 0.745125
0.98/1.00	c bounds 3334 >= 68 @ 0.748414
0.98/1.00	c bounds 3334 >= 69 @ 0.751691
0.98/1.00	c bounds 3334 >= 70 @ 0.755126
0.98/1.00	c bounds 3334 >= 71 @ 0.757537
0.98/1.00	c bounds 3334 >= 72 @ 0.75999
0.98/1.00	c bounds 3334 >= 73 @ 0.763485
0.98/1.00	c bounds 3334 >= 74 @ 0.766783
0.98/1.00	c bounds 3334 >= 75 @ 0.770064
0.98/1.00	c bounds 3334 >= 76 @ 0.773335
0.98/1.00	c bounds 3334 >= 77 @ 0.776595
0.98/1.00	c bounds 3334 >= 78 @ 0.779866
0.98/1.00	c bounds 3334 >= 79 @ 0.783131
0.98/1.00	c bounds 3334 >= 80 @ 0.786391
0.98/1.00	c bounds 3334 >= 81 @ 0.788648
0.98/1.00	c bounds 3334 >= 82 @ 0.791907
0.98/1.00	c bounds 3334 >= 83 @ 0.795382
0.98/1.00	c bounds 3334 >= 84 @ 0.798651
0.98/1.00	c bounds 3334 >= 85 @ 0.8019
0.98/1.00	c bounds 3334 >= 86 @ 0.805151
0.98/1.00	c bounds 3334 >= 87 @ 0.808404
0.98/1.00	c bounds 3334 >= 88 @ 0.811662
0.98/1.00	c bounds 3334 >= 89 @ 0.81503
0.98/1.00	c bounds 3334 >= 90 @ 0.81834
0.98/1.00	c bounds 3334 >= 91 @ 0.821633
0.98/1.00	c bounds 3334 >= 92 @ 0.824931
0.98/1.00	c bounds 3334 >= 93 @ 0.82817
0.98/1.00	c bounds 3334 >= 94 @ 0.830459
0.98/1.00	c bounds 3334 >= 95 @ 0.833739
0.98/1.00	c bounds 3334 >= 96 @ 0.837015
0.98/1.00	c bounds 3334 >= 97 @ 0.840348
0.98/1.00	c bounds 3334 >= 98 @ 0.843607
0.98/1.00	c bounds 3334 >= 99 @ 0.846865
0.98/1.00	c bounds 3334 >= 100 @ 0.850229
0.98/1.00	c bounds 3334 >= 101 @ 0.853595
0.98/1.00	c bounds 3334 >= 102 @ 0.856976
0.98/1.00	c bounds 3334 >= 103 @ 0.860309
0.98/1.00	c bounds 3334 >= 104 @ 0.86274
0.98/1.00	c bounds 3334 >= 105 @ 0.866095
0.98/1.00	c bounds 3334 >= 106 @ 0.868435
0.98/1.00	c bounds 3334 >= 107 @ 0.871779
0.98/1.00	c bounds 3334 >= 108 @ 0.875111
0.98/1.00	c bounds 3334 >= 109 @ 0.876424
0.98/1.00	c bounds 3334 >= 110 @ 0.878795
0.98/1.00	c bounds 3334 >= 111 @ 0.882101
0.98/1.00	c bounds 3334 >= 112 @ 0.88542
0.98/1.00	c bounds 3334 >= 113 @ 0.888742
0.98/1.00	c bounds 3334 >= 114 @ 0.892063
0.98/1.00	c bounds 3334 >= 115 @ 0.893392
0.98/1.00	c bounds 3334 >= 116 @ 0.896682
0.98/1.00	c bounds 3334 >= 117 @ 0.900268
0.98/1.00	c bounds 3334 >= 118 @ 0.903548
0.98/1.00	c bounds 3334 >= 119 @ 0.90683
0.98/1.00	c bounds 3334 >= 120 @ 0.910101
0.98/1.00	c bounds 3334 >= 121 @ 0.913376
0.98/1.00	c bounds 3334 >= 122 @ 0.916852
0.98/1.00	c bounds 3334 >= 123 @ 0.920137
0.98/1.00	c bounds 3334 >= 124 @ 0.923396
0.98/1.00	c bounds 3334 >= 125 @ 0.926676
0.98/1.00	c bounds 3334 >= 126 @ 0.930158
0.98/1.00	c bounds 3334 >= 127 @ 0.93343
0.98/1.00	c bounds 3334 >= 128 @ 0.936894
0.98/1.00	c bounds 3334 >= 129 @ 0.93937
0.98/1.00	c bounds 3334 >= 130 @ 0.942757
0.98/1.00	c bounds 3334 >= 131 @ 0.946066
1.48/1.56	c bounds 3334 >= 132 @ 0.949344
1.48/1.56	c bounds 3334 >= 133 @ 0.952734
1.48/1.56	c bounds 3334 >= 134 @ 0.956014
1.48/1.56	c bounds 3334 >= 135 @ 0.959421
1.48/1.56	c bounds 3334 >= 136 @ 0.962822
1.48/1.56	c bounds 3334 >= 137 @ 0.966192
1.48/1.56	c bounds 3334 >= 138 @ 0.968551
1.48/1.56	c bounds 3334 >= 139 @ 0.972045
1.48/1.56	c bounds 3334 >= 140 @ 0.975364
1.48/1.56	c bounds 3334 >= 141 @ 0.978683
1.48/1.56	c bounds 3334 >= 142 @ 0.981024
1.48/1.56	c bounds 3334 >= 143 @ 0.984343
1.48/1.56	c bounds 3334 >= 144 @ 0.987658
1.48/1.56	c bounds 3334 >= 145 @ 0.990984
1.48/1.56	c bounds 3334 >= 146 @ 0.9943
1.48/1.56	c bounds 3334 >= 147 @ 0.997641
1.48/1.56	c bounds 3334 >= 148 @ 1.00117
1.48/1.56	c bounds 3334 >= 149 @ 1.00448
1.48/1.56	c bounds 3334 >= 150 @ 1.00779
1.48/1.56	c bounds 3334 >= 151 @ 1.01111
1.48/1.56	c bounds 3334 >= 152 @ 1.01442
1.48/1.56	c bounds 3334 >= 153 @ 1.01677
1.48/1.56	c bounds 3334 >= 154 @ 1.02011
1.48/1.56	c bounds 3334 >= 155 @ 1.02345
1.48/1.56	c bounds 3334 >= 156 @ 1.02575
1.48/1.56	c bounds 3334 >= 157 @ 1.02907
1.48/1.56	c bounds 3334 >= 158 @ 1.03239
1.48/1.56	c bounds 3334 >= 159 @ 1.03569
1.48/1.56	c bounds 3334 >= 160 @ 1.03902
1.48/1.56	c bounds 3334 >= 161 @ 1.04235
1.48/1.56	c bounds 3334 >= 162 @ 1.04475
1.48/1.56	c bounds 3334 >= 163 @ 1.04824
1.48/1.56	c bounds 3334 >= 164 @ 1.05159
1.48/1.56	c bounds 3334 >= 165 @ 1.0549
1.48/1.56	c bounds 3334 >= 166 @ 1.05826
1.48/1.56	c bounds 3334 >= 167 @ 1.0596
1.48/1.56	c bounds 3334 >= 168 @ 1.06288
1.48/1.56	c bounds 3334 >= 169 @ 1.06626
1.48/1.56	c bounds 3334 >= 170 @ 1.06863
1.48/1.56	c bounds 3334 >= 171 @ 1.07217
1.48/1.56	c bounds 3334 >= 172 @ 1.07494
1.48/1.56	c bounds 3334 >= 173 @ 1.07824
1.48/1.56	c bounds 3334 >= 174 @ 1.08059
1.48/1.56	c bounds 3334 >= 175 @ 1.08297
1.48/1.56	c bounds 3334 >= 176 @ 1.08544
1.48/1.56	c bounds 3334 >= 177 @ 1.08897
1.48/1.56	c bounds 3334 >= 178 @ 1.09252
1.48/1.56	c bounds 3334 >= 179 @ 1.09603
1.48/1.56	c bounds 3334 >= 180 @ 1.09855
1.48/1.56	c bounds 3334 >= 181 @ 1.10207
1.48/1.56	c bounds 3334 >= 182 @ 1.1046
1.48/1.56	c bounds 3334 >= 183 @ 1.10812
1.48/1.56	c bounds 3334 >= 184 @ 1.11049
1.48/1.56	c bounds 3334 >= 185 @ 1.11302
1.48/1.56	c bounds 3334 >= 186 @ 1.1165
1.48/1.56	c bounds 3334 >= 187 @ 1.12002
1.48/1.56	c bounds 3334 >= 188 @ 1.12355
1.48/1.56	c bounds 3334 >= 189 @ 1.12702
1.48/1.56	c bounds 3333 >= 189 @ 1.172
1.48/1.56	c bounds 3333 >= 190 @ 1.17451
1.48/1.56	c bounds 3333 >= 191 @ 1.17794
1.48/1.56	c bounds 3333 >= 192 @ 1.18132
1.48/1.56	c bounds 3333 >= 193 @ 1.18468
1.48/1.56	c bounds 3333 >= 194 @ 1.18803
1.48/1.56	c bounds 3333 >= 195 @ 1.19039
1.48/1.56	c bounds 3333 >= 196 @ 1.19369
1.48/1.56	c bounds 3333 >= 197 @ 1.197
1.48/1.56	c bounds 3333 >= 198 @ 1.19931
1.48/1.56	c bounds 3333 >= 199 @ 1.2027
1.48/1.56	c bounds 3333 >= 200 @ 1.20612
1.48/1.56	c bounds 3333 >= 201 @ 1.20955
1.48/1.56	c bounds 3333 >= 202 @ 1.21311
1.48/1.56	c bounds 3333 >= 203 @ 1.21662
1.48/1.56	c bounds 3333 >= 204 @ 1.22012
1.48/1.56	c bounds 3333 >= 205 @ 1.22364
1.48/1.56	c bounds 3333 >= 206 @ 1.22615
1.48/1.56	c bounds 3333 >= 207 @ 1.22968
1.48/1.56	c bounds 3333 >= 208 @ 1.23317
1.48/1.56	c bounds 3333 >= 209 @ 1.23669
1.48/1.56	c bounds 3333 >= 210 @ 1.24016
1.48/1.56	c bounds 3333 >= 211 @ 1.24365
1.48/1.56	c bounds 3333 >= 212 @ 1.24711
1.48/1.56	c bounds 3333 >= 213 @ 1.25055
1.48/1.56	c bounds 3333 >= 214 @ 1.25405
1.48/1.56	c bounds 3333 >= 215 @ 1.25757
1.48/1.56	c bounds 3333 >= 216 @ 1.25958
1.48/1.56	c bounds 3333 >= 217 @ 1.26301
1.48/1.56	c bounds 3333 >= 218 @ 1.26558
1.48/1.56	c bounds 3333 >= 219 @ 1.26899
1.48/1.56	c bounds 3333 >= 220 @ 1.2725
1.48/1.56	c bounds 3333 >= 221 @ 1.27598
1.48/1.56	c bounds 3333 >= 222 @ 1.27947
1.48/1.56	c bounds 3333 >= 223 @ 1.2829
1.48/1.56	c bounds 3333 >= 224 @ 1.28627
1.48/1.56	c bounds 3333 >= 225 @ 1.28968
1.48/1.56	c bounds 3333 >= 226 @ 1.29207
1.48/1.56	c bounds 3333 >= 227 @ 1.29546
1.48/1.56	c bounds 3333 >= 228 @ 1.29883
1.48/1.56	c bounds 3333 >= 229 @ 1.30221
1.48/1.56	c bounds 3333 >= 230 @ 1.30558
1.48/1.56	c bounds 3333 >= 231 @ 1.30908
1.48/1.56	c bounds 3333 >= 232 @ 1.3126
1.48/1.56	c bounds 3333 >= 233 @ 1.31613
1.48/1.56	c bounds 3333 >= 234 @ 1.31965
1.48/1.56	c bounds 3333 >= 235 @ 1.32217
1.48/1.56	c bounds 3333 >= 236 @ 1.3258
1.48/1.56	c bounds 3333 >= 237 @ 1.3294
1.48/1.56	c bounds 3333 >= 238 @ 1.333
1.48/1.56	c bounds 3333 >= 239 @ 1.3366
1.48/1.56	c bounds 3333 >= 240 @ 1.33927
1.48/1.56	c bounds 3333 >= 241 @ 1.3428
1.48/1.56	c bounds 3333 >= 242 @ 1.34643
1.48/1.56	c bounds 3333 >= 243 @ 1.34987
1.48/1.56	c bounds 3333 >= 244 @ 1.35339
1.48/1.56	c bounds 3333 >= 245 @ 1.35689
1.48/1.56	c bounds 3333 >= 246 @ 1.36045
1.48/1.56	c bounds 3333 >= 247 @ 1.36303
1.48/1.56	c bounds 3333 >= 248 @ 1.36661
1.48/1.56	c bounds 3333 >= 249 @ 1.36925
1.48/1.56	c bounds 3333 >= 250 @ 1.37274
1.48/1.56	c bounds 3333 >= 251 @ 1.37632
1.48/1.56	c bounds 3333 >= 252 @ 1.37986
1.48/1.56	c bounds 3333 >= 253 @ 1.38342
1.48/1.56	c bounds 3333 >= 254 @ 1.38594
1.48/1.56	c bounds 3333 >= 255 @ 1.38953
1.48/1.56	c bounds 3333 >= 256 @ 1.39121
1.48/1.56	c bounds 3333 >= 257 @ 1.39468
1.48/1.56	c bounds 3333 >= 258 @ 1.39828
1.48/1.56	c bounds 3333 >= 259 @ 1.40082
1.48/1.56	c bounds 3333 >= 260 @ 1.40433
1.48/1.56	c bounds 3333 >= 261 @ 1.40681
1.48/1.56	c bounds 3333 >= 262 @ 1.41034
1.99/2.04	c bounds 3333 >= 263 @ 1.41285
1.99/2.04	c bounds 3333 >= 264 @ 1.41643
1.99/2.04	c bounds 3333 >= 265 @ 1.41892
1.99/2.04	c bounds 3333 >= 266 @ 1.42241
1.99/2.04	c bounds 3333 >= 267 @ 1.42479
1.99/2.04	c bounds 3333 >= 268 @ 1.42816
1.99/2.04	c bounds 3333 >= 269 @ 1.42981
1.99/2.04	c bounds 3333 >= 270 @ 1.43329
1.99/2.04	c bounds 3333 >= 271 @ 1.43674
1.99/2.04	c bounds 3333 >= 272 @ 1.44018
1.99/2.04	c bounds 3333 >= 273 @ 1.44276
1.99/2.04	c bounds 3333 >= 274 @ 1.4454
1.99/2.04	c bounds 3333 >= 275 @ 1.44881
1.99/2.04	c bounds 3333 >= 276 @ 1.45227
1.99/2.04	c bounds 3333 >= 277 @ 1.45478
1.99/2.04	c bounds 3333 >= 278 @ 1.45835
1.99/2.04	c bounds 3333 >= 279 @ 1.46197
1.99/2.04	c bounds 3333 >= 280 @ 1.46557
1.99/2.04	c bounds 3333 >= 281 @ 1.46917
1.99/2.04	c bounds 3333 >= 282 @ 1.47176
1.99/2.04	c bounds 3333 >= 283 @ 1.47533
1.99/2.04	c bounds 3333 >= 284 @ 1.47799
1.99/2.04	c bounds 3333 >= 285 @ 1.48054
1.99/2.04	c bounds 3333 >= 286 @ 1.48413
1.99/2.04	c bounds 3333 >= 287 @ 1.4877
1.99/2.04	c bounds 3333 >= 288 @ 1.49122
1.99/2.04	c bounds 3333 >= 289 @ 1.49368
1.99/2.04	c bounds 3333 >= 290 @ 1.49713
1.99/2.04	c bounds 3333 >= 291 @ 1.49962
1.99/2.04	c bounds 3333 >= 292 @ 1.50309
1.99/2.04	c bounds 3333 >= 293 @ 1.5056
1.99/2.04	c bounds 3333 >= 294 @ 1.50907
1.99/2.04	c bounds 3333 >= 295 @ 1.51153
1.99/2.04	c bounds 3333 >= 296 @ 1.51407
1.99/2.04	c bounds 3333 >= 297 @ 1.51646
1.99/2.04	c bounds 3333 >= 298 @ 1.51993
1.99/2.04	c bounds 3333 >= 299 @ 1.52239
1.99/2.04	c bounds 3333 >= 300 @ 1.52603
1.99/2.04	c bounds 3333 >= 301 @ 1.52861
1.99/2.04	c bounds 3333 >= 302 @ 1.5322
1.99/2.04	c bounds 3333 >= 303 @ 1.53587
1.99/2.04	c bounds 3333 >= 304 @ 1.53842
1.99/2.04	c bounds 3333 >= 305 @ 1.54195
1.99/2.04	c bounds 3333 >= 306 @ 1.54549
1.99/2.04	c bounds 3333 >= 307 @ 1.54902
1.99/2.04	c bounds 3333 >= 308 @ 1.55159
1.99/2.04	c bounds 3333 >= 309 @ 1.55518
1.99/2.04	c bounds 3333 >= 310 @ 1.5587
1.99/2.04	c bounds 3333 >= 311 @ 1.5624
1.99/2.04	c bounds 3333 >= 312 @ 1.56592
1.99/2.04	c bounds 3333 >= 313 @ 1.56844
1.99/2.04	c bounds 3333 >= 314 @ 1.57195
1.99/2.04	c bounds 3333 >= 315 @ 1.57446
1.99/2.04	c bounds 3333 >= 316 @ 1.57797
1.99/2.04	c bounds 3333 >= 317 @ 1.58052
1.99/2.04	c bounds 3333 >= 318 @ 1.58407
1.99/2.04	c bounds 3333 >= 319 @ 1.58668
1.99/2.04	c bounds 3333 >= 320 @ 1.58961
1.99/2.04	c bounds 3333 >= 321 @ 1.59225
1.99/2.04	c bounds 3333 >= 322 @ 1.5958
1.99/2.04	c bounds 3333 >= 323 @ 1.59931
1.99/2.04	c bounds 3333 >= 324 @ 1.60288
1.99/2.04	c bounds 3333 >= 325 @ 1.60559
1.99/2.04	c bounds 3333 >= 326 @ 1.60809
1.99/2.04	c bounds 3333 >= 327 @ 1.61157
1.99/2.04	c bounds 3333 >= 328 @ 1.61503
1.99/2.04	c bounds 3333 >= 329 @ 1.61861
1.99/2.04	c bounds 3333 >= 330 @ 1.62117
1.99/2.04	c bounds 3333 >= 331 @ 1.62475
1.99/2.04	c bounds 3333 >= 332 @ 1.62633
1.99/2.04	c bounds 3333 >= 333 @ 1.62989
1.99/2.04	c bounds 3333 >= 334 @ 1.63259
1.99/2.04	c bounds 3333 >= 335 @ 1.63594
1.99/2.04	c bounds 3333 >= 336 @ 1.63948
1.99/2.04	c bounds 3333 >= 337 @ 1.64103
1.99/2.04	c bounds 3333 >= 338 @ 1.64453
1.99/2.04	c bounds 3333 >= 339 @ 1.64808
1.99/2.04	c bounds 3333 >= 340 @ 1.65162
1.99/2.04	c bounds 3333 >= 341 @ 1.65416
1.99/2.04	c bounds 3333 >= 342 @ 1.65771
1.99/2.04	c bounds 3333 >= 343 @ 1.66025
1.99/2.04	c bounds 3333 >= 344 @ 1.66376
1.99/2.04	c bounds 3333 >= 345 @ 1.66625
1.99/2.04	c bounds 3333 >= 346 @ 1.6698
1.99/2.04	c bounds 3333 >= 347 @ 1.67242
1.99/2.04	c bounds 3333 >= 348 @ 1.67587
1.99/2.04	c bounds 3333 >= 349 @ 1.67844
1.99/2.04	c bounds 3333 >= 350 @ 1.68193
1.99/2.04	c bounds 3333 >= 351 @ 1.68549
1.99/2.04	c bounds 3333 >= 352 @ 1.68803
1.99/2.04	c bounds 3333 >= 353 @ 1.69155
1.99/2.04	c bounds 3333 >= 354 @ 1.69407
1.99/2.04	c bounds 3333 >= 355 @ 1.69759
1.99/2.04	c bounds 3333 >= 356 @ 1.69908
1.99/2.04	c bounds 3333 >= 357 @ 1.70272
1.99/2.04	c bounds 3333 >= 358 @ 1.70549
1.99/2.04	c bounds 3333 >= 359 @ 1.70901
1.99/2.04	c bounds 3333 >= 360 @ 1.71264
1.99/2.04	c bounds 3333 >= 361 @ 1.71435
1.99/2.04	c bounds 3333 >= 362 @ 1.7179
1.99/2.04	c bounds 3333 >= 363 @ 1.7214
1.99/2.04	c bounds 3333 >= 364 @ 1.72389
1.99/2.04	c bounds 3333 >= 365 @ 1.72757
1.99/2.04	c bounds 3333 >= 366 @ 1.73127
1.99/2.04	c bounds 3333 >= 367 @ 1.73398
1.99/2.04	c bounds 3333 >= 368 @ 1.73767
1.99/2.04	c bounds 3333 >= 369 @ 1.74139
1.99/2.04	c bounds 3333 >= 370 @ 1.74428
1.99/2.04	c bounds 3333 >= 371 @ 1.74801
1.99/2.04	c bounds 3333 >= 372 @ 1.75129
1.99/2.04	c bounds 3333 >= 373 @ 1.75389
1.99/2.04	c bounds 3333 >= 374 @ 1.75756
1.99/2.04	c bounds 3333 >= 375 @ 1.7603
1.99/2.04	c bounds 3333 >= 376 @ 1.76287
1.99/2.04	c bounds 3333 >= 377 @ 1.76563
1.99/2.04	c bounds 3333 >= 378 @ 1.76928
1.99/2.04	c bounds 3333 >= 379 @ 1.77195
1.99/2.04	c bounds 3333 >= 380 @ 1.7756
1.99/2.04	c bounds 3333 >= 381 @ 1.77929
1.99/2.04	c bounds 3333 >= 382 @ 1.78194
1.99/2.04	c bounds 3333 >= 383 @ 1.7856
1.99/2.04	c bounds 3333 >= 384 @ 1.78923
1.99/2.04	c bounds 3333 >= 385 @ 1.79189
1.99/2.04	c bounds 3333 >= 386 @ 1.79555
1.99/2.04	c bounds 3333 >= 387 @ 1.79948
1.99/2.04	c bounds 3333 >= 388 @ 1.80316
1.99/2.04	c bounds 3333 >= 389 @ 1.80582
1.99/2.04	c bounds 3333 >= 390 @ 1.80958
1.99/2.04	c bounds 3333 >= 391 @ 1.81315
1.99/2.04	c bounds 3333 >= 392 @ 1.81564
1.99/2.04	c bounds 3333 >= 393 @ 1.81913
1.99/2.04	c bounds 3333 >= 394 @ 1.82184
1.99/2.04	c bounds 3333 >= 395 @ 1.82559
2.48/2.53	c bounds 3333 >= 396 @ 1.82913
2.48/2.53	c bounds 3333 >= 397 @ 1.83163
2.48/2.53	c bounds 3333 >= 398 @ 1.83418
2.48/2.53	c bounds 3333 >= 399 @ 1.83662
2.48/2.53	c bounds 3333 >= 400 @ 1.84011
2.48/2.53	c bounds 3333 >= 401 @ 1.84282
2.48/2.53	c bounds 3333 >= 402 @ 1.84634
2.48/2.53	c bounds 3333 >= 403 @ 1.84905
2.48/2.53	c bounds 3333 >= 404 @ 1.8516
2.48/2.53	c bounds 3333 >= 405 @ 1.85524
2.48/2.53	c bounds 3333 >= 406 @ 1.85696
2.48/2.53	c bounds 3333 >= 407 @ 1.8596
2.48/2.53	c bounds 3333 >= 408 @ 1.86332
2.48/2.53	c bounds 3333 >= 409 @ 1.86711
2.48/2.53	c bounds 3333 >= 410 @ 1.8699
2.48/2.53	c bounds 3333 >= 411 @ 1.87253
2.48/2.53	c bounds 3333 >= 412 @ 1.8763
2.48/2.53	c bounds 3333 >= 413 @ 1.88001
2.48/2.53	c bounds 3333 >= 414 @ 1.8827
2.48/2.53	c bounds 3333 >= 415 @ 1.88638
2.48/2.53	c bounds 3333 >= 416 @ 1.89009
2.48/2.53	c bounds 3333 >= 417 @ 1.89286
2.48/2.53	c bounds 3333 >= 418 @ 1.89647
2.48/2.53	c bounds 3333 >= 419 @ 1.89921
2.48/2.53	c bounds 3333 >= 420 @ 1.90288
2.48/2.53	c bounds 3333 >= 421 @ 1.90657
2.48/2.53	c bounds 3333 >= 422 @ 1.91022
2.48/2.53	c bounds 3333 >= 423 @ 1.9139
2.48/2.53	c bounds 3333 >= 424 @ 1.91658
2.48/2.53	c bounds 3333 >= 425 @ 1.92023
2.48/2.53	c bounds 3333 >= 426 @ 1.92389
2.48/2.53	c bounds 3333 >= 427 @ 1.9265
2.48/2.53	c bounds 3333 >= 428 @ 1.93008
2.48/2.53	c bounds 3333 >= 429 @ 1.93276
2.48/2.53	c bounds 3333 >= 430 @ 1.93533
2.48/2.53	c bounds 3333 >= 431 @ 1.93894
2.48/2.53	c bounds 3333 >= 432 @ 1.9426
2.48/2.53	c bounds 3333 >= 433 @ 1.94531
2.48/2.53	c bounds 3333 >= 434 @ 1.94888
2.48/2.53	c bounds 3333 >= 435 @ 1.9515
2.48/2.53	c bounds 3333 >= 436 @ 1.95411
2.48/2.53	c bounds 3333 >= 437 @ 1.9569
2.48/2.53	c bounds 3333 >= 438 @ 1.95952
2.48/2.53	c bounds 3333 >= 439 @ 1.96328
2.48/2.53	c bounds 3333 >= 440 @ 1.96704
2.48/2.53	c bounds 3333 >= 441 @ 1.97082
2.48/2.53	c bounds 3333 >= 442 @ 1.97456
2.48/2.53	c bounds 3333 >= 443 @ 1.97731
2.48/2.53	c bounds 3333 >= 444 @ 1.98103
2.48/2.53	c bounds 3333 >= 445 @ 1.98489
2.48/2.53	c bounds 3333 >= 446 @ 1.98764
2.48/2.53	c bounds 3333 >= 447 @ 1.99025
2.48/2.53	c bounds 3333 >= 448 @ 1.99316
2.48/2.53	c bounds 3333 >= 449 @ 1.9969
2.48/2.53	c bounds 3333 >= 450 @ 1.99971
2.48/2.53	c bounds 3333 >= 451 @ 2.00238
2.48/2.53	c bounds 3333 >= 452 @ 2.00609
2.48/2.53	c bounds 3333 >= 453 @ 2.0099
2.48/2.53	c bounds 3333 >= 454 @ 2.01258
2.48/2.53	c bounds 3333 >= 455 @ 2.01511
2.48/2.53	c bounds 3333 >= 456 @ 2.01871
2.48/2.53	c bounds 3333 >= 457 @ 2.02129
2.48/2.53	c bounds 3333 >= 458 @ 2.02486
2.48/2.53	c bounds 3333 >= 459 @ 2.02751
2.48/2.53	c bounds 3333 >= 460 @ 2.03003
2.48/2.53	c bounds 3333 >= 461 @ 2.03265
2.48/2.53	c bounds 3333 >= 462 @ 2.03519
2.48/2.53	c bounds 3333 >= 463 @ 2.03898
2.48/2.53	c bounds 3333 >= 464 @ 2.04255
2.48/2.53	c bounds 3333 >= 465 @ 2.0462
2.48/2.53	c bounds 3333 >= 466 @ 2.04991
2.48/2.53	c bounds 3333 >= 467 @ 2.05303
2.48/2.53	c bounds 3333 >= 468 @ 2.05674
2.48/2.53	c bounds 3333 >= 469 @ 2.05957
2.48/2.53	c bounds 3333 >= 470 @ 2.06223
2.48/2.53	c bounds 3333 >= 471 @ 2.06489
2.48/2.53	c bounds 3333 >= 472 @ 2.06853
2.48/2.53	c bounds 3333 >= 473 @ 2.07115
2.48/2.53	c bounds 3333 >= 474 @ 2.07482
2.48/2.53	c bounds 3333 >= 475 @ 2.07854
2.48/2.53	c bounds 3333 >= 476 @ 2.08231
2.48/2.53	c bounds 3333 >= 477 @ 2.08607
2.48/2.53	c bounds 3333 >= 478 @ 2.08982
2.48/2.53	c bounds 3333 >= 479 @ 2.09347
2.48/2.53	c bounds 3333 >= 480 @ 2.09639
2.48/2.53	c bounds 3333 >= 481 @ 2.099
2.48/2.53	c bounds 3333 >= 482 @ 2.10263
2.48/2.53	c bounds 3333 >= 483 @ 2.10532
2.48/2.53	c bounds 3333 >= 484 @ 2.10786
2.48/2.53	c bounds 3333 >= 485 @ 2.11169
2.48/2.53	c bounds 3333 >= 486 @ 2.11531
2.48/2.53	c bounds 3333 >= 487 @ 2.11793
2.48/2.53	c bounds 3333 >= 488 @ 2.12171
2.48/2.53	c bounds 3333 >= 489 @ 2.12559
2.48/2.53	c bounds 3333 >= 490 @ 2.12854
2.48/2.53	c bounds 3333 >= 491 @ 2.1312
2.48/2.53	c bounds 3333 >= 492 @ 2.1339
2.48/2.53	c bounds 3333 >= 493 @ 2.13766
2.48/2.53	c bounds 3333 >= 494 @ 2.1414
2.48/2.53	c bounds 3333 >= 495 @ 2.14322
2.48/2.53	c bounds 3333 >= 496 @ 2.14588
2.48/2.53	c bounds 3333 >= 497 @ 2.14962
2.48/2.53	c bounds 3333 >= 498 @ 2.15321
2.48/2.53	c bounds 3333 >= 499 @ 2.15581
2.48/2.53	c bounds 3333 >= 500 @ 2.15845
2.48/2.53	c bounds 3333 >= 501 @ 2.16113
2.48/2.53	c bounds 3333 >= 502 @ 2.16395
2.48/2.53	c bounds 3333 >= 503 @ 2.16765
2.48/2.53	c bounds 3333 >= 504 @ 2.17052
2.48/2.53	c bounds 3333 >= 505 @ 2.17347
2.48/2.53	c bounds 3333 >= 506 @ 2.1762
2.48/2.53	c bounds 3333 >= 507 @ 2.1791
2.48/2.53	c bounds 3333 >= 508 @ 2.1809
2.48/2.53	c bounds 3333 >= 509 @ 2.18477
2.48/2.53	c bounds 3333 >= 510 @ 2.18866
2.48/2.53	c bounds 3333 >= 511 @ 2.19255
2.48/2.53	c bounds 3333 >= 512 @ 2.19636
2.48/2.53	c bounds 3333 >= 513 @ 2.19913
2.48/2.53	c bounds 3333 >= 514 @ 2.20178
2.48/2.53	c bounds 3333 >= 515 @ 2.20545
2.48/2.53	c bounds 3333 >= 516 @ 2.20816
2.48/2.53	c bounds 3333 >= 517 @ 2.21076
2.48/2.53	c bounds 3333 >= 518 @ 2.2144
2.48/2.53	c bounds 3333 >= 519 @ 2.2176
2.48/2.53	c bounds 3333 >= 520 @ 2.22138
2.48/2.53	c bounds 3333 >= 521 @ 2.22423
2.48/2.53	c bounds 3333 >= 522 @ 2.22602
2.48/2.53	c bounds 3333 >= 523 @ 2.22866
2.48/2.53	c bounds 3333 >= 524 @ 2.23229
2.48/2.53	c bounds 3333 >= 525 @ 2.23592
2.48/2.53	c bounds 3333 >= 526 @ 2.23856
2.48/2.53	c bounds 3333 >= 527 @ 2.24221
2.48/2.53	c bounds 3333 >= 528 @ 2.245
2.98/3.07	c bounds 3333 >= 529 @ 2.24869
2.98/3.07	c bounds 3333 >= 530 @ 2.25245
2.98/3.07	c bounds 3333 >= 531 @ 2.25611
2.98/3.07	c bounds 3333 >= 532 @ 2.25873
2.98/3.07	c bounds 3333 >= 533 @ 2.26135
2.98/3.07	c bounds 3333 >= 534 @ 2.26494
2.98/3.07	c bounds 3333 >= 535 @ 2.26787
2.98/3.07	c bounds 3333 >= 536 @ 2.27044
2.98/3.07	c bounds 3333 >= 537 @ 2.27436
2.98/3.07	c bounds 3333 >= 538 @ 2.27829
2.98/3.07	c bounds 3333 >= 539 @ 2.28204
2.98/3.07	c bounds 3333 >= 540 @ 2.28575
2.98/3.07	c bounds 3333 >= 541 @ 2.28849
2.98/3.07	c bounds 3333 >= 542 @ 2.2922
2.98/3.07	c bounds 3333 >= 543 @ 2.29495
2.98/3.07	c bounds 3333 >= 544 @ 2.29758
2.98/3.07	c bounds 3333 >= 545 @ 2.30134
2.98/3.07	c bounds 3333 >= 546 @ 2.30517
2.98/3.07	c bounds 3333 >= 547 @ 2.30901
2.98/3.07	c bounds 3333 >= 548 @ 2.31284
2.98/3.07	c bounds 3333 >= 549 @ 2.31575
2.98/3.07	c bounds 3333 >= 550 @ 2.31738
2.98/3.07	c bounds 3333 >= 551 @ 2.32106
2.98/3.07	c bounds 3333 >= 552 @ 2.32385
2.98/3.07	c bounds 3333 >= 553 @ 2.32647
2.98/3.07	c bounds 3333 >= 554 @ 2.33022
2.98/3.07	c bounds 3333 >= 555 @ 2.33398
2.98/3.07	c bounds 3333 >= 556 @ 2.33689
2.98/3.07	c bounds 3333 >= 557 @ 2.33872
2.98/3.07	c bounds 3333 >= 558 @ 2.34244
2.98/3.07	c bounds 3333 >= 559 @ 2.3462
2.98/3.07	c bounds 3333 >= 560 @ 2.34989
2.98/3.07	c bounds 3333 >= 561 @ 2.35265
2.98/3.07	c bounds 3333 >= 562 @ 2.35624
2.98/3.07	c bounds 3333 >= 563 @ 2.35989
2.98/3.07	c bounds 3333 >= 564 @ 2.36263
2.98/3.07	c bounds 3333 >= 565 @ 2.36521
2.98/3.07	c bounds 3333 >= 566 @ 2.3679
2.98/3.07	c bounds 3333 >= 567 @ 2.37059
2.98/3.07	c bounds 3333 >= 568 @ 2.37217
2.98/3.07	c bounds 3333 >= 569 @ 2.37583
2.98/3.07	c bounds 3333 >= 570 @ 2.37945
2.98/3.07	c bounds 3333 >= 571 @ 2.38186
2.98/3.07	c bounds 3333 >= 572 @ 2.38372
2.98/3.07	c bounds 3333 >= 573 @ 2.3866
2.98/3.07	c bounds 3333 >= 574 @ 2.39037
2.98/3.07	c bounds 3333 >= 575 @ 2.39326
2.98/3.07	c bounds 3333 >= 576 @ 2.39604
2.98/3.07	c bounds 3333 >= 577 @ 2.39997
2.98/3.07	c bounds 3333 >= 578 @ 2.40294
2.98/3.07	c bounds 3333 >= 579 @ 2.4059
2.98/3.07	c bounds 3333 >= 580 @ 2.40888
2.98/3.07	c bounds 3333 >= 581 @ 2.41176
2.98/3.07	c bounds 3333 >= 582 @ 2.41464
2.98/3.07	c bounds 3333 >= 583 @ 2.41842
2.98/3.07	c bounds 3333 >= 584 @ 2.42124
2.98/3.07	c bounds 3333 >= 585 @ 2.42492
2.98/3.07	c bounds 3333 >= 586 @ 2.42769
2.98/3.07	c bounds 3333 >= 587 @ 2.43048
2.98/3.07	c bounds 3332 >= 587 @ 2.46545
2.98/3.07	c bounds 3332 >= 588 @ 2.46941
2.98/3.07	c bounds 3332 >= 589 @ 2.47238
2.98/3.07	c bounds 3332 >= 590 @ 2.47518
2.98/3.07	c bounds 3332 >= 591 @ 2.478
2.98/3.07	c bounds 3332 >= 592 @ 2.48175
2.98/3.07	c bounds 3332 >= 593 @ 2.48449
2.98/3.07	c bounds 3332 >= 594 @ 2.4881
2.98/3.07	c bounds 3332 >= 595 @ 2.49185
2.98/3.07	c bounds 3332 >= 596 @ 2.49568
2.98/3.07	c bounds 3332 >= 597 @ 2.49846
2.98/3.07	c bounds 3332 >= 598 @ 2.50107
2.98/3.07	c bounds 3332 >= 599 @ 2.50378
2.98/3.07	c bounds 3332 >= 600 @ 2.50742
2.98/3.07	c bounds 3332 >= 601 @ 2.51009
2.98/3.07	c bounds 3332 >= 602 @ 2.51277
2.98/3.07	c bounds 3332 >= 603 @ 2.51644
2.98/3.07	c bounds 3332 >= 604 @ 2.5193
2.98/3.07	c bounds 3332 >= 605 @ 2.52198
2.98/3.07	c bounds 3332 >= 606 @ 2.52609
2.98/3.07	c bounds 3332 >= 607 @ 2.52983
2.98/3.07	c bounds 3332 >= 608 @ 2.53356
2.98/3.07	c bounds 3332 >= 609 @ 2.53752
2.98/3.07	c bounds 3332 >= 610 @ 2.54054
2.98/3.07	c bounds 3332 >= 611 @ 2.54448
2.98/3.07	c bounds 3332 >= 612 @ 2.5475
2.98/3.07	c bounds 3332 >= 613 @ 2.55142
2.98/3.07	c bounds 3332 >= 614 @ 2.55438
2.98/3.07	c bounds 3332 >= 615 @ 2.55729
2.98/3.07	c bounds 3332 >= 616 @ 2.55917
2.98/3.07	c bounds 3332 >= 617 @ 2.56197
2.98/3.07	c bounds 3332 >= 618 @ 2.56581
2.98/3.07	c bounds 3332 >= 619 @ 2.56954
2.98/3.07	c bounds 3332 >= 620 @ 2.57234
2.98/3.07	c bounds 3332 >= 621 @ 2.57514
2.98/3.07	c bounds 3332 >= 622 @ 2.57793
2.98/3.07	c bounds 3332 >= 623 @ 2.58072
2.98/3.07	c bounds 3332 >= 624 @ 2.58442
2.98/3.07	c bounds 3332 >= 625 @ 2.58724
2.98/3.07	c bounds 3332 >= 626 @ 2.59014
2.98/3.07	c bounds 3332 >= 627 @ 2.59308
2.98/3.07	c bounds 3332 >= 628 @ 2.59492
2.98/3.07	c bounds 3332 >= 629 @ 2.59785
2.98/3.07	c bounds 3332 >= 630 @ 2.60075
2.98/3.07	c bounds 3332 >= 631 @ 2.60465
2.98/3.07	c bounds 3332 >= 632 @ 2.60835
2.98/3.07	c bounds 3332 >= 633 @ 2.61118
2.98/3.07	c bounds 3332 >= 634 @ 2.61383
2.98/3.07	c bounds 3332 >= 635 @ 2.61556
2.98/3.07	c bounds 3332 >= 636 @ 2.61924
2.98/3.07	c bounds 3332 >= 637 @ 2.62102
2.98/3.07	c bounds 3332 >= 638 @ 2.62375
2.98/3.07	c bounds 3332 >= 639 @ 2.62661
2.98/3.07	c bounds 3332 >= 640 @ 2.62955
2.98/3.07	c bounds 3332 >= 641 @ 2.63343
2.98/3.07	c bounds 3332 >= 642 @ 2.63736
2.98/3.07	c bounds 3332 >= 643 @ 2.64127
2.98/3.07	c bounds 3332 >= 644 @ 2.64318
2.98/3.07	c bounds 3332 >= 645 @ 2.64602
2.98/3.07	c bounds 3332 >= 646 @ 2.64971
2.98/3.07	c bounds 3332 >= 647 @ 2.65351
2.98/3.07	c bounds 3332 >= 648 @ 2.65743
2.98/3.07	c bounds 3332 >= 649 @ 2.66039
2.98/3.07	c bounds 3332 >= 650 @ 2.66427
2.98/3.07	c bounds 3332 >= 651 @ 2.66724
2.98/3.07	c bounds 3332 >= 652 @ 2.6701
2.98/3.07	c bounds 3332 >= 653 @ 2.67291
2.98/3.07	c bounds 3332 >= 654 @ 2.67461
2.98/3.07	c bounds 3332 >= 655 @ 2.67638
2.98/3.07	c bounds 3332 >= 656 @ 2.68014
2.98/3.07	c bounds 3332 >= 657 @ 2.68317
2.98/3.07	c bounds 3332 >= 658 @ 2.6875
2.98/3.07	c bounds 3332 >= 659 @ 2.6903
3.57/3.65	c bounds 3332 >= 660 @ 2.69407
3.57/3.65	c bounds 3332 >= 661 @ 2.69712
3.57/3.65	c bounds 3332 >= 662 @ 2.70015
3.57/3.65	c bounds 3332 >= 663 @ 2.70317
3.57/3.65	c bounds 3332 >= 664 @ 2.7052
3.57/3.65	c bounds 3332 >= 665 @ 2.70823
3.57/3.65	c bounds 3332 >= 666 @ 2.71223
3.57/3.65	c bounds 3332 >= 667 @ 2.71517
3.57/3.65	c bounds 3332 >= 668 @ 2.71807
3.57/3.65	c bounds 3332 >= 669 @ 2.72189
3.57/3.65	c bounds 3332 >= 670 @ 2.7247
3.57/3.65	c bounds 3332 >= 671 @ 2.72757
3.57/3.65	c bounds 3332 >= 672 @ 2.72956
3.57/3.65	c bounds 3332 >= 673 @ 2.73342
3.57/3.65	c bounds 3332 >= 674 @ 2.73646
3.57/3.65	c bounds 3332 >= 675 @ 2.73934
3.57/3.65	c bounds 3332 >= 676 @ 2.74334
3.57/3.65	c bounds 3332 >= 677 @ 2.7463
3.57/3.65	c bounds 3332 >= 678 @ 2.74924
3.57/3.65	c bounds 3332 >= 679 @ 2.75304
3.57/3.65	c bounds 3332 >= 680 @ 2.75588
3.57/3.65	c bounds 3332 >= 681 @ 2.75871
3.57/3.65	c bounds 3332 >= 682 @ 2.76258
3.57/3.65	c bounds 3332 >= 683 @ 2.76563
3.57/3.65	c bounds 3332 >= 684 @ 2.76863
3.57/3.65	c bounds 3332 >= 685 @ 2.77163
3.57/3.65	c bounds 3332 >= 686 @ 2.77461
3.57/3.65	c bounds 3332 >= 687 @ 2.77761
3.57/3.65	c bounds 3332 >= 688 @ 2.78059
3.57/3.65	c bounds 3332 >= 689 @ 2.78358
3.57/3.65	c bounds 3332 >= 690 @ 2.78658
3.57/3.65	c bounds 3332 >= 691 @ 2.78955
3.57/3.65	c bounds 3332 >= 692 @ 2.7925
3.57/3.65	c bounds 3332 >= 693 @ 2.79546
3.57/3.65	c bounds 3332 >= 694 @ 2.79839
3.57/3.65	c bounds 3332 >= 695 @ 2.80129
3.57/3.65	c bounds 3332 >= 696 @ 2.80398
3.57/3.65	c bounds 3332 >= 697 @ 2.80774
3.57/3.65	c bounds 3332 >= 698 @ 2.81152
3.57/3.65	c bounds 3332 >= 699 @ 2.81438
3.57/3.65	c bounds 3332 >= 700 @ 2.81823
3.57/3.65	c bounds 3332 >= 701 @ 2.82217
3.57/3.65	c bounds 3332 >= 702 @ 2.82509
3.57/3.65	c bounds 3332 >= 703 @ 2.82901
3.57/3.65	c bounds 3332 >= 704 @ 2.83194
3.57/3.65	c bounds 3332 >= 705 @ 2.8349
3.57/3.65	c bounds 3332 >= 706 @ 2.83776
3.57/3.65	c bounds 3332 >= 707 @ 2.8416
3.57/3.65	c bounds 3332 >= 708 @ 2.8445
3.57/3.65	c bounds 3332 >= 709 @ 2.84736
3.57/3.65	c bounds 3332 >= 710 @ 2.85024
3.57/3.65	c bounds 3332 >= 711 @ 2.85301
3.57/3.65	c bounds 3332 >= 712 @ 2.85587
3.57/3.65	c bounds 3332 >= 713 @ 2.85974
3.57/3.65	c bounds 3332 >= 714 @ 2.86358
3.57/3.65	c bounds 3332 >= 715 @ 2.86766
3.57/3.65	c bounds 3332 >= 716 @ 2.8715
3.57/3.65	c bounds 3332 >= 717 @ 2.87457
3.57/3.65	c bounds 3332 >= 718 @ 2.87756
3.57/3.65	c bounds 3332 >= 719 @ 2.88055
3.57/3.65	c bounds 3332 >= 720 @ 2.8844
3.57/3.65	c bounds 3332 >= 721 @ 2.88824
3.57/3.65	c bounds 3332 >= 722 @ 2.8912
3.57/3.65	c bounds 3332 >= 723 @ 2.89405
3.57/3.65	c bounds 3332 >= 724 @ 2.89693
3.57/3.65	c bounds 3332 >= 725 @ 2.89989
3.57/3.65	c bounds 3332 >= 726 @ 2.90172
3.57/3.65	c bounds 3332 >= 727 @ 2.90456
3.57/3.65	c bounds 3332 >= 728 @ 2.90836
3.57/3.65	c bounds 3332 >= 729 @ 2.91126
3.57/3.65	c bounds 3332 >= 730 @ 2.91502
3.57/3.65	c bounds 3332 >= 731 @ 2.91789
3.57/3.65	c bounds 3332 >= 732 @ 2.92075
3.57/3.65	c bounds 3332 >= 733 @ 2.92357
3.57/3.65	c bounds 3332 >= 734 @ 2.92759
3.57/3.65	c bounds 3332 >= 735 @ 2.9314
3.57/3.65	c bounds 3332 >= 736 @ 2.93521
3.57/3.65	c bounds 3332 >= 737 @ 2.93811
3.57/3.65	c bounds 3332 >= 738 @ 2.94124
3.57/3.65	c bounds 3332 >= 739 @ 2.94435
3.57/3.65	c bounds 3332 >= 740 @ 2.94726
3.57/3.65	c bounds 3332 >= 741 @ 2.95017
3.57/3.65	c bounds 3332 >= 742 @ 2.95408
3.57/3.65	c bounds 3332 >= 743 @ 2.95718
3.57/3.65	c bounds 3332 >= 744 @ 2.96116
3.57/3.65	c bounds 3332 >= 745 @ 2.96426
3.57/3.65	c bounds 3332 >= 746 @ 2.96726
3.57/3.65	c bounds 3332 >= 747 @ 2.97016
3.57/3.65	c bounds 3332 >= 748 @ 2.97401
3.57/3.65	c bounds 3332 >= 749 @ 2.97795
3.57/3.65	c bounds 3332 >= 750 @ 2.98105
3.57/3.65	c bounds 3332 >= 751 @ 2.98501
3.57/3.65	c bounds 3332 >= 752 @ 2.9881
3.57/3.65	c bounds 3332 >= 753 @ 2.99205
3.57/3.65	c bounds 3332 >= 754 @ 2.99595
3.57/3.65	c bounds 3332 >= 755 @ 2.9989
3.57/3.65	c bounds 3332 >= 756 @ 3.00181
3.57/3.65	c bounds 3332 >= 757 @ 3.00459
3.57/3.65	c bounds 3332 >= 758 @ 3.00844
3.57/3.65	c bounds 3332 >= 759 @ 3.0123
3.57/3.65	c bounds 3332 >= 760 @ 3.01519
3.57/3.65	c bounds 3332 >= 761 @ 3.0181
3.57/3.65	c bounds 3332 >= 762 @ 3.02149
3.57/3.65	c bounds 3331 >= 762 @ 3.06577
3.57/3.65	c bounds 3331 >= 763 @ 3.06998
3.57/3.65	c bounds 3331 >= 764 @ 3.07293
3.57/3.65	c bounds 3331 >= 765 @ 3.07581
3.57/3.65	c bounds 3331 >= 766 @ 3.07867
3.57/3.65	c bounds 3331 >= 767 @ 3.08241
3.57/3.65	c bounds 3331 >= 768 @ 3.08545
3.57/3.65	c bounds 3331 >= 769 @ 3.08862
3.57/3.65	c bounds 3331 >= 770 @ 3.09167
3.57/3.65	c bounds 3331 >= 771 @ 3.09372
3.57/3.65	c bounds 3331 >= 772 @ 3.09686
3.57/3.65	c bounds 3331 >= 773 @ 3.09997
3.57/3.65	c bounds 3331 >= 774 @ 3.10308
3.57/3.65	c bounds 3331 >= 775 @ 3.10621
3.57/3.65	c bounds 3331 >= 776 @ 3.10936
3.57/3.65	c bounds 3331 >= 777 @ 3.11258
3.57/3.65	c bounds 3331 >= 778 @ 3.11663
3.57/3.65	c bounds 3331 >= 779 @ 3.11978
3.57/3.65	c bounds 3331 >= 780 @ 3.12183
3.57/3.65	c bounds 3331 >= 781 @ 3.12583
3.57/3.65	c bounds 3331 >= 782 @ 3.12892
3.57/3.65	c bounds 3331 >= 783 @ 3.13179
3.57/3.65	c bounds 3331 >= 784 @ 3.13474
3.57/3.65	c bounds 3331 >= 785 @ 3.13855
3.57/3.65	c bounds 3331 >= 786 @ 3.14171
3.57/3.65	c bounds 3331 >= 787 @ 3.14467
3.57/3.65	c bounds 3331 >= 788 @ 3.14776
3.57/3.65	c bounds 3331 >= 789 @ 3.15088
3.57/3.65	c bounds 3331 >= 790 @ 3.15446
3.57/3.65	c bounds 3331 >= 791 @ 3.15725
4.08/4.19	c bounds 3331 >= 792 @ 3.1602
4.08/4.19	c bounds 3331 >= 793 @ 3.16311
4.08/4.19	c bounds 3331 >= 794 @ 3.16601
4.08/4.19	c bounds 3331 >= 795 @ 3.16988
4.08/4.19	c bounds 3331 >= 796 @ 3.17376
4.08/4.19	c bounds 3331 >= 797 @ 3.17669
4.08/4.19	c bounds 3331 >= 798 @ 3.1796
4.08/4.19	c bounds 3331 >= 799 @ 3.18249
4.08/4.19	c bounds 3331 >= 800 @ 3.18649
4.08/4.19	c bounds 3331 >= 801 @ 3.18965
4.08/4.19	c bounds 3331 >= 802 @ 3.19274
4.08/4.19	c bounds 3331 >= 803 @ 3.19683
4.08/4.19	c bounds 3331 >= 804 @ 3.19987
4.08/4.19	c bounds 3331 >= 805 @ 3.20298
4.08/4.19	c bounds 3331 >= 806 @ 3.20516
4.08/4.19	c bounds 3331 >= 807 @ 3.20833
4.08/4.19	c bounds 3331 >= 808 @ 3.21128
4.08/4.19	c bounds 3331 >= 809 @ 3.21311
4.08/4.19	c bounds 3331 >= 810 @ 3.21724
4.08/4.19	c bounds 3331 >= 811 @ 3.22043
4.08/4.19	c bounds 3331 >= 812 @ 3.22342
4.08/4.19	c bounds 3331 >= 813 @ 3.22635
4.08/4.19	c bounds 3331 >= 814 @ 3.23019
4.08/4.19	c bounds 3331 >= 815 @ 3.23323
4.08/4.19	c bounds 3331 >= 816 @ 3.23605
4.08/4.19	c bounds 3331 >= 817 @ 3.23798
4.08/4.19	c bounds 3331 >= 818 @ 3.2409
4.08/4.19	c bounds 3331 >= 819 @ 3.24386
4.08/4.19	c bounds 3331 >= 820 @ 3.24679
4.08/4.19	c bounds 3331 >= 821 @ 3.24971
4.08/4.19	c bounds 3331 >= 822 @ 3.25163
4.08/4.19	c bounds 3331 >= 823 @ 3.25473
4.08/4.19	c bounds 3331 >= 824 @ 3.25786
4.08/4.19	c bounds 3331 >= 825 @ 3.261
4.08/4.19	c bounds 3331 >= 826 @ 3.26514
4.08/4.19	c bounds 3331 >= 827 @ 3.26835
4.08/4.19	c bounds 3331 >= 828 @ 3.27147
4.08/4.19	c bounds 3331 >= 829 @ 3.27451
4.08/4.19	c bounds 3331 >= 830 @ 3.27755
4.08/4.19	c bounds 3331 >= 831 @ 3.28154
4.08/4.19	c bounds 3331 >= 832 @ 3.28448
4.08/4.19	c bounds 3331 >= 833 @ 3.28739
4.08/4.19	c bounds 3331 >= 834 @ 3.2905
4.08/4.19	c bounds 3331 >= 835 @ 3.2936
4.08/4.19	c bounds 3331 >= 836 @ 3.29764
4.08/4.19	c bounds 3331 >= 837 @ 3.3006
4.08/4.19	c bounds 3331 >= 838 @ 3.30354
4.08/4.19	c bounds 3331 >= 839 @ 3.30651
4.08/4.19	c bounds 3331 >= 840 @ 3.30852
4.08/4.19	c bounds 3331 >= 841 @ 3.31149
4.08/4.19	c bounds 3331 >= 842 @ 3.31482
4.08/4.19	c bounds 3331 >= 843 @ 3.31879
4.08/4.19	c bounds 3331 >= 844 @ 3.3218
4.08/4.19	c bounds 3331 >= 845 @ 3.32507
4.08/4.19	c bounds 3331 >= 846 @ 3.32825
4.08/4.19	c bounds 3331 >= 847 @ 3.33141
4.08/4.19	c bounds 3331 >= 848 @ 3.33557
4.08/4.19	c bounds 3331 >= 849 @ 3.33877
4.08/4.19	c bounds 3331 >= 850 @ 3.34205
4.08/4.19	c bounds 3331 >= 851 @ 3.34521
4.08/4.19	c bounds 3331 >= 852 @ 3.3482
4.08/4.19	c bounds 3331 >= 853 @ 3.35129
4.08/4.19	c bounds 3331 >= 854 @ 3.35535
4.08/4.19	c bounds 3331 >= 855 @ 3.35845
4.08/4.19	c bounds 3331 >= 856 @ 3.36057
4.08/4.19	c bounds 3331 >= 857 @ 3.36356
4.08/4.19	c bounds 3331 >= 858 @ 3.36751
4.08/4.19	c bounds 3331 >= 859 @ 3.37145
4.08/4.19	c bounds 3331 >= 860 @ 3.37456
4.08/4.19	c bounds 3331 >= 861 @ 3.37762
4.08/4.19	c bounds 3331 >= 862 @ 3.38155
4.08/4.19	c bounds 3331 >= 863 @ 3.38449
4.08/4.19	c bounds 3331 >= 864 @ 3.38744
4.08/4.19	c bounds 3331 >= 865 @ 3.39038
4.08/4.19	c bounds 3331 >= 866 @ 3.39335
4.08/4.19	c bounds 3331 >= 867 @ 3.39529
4.08/4.19	c bounds 3331 >= 868 @ 3.39822
4.08/4.19	c bounds 3331 >= 869 @ 3.40212
4.08/4.19	c bounds 3331 >= 870 @ 3.40511
4.08/4.19	c bounds 3331 >= 871 @ 3.40704
4.08/4.19	c bounds 3331 >= 872 @ 3.41006
4.08/4.19	c bounds 3331 >= 873 @ 3.41327
4.08/4.19	c bounds 3331 >= 874 @ 3.41652
4.08/4.19	c bounds 3331 >= 875 @ 3.41986
4.08/4.19	c bounds 3331 >= 876 @ 3.42406
4.08/4.19	c bounds 3331 >= 877 @ 3.42717
4.08/4.19	c bounds 3331 >= 878 @ 3.4293
4.08/4.19	c bounds 3331 >= 879 @ 3.43243
4.08/4.19	c bounds 3331 >= 880 @ 3.43561
4.08/4.19	c bounds 3331 >= 881 @ 3.43886
4.08/4.19	c bounds 3331 >= 882 @ 3.44227
4.08/4.19	c bounds 3331 >= 883 @ 3.44525
4.08/4.19	c bounds 3331 >= 884 @ 3.4483
4.08/4.19	c bounds 3331 >= 885 @ 3.45243
4.08/4.19	c bounds 3331 >= 886 @ 3.45446
4.08/4.19	c bounds 3331 >= 887 @ 3.45743
4.08/4.19	c bounds 3331 >= 888 @ 3.45942
4.08/4.19	c bounds 3331 >= 889 @ 3.4627
4.08/4.19	c bounds 3331 >= 890 @ 3.46588
4.08/4.19	c bounds 3331 >= 891 @ 3.46906
4.08/4.19	c bounds 3331 >= 892 @ 3.47203
4.08/4.19	c bounds 3331 >= 893 @ 3.47408
4.08/4.19	c bounds 3331 >= 894 @ 3.47673
4.08/4.19	c bounds 3331 >= 895 @ 3.47988
4.08/4.19	c bounds 3331 >= 896 @ 3.48306
4.08/4.19	c bounds 3331 >= 897 @ 3.48621
4.08/4.19	c bounds 3331 >= 898 @ 3.4904
4.08/4.19	c bounds 3331 >= 899 @ 3.49368
4.08/4.19	c bounds 3331 >= 900 @ 3.49775
4.08/4.19	c bounds 3331 >= 901 @ 3.50099
4.08/4.19	c bounds 3331 >= 902 @ 3.50414
4.08/4.19	c bounds 3331 >= 903 @ 3.50626
4.08/4.19	c bounds 3331 >= 904 @ 3.5094
4.08/4.19	c bounds 3331 >= 905 @ 3.51263
4.08/4.19	c bounds 3331 >= 906 @ 3.51582
4.08/4.19	c bounds 3331 >= 907 @ 3.51882
4.08/4.19	c bounds 3331 >= 908 @ 3.52188
4.08/4.19	c bounds 3331 >= 909 @ 3.52403
4.08/4.19	c bounds 3331 >= 910 @ 3.5262
4.08/4.19	c bounds 3331 >= 911 @ 3.52952
4.08/4.19	c bounds 3331 >= 912 @ 3.53355
4.08/4.19	c bounds 3331 >= 913 @ 3.53666
4.08/4.19	c bounds 3331 >= 914 @ 3.53969
4.08/4.19	c bounds 3331 >= 915 @ 3.5427
4.08/4.19	c bounds 3331 >= 916 @ 3.54576
4.08/4.19	c bounds 3331 >= 917 @ 3.54901
4.08/4.19	c bounds 3331 >= 918 @ 3.55327
4.08/4.19	c bounds 3331 >= 919 @ 3.55663
4.08/4.19	c bounds 3331 >= 920 @ 3.56082
4.08/4.19	c bounds 3331 >= 921 @ 3.56311
4.08/4.19	c bounds 3331 >= 922 @ 3.56649
4.08/4.19	c bounds 3331 >= 923 @ 3.57065
4.67/4.74	c bounds 3331 >= 924 @ 3.57472
4.67/4.74	c bounds 3331 >= 925 @ 3.57781
4.67/4.74	c bounds 3331 >= 926 @ 3.58004
4.67/4.74	c bounds 3331 >= 927 @ 3.58322
4.67/4.74	c bounds 3331 >= 928 @ 3.58548
4.67/4.74	c bounds 3331 >= 929 @ 3.58862
4.67/4.74	c bounds 3331 >= 930 @ 3.59171
4.67/4.74	c bounds 3331 >= 931 @ 3.5947
4.67/4.74	c bounds 3331 >= 932 @ 3.5977
4.67/4.74	c bounds 3331 >= 933 @ 3.6007
4.67/4.74	c bounds 3331 >= 934 @ 3.60383
4.67/4.74	c bounds 3331 >= 935 @ 3.60695
4.67/4.74	c bounds 3331 >= 936 @ 3.61012
4.67/4.74	c bounds 3331 >= 937 @ 3.61336
4.67/4.74	c bounds 3331 >= 938 @ 3.61726
4.67/4.74	c bounds 3331 >= 939 @ 3.62044
4.67/4.74	c bounds 3331 >= 940 @ 3.62441
4.67/4.74	c bounds 3331 >= 941 @ 3.62754
4.67/4.74	c bounds 3331 >= 942 @ 3.63065
4.67/4.74	c bounds 3331 >= 943 @ 3.63295
4.67/4.74	c bounds 3331 >= 944 @ 3.63638
4.67/4.74	c bounds 3331 >= 945 @ 3.63965
4.67/4.74	c bounds 3331 >= 946 @ 3.64241
4.67/4.74	c bounds 3331 >= 947 @ 3.64563
4.67/4.74	c bounds 3331 >= 948 @ 3.64873
4.67/4.74	c bounds 3331 >= 949 @ 3.65081
4.67/4.74	c bounds 3331 >= 950 @ 3.65306
4.67/4.74	c bounds 3331 >= 951 @ 3.65637
4.67/4.74	c bounds 3331 >= 952 @ 3.65955
4.67/4.74	c bounds 3331 >= 953 @ 3.6636
4.67/4.74	c bounds 3331 >= 954 @ 3.66569
4.67/4.74	c bounds 3331 >= 955 @ 3.66772
4.67/4.74	c bounds 3331 >= 956 @ 3.66993
4.67/4.74	c bounds 3331 >= 957 @ 3.6741
4.67/4.74	c bounds 3331 >= 958 @ 3.6782
4.67/4.74	c bounds 3331 >= 959 @ 3.68227
4.67/4.74	c bounds 3331 >= 960 @ 3.68539
4.67/4.74	c bounds 3331 >= 961 @ 3.6884
4.67/4.74	c bounds 3331 >= 962 @ 3.69156
4.67/4.74	c bounds 3331 >= 963 @ 3.69377
4.67/4.74	c bounds 3331 >= 964 @ 3.69713
4.67/4.74	c bounds 3331 >= 965 @ 3.70035
4.67/4.74	c bounds 3331 >= 966 @ 3.70355
4.67/4.74	c bounds 3331 >= 967 @ 3.70576
4.67/4.74	c bounds 3331 >= 968 @ 3.70886
4.67/4.74	c bounds 3331 >= 969 @ 3.71194
4.67/4.74	c bounds 3331 >= 970 @ 3.71509
4.67/4.74	c bounds 3331 >= 971 @ 3.7181
4.67/4.74	c bounds 3331 >= 972 @ 3.72115
4.67/4.74	c bounds 3331 >= 973 @ 3.72433
4.67/4.74	c bounds 3331 >= 974 @ 3.72752
4.67/4.74	c bounds 3331 >= 975 @ 3.73177
4.67/4.74	c bounds 3331 >= 976 @ 3.73507
4.67/4.74	c bounds 3331 >= 977 @ 3.73818
4.67/4.74	c bounds 3331 >= 978 @ 3.74222
4.67/4.74	c bounds 3331 >= 979 @ 3.74629
4.67/4.74	c bounds 3331 >= 980 @ 3.7495
4.67/4.74	c bounds 3331 >= 981 @ 3.75273
4.67/4.74	c bounds 3331 >= 982 @ 3.756
4.67/4.74	c bounds 3331 >= 983 @ 3.75921
4.67/4.74	c bounds 3331 >= 984 @ 3.76234
4.67/4.74	c bounds 3331 >= 985 @ 3.76541
4.67/4.74	c bounds 3331 >= 986 @ 3.76845
4.67/4.74	c bounds 3331 >= 987 @ 3.77153
4.67/4.74	c bounds 3331 >= 988 @ 3.77459
4.67/4.74	c bounds 3331 >= 989 @ 3.77767
4.67/4.74	c bounds 3331 >= 990 @ 3.78173
4.67/4.74	c bounds 3331 >= 991 @ 3.78491
4.67/4.74	c bounds 3331 >= 992 @ 3.788
4.67/4.74	c bounds 3331 >= 993 @ 3.792
4.67/4.74	c bounds 3331 >= 994 @ 3.79514
4.67/4.74	c bounds 3331 >= 995 @ 3.79819
4.67/4.74	c bounds 3331 >= 996 @ 3.80031
4.67/4.74	c bounds 3331 >= 997 @ 3.8024
4.67/4.74	c bounds 3331 >= 998 @ 3.8051
4.67/4.74	c bounds 3331 >= 999 @ 3.80828
4.67/4.74	c bounds 3331 >= 1000 @ 3.81047
4.67/4.74	c bounds 3331 >= 1001 @ 3.81382
4.67/4.74	c bounds 3331 >= 1002 @ 3.81697
4.67/4.74	c bounds 3331 >= 1003 @ 3.82093
4.67/4.74	c bounds 3331 >= 1004 @ 3.82413
4.67/4.74	c bounds 3331 >= 1005 @ 3.82726
4.67/4.74	c bounds 3331 >= 1006 @ 3.83152
4.67/4.74	c bounds 3331 >= 1007 @ 3.83476
4.67/4.74	c bounds 3331 >= 1008 @ 3.83788
4.67/4.74	c bounds 3331 >= 1009 @ 3.84116
4.67/4.74	c bounds 3331 >= 1010 @ 3.84447
4.67/4.74	c bounds 3331 >= 1011 @ 3.84785
4.67/4.74	c bounds 3331 >= 1012 @ 3.85207
4.67/4.74	c bounds 3331 >= 1013 @ 3.85439
4.67/4.74	c bounds 3331 >= 1014 @ 3.8578
4.67/4.74	c bounds 3331 >= 1015 @ 3.86109
4.67/4.74	c bounds 3331 >= 1016 @ 3.86423
4.67/4.74	c bounds 3331 >= 1017 @ 3.86735
4.67/4.74	c bounds 3331 >= 1018 @ 3.87082
4.67/4.74	c bounds 3331 >= 1019 @ 3.87396
4.67/4.74	c bounds 3331 >= 1020 @ 3.87704
4.67/4.74	c bounds 3331 >= 1021 @ 3.8793
4.67/4.74	c bounds 3331 >= 1022 @ 3.88272
4.67/4.74	c bounds 3331 >= 1023 @ 3.88595
4.67/4.74	c bounds 3331 >= 1024 @ 3.89013
4.67/4.74	c bounds 3331 >= 1025 @ 3.89242
4.67/4.74	c bounds 3331 >= 1026 @ 3.89567
4.67/4.74	c bounds 3331 >= 1027 @ 3.89775
4.67/4.74	c bounds 3331 >= 1028 @ 3.90095
4.67/4.74	c bounds 3331 >= 1029 @ 3.9013
4.67/4.74	c bounds 3331 >= 1030 @ 3.90327
4.67/4.74	c bounds 3331 >= 1031 @ 3.90757
4.67/4.74	c bounds 3331 >= 1032 @ 3.91095
4.67/4.74	c bounds 3331 >= 1033 @ 3.91321
4.67/4.74	c bounds 3331 >= 1034 @ 3.91749
4.67/4.74	c bounds 3331 >= 1035 @ 3.92178
4.67/4.74	c bounds 3331 >= 1036 @ 3.92509
4.67/4.74	c bounds 3331 >= 1037 @ 3.92938
4.67/4.74	c bounds 3331 >= 1038 @ 3.93276
4.67/4.74	c bounds 3331 >= 1039 @ 3.93589
4.67/4.74	c bounds 3331 >= 1040 @ 3.9381
4.67/4.74	c bounds 3331 >= 1041 @ 3.94227
4.67/4.74	c bounds 3331 >= 1042 @ 3.94554
4.67/4.74	c bounds 3331 >= 1043 @ 3.9487
4.67/4.74	c bounds 3331 >= 1044 @ 3.95186
4.67/4.74	c bounds 3331 >= 1045 @ 3.95515
4.67/4.74	c bounds 3331 >= 1046 @ 3.95857
4.67/4.74	c bounds 3331 >= 1047 @ 3.96183
4.67/4.74	c bounds 3331 >= 1048 @ 3.96607
4.67/4.74	c bounds 3331 >= 1049 @ 3.96948
4.67/4.74	c bounds 3331 >= 1050 @ 3.97389
4.67/4.74	c bounds 3331 >= 1051 @ 3.97711
4.67/4.74	c bounds 3331 >= 1052 @ 3.98143
4.67/4.74	c bounds 3331 >= 1053 @ 3.9856
4.67/4.74	c bounds 3331 >= 1054 @ 3.98875
4.67/4.74	c bounds 3331 >= 1055 @ 3.99091
5.37/5.42	c bounds 3331 >= 1056 @ 3.99407
5.37/5.42	c bounds 3331 >= 1057 @ 3.9972
5.37/5.42	c bounds 3331 >= 1058 @ 4.00044
5.37/5.42	c bounds 3331 >= 1059 @ 4.00355
5.37/5.42	c bounds 3331 >= 1060 @ 4.00663
5.37/5.42	c bounds 3331 >= 1061 @ 4.00877
5.37/5.42	c bounds 3331 >= 1062 @ 4.01089
5.37/5.42	c bounds 3331 >= 1063 @ 4.01409
5.37/5.42	c bounds 3331 >= 1064 @ 4.01824
5.37/5.42	c bounds 3331 >= 1065 @ 4.02151
5.37/5.42	c bounds 3331 >= 1066 @ 4.02462
5.37/5.42	c bounds 3331 >= 1067 @ 4.02777
5.37/5.42	c bounds 3331 >= 1068 @ 4.02895
5.37/5.42	c bounds 3331 >= 1069 @ 4.03235
5.37/5.42	c bounds 3331 >= 1070 @ 4.03563
5.37/5.42	c bounds 3331 >= 1071 @ 4.03786
5.37/5.42	c bounds 3331 >= 1072 @ 4.04203
5.37/5.42	c bounds 3331 >= 1073 @ 4.04543
5.37/5.42	c bounds 3331 >= 1074 @ 4.04952
5.37/5.42	c bounds 3331 >= 1075 @ 4.05186
5.37/5.42	c bounds 3331 >= 1076 @ 4.0562
5.37/5.42	c bounds 3331 >= 1077 @ 4.05954
5.37/5.42	c bounds 3331 >= 1078 @ 4.06366
5.37/5.42	c bounds 3331 >= 1079 @ 4.06606
5.37/5.42	c bounds 3331 >= 1080 @ 4.06954
5.37/5.42	c bounds 3331 >= 1081 @ 4.07288
5.37/5.42	c bounds 3331 >= 1082 @ 4.07637
5.37/5.42	c bounds 3331 >= 1083 @ 4.08045
5.37/5.42	c bounds 3331 >= 1084 @ 4.08367
5.37/5.42	c bounds 3331 >= 1085 @ 4.08585
5.37/5.42	c bounds 3331 >= 1086 @ 4.08915
5.37/5.42	c bounds 3331 >= 1087 @ 4.09134
5.37/5.42	c bounds 3331 >= 1088 @ 4.09446
5.37/5.42	c bounds 3331 >= 1089 @ 4.09774
5.37/5.42	c bounds 3331 >= 1090 @ 4.10093
5.37/5.42	c bounds 3330 >= 1090 @ 4.22254
5.37/5.42	c bounds 3330 >= 1091 @ 4.22729
5.37/5.42	c bounds 3330 >= 1092 @ 4.22982
5.37/5.42	c bounds 3330 >= 1093 @ 4.23404
5.37/5.42	c bounds 3330 >= 1094 @ 4.23629
5.37/5.42	c bounds 3330 >= 1095 @ 4.23944
5.37/5.42	c bounds 3330 >= 1096 @ 4.24292
5.37/5.42	c bounds 3330 >= 1097 @ 4.246
5.37/5.42	c bounds 3330 >= 1098 @ 4.24822
5.37/5.42	c bounds 3330 >= 1099 @ 4.25037
5.37/5.42	c bounds 3330 >= 1100 @ 4.25354
5.37/5.42	c bounds 3330 >= 1101 @ 4.25778
5.37/5.42	c bounds 3330 >= 1102 @ 4.26098
5.37/5.42	c bounds 3330 >= 1103 @ 4.26321
5.37/5.42	c bounds 3330 >= 1104 @ 4.26638
5.37/5.42	c bounds 3330 >= 1105 @ 4.26972
5.37/5.42	c bounds 3330 >= 1106 @ 4.27281
5.37/5.42	c bounds 3330 >= 1107 @ 4.2761
5.37/5.42	c bounds 3330 >= 1108 @ 4.28037
5.37/5.42	c bounds 3330 >= 1109 @ 4.28371
5.37/5.42	c bounds 3330 >= 1110 @ 4.28706
5.37/5.42	c bounds 3330 >= 1111 @ 4.29059
5.37/5.42	c bounds 3330 >= 1112 @ 4.29193
5.37/5.42	c bounds 3330 >= 1113 @ 4.29543
5.37/5.42	c bounds 3330 >= 1114 @ 4.29872
5.37/5.42	c bounds 3330 >= 1115 @ 4.30203
5.37/5.42	c bounds 3330 >= 1116 @ 4.30549
5.37/5.42	c bounds 3330 >= 1117 @ 4.30879
5.37/5.42	c bounds 3330 >= 1118 @ 4.31203
5.37/5.42	c bounds 3330 >= 1119 @ 4.31541
5.37/5.42	c bounds 3330 >= 1120 @ 4.31859
5.37/5.42	c bounds 3330 >= 1121 @ 4.32079
5.37/5.42	c bounds 3330 >= 1122 @ 4.32235
5.37/5.42	c bounds 3330 >= 1123 @ 4.32553
5.37/5.42	c bounds 3330 >= 1124 @ 4.32771
5.37/5.42	c bounds 3330 >= 1125 @ 4.33091
5.37/5.42	c bounds 3330 >= 1126 @ 4.33329
5.37/5.42	c bounds 3330 >= 1127 @ 4.33549
5.37/5.42	c bounds 3330 >= 1128 @ 4.33969
5.37/5.42	c bounds 3330 >= 1129 @ 4.34205
5.37/5.42	c bounds 3330 >= 1130 @ 4.34554
5.37/5.42	c bounds 3330 >= 1131 @ 4.34774
5.37/5.42	c bounds 3330 >= 1132 @ 4.35123
5.37/5.42	c bounds 3330 >= 1133 @ 4.35547
5.37/5.42	c bounds 3330 >= 1134 @ 4.35882
5.37/5.42	c bounds 3330 >= 1135 @ 4.36202
5.37/5.42	c bounds 3330 >= 1136 @ 4.36545
5.37/5.42	c bounds 3330 >= 1137 @ 4.36863
5.37/5.42	c bounds 3330 >= 1138 @ 4.37193
5.37/5.42	c bounds 3330 >= 1139 @ 4.37526
5.37/5.42	c bounds 3330 >= 1140 @ 4.37779
5.37/5.42	c bounds 3330 >= 1141 @ 4.38228
5.37/5.42	c bounds 3330 >= 1142 @ 4.38476
5.37/5.42	c bounds 3330 >= 1143 @ 4.38818
5.37/5.42	c bounds 3330 >= 1144 @ 4.3914
5.37/5.42	c bounds 3330 >= 1145 @ 4.39315
5.37/5.42	c bounds 3330 >= 1146 @ 4.39638
5.37/5.42	c bounds 3330 >= 1147 @ 4.40074
5.37/5.42	c bounds 3330 >= 1148 @ 4.40522
5.37/5.42	c bounds 3330 >= 1149 @ 4.40659
5.37/5.42	c bounds 3330 >= 1150 @ 4.40888
5.37/5.42	c bounds 3330 >= 1151 @ 4.41227
5.37/5.42	c bounds 3330 >= 1152 @ 4.41549
5.37/5.42	c bounds 3330 >= 1153 @ 4.41776
5.37/5.42	c bounds 3330 >= 1154 @ 4.42122
5.37/5.42	c bounds 3330 >= 1155 @ 4.42175
5.37/5.42	c bounds 3330 >= 1156 @ 4.42412
5.37/5.42	c bounds 3330 >= 1157 @ 4.42841
5.37/5.42	c bounds 3330 >= 1158 @ 4.4308
5.37/5.42	c bounds 3330 >= 1159 @ 4.43502
5.37/5.42	c bounds 3330 >= 1160 @ 4.43827
5.37/5.42	c bounds 3330 >= 1161 @ 4.44062
5.37/5.42	c bounds 3330 >= 1162 @ 4.44498
5.37/5.42	c bounds 3330 >= 1163 @ 4.44925
5.37/5.42	c bounds 3330 >= 1164 @ 4.45253
5.37/5.42	c bounds 3330 >= 1165 @ 4.45477
5.37/5.42	c bounds 3330 >= 1166 @ 4.4581
5.37/5.42	c bounds 3330 >= 1167 @ 4.46127
5.37/5.42	c bounds 3330 >= 1168 @ 4.46352
5.37/5.42	c bounds 3330 >= 1169 @ 4.46703
5.37/5.42	c bounds 3330 >= 1170 @ 4.47128
5.37/5.42	c bounds 3330 >= 1171 @ 4.47472
5.37/5.42	c bounds 3330 >= 1172 @ 4.47806
5.37/5.42	c bounds 3330 >= 1173 @ 4.48123
5.37/5.42	c bounds 3330 >= 1174 @ 4.48555
5.37/5.42	c bounds 3330 >= 1175 @ 4.48899
5.37/5.42	c bounds 3330 >= 1176 @ 4.49221
5.37/5.42	c bounds 3330 >= 1177 @ 4.49452
5.37/5.42	c bounds 3330 >= 1178 @ 4.49822
5.37/5.42	c bounds 3330 >= 1179 @ 4.50166
5.37/5.42	c bounds 3330 >= 1180 @ 4.50611
5.37/5.42	c bounds 3330 >= 1181 @ 4.50762
5.37/5.42	c bounds 3330 >= 1182 @ 4.51102
5.97/6.01	c bounds 3330 >= 1183 @ 4.51342
5.97/6.01	c bounds 3330 >= 1184 @ 4.51604
5.97/6.01	c bounds 3330 >= 1185 @ 4.51843
5.97/6.01	c bounds 3330 >= 1186 @ 4.52187
5.97/6.01	c bounds 3330 >= 1187 @ 4.52506
5.97/6.01	c bounds 3330 >= 1188 @ 4.5283
5.97/6.01	c bounds 3330 >= 1189 @ 4.53159
5.97/6.01	c bounds 3330 >= 1190 @ 4.53495
5.97/6.01	c bounds 3330 >= 1191 @ 4.53915
5.97/6.01	c bounds 3330 >= 1192 @ 4.54243
5.97/6.01	c bounds 3330 >= 1193 @ 4.54672
5.97/6.01	c bounds 3330 >= 1194 @ 4.55001
5.97/6.01	c bounds 3330 >= 1195 @ 4.55338
5.97/6.01	c bounds 3330 >= 1196 @ 4.5571
5.97/6.01	c bounds 3330 >= 1197 @ 4.56032
5.97/6.01	c bounds 3330 >= 1198 @ 4.56407
5.97/6.01	c bounds 3330 >= 1199 @ 4.56671
5.97/6.01	c bounds 3330 >= 1200 @ 4.57021
5.97/6.01	c bounds 3330 >= 1201 @ 4.57291
5.97/6.01	c bounds 3330 >= 1202 @ 4.57668
5.97/6.01	c bounds 3330 >= 1203 @ 4.58043
5.97/6.01	c bounds 3330 >= 1204 @ 4.58345
5.97/6.01	c bounds 3330 >= 1205 @ 4.58727
5.97/6.01	c bounds 3330 >= 1206 @ 4.592
5.97/6.01	c bounds 3330 >= 1207 @ 4.59502
5.97/6.01	c bounds 3330 >= 1208 @ 4.59804
5.97/6.01	c bounds 3330 >= 1209 @ 4.60078
5.97/6.01	c bounds 3330 >= 1210 @ 4.60373
5.97/6.01	c bounds 3330 >= 1211 @ 4.60657
5.97/6.01	c bounds 3330 >= 1212 @ 4.6103
5.97/6.01	c bounds 3330 >= 1213 @ 4.61401
5.97/6.01	c bounds 3330 >= 1214 @ 4.61775
5.97/6.01	c bounds 3330 >= 1215 @ 4.61918
5.97/6.01	c bounds 3330 >= 1216 @ 4.6237
5.97/6.01	c bounds 3330 >= 1217 @ 4.62635
5.97/6.01	c bounds 3330 >= 1218 @ 4.63103
5.97/6.01	c bounds 3330 >= 1219 @ 4.63482
5.97/6.01	c bounds 3330 >= 1220 @ 4.63774
5.97/6.01	c bounds 3330 >= 1221 @ 4.64172
5.97/6.01	c bounds 3330 >= 1222 @ 4.64492
5.97/6.01	c bounds 3330 >= 1223 @ 4.64876
5.97/6.01	c bounds 3330 >= 1224 @ 4.6512
5.97/6.01	c bounds 3330 >= 1225 @ 4.65578
5.97/6.01	c bounds 3330 >= 1226 @ 4.65857
5.97/6.01	c bounds 3330 >= 1227 @ 4.66105
5.97/6.01	c bounds 3330 >= 1228 @ 4.66386
5.97/6.01	c bounds 3330 >= 1229 @ 4.66654
5.97/6.01	c bounds 3330 >= 1230 @ 4.66914
5.97/6.01	c bounds 3330 >= 1231 @ 4.67367
5.97/6.01	c bounds 3330 >= 1232 @ 4.67713
5.97/6.01	c bounds 3330 >= 1233 @ 4.68057
5.97/6.01	c bounds 3330 >= 1234 @ 4.68393
5.97/6.01	c bounds 3330 >= 1235 @ 4.68757
5.97/6.01	c bounds 3330 >= 1236 @ 4.69088
5.97/6.01	c bounds 3330 >= 1237 @ 4.69435
5.97/6.01	c bounds 3330 >= 1238 @ 4.69757
5.97/6.01	c bounds 3330 >= 1239 @ 4.7019
5.97/6.01	c bounds 3330 >= 1240 @ 4.70531
5.97/6.01	c bounds 3330 >= 1241 @ 4.70968
5.97/6.01	c bounds 3330 >= 1242 @ 4.71327
5.97/6.01	c bounds 3330 >= 1243 @ 4.71776
5.97/6.01	c bounds 3330 >= 1244 @ 4.7228
5.97/6.01	c bounds 3330 >= 1245 @ 4.72697
5.97/6.01	c bounds 3330 >= 1246 @ 4.73099
5.97/6.01	c bounds 3330 >= 1247 @ 4.73465
5.97/6.01	c bounds 3330 >= 1248 @ 4.7363
5.97/6.01	c bounds 3330 >= 1249 @ 4.73833
5.97/6.01	c bounds 3330 >= 1250 @ 4.74276
5.97/6.01	c bounds 3330 >= 1251 @ 4.74636
5.97/6.01	c bounds 3330 >= 1252 @ 4.74979
5.97/6.01	c bounds 3330 >= 1253 @ 4.75327
5.97/6.01	c bounds 3330 >= 1254 @ 4.75565
5.97/6.01	c bounds 3330 >= 1255 @ 4.75941
5.97/6.01	c bounds 3330 >= 1256 @ 4.76204
5.97/6.01	c bounds 3330 >= 1257 @ 4.76535
5.97/6.01	c bounds 3330 >= 1258 @ 4.76776
5.97/6.01	c bounds 3330 >= 1259 @ 4.77215
5.97/6.01	c bounds 3330 >= 1260 @ 4.77358
5.97/6.01	c bounds 3330 >= 1261 @ 4.77707
5.97/6.01	c bounds 3330 >= 1262 @ 4.77941
5.97/6.01	c bounds 3330 >= 1263 @ 4.7821
5.97/6.01	c bounds 3330 >= 1264 @ 4.78553
5.97/6.01	c bounds 3330 >= 1265 @ 4.78821
5.97/6.01	c bounds 3330 >= 1266 @ 4.79264
5.97/6.01	c bounds 3330 >= 1267 @ 4.79624
5.97/6.01	c bounds 3330 >= 1268 @ 4.79866
5.97/6.01	c bounds 3330 >= 1269 @ 4.8021
5.97/6.01	c bounds 3330 >= 1270 @ 4.80546
5.97/6.01	c bounds 3330 >= 1271 @ 4.8102
5.97/6.01	c bounds 3330 >= 1272 @ 4.81293
5.97/6.01	c bounds 3330 >= 1273 @ 4.81636
5.97/6.01	c bounds 3330 >= 1274 @ 4.81799
5.97/6.01	c bounds 3330 >= 1275 @ 4.82037
5.97/6.01	c bounds 3330 >= 1276 @ 4.82293
5.97/6.01	c bounds 3330 >= 1277 @ 4.82633
5.97/6.01	c bounds 3330 >= 1278 @ 4.82901
5.97/6.01	c bounds 3330 >= 1279 @ 4.83242
5.97/6.01	c bounds 3330 >= 1280 @ 4.83601
5.97/6.01	c bounds 3330 >= 1281 @ 4.83841
5.97/6.01	c bounds 3330 >= 1282 @ 4.84199
5.97/6.01	c bounds 3330 >= 1283 @ 4.84359
5.97/6.01	c bounds 3330 >= 1284 @ 4.84715
5.97/6.01	c bounds 3330 >= 1285 @ 4.84962
5.97/6.01	c bounds 3330 >= 1286 @ 4.85313
5.97/6.01	c bounds 3330 >= 1287 @ 4.85785
5.97/6.01	c bounds 3330 >= 1288 @ 4.86152
5.97/6.01	c bounds 3330 >= 1289 @ 4.86513
5.97/6.01	c bounds 3330 >= 1290 @ 4.86878
5.97/6.01	c bounds 3330 >= 1291 @ 4.87124
5.97/6.01	c bounds 3330 >= 1292 @ 4.87376
5.97/6.01	c bounds 3330 >= 1293 @ 4.87823
5.97/6.01	c bounds 3330 >= 1294 @ 4.88196
5.97/6.01	c bounds 3330 >= 1295 @ 4.88436
5.97/6.01	c bounds 3330 >= 1296 @ 4.88689
5.97/6.01	c bounds 3330 >= 1297 @ 4.89026
5.97/6.01	c bounds 3330 >= 1298 @ 4.89388
5.97/6.01	c bounds 3330 >= 1299 @ 4.89625
5.97/6.01	c bounds 3330 >= 1300 @ 4.90064
5.97/6.01	c bounds 3330 >= 1301 @ 4.9038
5.97/6.01	c bounds 3330 >= 1302 @ 4.90667
5.97/6.01	c bounds 3330 >= 1303 @ 4.91021
5.97/6.01	c bounds 3330 >= 1304 @ 4.91476
5.97/6.01	c bounds 3330 >= 1305 @ 4.9172
5.97/6.01	c bounds 3330 >= 1306 @ 4.92072
5.97/6.01	c bounds 3330 >= 1307 @ 4.92313
5.97/6.01	c bounds 3330 >= 1308 @ 4.92578
5.97/6.01	c bounds 3330 >= 1309 @ 4.92732
5.97/6.01	c bounds 3330 >= 1310 @ 4.93092
6.56/6.60	c bounds 3330 >= 1311 @ 4.93458
6.56/6.60	c bounds 3330 >= 1312 @ 4.93697
6.56/6.60	c bounds 3330 >= 1313 @ 4.93936
6.56/6.60	c bounds 3330 >= 1314 @ 4.94284
6.56/6.60	c bounds 3330 >= 1315 @ 4.94656
6.56/6.60	c bounds 3330 >= 1316 @ 4.949
6.56/6.60	c bounds 3330 >= 1317 @ 4.95152
6.56/6.60	c bounds 3330 >= 1318 @ 4.95386
6.56/6.60	c bounds 3330 >= 1319 @ 4.95624
6.56/6.60	c bounds 3330 >= 1320 @ 4.95972
6.56/6.60	c bounds 3330 >= 1321 @ 4.96207
6.56/6.60	c bounds 3330 >= 1322 @ 4.96647
6.56/6.60	c bounds 3330 >= 1323 @ 4.96893
6.56/6.60	c bounds 3330 >= 1324 @ 4.97148
6.56/6.60	c bounds 3330 >= 1325 @ 4.97485
6.56/6.60	c bounds 3330 >= 1326 @ 4.97729
6.56/6.60	c bounds 3330 >= 1327 @ 4.98172
6.56/6.60	c bounds 3330 >= 1328 @ 4.98421
6.56/6.60	c bounds 3330 >= 1329 @ 4.98865
6.56/6.60	c bounds 3330 >= 1330 @ 4.99118
6.56/6.60	c bounds 3330 >= 1331 @ 4.99472
6.56/6.60	c bounds 3330 >= 1332 @ 4.99922
6.56/6.60	c bounds 3330 >= 1333 @ 5.00281
6.56/6.60	c bounds 3330 >= 1334 @ 5.00742
6.56/6.60	c bounds 3330 >= 1335 @ 5.00999
6.56/6.60	c bounds 3330 >= 1336 @ 5.01444
6.56/6.60	c bounds 3330 >= 1337 @ 5.01697
6.56/6.60	c bounds 3330 >= 1338 @ 5.02153
6.56/6.60	c bounds 3330 >= 1339 @ 5.02412
6.56/6.60	c bounds 3330 >= 1340 @ 5.02767
6.56/6.60	c bounds 3330 >= 1341 @ 5.03141
6.56/6.60	c bounds 3330 >= 1342 @ 5.03395
6.56/6.60	c bounds 3330 >= 1343 @ 5.03751
6.56/6.60	c bounds 3330 >= 1344 @ 5.03991
6.56/6.60	c bounds 3330 >= 1345 @ 5.04347
6.56/6.60	c bounds 3330 >= 1346 @ 5.04586
6.56/6.60	c bounds 3330 >= 1347 @ 5.05034
6.56/6.60	c bounds 3330 >= 1348 @ 5.05287
6.56/6.60	c bounds 3330 >= 1349 @ 5.05646
6.56/6.60	c bounds 3330 >= 1350 @ 5.05889
6.56/6.60	c bounds 3330 >= 1351 @ 5.06246
6.56/6.60	c bounds 3330 >= 1352 @ 5.06501
6.56/6.60	c bounds 3330 >= 1353 @ 5.06906
6.56/6.60	c bounds 3330 >= 1354 @ 5.07274
6.56/6.60	c bounds 3330 >= 1355 @ 5.07547
6.56/6.60	c bounds 3330 >= 1356 @ 5.07798
6.56/6.60	c bounds 3330 >= 1357 @ 5.08146
6.56/6.60	c bounds 3330 >= 1358 @ 5.08392
6.56/6.60	c bounds 3330 >= 1359 @ 5.08834
6.56/6.60	c bounds 3330 >= 1360 @ 5.09097
6.56/6.60	c bounds 3330 >= 1361 @ 5.09452
6.56/6.60	c bounds 3330 >= 1362 @ 5.09715
6.56/6.60	c bounds 3330 >= 1363 @ 5.10045
6.56/6.60	c bounds 3330 >= 1364 @ 5.10291
6.56/6.60	c bounds 3330 >= 1365 @ 5.10637
6.56/6.60	c bounds 3330 >= 1366 @ 5.10888
6.56/6.60	c bounds 3330 >= 1367 @ 5.1125
6.56/6.60	c bounds 3330 >= 1368 @ 5.11559
6.56/6.60	c bounds 3330 >= 1369 @ 5.11778
6.56/6.60	c bounds 3330 >= 1370 @ 5.12171
6.56/6.60	c bounds 3330 >= 1371 @ 5.12544
6.56/6.60	c bounds 3330 >= 1372 @ 5.12911
6.56/6.60	c bounds 3330 >= 1373 @ 5.13376
6.56/6.60	c bounds 3330 >= 1374 @ 5.13748
6.56/6.60	c bounds 3330 >= 1375 @ 5.1405
6.56/6.60	c bounds 3330 >= 1376 @ 5.14437
6.56/6.60	c bounds 3330 >= 1377 @ 5.14726
6.56/6.60	c bounds 3330 >= 1378 @ 5.15085
6.56/6.60	c bounds 3330 >= 1379 @ 5.15358
6.56/6.60	c bounds 3330 >= 1380 @ 5.15753
6.56/6.60	c bounds 3330 >= 1381 @ 5.16138
6.56/6.60	c bounds 3330 >= 1382 @ 5.16488
6.56/6.60	c bounds 3330 >= 1383 @ 5.16742
6.56/6.60	c bounds 3330 >= 1384 @ 5.17
6.56/6.60	c bounds 3330 >= 1385 @ 5.1734
6.56/6.60	c bounds 3330 >= 1386 @ 5.176
6.56/6.60	c bounds 3330 >= 1387 @ 5.17839
6.56/6.60	c bounds 3330 >= 1388 @ 5.18105
6.56/6.60	c bounds 3330 >= 1389 @ 5.18357
6.56/6.60	c bounds 3330 >= 1390 @ 5.18723
6.56/6.60	c bounds 3330 >= 1391 @ 5.1897
6.56/6.60	c bounds 3330 >= 1392 @ 5.19326
6.56/6.60	c bounds 3330 >= 1393 @ 5.19595
6.56/6.60	c bounds 3330 >= 1394 @ 5.19838
6.56/6.60	c bounds 3330 >= 1395 @ 5.20205
6.56/6.60	c bounds 3330 >= 1396 @ 5.20478
6.56/6.60	c bounds 3330 >= 1397 @ 5.20863
6.56/6.60	c bounds 3330 >= 1398 @ 5.21229
6.56/6.60	c bounds 3330 >= 1399 @ 5.21497
6.56/6.60	c bounds 3330 >= 1400 @ 5.21836
6.56/6.60	c bounds 3330 >= 1401 @ 5.22093
6.56/6.60	c bounds 3330 >= 1402 @ 5.22449
6.56/6.60	c bounds 3330 >= 1403 @ 5.22735
6.56/6.60	c bounds 3330 >= 1404 @ 5.22997
6.56/6.60	c bounds 3330 >= 1405 @ 5.23189
6.56/6.60	c bounds 3330 >= 1406 @ 5.23528
6.56/6.60	c bounds 3330 >= 1407 @ 5.23684
6.56/6.60	c bounds 3330 >= 1408 @ 5.23947
6.56/6.60	c bounds 3330 >= 1409 @ 5.24341
6.56/6.60	c bounds 3330 >= 1410 @ 5.24723
6.56/6.60	c bounds 3330 >= 1411 @ 5.25002
6.56/6.60	c bounds 3330 >= 1412 @ 5.25352
6.56/6.60	c bounds 3330 >= 1413 @ 5.25825
6.56/6.60	c bounds 3330 >= 1414 @ 5.26293
6.56/6.60	c bounds 3330 >= 1415 @ 5.26559
6.56/6.60	c bounds 3330 >= 1416 @ 5.26824
6.56/6.60	c bounds 3330 >= 1417 @ 5.27117
6.56/6.60	c bounds 3330 >= 1418 @ 5.27302
6.56/6.60	c bounds 3330 >= 1419 @ 5.27674
6.56/6.60	c bounds 3330 >= 1420 @ 5.28021
6.56/6.60	c bounds 3330 >= 1421 @ 5.28385
6.56/6.60	c bounds 3330 >= 1422 @ 5.28644
6.56/6.60	c bounds 3330 >= 1423 @ 5.29022
6.56/6.60	c bounds 3330 >= 1424 @ 5.29304
6.56/6.60	c bounds 3330 >= 1425 @ 5.29574
6.56/6.60	c bounds 3330 >= 1426 @ 5.29826
6.56/6.60	c bounds 3330 >= 1427 @ 5.30196
6.56/6.60	c bounds 3330 >= 1428 @ 5.30449
6.56/6.60	c bounds 3330 >= 1429 @ 5.30915
6.56/6.60	c bounds 3330 >= 1430 @ 5.31285
6.56/6.60	c bounds 3330 >= 1431 @ 5.31535
6.56/6.60	c bounds 3330 >= 1432 @ 5.31902
6.56/6.60	c bounds 3330 >= 1433 @ 5.32174
6.56/6.60	c bounds 3330 >= 1434 @ 5.32628
6.56/6.60	c bounds 3330 >= 1435 @ 5.329
6.56/6.60	c bounds 3330 >= 1436 @ 5.33167
6.56/6.60	c bounds 3330 >= 1437 @ 5.33531
6.56/6.60	c bounds 3330 >= 1438 @ 5.33994
6.56/6.60	c bounds 3330 >= 1439 @ 5.34387
7.36/7.42	c bounds 3330 >= 1440 @ 5.34752
7.36/7.42	c bounds 3330 >= 1441 @ 5.35012
7.36/7.42	c bounds 3330 >= 1442 @ 5.35494
7.36/7.42	c bounds 3330 >= 1443 @ 5.35863
7.36/7.42	c bounds 3330 >= 1444 @ 5.36326
7.36/7.42	c bounds 3330 >= 1445 @ 5.36755
7.36/7.42	c bounds 3330 >= 1446 @ 5.37057
7.36/7.42	c bounds 3330 >= 1447 @ 5.3757
7.36/7.42	c bounds 3330 >= 1448 @ 5.38081
7.36/7.42	c bounds 3330 >= 1449 @ 5.38367
7.36/7.42	c bounds 3330 >= 1450 @ 5.3862
7.36/7.42	c bounds 3330 >= 1451 @ 5.38977
7.36/7.42	c bounds 3330 >= 1452 @ 5.39248
7.36/7.42	c bounds 3330 >= 1453 @ 5.39689
7.36/7.42	c bounds 3330 >= 1454 @ 5.39967
7.36/7.42	c bounds 3330 >= 1455 @ 5.40262
7.36/7.42	c bounds 3330 >= 1456 @ 5.40526
7.36/7.42	c bounds 3330 >= 1457 @ 5.40793
7.36/7.42	c bounds 3330 >= 1458 @ 5.41094
7.36/7.42	c bounds 3330 >= 1459 @ 5.41379
7.36/7.42	c bounds 3330 >= 1460 @ 5.41663
7.36/7.42	c bounds 3330 >= 1461 @ 5.41956
7.36/7.42	c bounds 3330 >= 1462 @ 5.42316
7.36/7.42	c bounds 3330 >= 1463 @ 5.42584
7.36/7.42	c bounds 3330 >= 1464 @ 5.4305
7.36/7.42	c bounds 3330 >= 1465 @ 5.43339
7.36/7.42	c bounds 3330 >= 1466 @ 5.43612
7.36/7.42	c bounds 3330 >= 1467 @ 5.43892
7.36/7.42	c bounds 3330 >= 1468 @ 5.44354
7.36/7.42	c bounds 3330 >= 1469 @ 5.44631
7.36/7.42	c bounds 3330 >= 1470 @ 5.44972
7.36/7.42	c bounds 3330 >= 1471 @ 5.45244
7.36/7.42	c bounds 3330 >= 1472 @ 5.45436
7.36/7.42	c bounds 3330 >= 1473 @ 5.45784
7.36/7.42	c bounds 3330 >= 1474 @ 5.46243
7.36/7.42	c bounds 3330 >= 1475 @ 5.46528
7.36/7.42	c bounds 3330 >= 1476 @ 5.46883
7.36/7.42	c bounds 3330 >= 1477 @ 5.47266
7.36/7.42	c bounds 3330 >= 1478 @ 5.4757
7.36/7.42	c bounds 3330 >= 1479 @ 5.47956
7.36/7.42	c bounds 3330 >= 1480 @ 5.48249
7.36/7.42	c bounds 3330 >= 1481 @ 5.48721
7.36/7.42	c bounds 3330 >= 1482 @ 5.49
7.36/7.42	c bounds 3330 >= 1483 @ 5.49264
7.36/7.42	c bounds 3330 >= 1484 @ 5.49549
7.36/7.42	c bounds 3330 >= 1485 @ 5.49831
7.36/7.42	c bounds 3330 >= 1486 @ 5.50219
7.36/7.42	c bounds 3330 >= 1487 @ 5.50476
7.36/7.42	c bounds 3330 >= 1488 @ 5.50963
7.36/7.42	c bounds 3330 >= 1489 @ 5.51331
7.36/7.42	c bounds 3330 >= 1490 @ 5.51621
7.36/7.42	c bounds 3330 >= 1491 @ 5.51989
7.36/7.42	c bounds 3330 >= 1492 @ 5.52269
7.36/7.42	c bounds 3330 >= 1493 @ 5.52646
7.36/7.42	c bounds 3330 >= 1494 @ 5.52922
7.36/7.42	c bounds 3330 >= 1495 @ 5.53176
7.36/7.42	c bounds 3330 >= 1496 @ 5.53565
7.36/7.42	c bounds 3330 >= 1497 @ 5.53848
7.36/7.42	c bounds 3330 >= 1498 @ 5.54125
7.36/7.42	c bounds 3330 >= 1499 @ 5.54378
7.36/7.42	c bounds 3330 >= 1500 @ 5.54746
7.36/7.42	c bounds 3330 >= 1501 @ 5.55029
7.36/7.42	c bounds 3330 >= 1502 @ 5.55309
7.36/7.42	c bounds 3330 >= 1503 @ 5.55576
7.36/7.42	c bounds 3330 >= 1504 @ 5.55852
7.36/7.42	c bounds 3330 >= 1505 @ 5.56126
7.36/7.42	c bounds 3330 >= 1506 @ 5.56478
7.36/7.42	c bounds 3330 >= 1507 @ 5.56756
7.36/7.42	c bounds 3330 >= 1508 @ 5.56943
7.36/7.42	c bounds 3330 >= 1509 @ 5.5723
7.36/7.42	c bounds 3330 >= 1510 @ 5.57751
7.36/7.42	c bounds 3330 >= 1511 @ 5.58038
7.36/7.42	c bounds 3330 >= 1512 @ 5.58248
7.36/7.42	c bounds 3330 >= 1513 @ 5.58633
7.36/7.42	c bounds 3330 >= 1514 @ 5.58911
7.36/7.42	c bounds 3330 >= 1515 @ 5.59264
7.36/7.42	c bounds 3330 >= 1516 @ 5.59634
7.36/7.42	c bounds 3330 >= 1517 @ 5.59917
7.36/7.42	c bounds 3330 >= 1518 @ 5.60295
7.36/7.42	c bounds 3330 >= 1519 @ 5.6047
7.36/7.42	c bounds 3330 >= 1520 @ 5.60869
7.36/7.42	c bounds 3330 >= 1521 @ 5.61343
7.36/7.42	c bounds 3330 >= 1522 @ 5.61733
7.36/7.42	c bounds 3330 >= 1523 @ 5.62246
7.36/7.42	c bounds 3330 >= 1524 @ 5.62762
7.36/7.42	c bounds 3330 >= 1525 @ 5.63182
7.36/7.42	c bounds 3330 >= 1526 @ 5.63496
7.36/7.42	c bounds 3330 >= 1527 @ 5.63804
7.36/7.42	c bounds 3330 >= 1528 @ 5.64121
7.36/7.42	c bounds 3330 >= 1529 @ 5.64333
7.36/7.42	c bounds 3329 >= 1529 @ 5.8236
7.36/7.42	c bounds 3329 >= 1530 @ 5.82727
7.36/7.42	c bounds 3329 >= 1531 @ 5.83008
7.36/7.42	c bounds 3329 >= 1532 @ 5.83352
7.36/7.42	c bounds 3329 >= 1533 @ 5.83622
7.36/7.42	c bounds 3329 >= 1534 @ 5.83686
7.36/7.42	c bounds 3329 >= 1535 @ 5.8396
7.36/7.42	c bounds 3329 >= 1536 @ 5.84337
7.36/7.42	c bounds 3329 >= 1537 @ 5.84619
7.36/7.42	c bounds 3329 >= 1538 @ 5.85001
7.36/7.42	c bounds 3329 >= 1539 @ 5.85285
7.36/7.42	c bounds 3329 >= 1540 @ 5.856
7.36/7.42	c bounds 3329 >= 1541 @ 5.85977
7.36/7.42	c bounds 3329 >= 1542 @ 5.86299
7.36/7.42	c bounds 3329 >= 1543 @ 5.86576
7.36/7.42	c bounds 3329 >= 1544 @ 5.86678
7.36/7.42	c bounds 3329 >= 1545 @ 5.86941
7.36/7.42	c bounds 3329 >= 1546 @ 5.87215
7.36/7.42	c bounds 3329 >= 1547 @ 5.87479
7.36/7.42	c bounds 3329 >= 1548 @ 5.87866
7.36/7.42	c bounds 3329 >= 1549 @ 5.8814
7.36/7.42	c bounds 3329 >= 1550 @ 5.88526
7.36/7.42	c bounds 3329 >= 1551 @ 5.88829
7.36/7.42	c bounds 3329 >= 1552 @ 5.89109
7.36/7.42	c bounds 3329 >= 1553 @ 5.89369
7.36/7.42	c bounds 3329 >= 1554 @ 5.89638
7.36/7.42	c bounds 3329 >= 1555 @ 5.89907
7.36/7.42	c bounds 3329 >= 1556 @ 5.90263
7.36/7.42	c bounds 3329 >= 1557 @ 5.90533
7.36/7.42	c bounds 3329 >= 1558 @ 5.90805
7.36/7.42	c bounds 3329 >= 1559 @ 5.91062
7.36/7.42	c bounds 3329 >= 1560 @ 5.91438
7.36/7.42	c bounds 3329 >= 1561 @ 5.91736
7.36/7.42	c bounds 3329 >= 1562 @ 5.91947
7.36/7.42	c bounds 3329 >= 1563 @ 5.92242
7.36/7.42	c bounds 3329 >= 1564 @ 5.92664
7.36/7.42	c bounds 3329 >= 1565 @ 5.9294
7.36/7.42	c bounds 3329 >= 1566 @ 5.9331
7.96/8.04	c bounds 3329 >= 1567 @ 5.93604
7.96/8.04	c bounds 3329 >= 1568 @ 5.93895
7.96/8.04	c bounds 3329 >= 1569 @ 5.94279
7.96/8.04	c bounds 3329 >= 1570 @ 5.94547
7.96/8.04	c bounds 3329 >= 1571 @ 5.94929
7.96/8.04	c bounds 3329 >= 1572 @ 5.95338
7.96/8.04	c bounds 3329 >= 1573 @ 5.95749
7.96/8.04	c bounds 3329 >= 1574 @ 5.96024
7.96/8.04	c bounds 3329 >= 1575 @ 5.96291
7.96/8.04	c bounds 3329 >= 1576 @ 5.96757
7.96/8.04	c bounds 3329 >= 1577 @ 5.97028
7.96/8.04	c bounds 3329 >= 1578 @ 5.97494
7.96/8.04	c bounds 3329 >= 1579 @ 5.97864
7.96/8.04	c bounds 3329 >= 1580 @ 5.98135
7.96/8.04	c bounds 3329 >= 1581 @ 5.98406
7.96/8.04	c bounds 3329 >= 1582 @ 5.98883
7.96/8.04	c bounds 3329 >= 1583 @ 5.99265
7.96/8.04	c bounds 3329 >= 1584 @ 5.99568
7.96/8.04	c bounds 3329 >= 1585 @ 5.99876
7.96/8.04	c bounds 3329 >= 1586 @ 6.00193
7.96/8.04	c bounds 3329 >= 1587 @ 6.00487
7.96/8.04	c bounds 3329 >= 1588 @ 6.0078
7.96/8.04	c bounds 3329 >= 1589 @ 6.01076
7.96/8.04	c bounds 3329 >= 1590 @ 6.01364
7.96/8.04	c bounds 3329 >= 1591 @ 6.01735
7.96/8.04	c bounds 3329 >= 1592 @ 6.02033
7.96/8.04	c bounds 3329 >= 1593 @ 6.02414
7.96/8.04	c bounds 3329 >= 1594 @ 6.02691
7.96/8.04	c bounds 3329 >= 1595 @ 6.03149
7.96/8.04	c bounds 3329 >= 1596 @ 6.0352
7.96/8.04	c bounds 3329 >= 1597 @ 6.03891
7.96/8.04	c bounds 3329 >= 1598 @ 6.04077
7.96/8.04	c bounds 3329 >= 1599 @ 6.04555
7.96/8.04	c bounds 3329 >= 1600 @ 6.04931
7.96/8.04	c bounds 3329 >= 1601 @ 6.05325
7.96/8.04	c bounds 3329 >= 1602 @ 6.05629
7.96/8.04	c bounds 3329 >= 1603 @ 6.06014
7.96/8.04	c bounds 3329 >= 1604 @ 6.06309
7.96/8.04	c bounds 3329 >= 1605 @ 6.06596
7.96/8.04	c bounds 3329 >= 1606 @ 6.06864
7.96/8.04	c bounds 3329 >= 1607 @ 6.07241
7.96/8.04	c bounds 3329 >= 1608 @ 6.07495
7.96/8.04	c bounds 3329 >= 1609 @ 6.07775
7.96/8.04	c bounds 3329 >= 1610 @ 6.0817
7.96/8.04	c bounds 3329 >= 1611 @ 6.0846
7.96/8.04	c bounds 3329 >= 1612 @ 6.08845
7.96/8.04	c bounds 3329 >= 1613 @ 6.09139
7.96/8.04	c bounds 3329 >= 1614 @ 6.09458
7.96/8.04	c bounds 3329 >= 1615 @ 6.09861
7.96/8.04	c bounds 3329 >= 1616 @ 6.1018
7.96/8.04	c bounds 3329 >= 1617 @ 6.10455
7.96/8.04	c bounds 3329 >= 1618 @ 6.1074
7.96/8.04	c bounds 3329 >= 1619 @ 6.10998
7.96/8.04	c bounds 3329 >= 1620 @ 6.11375
7.96/8.04	c bounds 3329 >= 1621 @ 6.1185
7.96/8.04	c bounds 3329 >= 1622 @ 6.12326
7.96/8.04	c bounds 3329 >= 1623 @ 6.12599
7.96/8.04	c bounds 3329 >= 1624 @ 6.12975
7.96/8.04	c bounds 3329 >= 1625 @ 6.13279
7.96/8.04	c bounds 3329 >= 1626 @ 6.13606
7.96/8.04	c bounds 3329 >= 1627 @ 6.13896
7.96/8.04	c bounds 3329 >= 1628 @ 6.14175
7.96/8.04	c bounds 3329 >= 1629 @ 6.14441
7.96/8.04	c bounds 3329 >= 1630 @ 6.14639
7.96/8.04	c bounds 3329 >= 1631 @ 6.14926
7.96/8.04	c bounds 3329 >= 1632 @ 6.15383
7.96/8.04	c bounds 3329 >= 1633 @ 6.15758
7.96/8.04	c bounds 3329 >= 1634 @ 6.16141
7.96/8.04	c bounds 3329 >= 1635 @ 6.16399
7.96/8.04	c bounds 3329 >= 1636 @ 6.16689
7.96/8.04	c bounds 3329 >= 1637 @ 6.16976
7.96/8.04	c bounds 3329 >= 1638 @ 6.17393
7.96/8.04	c bounds 3329 >= 1639 @ 6.17689
7.96/8.04	c bounds 3329 >= 1640 @ 6.17972
7.96/8.04	c bounds 3329 >= 1641 @ 6.18349
7.96/8.04	c bounds 3329 >= 1642 @ 6.1863
7.96/8.04	c bounds 3329 >= 1643 @ 6.18917
7.96/8.04	c bounds 3329 >= 1644 @ 6.19277
7.96/8.04	c bounds 3329 >= 1645 @ 6.19571
7.96/8.04	c bounds 3329 >= 1646 @ 6.19965
7.96/8.04	c bounds 3329 >= 1647 @ 6.20155
7.96/8.04	c bounds 3329 >= 1648 @ 6.20544
7.96/8.04	c bounds 3329 >= 1649 @ 6.20856
7.96/8.04	c bounds 3329 >= 1650 @ 6.21051
7.96/8.04	c bounds 3329 >= 1651 @ 6.21445
7.96/8.04	c bounds 3329 >= 1652 @ 6.21838
7.96/8.04	c bounds 3329 >= 1653 @ 6.22132
7.96/8.04	c bounds 3329 >= 1654 @ 6.22512
7.96/8.04	c bounds 3329 >= 1655 @ 6.22903
7.96/8.04	c bounds 3329 >= 1656 @ 6.23263
7.96/8.04	c bounds 3329 >= 1657 @ 6.23546
7.96/8.04	c bounds 3329 >= 1658 @ 6.23823
7.96/8.04	c bounds 3329 >= 1659 @ 6.24217
7.96/8.04	c bounds 3329 >= 1660 @ 6.24539
7.96/8.04	c bounds 3329 >= 1661 @ 6.24825
7.96/8.04	c bounds 3329 >= 1662 @ 6.25123
7.96/8.04	c bounds 3329 >= 1663 @ 6.25508
7.96/8.04	c bounds 3329 >= 1664 @ 6.25796
7.96/8.04	c bounds 3329 >= 1665 @ 6.26168
7.96/8.04	c bounds 3329 >= 1666 @ 6.26458
7.96/8.04	c bounds 3329 >= 1667 @ 6.26847
7.96/8.04	c bounds 3329 >= 1668 @ 6.27069
7.96/8.04	c bounds 3329 >= 1669 @ 6.27439
7.96/8.04	c bounds 3329 >= 1670 @ 6.27723
7.96/8.04	c bounds 3329 >= 1671 @ 6.28048
7.96/8.04	c bounds 3329 >= 1672 @ 6.28256
7.96/8.04	c bounds 3329 >= 1673 @ 6.28553
7.96/8.04	c bounds 3329 >= 1674 @ 6.28844
7.96/8.04	c bounds 3329 >= 1675 @ 6.2921
7.96/8.04	c bounds 3329 >= 1676 @ 6.29402
7.96/8.04	c bounds 3329 >= 1677 @ 6.29696
7.96/8.04	c bounds 3329 >= 1678 @ 6.29891
7.96/8.04	c bounds 3329 >= 1679 @ 6.30168
7.96/8.04	c bounds 3329 >= 1680 @ 6.30462
7.96/8.04	c bounds 3329 >= 1681 @ 6.30857
7.96/8.04	c bounds 3329 >= 1682 @ 6.31198
7.96/8.04	c bounds 3329 >= 1683 @ 6.31612
7.96/8.04	c bounds 3329 >= 1684 @ 6.32005
7.96/8.04	c bounds 3329 >= 1685 @ 6.32392
7.96/8.04	c bounds 3329 >= 1686 @ 6.32786
7.96/8.04	c bounds 3329 >= 1687 @ 6.33168
7.96/8.04	c bounds 3329 >= 1688 @ 6.3348
7.96/8.04	c bounds 3329 >= 1689 @ 6.33878
7.96/8.04	c bounds 3329 >= 1690 @ 6.34157
7.96/8.04	c bounds 3329 >= 1691 @ 6.34552
7.96/8.04	c bounds 3329 >= 1692 @ 6.34948
7.96/8.04	c bounds 3329 >= 1693 @ 6.35461
7.96/8.04	c bounds 3329 >= 1694 @ 6.35793
71.87/72.19	c bounds 3329 >= 1695 @ 6.36087
71.87/72.19	c bounds 3329 >= 1696 @ 6.3647
71.87/72.19	c bounds 3329 >= 1697 @ 6.36829
71.87/72.19	c bounds 3329 >= 1698 @ 6.37211
71.87/72.19	c bounds 3329 >= 1699 @ 6.37594
71.87/72.19	c bounds 3329 >= 1700 @ 6.37894
71.87/72.19	c bounds 3329 >= 1701 @ 6.39627
71.87/72.19	c bounds 3329 >= 1702 @ 6.40994
71.87/72.19	c bounds 3329 >= 1703 @ 6.43685
71.87/72.19	c bounds 3329 >= 1704 @ 6.45206
71.87/72.19	c bounds 3329 >= 1705 @ 6.46906
71.87/72.19	c bounds 3329 >= 1706 @ 6.48354
71.87/72.19	c bounds 3329 >= 1707 @ 6.51058
71.87/72.19	c bounds 3329 >= 1708 @ 6.5381
71.87/72.19	c #Conflicts:       1000 | #Constraints:      16501
71.87/72.19	c bounds 3328 >= 1708 @ 6.87821
71.87/72.19	c bounds 3328 >= 1709 @ 6.89079
71.87/72.19	c bounds 3328 >= 1710 @ 6.90165
71.87/72.19	c bounds 3328 >= 1711 @ 6.9221
71.87/72.19	c bounds 3328 >= 1712 @ 6.94572
71.87/72.19	c #Conflicts:       2000 | #Constraints:      17625
71.87/72.19	c INPROCESSING
71.87/72.19	c GARBAGE COLLECT
71.87/72.19	c bounds 3328 >= 1713 @ 10.9389
71.87/72.19	c #Conflicts:       3000 | #Constraints:      16034
71.87/72.19	c bounds 3328 >= 1714 @ 11.1528
71.87/72.19	c bounds 3322 >= 1714 @ 11.1593
71.87/72.19	c bounds 3321 >= 1714 @ 11.2671
71.87/72.19	c bounds 3320 >= 1714 @ 11.3669
71.87/72.19	c #Conflicts:       4000 | #Constraints:      17079
71.87/72.19	c INPROCESSING
71.87/72.19	c GARBAGE COLLECT
71.87/72.19	c bounds 3320 >= 1715 @ 12.4245
71.87/72.19	c bounds 3320 >= 1716 @ 12.4278
71.87/72.19	c bounds 3320 >= 1717 @ 12.4356
71.87/72.19	c bounds 3320 >= 1718 @ 12.4417
71.87/72.19	c bounds 3320 >= 1719 @ 12.4556
71.87/72.19	c bounds 3320 >= 1720 @ 12.5023
71.87/72.19	c #Conflicts:       5000 | #Constraints:      16611
71.87/72.19	c bounds 3320 >= 1721 @ 12.543
71.87/72.19	c bounds 3320 >= 1722 @ 12.5552
71.87/72.19	c bounds 3320 >= 1723 @ 12.5828
71.87/72.19	c #Conflicts:       6000 | #Constraints:      17728
71.87/72.19	c INPROCESSING
71.87/72.19	c GARBAGE COLLECT
71.87/72.19	c #Conflicts:       7000 | #Constraints:      16759
71.87/72.19	c bounds 3320 >= 1724 @ 21.7328
71.87/72.19	c bounds 3320 >= 1725 @ 21.7466
71.87/72.19	c bounds 3320 >= 1726 @ 21.8071
71.87/72.19	c #Conflicts:       8000 | #Constraints:      17885
71.87/72.19	c bounds 3320 >= 1727 @ 21.8733
71.87/72.19	c bounds 3320 >= 1728 @ 21.9084
71.87/72.19	c bounds 3320 >= 1729 @ 21.9452
71.87/72.19	c #Conflicts:       9000 | #Constraints:      19002
71.87/72.19	c bounds 3320 >= 1730 @ 22.0136
71.87/72.19	c INPROCESSING
71.87/72.19	c GARBAGE COLLECT
71.87/72.19	c bounds 3320 >= 1731 @ 63.8362
71.87/72.19	c #Conflicts:      10000 | #Constraints:      17844
71.87/72.19	c bounds 3319 >= 1731 @ 63.9396
71.87/72.19	c bounds 3319 >= 1732 @ 63.9652
71.87/72.19	c bounds 3318 >= 1732 @ 64.0932
71.87/72.19	c bounds 3318 >= 1733 @ 64.1114
71.87/72.19	c bounds 3318 >= 1734 @ 64.1181
71.87/72.19	c #Conflicts:      11000 | #Constraints:      18954
71.87/72.19	c bounds 3318 >= 1735 @ 64.1395
71.87/72.19	c bounds 3318 >= 1736 @ 64.2681
71.87/72.19	c bounds 3313 >= 1736 @ 64.279
71.87/72.19	c #Conflicts:      12000 | #Constraints:      20030
71.87/72.19	c bounds 3312 >= 1736 @ 64.3418
71.87/72.19	c bounds 3311 >= 1736 @ 64.4088
71.87/72.19	c bounds 3310 >= 1736 @ 65.24
71.87/72.19	c bounds 3310 >= 1737 @ 65.2473
71.87/72.19	c bounds 3310 >= 1738 @ 65.2579
71.87/72.19	c bounds 3310 >= 1739 @ 65.2983
71.87/72.19	c #Conflicts:      13000 | #Constraints:      21138
71.87/72.19	c #Conflicts:      14000 | #Constraints:      22138
71.87/72.19	c bounds 3310 >= 1740 @ 65.6639
71.87/72.19	c bounds 3309 >= 1740 @ 65.6855
71.87/72.19	c bounds 3308 >= 1740 @ 65.7417
71.87/72.19	c bounds 3307 >= 1740 @ 65.9
71.87/72.19	c bounds 3306 >= 1740 @ 65.9995
71.87/72.19	c #Conflicts:      15000 | #Constraints:      23190
71.87/72.19	c bounds 3306 >= 1741 @ 66.3117
71.87/72.19	c bounds 3305 >= 1741 @ 66.3872
71.87/72.19	c bounds 3304 >= 1741 @ 66.4451
71.87/72.19	c bounds 3303 >= 1741 @ 66.5003
71.87/72.19	c bounds 3302 >= 1741 @ 66.5532
71.87/72.19	c bounds 3301 >= 1741 @ 66.6122
71.87/72.19	c bounds 3300 >= 1741 @ 66.6796
71.87/72.19	c bounds 3299 >= 1741 @ 66.7369
71.87/72.19	c bounds 3298 >= 1741 @ 66.8
71.87/72.19	c bounds 3297 >= 1741 @ 66.911
71.87/72.19	c #Conflicts:      16000 | #Constraints:      24226
71.87/72.19	c bounds 3296 >= 1741 @ 67.0686
71.87/72.19	c bounds 3296 >= 1742 @ 67.0817
71.87/72.19	c bounds 3296 >= 1743 @ 67.0917
71.87/72.19	c bounds 3295 >= 1743 @ 67.196
71.87/72.19	c INPROCESSING
71.87/72.19	c GARBAGE COLLECT
71.87/72.19	c bounds 3295 >= 1744 @ 67.3006
71.87/72.19	c #Conflicts:      17000 | #Constraints:      20464
71.87/72.19	c bounds 3295 >= 1745 @ 67.4289
71.87/72.19	c bounds 3294 >= 1745 @ 67.4387
71.87/72.19	c bounds 3293 >= 1745 @ 67.5271
71.87/72.19	c bounds 3292 >= 1745 @ 67.6097
71.87/72.19	c #Conflicts:      18000 | #Constraints:      21551
71.87/72.19	c bounds 3291 >= 1745 @ 67.7546
71.87/72.19	c bounds 3290 >= 1745 @ 68.0618
71.87/72.19	c bounds 3290 >= 1746 @ 68.0722
71.87/72.19	c bounds 3290 >= 1747 @ 68.0797
71.87/72.19	c bounds 3290 >= 1748 @ 68.0938
71.87/72.19	c bounds 3290 >= 1749 @ 68.1119
71.87/72.19	c bounds 3290 >= 1750 @ 68.1221
71.87/72.19	c bounds 3290 >= 1751 @ 68.1494
71.87/72.19	c #Conflicts:      19000 | #Constraints:      22757
71.87/72.19	c #Conflicts:      20000 | #Constraints:      23757
71.87/72.19	c INPROCESSING
71.87/72.19	c GARBAGE COLLECT
71.87/72.19	c bounds 3285 >= 1751 @ 68.4016
71.87/72.19	c bounds 3284 >= 1751 @ 68.5127
71.87/72.19	c bounds 3283 >= 1751 @ 68.6373
453.65/454.97	c bounds 3282 >= 1751 @ 68.7031
453.65/454.97	c bounds 3281 >= 1751 @ 68.7558
453.65/454.97	c bounds 3280 >= 1751 @ 69.0329
453.65/454.97	c bounds 3280 >= 1752 @ 69.0458
453.65/454.97	c bounds 3280 >= 1753 @ 69.0568
453.65/454.97	c bounds 3280 >= 1754 @ 69.0764
453.65/454.97	c #Conflicts:      21000 | #Constraints:      20556
453.65/454.97	c bounds 3280 >= 1755 @ 69.1057
453.65/454.97	c bounds 3278 >= 1755 @ 69.1287
453.65/454.97	c #Conflicts:      22000 | #Constraints:      21596
453.65/454.97	c bounds 3278 >= 1756 @ 156.71
453.65/454.97	c bounds 3277 >= 1756 @ 156.862
453.65/454.97	c bounds 3276 >= 1756 @ 156.945
453.65/454.97	c bounds 3275 >= 1756 @ 157.041
453.65/454.97	c bounds 3275 >= 1757 @ 157.052
453.65/454.97	c bounds 3275 >= 1758 @ 157.063
453.65/454.97	c bounds 3275 >= 1759 @ 157.091
453.65/454.97	c bounds 3275 >= 1760 @ 157.135
453.65/454.97	c bounds 3274 >= 1760 @ 157.247
453.65/454.97	c #Conflicts:      23000 | #Constraints:      22786
453.65/454.97	c bounds 3274 >= 1761 @ 157.376
453.65/454.97	c bounds 3273 >= 1761 @ 157.599
453.65/454.97	c bounds 3273 >= 1762 @ 157.681
453.65/454.97	c #Conflicts:      24000 | #Constraints:      23859
453.65/454.97	c bounds 3272 >= 1762 @ 157.882
453.65/454.97	c #Conflicts:      25000 | #Constraints:      24860
453.65/454.97	c #Conflicts:      26000 | #Constraints:      25860
453.65/454.97	c bounds 3272 >= 1763 @ 158.47
453.65/454.97	c bounds 3271 >= 1763 @ 158.589
453.65/454.97	c bounds 3270 >= 1763 @ 158.687
453.65/454.97	c bounds 3269 >= 1763 @ 158.854
453.65/454.97	c #Conflicts:      27000 | #Constraints:      26923
453.65/454.97	c bounds 3268 >= 1763 @ 161.24
453.65/454.97	c bounds 3268 >= 1764 @ 161.26
453.65/454.97	c bounds 3268 >= 1765 @ 161.274
453.65/454.97	c bounds 3268 >= 1766 @ 161.299
453.65/454.97	c bounds 3268 >= 1767 @ 161.365
453.65/454.97	c bounds 3268 >= 1768 @ 161.404
453.65/454.97	c bounds 3268 >= 1769 @ 161.447
453.65/454.97	c #Conflicts:      28000 | #Constraints:      28191
453.65/454.97	c bounds 3268 >= 1770 @ 161.53
453.65/454.97	c #Conflicts:      29000 | #Constraints:      29224
453.65/454.97	c bounds 3268 >= 1771 @ 161.872
453.65/454.97	c bounds 3268 >= 1772 @ 162.204
453.65/454.97	c #Conflicts:      30000 | #Constraints:      30335
453.65/454.97	c INPROCESSING
453.65/454.97	c GARBAGE COLLECT
453.65/454.97	c #Conflicts:      31000 | #Constraints:      23987
453.65/454.97	c bounds 3268 >= 1773 @ 162.819
453.65/454.97	c #Conflicts:      32000 | #Constraints:      25020
453.65/454.97	c #Conflicts:      33000 | #Constraints:      26020
453.65/454.97	c bounds 3268 >= 1774 @ 163.31
453.65/454.97	c #Conflicts:      34000 | #Constraints:      27113
453.65/454.97	c bounds 3251 >= 1774 @ 163.606
453.65/454.97	c bounds 3250 >= 1774 @ 163.858
453.65/454.97	c #Conflicts:      35000 | #Constraints:      28115
453.65/454.97	c bounds 3249 >= 1774 @ 164.206
453.65/454.97	c bounds 3249 >= 1775 @ 164.221
453.65/454.97	c bounds 3249 >= 1776 @ 164.236
453.65/454.97	c bounds 3249 >= 1777 @ 164.248
453.65/454.97	c bounds 3249 >= 1778 @ 164.281
453.65/454.97	c bounds 3245 >= 1778 @ 164.303
453.65/454.97	c bounds 3244 >= 1778 @ 164.49
453.65/454.97	c #Conflicts:      36000 | #Constraints:      29262
453.65/454.97	c INPROCESSING
453.65/454.97	c GARBAGE COLLECT
453.65/454.97	c bounds 3244 >= 1779 @ 164.635
453.65/454.97	c bounds 3243 >= 1779 @ 164.826
453.65/454.97	c bounds 3243 >= 1780 @ 164.841
453.65/454.97	c bounds 3243 >= 1781 @ 164.859
453.65/454.97	c bounds 3242 >= 1781 @ 165.125
453.65/454.97	c bounds 3242 >= 1782 @ 165.148
453.65/454.97	c #Conflicts:      37000 | #Constraints:      25295
453.65/454.97	c bounds 3242 >= 1783 @ 165.169
453.65/454.97	c bounds 3242 >= 1784 @ 165.201
453.65/454.97	c #Conflicts:      38000 | #Constraints:      26370
453.65/454.97	c bounds 3242 >= 1785 @ 165.376
453.65/454.97	c bounds 3241 >= 1785 @ 165.557
453.65/454.97	c #Conflicts:      39000 | #Constraints:      27404
453.65/454.97	c bounds 3240 >= 1785 @ 166.92
453.65/454.97	c #Conflicts:      40000 | #Constraints:      28405
453.65/454.97	c #Conflicts:      41000 | #Constraints:      29405
453.65/454.97	c #Conflicts:      42000 | #Constraints:      30405
453.65/454.97	c #Conflicts:      43000 | #Constraints:      31405
453.65/454.97	c bounds 3240 >= 1786 @ 168.302
453.65/454.97	c bounds 3239 >= 1786 @ 168.436
453.65/454.97	c bounds 3238 >= 1786 @ 168.563
453.65/454.97	c bounds 3237 >= 1786 @ 168.675
453.65/454.97	c bounds 3236 >= 1786 @ 168.801
453.65/454.97	c bounds 3235 >= 1786 @ 168.929
453.65/454.97	c #Conflicts:      44000 | #Constraints:      32476
453.65/454.97	c bounds 3234 >= 1786 @ 171.559
453.65/454.97	c #Conflicts:      45000 | #Constraints:      33477
453.65/454.97	c #Conflicts:      46000 | #Constraints:      34477
453.65/454.97	c bounds 3234 >= 1787 @ 171.957
453.65/454.97	c #Conflicts:      47000 | #Constraints:      35552
453.65/454.97	c #Conflicts:      48000 | #Constraints:      36552
453.65/454.97	c #Conflicts:      49000 | #Constraints:      37552
453.65/454.97	c INPROCESSING
453.65/454.97	c GARBAGE COLLECT
453.65/454.97	c rational objective 2022.3
485.56/486.99	c #Conflicts:      50000 | #Constraints:      28093
485.56/486.99	c bounds 3233 >= 1787 @ 448.761
485.56/486.99	c bounds 3233 >= 1788 @ 448.773
485.56/486.99	c bounds 3233 >= 1789 @ 448.787
485.56/486.99	c bounds 3233 >= 1790 @ 448.795
485.56/486.99	c bounds 3233 >= 1791 @ 448.818
485.56/486.99	c bounds 3233 >= 1792 @ 448.832
485.56/486.99	c bounds 3233 >= 1793 @ 448.873
485.56/486.99	c bounds 3232 >= 1793 @ 449.214
485.56/486.99	c #Conflicts:      51000 | #Constraints:      29299
485.56/486.99	c #Conflicts:      52000 | #Constraints:      30299
485.56/486.99	c #Conflicts:      53000 | #Constraints:      31299
485.56/486.99	c bounds 3232 >= 1794 @ 450.009
485.56/486.99	c #Conflicts:      54000 | #Constraints:      32341
485.56/486.99	c bounds 3231 >= 1794 @ 450.978
485.56/486.99	c bounds 3230 >= 1794 @ 451.317
485.56/486.99	c bounds 3229 >= 1794 @ 451.589
485.56/486.99	c bounds 3228 >= 1794 @ 451.863
485.56/486.99	c bounds 3228 >= 1795 @ 451.882
485.56/486.99	c bounds 3228 >= 1796 @ 451.908
485.56/486.99	c bounds 3228 >= 1797 @ 451.968
485.56/486.99	c bounds 3227 >= 1797 @ 452.236
485.56/486.99	c #Conflicts:      55000 | #Constraints:      33466
485.56/486.99	c bounds 3227 >= 1798 @ 452.324
485.56/486.99	c bounds 3227 >= 1799 @ 452.41
485.56/486.99	c bounds 3226 >= 1799 @ 452.589
485.56/486.99	c bounds 3226 >= 1800 @ 452.608
485.56/486.99	c bounds 3226 >= 1801 @ 452.644
485.56/486.99	c #Conflicts:      56000 | #Constraints:      34605
485.56/486.99	c INPROCESSING
485.56/486.99	c GARBAGE COLLECT
485.56/486.99	c bounds 3225 >= 1801 @ 453.331
485.56/486.99	c bounds 3225 >= 1802 @ 453.344
485.56/486.99	c bounds 3225 >= 1803 @ 453.358
485.56/486.99	c bounds 3225 >= 1804 @ 453.393
485.56/486.99	c #Conflicts:      57000 | #Constraints:      29072
485.56/486.99	c #Conflicts:      58000 | #Constraints:      30072
485.56/486.99	c bounds 3225 >= 1805 @ 453.664
485.56/486.99	c bounds 3224 >= 1805 @ 454.239
485.56/486.99	c #Conflicts:      59000 | #Constraints:      31109
485.56/486.99	c bounds 3224 >= 1806 @ 454.394
485.56/486.99	c #Conflicts:      60000 | #Constraints:      32163
485.56/486.99	c bounds 3223 >= 1806 @ 455.79
485.56/486.99	c #Conflicts:      61000 | #Constraints:      33164
485.56/486.99	c bounds 3223 >= 1807 @ 456.234
485.56/486.99	c #Conflicts:      62000 | #Constraints:      34242
485.56/486.99	c #Conflicts:      63000 | #Constraints:      35242
485.56/486.99	c bounds 3223 >= 1808 @ 457.112
485.56/486.99	c bounds 3222 >= 1808 @ 457.526
485.56/486.99	c #Conflicts:      64000 | #Constraints:      36330
485.56/486.99	c bounds 3221 >= 1808 @ 457.698
485.56/486.99	c bounds 3220 >= 1808 @ 457.875
485.56/486.99	c bounds 3219 >= 1808 @ 458.074
485.56/486.99	c bounds 3218 >= 1808 @ 458.249
485.56/486.99	c bounds 3217 >= 1808 @ 458.467
485.56/486.99	c bounds 3216 >= 1808 @ 458.667
485.56/486.99	c bounds 3215 >= 1808 @ 459.263
485.56/486.99	c #Conflicts:      65000 | #Constraints:      37337
485.56/486.99	c #Conflicts:      66000 | #Constraints:      38337
485.56/486.99	c bounds 3215 >= 1809 @ 459.744
485.56/486.99	c bounds 3214 >= 1809 @ 460.05
485.56/486.99	c bounds 3213 >= 1809 @ 460.422
485.56/486.99	c bounds 3213 >= 1810 @ 460.437
485.56/486.99	c bounds 3213 >= 1811 @ 460.464
485.56/486.99	c bounds 3213 >= 1812 @ 460.501
485.56/486.99	c bounds 3213 >= 1813 @ 460.542
485.56/486.99	c bounds 3212 >= 1813 @ 460.783
485.56/486.99	c #Conflicts:      67000 | #Constraints:      39532
485.56/486.99	c bounds 3212 >= 1814 @ 460.896
485.56/486.99	c bounds 3212 >= 1815 @ 461.074
485.56/486.99	c bounds 3211 >= 1815 @ 461.277
485.56/486.99	c bounds 3210 >= 1815 @ 461.484
485.56/486.99	c bounds 3210 >= 1816 @ 461.533
485.56/486.99	c #Conflicts:      68000 | #Constraints:      40645
485.56/486.99	c bounds 3210 >= 1817 @ 461.909
485.56/486.99	c bounds 3209 >= 1817 @ 462.183
485.56/486.99	c #Conflicts:      69000 | #Constraints:      41700
485.56/486.99	c bounds 3208 >= 1817 @ 462.392
485.56/486.99	c bounds 3207 >= 1817 @ 462.722
485.56/486.99	c bounds 3206 >= 1817 @ 463.324
485.56/486.99	c #Conflicts:      70000 | #Constraints:      42703
485.56/486.99	c #Conflicts:      71000 | #Constraints:      43703
485.56/486.99	c bounds 3206 >= 1818 @ 464.625
485.56/486.99	c bounds 3205 >= 1818 @ 464.921
485.56/486.99	c bounds 3204 >= 1818 @ 465.85
485.56/486.99	c #Conflicts:      72000 | #Constraints:      44759
485.56/486.99	c bounds 3203 >= 1818 @ 467.448
485.56/486.99	c INPROCESSING
485.56/486.99	c GARBAGE COLLECT
485.56/486.99	c #Conflicts:      73000 | #Constraints:      32182
485.56/486.99	c bounds 3203 >= 1819 @ 467.906
485.56/486.99	c #Conflicts:      74000 | #Constraints:      33215
485.56/486.99	c #Conflicts:      75000 | #Constraints:      34215
485.56/486.99	c #Conflicts:      76000 | #Constraints:      35215
485.56/486.99	c #Conflicts:      77000 | #Constraints:      36215
485.56/486.99	c #Conflicts:      78000 | #Constraints:      37215
485.56/486.99	c #Conflicts:      79000 | #Constraints:      38215
485.56/486.99	c #Conflicts:      80000 | #Constraints:      39215
485.56/486.99	c bounds 3203 >= 1820 @ 470.821
485.56/486.99	c #Conflicts:      81000 | #Constraints:      40332
485.56/486.99	c #Conflicts:      82000 | #Constraints:      41332
485.56/486.99	c bounds 3202 >= 1820 @ 476.257
485.56/486.99	c bounds 3202 >= 1821 @ 476.274
485.56/486.99	c bounds 3202 >= 1822 @ 476.308
485.56/486.99	c bounds 3202 >= 1823 @ 476.366
485.56/486.99	c #Conflicts:      83000 | #Constraints:      42453
485.56/486.99	c bounds 3202 >= 1824 @ 476.604
485.56/486.99	c #Conflicts:      84000 | #Constraints:      43489
485.56/486.99	c bounds 3202 >= 1825 @ 476.83
905.89/908.48	c bounds 3202 >= 1826 @ 477.052
905.89/908.48	c #Conflicts:      85000 | #Constraints:      44561
905.89/908.48	c bounds 3202 >= 1827 @ 477.358
905.89/908.48	c bounds 3202 >= 1828 @ 477.384
905.89/908.48	c bounds 3202 >= 1829 @ 477.427
905.89/908.48	c bounds 3202 >= 1830 @ 477.521
905.89/908.48	c #Conflicts:      86000 | #Constraints:      45702
905.89/908.48	c #Conflicts:      87000 | #Constraints:      46702
905.89/908.48	c bounds 3202 >= 1831 @ 627.991
905.89/908.48	c #Conflicts:      88000 | #Constraints:      47741
905.89/908.48	c bounds 3192 >= 1831 @ 628.769
905.89/908.48	c #Conflicts:      89000 | #Constraints:      48742
905.89/908.48	c #Conflicts:      90000 | #Constraints:      49742
905.89/908.48	c #Conflicts:      91000 | #Constraints:      50742
905.89/908.48	c INPROCESSING
905.89/908.48	c GARBAGE COLLECT
905.89/908.48	c bounds 3191 >= 1831 @ 629.819
905.89/908.48	c bounds 3190 >= 1831 @ 629.857
905.89/908.48	c bounds 3189 >= 1831 @ 629.895
905.89/908.48	c bounds 3188 >= 1831 @ 630.105
905.89/908.48	c bounds 3187 >= 1831 @ 630.342
905.89/908.48	c #Conflicts:      92000 | #Constraints:      36753
905.89/908.48	c bounds 3186 >= 1831 @ 632.55
905.89/908.48	c #Conflicts:      93000 | #Constraints:      37754
905.89/908.48	c #Conflicts:      94000 | #Constraints:      38754
905.89/908.48	c #Conflicts:      95000 | #Constraints:      39754
905.89/908.48	c #Conflicts:      96000 | #Constraints:      40754
905.89/908.48	c #Conflicts:      97000 | #Constraints:      41754
905.89/908.48	c bounds 3186 >= 1832 @ 634.213
905.89/908.48	c bounds 3185 >= 1832 @ 634.333
905.89/908.48	c bounds 3184 >= 1832 @ 634.44
905.89/908.48	c #Conflicts:      98000 | #Constraints:      42792
905.89/908.48	c #Conflicts:      99000 | #Constraints:      43792
905.89/908.48	c #Conflicts:     100000 | #Constraints:      44792
905.89/908.48	c #Conflicts:     101000 | #Constraints:      45792
905.89/908.48	c #Conflicts:     102000 | #Constraints:      46792
905.89/908.48	c #Conflicts:     103000 | #Constraints:      47792
905.89/908.48	c bounds 3184 >= 1833 @ 637.605
905.89/908.48	c bounds 3183 >= 1833 @ 637.795
905.89/908.48	c bounds 3182 >= 1833 @ 637.947
905.89/908.48	c #Conflicts:     104000 | #Constraints:      48854
905.89/908.48	c bounds 3181 >= 1833 @ 638.062
905.89/908.48	c bounds 3180 >= 1833 @ 638.478
905.89/908.48	c bounds 3179 >= 1833 @ 638.695
905.89/908.48	c bounds 3178 >= 1833 @ 638.991
905.89/908.48	c bounds 3177 >= 1833 @ 639.185
905.89/908.48	c bounds 3176 >= 1833 @ 639.469
905.89/908.48	c bounds 3175 >= 1833 @ 639.748
905.89/908.48	c bounds 3174 >= 1833 @ 640.459
905.89/908.48	c #Conflicts:     105000 | #Constraints:      49862
905.89/908.48	c #Conflicts:     106000 | #Constraints:      50862
905.89/908.48	c bounds 3173 >= 1833 @ 643.564
905.89/908.48	c #Conflicts:     107000 | #Constraints:      51863
905.89/908.48	c #Conflicts:     108000 | #Constraints:      52863
905.89/908.48	c bounds 3172 >= 1833 @ 657.38
905.89/908.48	c #Conflicts:     109000 | #Constraints:      53864
905.89/908.48	c #Conflicts:     110000 | #Constraints:      54864
905.89/908.48	c #Conflicts:     111000 | #Constraints:      55864
905.89/908.48	c bounds 3172 >= 1834 @ 661.314
905.89/908.48	c INPROCESSING
905.89/908.48	c GARBAGE COLLECT
905.89/908.48	c rational objective 2022.3
1313.92/1317.69	c #Conflicts:     112000 | #Constraints:      38975
1313.92/1317.69	c #Conflicts:     113000 | #Constraints:      39975
1313.92/1317.69	c #Conflicts:     114000 | #Constraints:      40975
1313.92/1317.69	c bounds 3172 >= 1835 @ 895.301
1313.92/1317.69	c #Conflicts:     115000 | #Constraints:      42029
1313.92/1317.69	c #Conflicts:     116000 | #Constraints:      43029
1313.92/1317.69	c #Conflicts:     117000 | #Constraints:      44029
1313.92/1317.69	c #Conflicts:     118000 | #Constraints:      45029
1313.92/1317.69	c #Conflicts:     119000 | #Constraints:      46029
1313.92/1317.69	c bounds 3172 >= 1836 @ 897.065
1313.92/1317.69	c #Conflicts:     120000 | #Constraints:      47089
1313.92/1317.69	c #Conflicts:     121000 | #Constraints:      48089
1313.92/1317.69	c #Conflicts:     122000 | #Constraints:      49089
1313.92/1317.69	c #Conflicts:     123000 | #Constraints:      50089
1313.92/1317.69	c #Conflicts:     124000 | #Constraints:      51089
1313.92/1317.69	c #Conflicts:     125000 | #Constraints:      52089
1313.92/1317.69	c #Conflicts:     126000 | #Constraints:      53089
1313.92/1317.69	c #Conflicts:     127000 | #Constraints:      54089
1313.92/1317.69	c #Conflicts:     128000 | #Constraints:      55089
1313.92/1317.69	c #Conflicts:     129000 | #Constraints:      56089
1313.92/1317.69	c #Conflicts:     130000 | #Constraints:      57089
1313.92/1317.69	c #Conflicts:     131000 | #Constraints:      58089
1313.92/1317.69	c #Conflicts:     132000 | #Constraints:      59089
1313.92/1317.69	c #Conflicts:     133000 | #Constraints:      60089
1313.92/1317.69	c #Conflicts:     134000 | #Constraints:      61089
1313.92/1317.69	c INPROCESSING
1313.92/1317.69	c GARBAGE COLLECT
1313.92/1317.69	c bounds 3171 >= 1836 @ 911.403
1313.92/1317.69	c bounds 3170 >= 1836 @ 911.563
1313.92/1317.69	c bounds 3169 >= 1836 @ 911.74
1313.92/1317.69	c bounds 3168 >= 1836 @ 911.859
1313.92/1317.69	c bounds 3167 >= 1836 @ 911.978
1313.92/1317.69	c #Conflicts:     135000 | #Constraints:      43488
1313.92/1317.69	c bounds 3166 >= 1836 @ 912.373
1313.92/1317.69	c bounds 3165 >= 1836 @ 912.927
1313.92/1317.69	c bounds 3164 >= 1836 @ 913.102
1313.92/1317.69	c bounds 3163 >= 1836 @ 913.54
1313.92/1317.69	c #Conflicts:     136000 | #Constraints:      44492
1313.92/1317.69	c bounds 3162 >= 1836 @ 914.952
1313.92/1317.69	c bounds 3161 >= 1836 @ 915.282
1313.92/1317.69	c bounds 3160 >= 1836 @ 915.539
1313.92/1317.69	c bounds 3159 >= 1836 @ 915.983
1313.92/1317.69	c #Conflicts:     137000 | #Constraints:      45496
1313.92/1317.69	c #Conflicts:     138000 | #Constraints:      46496
1313.92/1317.69	c bounds 3158 >= 1836 @ 921.667
1313.92/1317.69	c bounds 3157 >= 1836 @ 922.72
1313.92/1317.69	c bounds 3156 >= 1836 @ 923.292
1313.92/1317.69	c #Conflicts:     139000 | #Constraints:      47499
1313.92/1317.69	c bounds 3155 >= 1836 @ 923.826
1313.92/1317.69	c bounds 3154 >= 1836 @ 924.386
1313.92/1317.69	c bounds 3153 >= 1836 @ 924.912
1313.92/1317.69	c #Conflicts:     140000 | #Constraints:      48502
1313.92/1317.69	c #Conflicts:     141000 | #Constraints:      49502
1313.92/1317.69	c bounds 3152 >= 1836 @ 934.169
1313.92/1317.69	c #Conflicts:     142000 | #Constraints:      50503
1313.92/1317.69	c #Conflicts:     143000 | #Constraints:      51503
1313.92/1317.69	c #Conflicts:     144000 | #Constraints:      52503
1313.92/1317.69	c #Conflicts:     145000 | #Constraints:      53503
1313.92/1317.69	c #Conflicts:     146000 | #Constraints:      54503
1313.92/1317.69	c #Conflicts:     147000 | #Constraints:      55503
1313.92/1317.69	c bounds 3152 >= 1837 @ 1255.62
1313.92/1317.69	c #Conflicts:     148000 | #Constraints:      56578
1313.92/1317.69	c #Conflicts:     149000 | #Constraints:      57578
1313.92/1317.69	c bounds 3151 >= 1837 @ 1264.82
1313.92/1317.69	c bounds 3151 >= 1838 @ 1265.7
1313.92/1317.69	c #Conflicts:     150000 | #Constraints:      58615
1313.92/1317.69	c bounds 3151 >= 1839 @ 1266.63
1313.92/1317.69	c #Conflicts:     151000 | #Constraints:      59660
1313.92/1317.69	c bounds 3151 >= 1840 @ 1269.44
1313.92/1317.69	c bounds 3151 >= 1841 @ 1270.26
1313.92/1317.69	c #Conflicts:     152000 | #Constraints:      60747
1313.92/1317.69	c bounds 3151 >= 1842 @ 1271.85
1313.92/1317.69	c #Conflicts:     153000 | #Constraints:      61789
1313.92/1317.69	c bounds 3150 >= 1842 @ 1273.23
1313.92/1317.69	c #Conflicts:     154000 | #Constraints:      62790
1313.92/1317.69	c #Conflicts:     155000 | #Constraints:      63790
1313.92/1317.69	c bounds 3150 >= 1843 @ 1275.9
1313.92/1317.69	c bounds 3149 >= 1843 @ 1276.62
1313.92/1317.69	c bounds 3148 >= 1843 @ 1277.31
1313.92/1317.69	c bounds 3147 >= 1843 @ 1280.03
1313.92/1317.69	c #Conflicts:     156000 | #Constraints:      64829
1313.92/1317.69	c #Conflicts:     157000 | #Constraints:      65829
1313.92/1317.69	c #Conflicts:     158000 | #Constraints:      66829
1313.92/1317.69	c #Conflicts:     159000 | #Constraints:      67829
1313.92/1317.69	c INPROCESSING
1313.92/1317.69	c GARBAGE COLLECT
1313.92/1317.69	c bounds 3146 >= 1843 @ 1289.38
1313.92/1317.69	c bounds 3145 >= 1843 @ 1289.97
1313.92/1317.69	c bounds 3144 >= 1843 @ 1290.3
1313.92/1317.69	c bounds 3143 >= 1843 @ 1291.05
1313.92/1317.69	c #Conflicts:     160000 | #Constraints:      47223
1313.92/1317.69	c bounds 3142 >= 1843 @ 1295.31
1313.92/1317.69	c #Conflicts:     161000 | #Constraints:      48224
1313.92/1317.69	c bounds 3141 >= 1843 @ 1297.26
1313.92/1317.69	c #Conflicts:     162000 | #Constraints:      49225
1313.92/1317.69	c #Conflicts:     163000 | #Constraints:      50225
1313.92/1317.69	c bounds 3141 >= 1844 @ 1298.36
1313.92/1317.69	c #Conflicts:     164000 | #Constraints:      51285
1651.86/1656.59	c #Conflicts:     165000 | #Constraints:      52285
1651.86/1656.59	c #Conflicts:     166000 | #Constraints:      53285
1651.86/1656.59	c #Conflicts:     167000 | #Constraints:      54285
1651.86/1656.59	c #Conflicts:     168000 | #Constraints:      55285
1651.86/1656.59	c #Conflicts:     169000 | #Constraints:      56285
1651.86/1656.59	c bounds 3141 >= 1845 @ 1302.72
1651.86/1656.59	c bounds 3140 >= 1845 @ 1303.27
1651.86/1656.59	c bounds 3139 >= 1845 @ 1303.59
1651.86/1656.59	c bounds 3138 >= 1845 @ 1303.95
1651.86/1656.59	c bounds 3137 >= 1845 @ 1304.29
1651.86/1656.59	c bounds 3136 >= 1845 @ 1304.63
1651.86/1656.59	c bounds 3135 >= 1845 @ 1305.24
1651.86/1656.59	c bounds 3134 >= 1845 @ 1305.65
1651.86/1656.59	c bounds 3133 >= 1845 @ 1306.25
1651.86/1656.59	c #Conflicts:     170000 | #Constraints:      57344
1651.86/1656.59	c bounds 3132 >= 1845 @ 1308.09
1651.86/1656.59	c bounds 3131 >= 1845 @ 1308.95
1651.86/1656.59	c bounds 3130 >= 1845 @ 1309.76
1651.86/1656.59	c bounds 3129 >= 1845 @ 1310.69
1651.86/1656.59	c #Conflicts:     171000 | #Constraints:      58348
1651.86/1656.59	c bounds 3128 >= 1845 @ 1311.55
1651.86/1656.59	c bounds 3127 >= 1845 @ 1312.61
1651.86/1656.59	c bounds 3126 >= 1845 @ 1313.65
1651.86/1656.59	c #Conflicts:     172000 | #Constraints:      59351
1651.86/1656.59	c #Conflicts:     173000 | #Constraints:      60351
1651.86/1656.59	c #Conflicts:     174000 | #Constraints:      61351
1651.86/1656.59	c #Conflicts:     175000 | #Constraints:      62351
1651.86/1656.59	c #Conflicts:     176000 | #Constraints:      63351
1651.86/1656.59	c #Conflicts:     177000 | #Constraints:      64351
1651.86/1656.59	c #Conflicts:     178000 | #Constraints:      65351
1651.86/1656.59	c #Conflicts:     179000 | #Constraints:      66351
1651.86/1656.59	c #Conflicts:     180000 | #Constraints:      67351
1651.86/1656.59	c #Conflicts:     181000 | #Constraints:      68351
1651.86/1656.59	c #Conflicts:     182000 | #Constraints:      69351
1651.86/1656.59	c #Conflicts:     183000 | #Constraints:      70351
1651.86/1656.59	c #Conflicts:     184000 | #Constraints:      71351
1651.86/1656.59	c #Conflicts:     185000 | #Constraints:      72351
1651.86/1656.59	c INPROCESSING
1651.86/1656.59	c GARBAGE COLLECT
1651.86/1656.59	c rational objective 2022.3
2317.14/2323.43	c #Conflicts:     186000 | #Constraints:      48824
2317.14/2323.43	c bounds 3125 >= 1845 @ 1636.71
2317.14/2323.43	c bounds 3124 >= 1845 @ 1637.81
2317.14/2323.43	c #Conflicts:     187000 | #Constraints:      49826
2317.14/2323.43	c bounds 3123 >= 1845 @ 1644.09
2317.14/2323.43	c #Conflicts:     188000 | #Constraints:      50827
2317.14/2323.43	c bounds 3122 >= 1845 @ 1646.24
2317.14/2323.43	c #Conflicts:     189000 | #Constraints:      51828
2317.14/2323.43	c bounds 3121 >= 1845 @ 1649.24
2317.14/2323.43	c #Conflicts:     190000 | #Constraints:      52829
2317.14/2323.43	c #Conflicts:     191000 | #Constraints:      53829
2317.14/2323.43	c #Conflicts:     192000 | #Constraints:      54829
2317.14/2323.43	c #Conflicts:     193000 | #Constraints:      55829
2317.14/2323.43	c #Conflicts:     194000 | #Constraints:      56829
2317.14/2323.43	c #Conflicts:     195000 | #Constraints:      57829
2317.14/2323.43	c #Conflicts:     196000 | #Constraints:      58829
2317.14/2323.43	c #Conflicts:     197000 | #Constraints:      59829
2317.14/2323.43	c #Conflicts:     198000 | #Constraints:      60829
2317.14/2323.43	c #Conflicts:     199000 | #Constraints:      61829
2317.14/2323.43	c bounds 3120 >= 1845 @ 1720.35
2317.14/2323.43	c #Conflicts:     200000 | #Constraints:      62830
2317.14/2323.43	c #Conflicts:     201000 | #Constraints:      63830
2317.14/2323.43	c #Conflicts:     202000 | #Constraints:      64830
2317.14/2323.43	c #Conflicts:     203000 | #Constraints:      65830
2317.14/2323.43	c #Conflicts:     204000 | #Constraints:      66830
2317.14/2323.43	c #Conflicts:     205000 | #Constraints:      67830
2317.14/2323.43	c #Conflicts:     206000 | #Constraints:      68830
2317.14/2323.43	c bounds 3120 >= 1846 @ 1730.48
2317.14/2323.43	c #Conflicts:     207000 | #Constraints:      69890
2317.14/2323.43	c #Conflicts:     208000 | #Constraints:      70890
2317.14/2323.43	c #Conflicts:     209000 | #Constraints:      71890
2317.14/2323.43	c #Conflicts:     210000 | #Constraints:      72890
2317.14/2323.43	c #Conflicts:     211000 | #Constraints:      73890
2317.14/2323.43	c #Conflicts:     212000 | #Constraints:      74890
2317.14/2323.43	c #Conflicts:     213000 | #Constraints:      75890
2317.14/2323.43	c #Conflicts:     214000 | #Constraints:      76890
2317.14/2323.43	c INPROCESSING
2317.14/2323.43	c GARBAGE COLLECT
2317.14/2323.43	c #Conflicts:     215000 | #Constraints:      50656
2317.14/2323.43	c #Conflicts:     216000 | #Constraints:      51656
2317.14/2323.43	c #Conflicts:     217000 | #Constraints:      52656
2317.14/2323.43	c #Conflicts:     218000 | #Constraints:      53656
2317.14/2323.43	c #Conflicts:     219000 | #Constraints:      54656
2317.14/2323.43	c #Conflicts:     220000 | #Constraints:      55656
2317.14/2323.43	c #Conflicts:     221000 | #Constraints:      56656
2317.14/2323.43	c #Conflicts:     222000 | #Constraints:      57656
2317.14/2323.43	c #Conflicts:     223000 | #Constraints:      58656
2317.14/2323.43	c #Conflicts:     224000 | #Constraints:      59656
2317.14/2323.43	c #Conflicts:     225000 | #Constraints:      60656
2317.14/2323.43	c #Conflicts:     226000 | #Constraints:      61656
2317.14/2323.43	c #Conflicts:     227000 | #Constraints:      62656
2317.14/2323.43	c #Conflicts:     228000 | #Constraints:      63656
2317.14/2323.43	c #Conflicts:     229000 | #Constraints:      64656
2317.14/2323.43	c #Conflicts:     230000 | #Constraints:      65656
2317.14/2323.43	c #Conflicts:     231000 | #Constraints:      66656
2317.14/2323.43	c #Conflicts:     232000 | #Constraints:      67656
2317.14/2323.43	c #Conflicts:     233000 | #Constraints:      68656
2317.14/2323.43	c #Conflicts:     234000 | #Constraints:      69656
2317.14/2323.43	c #Conflicts:     235000 | #Constraints:      70656
2317.14/2323.43	c #Conflicts:     236000 | #Constraints:      71656
2317.14/2323.43	c #Conflicts:     237000 | #Constraints:      72656
2317.14/2323.43	c #Conflicts:     238000 | #Constraints:      73656
2317.14/2323.43	c #Conflicts:     239000 | #Constraints:      74656
2317.14/2323.43	c #Conflicts:     240000 | #Constraints:      75656
2317.14/2323.43	c #Conflicts:     241000 | #Constraints:      76656
2317.14/2323.43	c #Conflicts:     242000 | #Constraints:      77656
2317.14/2323.43	c #Conflicts:     243000 | #Constraints:      78656
2317.14/2323.43	c #Conflicts:     244000 | #Constraints:      79656
2317.14/2323.43	c INPROCESSING
2317.14/2323.43	c GARBAGE COLLECT
2317.14/2323.43	c rational objective 2022.3
2407.92/2414.41	c #Conflicts:     245000 | #Constraints:      52729
2407.92/2414.41	c #Conflicts:     246000 | #Constraints:      53729
2407.92/2414.41	c #Conflicts:     247000 | #Constraints:      54729
2407.92/2414.41	c #Conflicts:     248000 | #Constraints:      55729
2407.92/2414.41	c #Conflicts:     249000 | #Constraints:      56729
2407.92/2414.41	c #Conflicts:     250000 | #Constraints:      57729
2407.92/2414.41	c #Conflicts:     251000 | #Constraints:      58729
2407.92/2414.41	c #Conflicts:     252000 | #Constraints:      59729
2407.92/2414.41	c #Conflicts:     253000 | #Constraints:      60729
2407.92/2414.41	c #Conflicts:     254000 | #Constraints:      61729
2407.92/2414.41	c #Conflicts:     255000 | #Constraints:      62729
2407.92/2414.41	c #Conflicts:     256000 | #Constraints:      63729
2407.92/2414.41	c #Conflicts:     257000 | #Constraints:      64729
2407.92/2414.41	c #Conflicts:     258000 | #Constraints:      65729
2407.92/2414.41	c #Conflicts:     259000 | #Constraints:      66729
2407.92/2414.41	c #Conflicts:     260000 | #Constraints:      67729
2407.92/2414.41	c #Conflicts:     261000 | #Constraints:      68729
2407.92/2414.41	c #Conflicts:     262000 | #Constraints:      69729
2407.92/2414.41	c #Conflicts:     263000 | #Constraints:      70729
2407.92/2414.41	c #Conflicts:     264000 | #Constraints:      71729
2407.92/2414.41	c #Conflicts:     265000 | #Constraints:      72729
2407.92/2414.41	c #Conflicts:     266000 | #Constraints:      73729
2407.92/2414.41	c #Conflicts:     267000 | #Constraints:      74729
2407.92/2414.41	c #Conflicts:     268000 | #Constraints:      75729
2407.92/2414.41	c #Conflicts:     269000 | #Constraints:      76729
2407.92/2414.41	c #Conflicts:     270000 | #Constraints:      77729
2407.92/2414.41	c #Conflicts:     271000 | #Constraints:      78729
2407.92/2414.41	c #Conflicts:     272000 | #Constraints:      79729
2407.92/2414.41	c #Conflicts:     273000 | #Constraints:      80729
2407.92/2414.41	c #Conflicts:     274000 | #Constraints:      81729
2407.92/2414.41	c #Conflicts:     275000 | #Constraints:      82729
2407.92/2414.41	c #Conflicts:     276000 | #Constraints:      83729
2407.92/2414.41	c #Conflicts:     277000 | #Constraints:      84729
2407.92/2414.41	c INPROCESSING
2407.92/2414.41	c GARBAGE COLLECT
2407.92/2414.41	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: 63931 MiB (59657 MiB free)
  memory of node 1: 64510 MiB (61333 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=307257, runsolver pid=307253

[startup+0.106012 s]*
/proc/loadavg: 0.12 0.12 0.12 3/241 307261
/proc/meminfo: memFree=123878840/131524600 swapFree=131054992/131071996
[pid=307257] ppid=307253 vsize=54472 memory=22636 CPUtime=0.1 cores=5,7
/proc/307257/stat : 307257 (roundingsat) R 307253 307257 307164 0 -1 4194304 4791 0 0 0 9 1 0 0 20 0 1 0 43013964 55779328 5659 134679101440 4194304 8254357 140732905094896 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 14393344 140732905104219 140732905104481 140732905104481 140732905111497 0
/proc/307257/statm: 13618 5659 1772 992 0 5476 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 54472 KiB
Current children cumulated memory: 22636 KiB

[startup+0.205233 s]*
/proc/loadavg: 0.12 0.12 0.12 2/241 307261
/proc/meminfo: memFree=123876992/131524600 swapFree=131054992/131071996
[pid=307257] ppid=307253 vsize=56408 memory=24484 CPUtime=0.19 cores=5,7
/proc/307257/stat : 307257 (roundingsat) R 307253 307257 307164 0 -1 4194304 5230 0 0 0 18 1 0 0 20 0 1 0 43013964 57761792 6121 134679101440 4194304 8254357 140732905094896 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 14393344 140732905104219 140732905104481 140732905104481 140732905111497 0
/proc/307257/statm: 14102 6121 1772 992 0 5960 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 56408 KiB
Current children cumulated memory: 24484 KiB

[startup+0.304597 s]*
/proc/loadavg: 0.12 0.12 0.12 2/241 307261
/proc/meminfo: memFree=123876432/131524600 swapFree=131054992/131071996
[pid=307257] ppid=307253 vsize=56408 memory=24484 CPUtime=0.29 cores=5,7
/proc/307257/stat : 307257 (roundingsat) R 307253 307257 307164 0 -1 4194304 5258 0 0 0 28 1 0 0 20 0 1 0 43013964 57761792 6121 134679101440 4194304 8254357 140732905094896 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 14393344 140732905104219 140732905104481 140732905104481 140732905111497 0
/proc/307257/statm: 14102 6121 1772 992 0 5960 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 56408 KiB
Current children cumulated memory: 24484 KiB

[startup+0.700194 s]
/proc/loadavg: 0.12 0.12 0.12 2/241 307261
/proc/meminfo: memFree=123875788/131524600 swapFree=131054992/131071996
[pid=307257] ppid=307253 vsize=57920 memory=28820 CPUtime=0.68 cores=5,7
/proc/307257/stat : 307257 (roundingsat) R 307253 307257 307164 0 -1 4194304 5816 0 0 0 65 3 0 0 20 0 1 0 43013964 59310080 7205 134679101440 4194304 8254357 140732905094896 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 14393344 140732905104219 140732905104481 140732905104481 140732905111497 0
/proc/307257/statm: 14480 7205 1819 992 0 6338 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 57920 KiB
Current children cumulated memory: 28820 KiB

[startup+1.50014 s]
/proc/loadavg: 0.12 0.12 0.12 2/241 307261
/proc/meminfo: memFree=123845152/131524600 swapFree=131054992/131071996
[pid=307257] ppid=307253 vsize=66248 memory=38592 CPUtime=1.48 cores=5,7
/proc/307257/stat : 307257 (roundingsat) R 307253 307257 307164 0 -1 4194304 7180 0 0 0 135 13 0 0 20 0 1 0 43013964 67837952 9648 134679101440 4194304 8254357 140732905094896 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 14393344 140732905104219 140732905104481 140732905104481 140732905111497 0
/proc/307257/statm: 16562 9648 1819 992 0 8420 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 66248 KiB
Current children cumulated memory: 38592 KiB

[startup+3.10554 s]
/proc/loadavg: 0.59 0.22 0.15 5/258 307382
/proc/meminfo: memFree=123542516/131524600 swapFree=131054992/131071996
[pid=307257] ppid=307253 vsize=88244 memory=59640 CPUtime=3.08 cores=5,7
/proc/307257/stat : 307257 (roundingsat) R 307253 307257 307164 0 -1 4194304 8914 0 0 0 271 37 0 0 20 0 1 0 43013964 90361856 14910 134679101440 4194304 8254357 140732905094896 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 14393344 140732905104219 140732905104481 140732905104481 140732905111497 0
/proc/307257/statm: 22061 14910 1819 992 0 13919 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 88244 KiB
Current children cumulated memory: 59640 KiB

[startup+6.30017 s]
/proc/loadavg: 0.59 0.22 0.15 5/256 307396
/proc/meminfo: memFree=123299132/131524600 swapFree=131054992/131071996
[pid=307257] ppid=307253 vsize=148520 memory=101300 CPUtime=6.26 cores=5,7
/proc/307257/stat : 307257 (roundingsat) R 307253 307257 307164 0 -1 4194304 12653 0 0 0 513 113 0 0 20 0 1 0 43013964 152084480 25325 134679101440 4194304 8254357 140732905094896 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 14393344 140732905104219 140732905104481 140732905104481 140732905111497 0
/proc/307257/statm: 37130 25325 1819 992 0 28988 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 148520 KiB
Current children cumulated memory: 101300 KiB

[startup+12.7002 s]
/proc/loadavg: 1.12 0.34 0.19 5/258 307494
/proc/meminfo: memFree=123325300/131524600 swapFree=131054992/131071996
[pid=307257] ppid=307253 vsize=234864 memory=160972 CPUtime=12.65 cores=5,7
/proc/307257/stat : 307257 (roundingsat) R 307253 307257 307164 0 -1 4194304 21899 0 0 0 1064 201 0 0 20 0 1 0 43013964 240500736 40243 134679101440 4194304 8254357 140732905094896 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 14393344 140732905104219 140732905104481 140732905104481 140732905111497 0
/proc/307257/statm: 58716 40243 1819 992 0 50574 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 234864 KiB
Current children cumulated memory: 160972 KiB

[startup+25.5002 s]
/proc/loadavg: 1.56 0.46 0.23 5/260 307947
/proc/meminfo: memFree=123267836/131524600 swapFree=131054992/131071996
[pid=307257] ppid=307253 vsize=236392 memory=163096 CPUtime=25.41 cores=5,7
/proc/307257/stat : 307257 (roundingsat) R 307253 307257 307164 0 -1 4194304 22358 0 0 0 2294 247 0 0 20 0 1 0 43013964 242065408 40774 134679101440 4194304 8254357 140732905094896 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 14393344 140732905104219 140732905104481 140732905104481 140732905111497 0
/proc/307257/statm: 59098 40774 1897 992 0 50956 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 236392 KiB
Current children cumulated memory: 163096 KiB

[startup+51.1055 s]
/proc/loadavg: 2.46 0.76 0.34 5/260 307950
/proc/meminfo: memFree=123134688/131524600 swapFree=131054992/131071996
[pid=307257] ppid=307253 vsize=246200 memory=170740 CPUtime=50.93 cores=5,7
/proc/307257/stat : 307257 (roundingsat) R 307253 307257 307164 0 -1 4194304 24076 0 0 0 4837 256 0 0 20 0 1 0 43013964 252108800 42685 134679101440 4194304 8254357 140732905094896 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 14393344 140732905104219 140732905104481 140732905104481 140732905111497 0
/proc/307257/statm: 61550 42685 1897 992 0 53408 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 246200 KiB
Current children cumulated memory: 170740 KiB

[startup+102.3 s]
/proc/loadavg: 3.39 1.31 0.55 5/260 308097
/proc/meminfo: memFree=122916112/131524600 swapFree=131054992/131071996
[pid=307257] ppid=307253 vsize=286332 memory=210412 CPUtime=101.98 cores=5,7
/proc/307257/stat : 307257 (roundingsat) R 307253 307257 307164 0 -1 4194304 32942 0 0 0 9838 360 0 0 20 0 1 0 43013964 293203968 52603 134679101440 4194304 8254357 140732905094896 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 14393344 140732905104219 140732905104481 140732905104481 140732905111497 0
/proc/307257/statm: 71583 52603 1897 992 0 63441 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 286332 KiB
Current children cumulated memory: 210412 KiB

[startup+162.3 s]
/proc/loadavg: 3.88 1.83 0.78 5/260 308108
/proc/meminfo: memFree=122324884/131524600 swapFree=131054992/131071996
[pid=307257] ppid=307253 vsize=286332 memory=210656 CPUtime=161.8 cores=5,7
/proc/307257/stat : 307257 (roundingsat) R 307253 307257 307164 0 -1 4194304 33038 0 0 0 15781 399 0 0 20 0 1 0 43013964 293203968 52664 134679101440 4194304 8254357 140732905094896 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 14393344 140732905104219 140732905104481 140732905104481 140732905111497 0
/proc/307257/statm: 71583 52664 1897 992 0 63441 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 286332 KiB
Current children cumulated memory: 210656 KiB

[startup+222.3 s]
/proc/loadavg: 4.02 2.24 0.99 5/260 308119
/proc/meminfo: memFree=121447792/131524600 swapFree=131054992/131071996
[pid=307257] ppid=307253 vsize=495088 memory=411964 CPUtime=221.63 cores=5,7
/proc/307257/stat : 307257 (roundingsat) R 307253 307257 307164 0 -1 4194304 75218 0 0 0 21575 588 0 0 20 0 1 0 43013964 506970112 102991 134679101440 4194304 8254357 140732905094896 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 14393344 140732905104219 140732905104481 140732905104481 140732905111497 0
/proc/307257/statm: 123772 102991 1897 992 0 115630 0
Current children cumulated CPU time: 221.63 s
Current children cumulated vsize: 495088 KiB
Current children cumulated memory: 411964 KiB

[startup+282.3 s]
/proc/loadavg: 4.08 2.60 1.19 5/261 308604
/proc/meminfo: memFree=120898336/131524600 swapFree=131054992/131071996
[pid=307257] ppid=307253 vsize=522568 memory=437644 CPUtime=281.47 cores=5,7
/proc/307257/stat : 307257 (roundingsat) R 307253 307257 307164 0 -1 4194304 78284 0 0 0 27551 596 0 0 20 0 1 0 43013964 535109632 109411 134679101440 4194304 8254357 140732905094896 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 14393344 140732905104219 140732905104481 140732905104481 140732905111497 0
/proc/307257/statm: 130642 109411 1897 992 0 122500 0
Current children cumulated CPU time: 281.47 s
Current children cumulated vsize: 522568 KiB
Current children cumulated memory: 437644 KiB

[startup+342.3 s]
/proc/loadavg: 4.09 2.87 1.38 5/259 308659
/proc/meminfo: memFree=120468928/131524600 swapFree=131054992/131071996
[pid=307257] ppid=307253 vsize=551576 memory=464368 CPUtime=341.32 cores=5,7
/proc/307257/stat : 307257 (roundingsat) R 307253 307257 307164 0 -1 4194304 79953 0 0 0 33531 601 0 0 20 0 1 0 43013964 564813824 116092 134679101440 4194304 8254357 140732905094896 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 14393344 140732905104219 140732905104481 140732905104481 140732905111497 0
/proc/307257/statm: 137894 116092 1897 992 0 129752 0
Current children cumulated CPU time: 341.32 s
Current children cumulated vsize: 551576 KiB
Current children cumulated memory: 464368 KiB

[startup+402.3 s]
/proc/loadavg: 4.23 3.13 1.56 5/258 308715
/proc/meminfo: memFree=119140784/131524600 swapFree=131054992/131071996
[pid=307257] ppid=307253 vsize=554284 memory=504228 CPUtime=401.17 cores=5,7
/proc/307257/stat : 307257 (roundingsat) R 307253 307257 307164 0 -1 4194304 80694 0 0 0 39513 604 0 0 20 0 1 0 43013964 567586816 126057 134679101440 4194304 8254357 140732905094896 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 14393344 140732905104219 140732905104481 140732905104481 140732905111497 0
/proc/307257/statm: 138571 126057 1897 992 0 130429 0
Current children cumulated CPU time: 401.17 s
Current children cumulated vsize: 554284 KiB
Current children cumulated memory: 504228 KiB

[startup+462.3 s]
/proc/loadavg: 4.20 3.32 1.73 5/259 308895
/proc/meminfo: memFree=118795380/131524600 swapFree=131054992/131071996
[pid=307257] ppid=307253 vsize=578928 memory=523800 CPUtime=461.03 cores=5,7
/proc/307257/stat : 307257 (roundingsat) R 307253 307257 307164 0 -1 4194304 82428 0 0 0 45430 673 0 0 20 0 1 0 43013964 592822272 130950 134679101440 4194304 8254357 140732905094896 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 14393344 140732905104219 140732905104481 140732905104481 140732905111497 0
/proc/307257/statm: 144732 130950 1897 992 0 136590 0

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

[startup+3042.3 s]
/proc/loadavg: 4.14 4.12 4.01 5/261 310232
/proc/meminfo: memFree=104756604/131524600 swapFree=131054992/131071996
[pid=307257] ppid=307253 vsize=2303180 memory=2135484 CPUtime=3034.31 cores=5,7
/proc/307257/stat : 307257 (roundingsat) R 307253 307257 307164 0 -1 4194304 277500 0 0 0 301302 2129 0 0 20 0 1 0 43013964 2358456320 533871 134679101440 4194304 8254357 140732905094896 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 14393344 140732905104219 140732905104481 140732905104481 140732905111497 0
/proc/307257/statm: 575795 533871 1913 992 0 567653 0
Current children cumulated CPU time: 3034.31 s
Current children cumulated vsize: 2303180 KiB
Current children cumulated memory: 2135484 KiB

[startup+3102.3 s]
/proc/loadavg: 4.10 4.11 4.01 5/262 310243
/proc/meminfo: memFree=104453720/131524600 swapFree=131054992/131071996
[pid=307257] ppid=307253 vsize=2303180 memory=2135484 CPUtime=3094.14 cores=5,7
/proc/307257/stat : 307257 (roundingsat) R 307253 307257 307164 0 -1 4194304 277625 0 0 0 307281 2133 0 0 20 0 1 0 43013964 2358456320 533871 134679101440 4194304 8254357 140732905094896 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 14393344 140732905104219 140732905104481 140732905104481 140732905111497 0
/proc/307257/statm: 575795 533871 1913 992 0 567653 0
Current children cumulated CPU time: 3094.14 s
Current children cumulated vsize: 2303180 KiB
Current children cumulated memory: 2135484 KiB

[startup+3162.3 s]
/proc/loadavg: 4.08 4.10 4.01 5/262 310253
/proc/meminfo: memFree=104370488/131524600 swapFree=131054992/131071996
[pid=307257] ppid=307253 vsize=2303180 memory=2135484 CPUtime=3153.97 cores=5,7
/proc/307257/stat : 307257 (roundingsat) R 307253 307257 307164 0 -1 4194304 277759 0 0 0 313262 2135 0 0 20 0 1 0 43013964 2358456320 533871 134679101440 4194304 8254357 140732905094896 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 14393344 140732905104219 140732905104481 140732905104481 140732905111497 0
/proc/307257/statm: 575795 533871 1913 992 0 567653 0
Current children cumulated CPU time: 3153.97 s
Current children cumulated vsize: 2303180 KiB
Current children cumulated memory: 2135484 KiB

[startup+3222.3 s]
/proc/loadavg: 4.41 4.18 4.04 5/262 310264
/proc/meminfo: memFree=104103408/131524600 swapFree=131054992/131071996
[pid=307257] ppid=307253 vsize=2303180 memory=2135484 CPUtime=3213.81 cores=5,7
/proc/307257/stat : 307257 (roundingsat) R 307253 307257 307164 0 -1 4194304 277906 0 0 0 319242 2139 0 0 20 0 1 0 43013964 2358456320 533871 134679101440 4194304 8254357 140732905094896 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 14393344 140732905104219 140732905104481 140732905104481 140732905111497 0
/proc/307257/statm: 575795 533871 1913 992 0 567653 0
Current children cumulated CPU time: 3213.81 s
Current children cumulated vsize: 2303180 KiB
Current children cumulated memory: 2135484 KiB

[startup+3282.3 s]
/proc/loadavg: 4.24 4.17 4.04 5/262 310274
/proc/meminfo: memFree=103889120/131524600 swapFree=131054992/131071996
[pid=307257] ppid=307253 vsize=2303180 memory=2135484 CPUtime=3273.64 cores=5,7
/proc/307257/stat : 307257 (roundingsat) R 307253 307257 307164 0 -1 4194304 278044 0 0 0 325221 2143 0 0 20 0 1 0 43013964 2358456320 533871 134679101440 4194304 8254357 140732905094896 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 14393344 140732905104219 140732905104481 140732905104481 140732905111497 0
/proc/307257/statm: 575795 533871 1913 992 0 567653 0
Current children cumulated CPU time: 3273.64 s
Current children cumulated vsize: 2303180 KiB
Current children cumulated memory: 2135484 KiB

[startup+3342.3 s]
/proc/loadavg: 4.19 4.17 4.05 5/258 310284
/proc/meminfo: memFree=103622536/131524600 swapFree=131054992/131071996
[pid=307257] ppid=307253 vsize=2303180 memory=2135484 CPUtime=3333.47 cores=5,7
/proc/307257/stat : 307257 (roundingsat) R 307253 307257 307164 0 -1 4194304 279062 0 0 0 331151 2196 0 0 20 0 1 0 43013964 2358456320 533871 134679101440 4194304 8254357 140732905094896 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 14393344 140732905104219 140732905104481 140732905104481 140732905111497 0
/proc/307257/statm: 575795 533871 1913 992 0 567653 0
Current children cumulated CPU time: 3333.47 s
Current children cumulated vsize: 2303180 KiB
Current children cumulated memory: 2135484 KiB

[startup+3402.3 s]
/proc/loadavg: 4.13 4.15 4.05 5/257 310297
/proc/meminfo: memFree=103113120/131524600 swapFree=131054992/131071996
[pid=307257] ppid=307253 vsize=2323120 memory=2151156 CPUtime=3393.31 cores=5,7
/proc/307257/stat : 307257 (roundingsat) R 307253 307257 307164 0 -1 4194304 284245 0 0 0 337037 2294 0 0 20 0 1 0 43013964 2378874880 537789 134679101440 4194304 8254357 140732905094896 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 14393344 140732905104219 140732905104481 140732905104481 140732905111497 0
/proc/307257/statm: 580780 537789 1913 992 0 572638 0
Current children cumulated CPU time: 3393.31 s
Current children cumulated vsize: 2323120 KiB
Current children cumulated memory: 2151156 KiB

[startup+3462.3 s]
/proc/loadavg: 4.14 4.15 4.06 5/257 310307
/proc/meminfo: memFree=102842064/131524600 swapFree=131054992/131071996
[pid=307257] ppid=307253 vsize=2325092 memory=2153136 CPUtime=3453.15 cores=5,7
/proc/307257/stat : 307257 (roundingsat) R 307253 307257 307164 0 -1 4194304 284844 0 0 0 342983 2332 0 0 20 0 1 0 43013964 2380894208 538284 134679101440 4194304 8254357 140732905094896 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 14393344 140732905104219 140732905104481 140732905104481 140732905111497 0
/proc/307257/statm: 581273 538284 1913 992 0 573131 0
Current children cumulated CPU time: 3453.15 s
Current children cumulated vsize: 2325092 KiB
Current children cumulated memory: 2153136 KiB

[startup+3522.3 s]
/proc/loadavg: 4.19 4.17 4.07 5/257 310318
/proc/meminfo: memFree=102590992/131524600 swapFree=131054992/131071996
[pid=307257] ppid=307253 vsize=2325092 memory=2153136 CPUtime=3512.98 cores=5,7
/proc/307257/stat : 307257 (roundingsat) R 307253 307257 307164 0 -1 4194304 285016 0 0 0 348959 2339 0 0 20 0 1 0 43013964 2380894208 538284 134679101440 4194304 8254357 140732905094896 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 14393344 140732905104219 140732905104481 140732905104481 140732905111497 0
/proc/307257/statm: 581273 538284 1913 992 0 573131 0
Current children cumulated CPU time: 3512.98 s
Current children cumulated vsize: 2325092 KiB
Current children cumulated memory: 2153136 KiB

[startup+3582.3 s]
/proc/loadavg: 4.12 4.15 4.07 5/259 310334
/proc/meminfo: memFree=102331556/131524600 swapFree=131054992/131071996
[pid=307257] ppid=307253 vsize=2339476 memory=2161936 CPUtime=3572.82 cores=5,7
/proc/307257/stat : 307257 (roundingsat) R 307253 307257 307164 0 -1 4194304 285922 0 0 0 354937 2345 0 0 20 0 1 0 43013964 2395623424 540484 134679101440 4194304 8254357 140732905094896 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 14393344 140732905104219 140732905104481 140732905104481 140732905111497 0
/proc/307257/statm: 584869 540484 1913 992 0 576727 0
Current children cumulated CPU time: 3572.82 s
Current children cumulated vsize: 2339476 KiB
Current children cumulated memory: 2161936 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.6 s]
/proc/loadavg: 4.19 4.17 4.08 5/259 310337
/proc/meminfo: memFree=102186676/131524600 swapFree=131054992/131071996
[pid=307257] ppid=307253 vsize=2339476 memory=2161936 CPUtime=3600.05 cores=5,7
/proc/307257/stat : 307257 (roundingsat) R 307253 307257 307164 0 -1 4194304 286005 0 0 0 357658 2347 0 0 20 0 1 0 43013964 2395623424 540484 134679101440 4194304 8254357 140732905094896 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 14393344 140732905104219 140732905104481 140732905104481 140732905111497 0
/proc/307257/statm: 584869 540484 1913 992 0 576727 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 2339476 KiB
Current children cumulated memory: 2161936 KiB

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

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

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

# cumulated CPU time of all completed processes:  user=3578.58 s, system=23.4795 s

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

[startup+3610.4 s]
/proc/loadavg: 4.19 4.17 4.08 5/259 310337
/proc/meminfo: memFree=102181480/131524600 swapFree=131054992/131071996
[pid=307257] ppid=307253 vsize=2339476 memory=2161936 CPUtime=3600.85 cores=5,7
/proc/307257/stat : 307257 (roundingsat) R 307253 307257 307164 0 -1 4194304 286029 0 0 0 357738 2347 0 0 20 0 1 0 43013964 2395623424 540484 134679101440 4194304 8254357 140732905094896 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 14393344 140732905104219 140732905104481 140732905104481 140732905111497 0
/proc/307257/statm: 584869 540484 1913 992 0 576727 0
Current children cumulated CPU time: 3600.85 s
Current children cumulated vsize: 2339476 KiB
Current children cumulated memory: 2161936 KiB

[startup+3611.2 s]
/proc/loadavg: 4.19 4.17 4.08 5/259 310337
/proc/meminfo: memFree=102176072/131524600 swapFree=131054992/131071996
[pid=307257] ppid=307253 vsize=2339476 memory=2161936 CPUtime=3601.64 cores=5,7
/proc/307257/stat : 307257 (roundingsat) R 307253 307257 307164 0 -1 4194304 286029 0 0 0 357817 2347 0 0 20 0 1 0 43013964 2395623424 540484 134679101440 4194304 8254357 140732905094896 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 14393344 140732905104219 140732905104481 140732905104481 140732905111497 0
/proc/307257/statm: 584869 540484 1913 992 0 576727 0
Current children cumulated CPU time: 3601.64 s
Current children cumulated vsize: 2339476 KiB
Current children cumulated memory: 2161936 KiB

[startup+3611.6 s]
/proc/loadavg: 4.19 4.17 4.08 5/259 310337
/proc/meminfo: memFree=102176072/131524600 swapFree=131054992/131071996
[pid=307257] ppid=307253 vsize=2339476 memory=2161936 CPUtime=3602.04 cores=5,7
/proc/307257/stat : 307257 (roundingsat) R 307253 307257 307164 0 -1 4194304 286029 0 0 0 357857 2347 0 0 20 0 1 0 43013964 2395623424 540484 134679101440 4194304 8254357 140732905094896 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 14393344 140732905104219 140732905104481 140732905104481 140732905111497 0
/proc/307257/statm: 584869 540484 1913 992 0 576727 0
Current children cumulated CPU time: 3602.04 s
Current children cumulated vsize: 2339476 KiB
Current children cumulated memory: 2161936 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 3615.2
CPU time (s): 3602.06
CPU user time (s): 3578.58
CPU system time (s): 23.4795
CPU usage (%): 99.6366
Max. virtual memory (cumulated for all children) (KiB): 2339476
Max. memory (cumulated for all children) (KiB): 2161936

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3578.58
system time used= 23.4795
maximum resident set size= 2161936
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 286029
page faults= 0
swaps= 0
block input operations= 0
block output operations= 5966688
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 50
involuntary context switches= 3287


# summary of solver processes directly reported to runsolver:
#   pid: 307257
#   total CPU time (s): 3602.06
#   total CPU user time (s): 3578.58
#   total CPU system time (s): 23.4795

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.15112 second user time and 17.0086 second system time

The end

Begin job on nodeC035 at 2024-07-27 09:20:37
IDJOB=4460156
IDBENCH=147222
IDSOLVER=3086
FILE ID=nodeC035/4460156-1722064837
RUNJOBID= nodeC035-1722064836-307177
SLURM_JOB_ID= 8248103
Free space on /tmp= 890060 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-4460156-1722064837/watcher-4460156-1722064837 -o /tmp/evaluation-result-4460156-1722064837/solver-4460156-1722064837 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1722064836-307177 --watchdog 3760  roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460156-1722064837 --lp-cut-gomory=0 HOME/instance-4460156-1722064837.opb

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

MD5SUM BENCH= 908a9c4c32d975b4e5850834449958a7
RANDOM SEED=1191205797

nodeC035.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	: 0xb00002a
cpu MHz		: 2831.098
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 6999.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 2138.652
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 7006.93
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3647.851
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 6999.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 1977.864
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 7006.93
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 2607.439
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 6999.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3555.700
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 7006.93
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 2320.856
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 6999.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3432.511
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 7006.93
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        123894580 kB
MemAvailable:   129704876 kB
Buffers:          370696 kB
Cached:          6237008 kB
SwapCached:          296 kB
Active:          2354288 kB
Inactive:        4609428 kB
Active(anon):       1940 kB
Inactive(anon):   407340 kB
Active(file):    2352348 kB
Inactive(file):  4202088 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131054992 kB
Dirty:             23116 kB
Writeback:             0 kB
AnonPages:        355176 kB
Mapped:           105448 kB
Shmem:             53220 kB
KReclaimable:     191012 kB
Slab:             311736 kB
SReclaimable:     191012 kB
SUnreclaim:       120724 kB
KernelStack:        4004 kB
PageTables:         9836 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     747248 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            16992 kB
HardwareCorrupted:     0 kB
AnonHugePages:    235520 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:      414420 kB
DirectMap2M:    48642048 kB
DirectMap1G:    87031808 kB

Free space on /tmp at the end= 890024 MiB
End job on nodeC035 at 2024-07-27 10:20:52