0.00/0.00	c RoundingSat 2
0.00/0.00	c branch 
0.00/0.00	c commit 
0.10/0.12	c #variables 10000 #constraints 10000
1.29/1.39	c bounds - >= 0 @ 0.095095
1.29/1.39	c bounds 3334 >= 0 @ 1.09274
1.29/1.39	c bounds 3334 >= 1 @ 1.09535
1.29/1.39	c bounds 3334 >= 2 @ 1.09705
1.29/1.39	c bounds 3334 >= 3 @ 1.09878
1.29/1.39	c bounds 3334 >= 4 @ 1.10042
1.29/1.39	c bounds 3334 >= 5 @ 1.10208
1.29/1.39	c bounds 3334 >= 6 @ 1.10371
1.29/1.39	c bounds 3334 >= 7 @ 1.10533
1.29/1.39	c bounds 3334 >= 8 @ 1.10694
1.29/1.39	c bounds 3334 >= 9 @ 1.10855
1.29/1.39	c bounds 3334 >= 10 @ 1.11016
1.29/1.39	c bounds 3334 >= 11 @ 1.11176
1.29/1.39	c bounds 3334 >= 12 @ 1.11336
1.29/1.39	c bounds 3334 >= 13 @ 1.11496
1.29/1.39	c bounds 3334 >= 14 @ 1.11657
1.29/1.39	c bounds 3334 >= 15 @ 1.11818
1.29/1.39	c bounds 3334 >= 16 @ 1.11978
1.29/1.39	c bounds 3334 >= 17 @ 1.12139
1.29/1.39	c bounds 3334 >= 18 @ 1.12299
1.29/1.39	c bounds 3334 >= 19 @ 1.12461
1.29/1.39	c bounds 3334 >= 20 @ 1.12622
1.29/1.39	c bounds 3334 >= 21 @ 1.12784
1.29/1.39	c bounds 3334 >= 22 @ 1.12945
1.29/1.39	c bounds 3334 >= 23 @ 1.13146
1.29/1.39	c bounds 3334 >= 24 @ 1.13305
1.29/1.39	c bounds 3334 >= 25 @ 1.13367
1.29/1.39	c bounds 3334 >= 26 @ 1.13526
1.29/1.39	c bounds 3334 >= 27 @ 1.13684
1.29/1.39	c bounds 3334 >= 28 @ 1.13847
1.29/1.39	c bounds 3334 >= 29 @ 1.14013
1.29/1.39	c bounds 3334 >= 30 @ 1.14178
1.29/1.39	c bounds 3334 >= 31 @ 1.14343
1.29/1.39	c bounds 3334 >= 32 @ 1.14508
1.29/1.39	c bounds 3334 >= 33 @ 1.14674
1.29/1.39	c bounds 3334 >= 34 @ 1.14838
1.29/1.39	c bounds 3334 >= 35 @ 1.15018
1.29/1.39	c bounds 3334 >= 36 @ 1.15195
1.29/1.39	c bounds 3334 >= 37 @ 1.15277
1.29/1.39	c bounds 3334 >= 38 @ 1.15451
1.29/1.39	c bounds 3334 >= 39 @ 1.15628
1.29/1.39	c bounds 3334 >= 40 @ 1.15804
1.29/1.39	c bounds 3334 >= 41 @ 1.15981
1.29/1.39	c bounds 3334 >= 42 @ 1.16158
1.29/1.39	c bounds 3334 >= 43 @ 1.16333
1.29/1.39	c bounds 3334 >= 44 @ 1.16509
1.29/1.39	c bounds 3334 >= 45 @ 1.16679
1.29/1.39	c bounds 3334 >= 46 @ 1.16847
1.29/1.39	c bounds 3334 >= 47 @ 1.17016
1.29/1.39	c bounds 3334 >= 48 @ 1.17185
1.29/1.39	c bounds 3334 >= 49 @ 1.17354
1.29/1.39	c bounds 3334 >= 50 @ 1.17521
1.29/1.39	c bounds 3334 >= 51 @ 1.17688
1.29/1.39	c bounds 3334 >= 52 @ 1.17755
1.29/1.39	c bounds 3334 >= 53 @ 1.17922
1.29/1.39	c bounds 3334 >= 54 @ 1.18088
1.29/1.39	c bounds 3334 >= 55 @ 1.18155
1.29/1.39	c bounds 3334 >= 56 @ 1.1832
1.29/1.39	c bounds 3334 >= 57 @ 1.18485
1.29/1.39	c bounds 3334 >= 58 @ 1.1865
1.29/1.39	c bounds 3334 >= 59 @ 1.18815
1.29/1.39	c bounds 3334 >= 60 @ 1.18979
1.29/1.39	c bounds 3334 >= 61 @ 1.19143
1.29/1.39	c bounds 3334 >= 62 @ 1.19307
1.29/1.39	c bounds 3334 >= 63 @ 1.19477
1.29/1.39	c bounds 3334 >= 64 @ 1.19648
1.29/1.39	c bounds 3334 >= 65 @ 1.19819
1.29/1.39	c bounds 3334 >= 66 @ 1.19989
1.29/1.39	c bounds 3334 >= 67 @ 1.2016
1.29/1.39	c bounds 3334 >= 68 @ 1.20344
1.29/1.39	c bounds 3334 >= 69 @ 1.20527
1.29/1.39	c bounds 3334 >= 70 @ 1.20708
1.29/1.39	c bounds 3334 >= 71 @ 1.20891
1.29/1.39	c bounds 3334 >= 72 @ 1.21073
1.29/1.39	c bounds 3334 >= 73 @ 1.21256
1.29/1.39	c bounds 3334 >= 74 @ 1.21437
1.29/1.39	c bounds 3334 >= 75 @ 1.21619
1.29/1.39	c bounds 3334 >= 76 @ 1.21796
1.29/1.39	c bounds 3334 >= 77 @ 1.21879
1.29/1.39	c bounds 3334 >= 78 @ 1.21955
1.29/1.39	c bounds 3334 >= 79 @ 1.22131
1.29/1.39	c bounds 3334 >= 80 @ 1.22307
1.29/1.39	c bounds 3334 >= 81 @ 1.22483
1.29/1.39	c bounds 3334 >= 82 @ 1.22562
1.29/1.39	c bounds 3334 >= 83 @ 1.22737
1.29/1.39	c bounds 3334 >= 84 @ 1.22913
1.29/1.39	c bounds 3334 >= 85 @ 1.23088
1.29/1.39	c bounds 3334 >= 86 @ 1.23263
1.29/1.39	c bounds 3334 >= 87 @ 1.23437
1.29/1.39	c bounds 3334 >= 88 @ 1.23612
1.29/1.39	c bounds 3334 >= 89 @ 1.23794
1.29/1.39	c bounds 3334 >= 90 @ 1.23972
1.29/1.39	c bounds 3334 >= 91 @ 1.24051
1.29/1.39	c bounds 3334 >= 92 @ 1.2422
1.29/1.39	c bounds 3334 >= 93 @ 1.24392
1.29/1.39	c bounds 3334 >= 94 @ 1.24471
1.29/1.39	c bounds 3334 >= 95 @ 1.24638
1.29/1.39	c bounds 3334 >= 96 @ 1.24814
1.29/1.39	c bounds 3334 >= 97 @ 1.24992
1.29/1.39	c bounds 3334 >= 98 @ 1.25071
1.29/1.39	c bounds 3334 >= 99 @ 1.25181
1.29/1.39	c bounds 3334 >= 100 @ 1.25349
1.29/1.39	c bounds 3334 >= 101 @ 1.25518
1.29/1.39	c bounds 3334 >= 102 @ 1.257
1.29/1.39	c bounds 3334 >= 103 @ 1.25884
1.29/1.39	c bounds 3334 >= 104 @ 1.26066
1.29/1.39	c bounds 3334 >= 105 @ 1.26152
1.29/1.39	c bounds 3334 >= 106 @ 1.26328
1.29/1.39	c bounds 3334 >= 107 @ 1.26513
1.29/1.39	c bounds 3334 >= 108 @ 1.26699
1.29/1.39	c bounds 3334 >= 109 @ 1.26886
1.29/1.39	c bounds 3334 >= 110 @ 1.27071
1.29/1.39	c bounds 3334 >= 111 @ 1.27257
1.29/1.39	c bounds 3334 >= 112 @ 1.27347
1.29/1.39	c bounds 3334 >= 113 @ 1.27527
1.29/1.39	c bounds 3334 >= 114 @ 1.27712
1.29/1.39	c bounds 3334 >= 115 @ 1.27896
1.29/1.39	c bounds 3334 >= 116 @ 1.28081
1.29/1.39	c bounds 3334 >= 117 @ 1.28264
1.29/1.39	c bounds 3334 >= 118 @ 1.28448
1.29/1.39	c bounds 3334 >= 119 @ 1.28537
1.29/1.39	c bounds 3334 >= 120 @ 1.28715
1.29/1.39	c bounds 3334 >= 121 @ 1.28898
1.29/1.39	c bounds 3334 >= 122 @ 1.2908
1.29/1.39	c bounds 3334 >= 123 @ 1.29264
1.29/1.39	c bounds 3334 >= 124 @ 1.29446
1.29/1.39	c bounds 3334 >= 125 @ 1.29535
1.29/1.39	c bounds 3334 >= 126 @ 1.29713
1.29/1.39	c bounds 3334 >= 127 @ 1.29896
1.29/1.39	c bounds 3334 >= 128 @ 1.30079
1.29/1.39	c bounds 3334 >= 129 @ 1.30261
1.29/1.39	c bounds 3334 >= 130 @ 1.30346
1.29/1.39	c bounds 3334 >= 131 @ 1.30523
1.29/1.39	c bounds 3334 >= 132 @ 1.30704
1.29/1.39	c bounds 3334 >= 133 @ 1.30884
1.29/1.39	c bounds 3334 >= 134 @ 1.31063
1.29/1.39	c bounds 3334 >= 135 @ 1.31259
1.68/1.72	c bounds 3334 >= 136 @ 1.31451
1.68/1.72	c bounds 3334 >= 137 @ 1.31547
1.68/1.72	c bounds 3334 >= 138 @ 1.31735
1.68/1.72	c bounds 3334 >= 139 @ 1.31927
1.68/1.72	c bounds 3334 >= 140 @ 1.32024
1.68/1.72	c bounds 3334 >= 141 @ 1.32211
1.68/1.72	c bounds 3334 >= 142 @ 1.32402
1.68/1.72	c bounds 3334 >= 143 @ 1.32599
1.68/1.72	c bounds 3334 >= 144 @ 1.32747
1.68/1.72	c bounds 3334 >= 145 @ 1.32815
1.68/1.72	c bounds 3334 >= 146 @ 1.3295
1.68/1.72	c bounds 3334 >= 147 @ 1.33015
1.68/1.72	c bounds 3334 >= 148 @ 1.33156
1.68/1.72	c bounds 3334 >= 149 @ 1.33214
1.68/1.72	c bounds 3334 >= 150 @ 1.33361
1.68/1.72	c bounds 3334 >= 151 @ 1.33414
1.68/1.72	c bounds 3334 >= 152 @ 1.33562
1.68/1.72	c bounds 3334 >= 153 @ 1.33613
1.68/1.72	c bounds 3334 >= 154 @ 1.33764
1.68/1.72	c bounds 3334 >= 155 @ 1.3382
1.68/1.72	c bounds 3334 >= 156 @ 1.33964
1.68/1.72	c bounds 3334 >= 157 @ 1.34013
1.68/1.72	c bounds 3334 >= 158 @ 1.34162
1.68/1.72	c bounds 3334 >= 159 @ 1.34309
1.68/1.72	c bounds 3334 >= 160 @ 1.34458
1.68/1.72	c bounds 3334 >= 161 @ 1.34606
1.68/1.72	c bounds 3334 >= 162 @ 1.34754
1.68/1.72	c bounds 3334 >= 163 @ 1.34811
1.68/1.72	c bounds 3334 >= 164 @ 1.34954
1.68/1.72	c bounds 3334 >= 165 @ 1.35098
1.68/1.72	c bounds 3334 >= 166 @ 1.35245
1.68/1.72	c bounds 3334 >= 167 @ 1.3531
1.68/1.72	c bounds 3334 >= 168 @ 1.35444
1.68/1.72	c bounds 3334 >= 169 @ 1.3551
1.68/1.72	c bounds 3334 >= 170 @ 1.35656
1.68/1.72	c bounds 3334 >= 171 @ 1.35809
1.68/1.72	c bounds 3334 >= 172 @ 1.35964
1.68/1.72	c bounds 3334 >= 173 @ 1.36024
1.68/1.72	c bounds 3334 >= 174 @ 1.36175
1.68/1.72	c bounds 3334 >= 175 @ 1.36256
1.68/1.72	c bounds 3334 >= 176 @ 1.36388
1.68/1.72	c bounds 3334 >= 177 @ 1.36542
1.68/1.72	c bounds 3334 >= 178 @ 1.36607
1.68/1.72	c bounds 3334 >= 179 @ 1.36752
1.68/1.72	c bounds 3334 >= 180 @ 1.36902
1.68/1.72	c bounds 3334 >= 181 @ 1.37056
1.68/1.72	c bounds 3334 >= 182 @ 1.37116
1.68/1.72	c bounds 3334 >= 183 @ 1.37302
1.68/1.72	c bounds 3334 >= 184 @ 1.37454
1.68/1.72	c bounds 3334 >= 185 @ 1.37505
1.68/1.72	c bounds 3334 >= 186 @ 1.37656
1.68/1.72	c bounds 3334 >= 187 @ 1.37806
1.68/1.72	c bounds 3334 >= 188 @ 1.37956
1.68/1.72	c bounds 3334 >= 189 @ 1.38013
1.68/1.72	c bounds 3333 >= 189 @ 1.44158
1.68/1.72	c bounds 3333 >= 190 @ 1.44316
1.68/1.72	c bounds 3333 >= 191 @ 1.44466
1.68/1.72	c bounds 3333 >= 192 @ 1.44617
1.68/1.72	c bounds 3333 >= 193 @ 1.44767
1.68/1.72	c bounds 3333 >= 194 @ 1.44918
1.68/1.72	c bounds 3333 >= 195 @ 1.45068
1.68/1.72	c bounds 3333 >= 196 @ 1.45217
1.68/1.72	c bounds 3333 >= 197 @ 1.45369
1.68/1.72	c bounds 3333 >= 198 @ 1.45522
1.68/1.72	c bounds 3333 >= 199 @ 1.45589
1.68/1.72	c bounds 3333 >= 200 @ 1.45732
1.68/1.72	c bounds 3333 >= 201 @ 1.45789
1.68/1.72	c bounds 3333 >= 202 @ 1.45947
1.68/1.72	c bounds 3333 >= 203 @ 1.46011
1.68/1.72	c bounds 3333 >= 204 @ 1.46088
1.68/1.72	c bounds 3333 >= 205 @ 1.46235
1.68/1.72	c bounds 3333 >= 206 @ 1.46304
1.68/1.72	c bounds 3333 >= 207 @ 1.46458
1.68/1.72	c bounds 3333 >= 208 @ 1.46619
1.68/1.72	c bounds 3333 >= 209 @ 1.46781
1.68/1.72	c bounds 3333 >= 210 @ 1.46942
1.68/1.72	c bounds 3333 >= 211 @ 1.47103
1.68/1.72	c bounds 3333 >= 212 @ 1.47264
1.68/1.72	c bounds 3333 >= 213 @ 1.47425
1.68/1.72	c bounds 3333 >= 214 @ 1.47496
1.68/1.72	c bounds 3333 >= 215 @ 1.47648
1.68/1.72	c bounds 3333 >= 216 @ 1.47807
1.68/1.72	c bounds 3333 >= 217 @ 1.47969
1.68/1.72	c bounds 3333 >= 218 @ 1.48129
1.68/1.72	c bounds 3333 >= 219 @ 1.48199
1.68/1.72	c bounds 3333 >= 220 @ 1.4835
1.68/1.72	c bounds 3333 >= 221 @ 1.48511
1.68/1.72	c bounds 3333 >= 222 @ 1.48583
1.68/1.72	c bounds 3333 >= 223 @ 1.48733
1.68/1.72	c bounds 3333 >= 224 @ 1.48799
1.68/1.72	c bounds 3333 >= 225 @ 1.4895
1.68/1.72	c bounds 3333 >= 226 @ 1.49109
1.68/1.72	c bounds 3333 >= 227 @ 1.49268
1.68/1.72	c bounds 3333 >= 228 @ 1.49425
1.68/1.72	c bounds 3333 >= 229 @ 1.49481
1.68/1.72	c bounds 3333 >= 230 @ 1.49638
1.68/1.72	c bounds 3333 >= 231 @ 1.49794
1.68/1.72	c bounds 3333 >= 232 @ 1.49951
1.68/1.72	c bounds 3333 >= 233 @ 1.50106
1.68/1.72	c bounds 3333 >= 234 @ 1.5018
1.68/1.72	c bounds 3333 >= 235 @ 1.50319
1.68/1.72	c bounds 3333 >= 236 @ 1.50391
1.68/1.72	c bounds 3333 >= 237 @ 1.50546
1.68/1.72	c bounds 3333 >= 238 @ 1.5071
1.68/1.72	c bounds 3333 >= 239 @ 1.50778
1.68/1.72	c bounds 3333 >= 240 @ 1.50939
1.68/1.72	c bounds 3333 >= 241 @ 1.51104
1.68/1.72	c bounds 3333 >= 242 @ 1.51178
1.68/1.72	c bounds 3333 >= 243 @ 1.51333
1.68/1.72	c bounds 3333 >= 244 @ 1.51495
1.68/1.72	c bounds 3333 >= 245 @ 1.51657
1.68/1.72	c bounds 3333 >= 246 @ 1.51819
1.68/1.72	c bounds 3333 >= 247 @ 1.51892
1.68/1.72	c bounds 3333 >= 248 @ 1.52046
1.68/1.72	c bounds 3333 >= 249 @ 1.52208
1.68/1.72	c bounds 3333 >= 250 @ 1.5237
1.68/1.72	c bounds 3333 >= 251 @ 1.52532
1.68/1.72	c bounds 3333 >= 252 @ 1.52694
1.68/1.72	c bounds 3333 >= 253 @ 1.52774
1.68/1.72	c bounds 3333 >= 254 @ 1.52925
1.68/1.72	c bounds 3333 >= 255 @ 1.53084
1.68/1.72	c bounds 3333 >= 256 @ 1.53245
1.68/1.72	c bounds 3333 >= 257 @ 1.53407
1.68/1.72	c bounds 3333 >= 258 @ 1.53472
1.68/1.72	c bounds 3333 >= 259 @ 1.53631
1.68/1.72	c bounds 3333 >= 260 @ 1.53791
1.68/1.72	c bounds 3333 >= 261 @ 1.5395
1.68/1.72	c bounds 3333 >= 262 @ 1.5411
1.68/1.72	c bounds 3333 >= 263 @ 1.54171
1.68/1.72	c bounds 3333 >= 264 @ 1.5433
1.68/1.72	c bounds 3333 >= 265 @ 1.54489
1.68/1.72	c bounds 3333 >= 266 @ 1.54649
1.88/1.94	c bounds 3333 >= 267 @ 1.54808
1.88/1.94	c bounds 3333 >= 268 @ 1.5487
1.88/1.94	c bounds 3333 >= 269 @ 1.55038
1.88/1.94	c bounds 3333 >= 270 @ 1.55209
1.88/1.94	c bounds 3333 >= 271 @ 1.55287
1.88/1.94	c bounds 3333 >= 272 @ 1.55447
1.88/1.94	c bounds 3333 >= 273 @ 1.55615
1.88/1.94	c bounds 3333 >= 274 @ 1.5569
1.88/1.94	c bounds 3333 >= 275 @ 1.55768
1.88/1.94	c bounds 3333 >= 276 @ 1.55923
1.88/1.94	c bounds 3333 >= 277 @ 1.55989
1.88/1.94	c bounds 3333 >= 278 @ 1.56067
1.88/1.94	c bounds 3333 >= 279 @ 1.56263
1.88/1.94	c bounds 3333 >= 280 @ 1.56429
1.88/1.94	c bounds 3333 >= 281 @ 1.56594
1.88/1.94	c bounds 3333 >= 282 @ 1.56666
1.88/1.94	c bounds 3333 >= 283 @ 1.56828
1.88/1.94	c bounds 3333 >= 284 @ 1.56997
1.88/1.94	c bounds 3333 >= 285 @ 1.57065
1.88/1.94	c bounds 3333 >= 286 @ 1.5723
1.88/1.94	c bounds 3333 >= 287 @ 1.57394
1.88/1.94	c bounds 3333 >= 288 @ 1.57464
1.88/1.94	c bounds 3333 >= 289 @ 1.57623
1.88/1.94	c bounds 3333 >= 290 @ 1.57711
1.88/1.94	c bounds 3333 >= 291 @ 1.57763
1.88/1.94	c bounds 3333 >= 292 @ 1.5792
1.88/1.94	c bounds 3333 >= 293 @ 1.57984
1.88/1.94	c bounds 3333 >= 294 @ 1.58062
1.88/1.94	c bounds 3333 >= 295 @ 1.58211
1.88/1.94	c bounds 3333 >= 296 @ 1.5828
1.88/1.94	c bounds 3333 >= 297 @ 1.58434
1.88/1.94	c bounds 3333 >= 298 @ 1.58596
1.88/1.94	c bounds 3333 >= 299 @ 1.58758
1.88/1.94	c bounds 3333 >= 300 @ 1.5892
1.88/1.94	c bounds 3333 >= 301 @ 1.59082
1.88/1.94	c bounds 3333 >= 302 @ 1.59159
1.88/1.94	c bounds 3333 >= 303 @ 1.5932
1.88/1.94	c bounds 3333 >= 304 @ 1.5949
1.88/1.94	c bounds 3333 >= 305 @ 1.59572
1.88/1.94	c bounds 3333 >= 306 @ 1.59658
1.88/1.94	c bounds 3333 >= 307 @ 1.59807
1.88/1.94	c bounds 3333 >= 308 @ 1.5988
1.88/1.94	c bounds 3333 >= 309 @ 1.59958
1.88/1.94	c bounds 3333 >= 310 @ 1.60125
1.88/1.94	c bounds 3333 >= 311 @ 1.603
1.88/1.94	c bounds 3333 >= 312 @ 1.60379
1.88/1.94	c bounds 3333 >= 313 @ 1.60456
1.88/1.94	c bounds 3333 >= 314 @ 1.60615
1.88/1.94	c bounds 3333 >= 315 @ 1.60786
1.88/1.94	c bounds 3333 >= 316 @ 1.60856
1.88/1.94	c bounds 3333 >= 317 @ 1.61034
1.88/1.94	c bounds 3333 >= 318 @ 1.61205
1.88/1.94	c bounds 3333 >= 319 @ 1.61286
1.88/1.94	c bounds 3333 >= 320 @ 1.61355
1.88/1.94	c bounds 3333 >= 321 @ 1.61521
1.88/1.94	c bounds 3333 >= 322 @ 1.61689
1.88/1.94	c bounds 3333 >= 323 @ 1.61767
1.88/1.94	c bounds 3333 >= 324 @ 1.61925
1.88/1.94	c bounds 3333 >= 325 @ 1.62093
1.88/1.94	c bounds 3333 >= 326 @ 1.62169
1.88/1.94	c bounds 3333 >= 327 @ 1.62326
1.88/1.94	c bounds 3333 >= 328 @ 1.62492
1.88/1.94	c bounds 3333 >= 329 @ 1.62569
1.88/1.94	c bounds 3333 >= 330 @ 1.62725
1.88/1.94	c bounds 3333 >= 331 @ 1.62934
1.88/1.94	c bounds 3333 >= 332 @ 1.63101
1.88/1.94	c bounds 3333 >= 333 @ 1.63173
1.88/1.94	c bounds 3333 >= 334 @ 1.63332
1.88/1.94	c bounds 3333 >= 335 @ 1.63498
1.88/1.94	c bounds 3333 >= 336 @ 1.63584
1.88/1.94	c bounds 3333 >= 337 @ 1.63752
1.88/1.94	c bounds 3333 >= 338 @ 1.63927
1.88/1.94	c bounds 3333 >= 339 @ 1.64102
1.88/1.94	c bounds 3333 >= 340 @ 1.64185
1.88/1.94	c bounds 3333 >= 341 @ 1.64263
1.88/1.94	c bounds 3333 >= 342 @ 1.64428
1.88/1.94	c bounds 3333 >= 343 @ 1.64603
1.88/1.94	c bounds 3333 >= 344 @ 1.64685
1.88/1.94	c bounds 3333 >= 345 @ 1.64853
1.88/1.94	c bounds 3333 >= 346 @ 1.64947
1.88/1.94	c bounds 3333 >= 347 @ 1.65105
1.88/1.94	c bounds 3333 >= 348 @ 1.65185
1.88/1.94	c bounds 3333 >= 349 @ 1.65261
1.88/1.94	c bounds 3333 >= 350 @ 1.65425
1.88/1.94	c bounds 3333 >= 351 @ 1.65599
1.88/1.94	c bounds 3333 >= 352 @ 1.65681
1.88/1.94	c bounds 3333 >= 353 @ 1.65757
1.88/1.94	c bounds 3333 >= 354 @ 1.65919
1.88/1.94	c bounds 3333 >= 355 @ 1.66091
1.88/1.94	c bounds 3333 >= 356 @ 1.66167
1.88/1.94	c bounds 3333 >= 357 @ 1.66245
1.88/1.94	c bounds 3333 >= 358 @ 1.66409
1.88/1.94	c bounds 3333 >= 359 @ 1.66581
1.88/1.94	c bounds 3333 >= 360 @ 1.66662
1.88/1.94	c bounds 3333 >= 361 @ 1.66744
1.88/1.94	c bounds 3333 >= 362 @ 1.66898
1.88/1.94	c bounds 3333 >= 363 @ 1.66975
1.88/1.94	c bounds 3333 >= 364 @ 1.67043
1.88/1.94	c bounds 3333 >= 365 @ 1.6721
1.88/1.94	c bounds 3333 >= 366 @ 1.6738
1.88/1.94	c bounds 3333 >= 367 @ 1.67461
1.88/1.94	c bounds 3333 >= 368 @ 1.67542
1.88/1.94	c bounds 3333 >= 369 @ 1.67694
1.88/1.94	c bounds 3333 >= 370 @ 1.67781
1.88/1.94	c bounds 3333 >= 371 @ 1.67954
1.88/1.94	c bounds 3333 >= 372 @ 1.68041
1.88/1.94	c bounds 3333 >= 373 @ 1.68222
1.88/1.94	c bounds 3333 >= 374 @ 1.68376
1.88/1.94	c bounds 3333 >= 375 @ 1.6844
1.88/1.94	c bounds 3333 >= 376 @ 1.68587
1.88/1.94	c bounds 3333 >= 377 @ 1.68639
1.88/1.94	c bounds 3333 >= 378 @ 1.68793
1.88/1.94	c bounds 3333 >= 379 @ 1.68857
1.88/1.94	c bounds 3333 >= 380 @ 1.69
1.88/1.94	c bounds 3333 >= 381 @ 1.69058
1.88/1.94	c bounds 3333 >= 382 @ 1.6921
1.88/1.94	c bounds 3333 >= 383 @ 1.69401
1.88/1.94	c bounds 3333 >= 384 @ 1.69457
1.88/1.94	c bounds 3333 >= 385 @ 1.69538
1.88/1.94	c bounds 3333 >= 386 @ 1.69665
1.88/1.94	c bounds 3333 >= 387 @ 1.69812
1.88/1.94	c bounds 3333 >= 388 @ 1.69964
1.88/1.94	c bounds 3333 >= 389 @ 1.70037
1.88/1.94	c bounds 3333 >= 390 @ 1.70172
1.88/1.94	c bounds 3333 >= 391 @ 1.70236
1.88/1.94	c bounds 3333 >= 392 @ 1.70375
1.88/1.94	c bounds 3333 >= 393 @ 1.70436
1.88/1.94	c bounds 3333 >= 394 @ 1.70579
1.88/1.94	c bounds 3333 >= 395 @ 1.70636
1.88/1.94	c bounds 3333 >= 396 @ 1.70784
1.88/1.94	c bounds 3333 >= 397 @ 1.70847
1.88/1.94	c bounds 3333 >= 398 @ 1.7099
1.88/1.94	c bounds 3333 >= 399 @ 1.71054
2.10/2.16	c bounds 3333 >= 400 @ 1.71194
2.10/2.16	c bounds 3333 >= 401 @ 1.71253
2.10/2.16	c bounds 3333 >= 402 @ 1.71394
2.10/2.16	c bounds 3333 >= 403 @ 1.71463
2.10/2.16	c bounds 3333 >= 404 @ 1.71612
2.10/2.16	c bounds 3333 >= 405 @ 1.7177
2.10/2.16	c bounds 3333 >= 406 @ 1.71833
2.10/2.16	c bounds 3333 >= 407 @ 1.71987
2.10/2.16	c bounds 3333 >= 408 @ 1.72052
2.10/2.16	c bounds 3333 >= 409 @ 1.72132
2.10/2.16	c bounds 3333 >= 410 @ 1.72266
2.10/2.16	c bounds 3333 >= 411 @ 1.72332
2.10/2.16	c bounds 3333 >= 412 @ 1.7248
2.10/2.16	c bounds 3333 >= 413 @ 1.72637
2.10/2.16	c bounds 3333 >= 414 @ 1.72794
2.10/2.16	c bounds 3333 >= 415 @ 1.7286
2.10/2.16	c bounds 3333 >= 416 @ 1.73007
2.10/2.16	c bounds 3333 >= 417 @ 1.73163
2.10/2.16	c bounds 3333 >= 418 @ 1.73319
2.10/2.16	c bounds 3333 >= 419 @ 1.73475
2.10/2.16	c bounds 3333 >= 420 @ 1.73543
2.10/2.16	c bounds 3333 >= 421 @ 1.73687
2.10/2.16	c bounds 3333 >= 422 @ 1.73748
2.10/2.16	c bounds 3333 >= 423 @ 1.73829
2.10/2.16	c bounds 3333 >= 424 @ 1.73964
2.10/2.16	c bounds 3333 >= 425 @ 1.74118
2.10/2.16	c bounds 3333 >= 426 @ 1.74274
2.10/2.16	c bounds 3333 >= 427 @ 1.74341
2.10/2.16	c bounds 3333 >= 428 @ 1.74484
2.10/2.16	c bounds 3333 >= 429 @ 1.74547
2.10/2.16	c bounds 3333 >= 430 @ 1.74693
2.10/2.16	c bounds 3333 >= 431 @ 1.74758
2.10/2.16	c bounds 3333 >= 432 @ 1.74827
2.10/2.16	c bounds 3333 >= 433 @ 1.74961
2.10/2.16	c bounds 3333 >= 434 @ 1.75114
2.10/2.16	c bounds 3333 >= 435 @ 1.75272
2.10/2.16	c bounds 3333 >= 436 @ 1.7534
2.10/2.16	c bounds 3333 >= 437 @ 1.75494
2.10/2.16	c bounds 3333 >= 438 @ 1.7568
2.10/2.16	c bounds 3333 >= 439 @ 1.75754
2.10/2.16	c bounds 3333 >= 440 @ 1.75907
2.10/2.16	c bounds 3333 >= 441 @ 1.76071
2.10/2.16	c bounds 3333 >= 442 @ 1.76143
2.10/2.16	c bounds 3333 >= 443 @ 1.76224
2.10/2.16	c bounds 3333 >= 444 @ 1.76364
2.10/2.16	c bounds 3333 >= 445 @ 1.76445
2.10/2.16	c bounds 3333 >= 446 @ 1.76523
2.10/2.16	c bounds 3333 >= 447 @ 1.76671
2.10/2.16	c bounds 3333 >= 448 @ 1.76832
2.10/2.16	c bounds 3333 >= 449 @ 1.76994
2.10/2.16	c bounds 3333 >= 450 @ 1.77158
2.10/2.16	c bounds 3333 >= 451 @ 1.77222
2.10/2.16	c bounds 3333 >= 452 @ 1.77383
2.10/2.16	c bounds 3333 >= 453 @ 1.77464
2.10/2.16	c bounds 3333 >= 454 @ 1.7762
2.10/2.16	c bounds 3333 >= 455 @ 1.77781
2.10/2.16	c bounds 3333 >= 456 @ 1.77821
2.10/2.16	c bounds 3333 >= 457 @ 1.77821
2.10/2.16	c bounds 3333 >= 458 @ 1.77967
2.10/2.16	c bounds 3333 >= 459 @ 1.78037
2.10/2.16	c bounds 3333 >= 460 @ 1.78186
2.10/2.16	c bounds 3333 >= 461 @ 1.78346
2.10/2.16	c bounds 3333 >= 462 @ 1.78507
2.10/2.16	c bounds 3333 >= 463 @ 1.78668
2.10/2.16	c bounds 3333 >= 464 @ 1.78738
2.10/2.16	c bounds 3333 >= 465 @ 1.78888
2.10/2.16	c bounds 3333 >= 466 @ 1.79048
2.10/2.16	c bounds 3333 >= 467 @ 1.79118
2.10/2.16	c bounds 3333 >= 468 @ 1.79271
2.10/2.16	c bounds 3333 >= 469 @ 1.79337
2.10/2.16	c bounds 3333 >= 470 @ 1.79499
2.10/2.16	c bounds 3333 >= 471 @ 1.79666
2.10/2.16	c bounds 3333 >= 472 @ 1.79736
2.10/2.16	c bounds 3333 >= 473 @ 1.79817
2.10/2.16	c bounds 3333 >= 474 @ 1.79972
2.10/2.16	c bounds 3333 >= 475 @ 1.80072
2.10/2.16	c bounds 3333 >= 476 @ 1.80116
2.10/2.16	c bounds 3333 >= 477 @ 1.80274
2.10/2.16	c bounds 3333 >= 478 @ 1.80383
2.10/2.16	c bounds 3333 >= 479 @ 1.80452
2.10/2.16	c bounds 3333 >= 480 @ 1.80515
2.10/2.16	c bounds 3333 >= 481 @ 1.80674
2.10/2.16	c bounds 3333 >= 482 @ 1.80748
2.10/2.16	c bounds 3333 >= 483 @ 1.80903
2.10/2.16	c bounds 3333 >= 484 @ 1.81067
2.10/2.16	c bounds 3333 >= 485 @ 1.81144
2.10/2.16	c bounds 3333 >= 486 @ 1.81214
2.10/2.16	c bounds 3333 >= 487 @ 1.81367
2.10/2.16	c bounds 3333 >= 488 @ 1.81432
2.10/2.16	c bounds 3333 >= 489 @ 1.81513
2.10/2.16	c bounds 3333 >= 490 @ 1.8166
2.10/2.16	c bounds 3333 >= 491 @ 1.8182
2.10/2.16	c bounds 3333 >= 492 @ 1.81983
2.10/2.16	c bounds 3333 >= 493 @ 1.82146
2.10/2.16	c bounds 3333 >= 494 @ 1.82227
2.10/2.16	c bounds 3333 >= 495 @ 1.82378
2.10/2.16	c bounds 3333 >= 496 @ 1.8245
2.10/2.16	c bounds 3333 >= 497 @ 1.82606
2.10/2.16	c bounds 3333 >= 498 @ 1.82772
2.10/2.16	c bounds 3333 >= 499 @ 1.82934
2.10/2.16	c bounds 3333 >= 500 @ 1.8301
2.10/2.16	c bounds 3333 >= 501 @ 1.8316
2.10/2.16	c bounds 3333 >= 502 @ 1.83319
2.10/2.16	c bounds 3333 >= 503 @ 1.83409
2.10/2.16	c bounds 3333 >= 504 @ 1.83554
2.10/2.16	c bounds 3333 >= 505 @ 1.83628
2.10/2.16	c bounds 3333 >= 506 @ 1.83709
2.10/2.16	c bounds 3333 >= 507 @ 1.83868
2.10/2.16	c bounds 3333 >= 508 @ 1.83946
2.10/2.16	c bounds 3333 >= 509 @ 1.84109
2.10/2.16	c bounds 3333 >= 510 @ 1.84208
2.10/2.16	c bounds 3333 >= 511 @ 1.8435
2.10/2.16	c bounds 3333 >= 512 @ 1.84426
2.10/2.16	c bounds 3333 >= 513 @ 1.84507
2.10/2.16	c bounds 3333 >= 514 @ 1.84658
2.10/2.16	c bounds 3333 >= 515 @ 1.84726
2.10/2.16	c bounds 3333 >= 516 @ 1.84892
2.10/2.16	c bounds 3333 >= 517 @ 1.85061
2.10/2.16	c bounds 3333 >= 518 @ 1.8514
2.10/2.16	c bounds 3333 >= 519 @ 1.85206
2.10/2.16	c bounds 3333 >= 520 @ 1.85367
2.10/2.16	c bounds 3333 >= 521 @ 1.85534
2.10/2.16	c bounds 3333 >= 522 @ 1.85605
2.10/2.16	c bounds 3333 >= 523 @ 1.85768
2.10/2.16	c bounds 3333 >= 524 @ 1.85845
2.10/2.16	c bounds 3333 >= 525 @ 1.85904
2.10/2.16	c bounds 3333 >= 526 @ 1.86071
2.10/2.16	c bounds 3333 >= 527 @ 1.86147
2.10/2.16	c bounds 3333 >= 528 @ 1.86305
2.10/2.16	c bounds 3333 >= 529 @ 1.86472
2.10/2.16	c bounds 3333 >= 530 @ 1.86677
2.10/2.16	c bounds 3333 >= 531 @ 1.86844
2.38/2.44	c bounds 3333 >= 532 @ 1.86921
2.38/2.44	c bounds 3333 >= 533 @ 1.87002
2.38/2.44	c bounds 3333 >= 534 @ 1.87146
2.38/2.44	c bounds 3333 >= 535 @ 1.8722
2.38/2.44	c bounds 3333 >= 536 @ 1.87301
2.38/2.44	c bounds 3333 >= 537 @ 1.87453
2.38/2.44	c bounds 3333 >= 538 @ 1.87625
2.38/2.44	c bounds 3333 >= 539 @ 1.87701
2.38/2.44	c bounds 3333 >= 540 @ 1.878
2.38/2.44	c bounds 3333 >= 541 @ 1.87948
2.38/2.44	c bounds 3333 >= 542 @ 1.88119
2.38/2.44	c bounds 3333 >= 543 @ 1.88291
2.38/2.44	c bounds 3333 >= 544 @ 1.88464
2.38/2.44	c bounds 3333 >= 545 @ 1.88546
2.38/2.44	c bounds 3333 >= 546 @ 1.88618
2.38/2.44	c bounds 3333 >= 547 @ 1.88784
2.38/2.44	c bounds 3333 >= 548 @ 1.88956
2.38/2.44	c bounds 3333 >= 549 @ 1.89041
2.38/2.44	c bounds 3333 >= 550 @ 1.89116
2.38/2.44	c bounds 3333 >= 551 @ 1.89279
2.38/2.44	c bounds 3333 >= 552 @ 1.89451
2.38/2.44	c bounds 3333 >= 553 @ 1.89534
2.38/2.44	c bounds 3333 >= 554 @ 1.89615
2.38/2.44	c bounds 3333 >= 555 @ 1.89696
2.38/2.44	c bounds 3333 >= 556 @ 1.8985
2.38/2.44	c bounds 3333 >= 557 @ 1.89931
2.38/2.44	c bounds 3333 >= 558 @ 1.89996
2.38/2.44	c bounds 3333 >= 559 @ 1.90165
2.38/2.44	c bounds 3333 >= 560 @ 1.90337
2.38/2.44	c bounds 3333 >= 561 @ 1.9051
2.38/2.44	c bounds 3333 >= 562 @ 1.90593
2.38/2.44	c bounds 3333 >= 563 @ 1.90752
2.38/2.44	c bounds 3333 >= 564 @ 1.90831
2.38/2.44	c bounds 3333 >= 565 @ 1.90992
2.38/2.44	c bounds 3333 >= 566 @ 1.91092
2.38/2.44	c bounds 3333 >= 567 @ 1.91235
2.38/2.44	c bounds 3333 >= 568 @ 1.91311
2.38/2.44	c bounds 3333 >= 569 @ 1.91391
2.38/2.44	c bounds 3333 >= 570 @ 1.91544
2.38/2.44	c bounds 3333 >= 571 @ 1.91631
2.38/2.44	c bounds 3333 >= 572 @ 1.91799
2.38/2.44	c bounds 3333 >= 573 @ 1.91977
2.38/2.44	c bounds 3333 >= 574 @ 1.92153
2.38/2.44	c bounds 3333 >= 575 @ 1.92239
2.38/2.44	c bounds 3333 >= 576 @ 1.92308
2.38/2.44	c bounds 3333 >= 577 @ 1.92389
2.38/2.44	c bounds 3333 >= 578 @ 1.92489
2.38/2.44	c bounds 3333 >= 579 @ 1.9264
2.38/2.44	c bounds 3333 >= 580 @ 1.92725
2.38/2.44	c bounds 3333 >= 581 @ 1.92805
2.38/2.44	c bounds 3333 >= 582 @ 1.92908
2.38/2.44	c bounds 3333 >= 583 @ 1.92988
2.38/2.44	c bounds 3333 >= 584 @ 1.93161
2.38/2.44	c bounds 3333 >= 585 @ 1.93337
2.38/2.44	c bounds 3333 >= 586 @ 1.93423
2.38/2.44	c bounds 3333 >= 587 @ 1.93503
2.38/2.44	c bounds 3332 >= 587 @ 1.96382
2.38/2.44	c bounds 3332 >= 588 @ 1.96571
2.38/2.44	c bounds 3332 >= 589 @ 1.96751
2.38/2.44	c bounds 3332 >= 590 @ 1.96929
2.38/2.44	c bounds 3332 >= 591 @ 1.97107
2.38/2.44	c bounds 3332 >= 592 @ 1.97197
2.38/2.44	c bounds 3332 >= 593 @ 1.9736
2.38/2.44	c bounds 3332 >= 594 @ 1.97537
2.38/2.44	c bounds 3332 >= 595 @ 1.97714
2.38/2.44	c bounds 3332 >= 596 @ 1.97891
2.38/2.44	c bounds 3332 >= 597 @ 1.97977
2.38/2.44	c bounds 3332 >= 598 @ 1.98143
2.38/2.44	c bounds 3332 >= 599 @ 1.98227
2.38/2.44	c bounds 3332 >= 600 @ 1.98296
2.38/2.44	c bounds 3332 >= 601 @ 1.98471
2.38/2.44	c bounds 3332 >= 602 @ 1.98646
2.38/2.44	c bounds 3332 >= 603 @ 1.98822
2.38/2.44	c bounds 3332 >= 604 @ 1.98917
2.38/2.44	c bounds 3332 >= 605 @ 1.98995
2.38/2.44	c bounds 3332 >= 606 @ 1.99175
2.38/2.44	c bounds 3332 >= 607 @ 1.99275
2.38/2.44	c bounds 3332 >= 608 @ 1.99443
2.38/2.44	c bounds 3332 >= 609 @ 1.99626
2.38/2.44	c bounds 3332 >= 610 @ 1.99718
2.38/2.44	c bounds 3332 >= 611 @ 1.99793
2.38/2.44	c bounds 3332 >= 612 @ 1.99889
2.38/2.44	c bounds 3332 >= 613 @ 1.99974
2.38/2.44	c bounds 3332 >= 614 @ 2.00139
2.38/2.44	c bounds 3332 >= 615 @ 2.00322
2.38/2.44	c bounds 3332 >= 616 @ 2.00447
2.38/2.44	c bounds 3332 >= 617 @ 2.00623
2.38/2.44	c bounds 3332 >= 618 @ 2.00712
2.38/2.44	c bounds 3332 >= 619 @ 2.00881
2.38/2.44	c bounds 3332 >= 620 @ 2.00972
2.38/2.44	c bounds 3332 >= 621 @ 2.01137
2.38/2.44	c bounds 3332 >= 622 @ 2.01224
2.38/2.44	c bounds 3332 >= 623 @ 2.01306
2.38/2.44	c bounds 3332 >= 624 @ 2.01387
2.38/2.44	c bounds 3332 >= 625 @ 2.0155
2.38/2.44	c bounds 3332 >= 626 @ 2.0173
2.38/2.44	c bounds 3332 >= 627 @ 2.01909
2.38/2.44	c bounds 3332 >= 628 @ 2.02086
2.38/2.44	c bounds 3332 >= 629 @ 2.02169
2.38/2.44	c bounds 3332 >= 630 @ 2.02269
2.38/2.44	c bounds 3332 >= 631 @ 2.02423
2.38/2.44	c bounds 3332 >= 632 @ 2.02508
2.38/2.44	c bounds 3332 >= 633 @ 2.02587
2.38/2.44	c bounds 3332 >= 634 @ 2.02668
2.38/2.44	c bounds 3332 >= 635 @ 2.02829
2.38/2.44	c bounds 3332 >= 636 @ 2.03005
2.38/2.44	c bounds 3332 >= 637 @ 2.03181
2.38/2.44	c bounds 3332 >= 638 @ 2.03282
2.38/2.44	c bounds 3332 >= 639 @ 2.03367
2.38/2.44	c bounds 3332 >= 640 @ 2.03467
2.38/2.44	c bounds 3332 >= 641 @ 2.03624
2.38/2.44	c bounds 3332 >= 642 @ 2.03808
2.38/2.44	c bounds 3332 >= 643 @ 2.03904
2.38/2.44	c bounds 3332 >= 644 @ 2.04079
2.38/2.44	c bounds 3332 >= 645 @ 2.04199
2.38/2.44	c bounds 3332 >= 646 @ 2.04284
2.38/2.44	c bounds 3332 >= 647 @ 2.04365
2.38/2.44	c bounds 3332 >= 648 @ 2.04464
2.38/2.44	c bounds 3332 >= 649 @ 2.04625
2.38/2.44	c bounds 3332 >= 650 @ 2.04717
2.38/2.44	c bounds 3332 >= 651 @ 2.04803
2.38/2.44	c bounds 3332 >= 652 @ 2.04883
2.38/2.44	c bounds 3332 >= 653 @ 2.04964
2.38/2.44	c bounds 3332 >= 654 @ 2.05063
2.38/2.44	c bounds 3332 >= 655 @ 2.05227
2.38/2.44	c bounds 3332 >= 656 @ 2.05318
2.38/2.44	c bounds 3332 >= 657 @ 2.05493
2.38/2.44	c bounds 3332 >= 658 @ 2.05582
2.38/2.44	c bounds 3332 >= 659 @ 2.05763
2.38/2.44	c bounds 3332 >= 660 @ 2.05862
2.38/2.44	c bounds 3332 >= 661 @ 2.05962
2.38/2.44	c bounds 3332 >= 662 @ 2.06117
2.38/2.44	c bounds 3332 >= 663 @ 2.06298
2.68/2.74	c bounds 3332 >= 664 @ 2.0638
2.68/2.74	c bounds 3332 >= 665 @ 2.06561
2.68/2.74	c bounds 3332 >= 666 @ 2.06742
2.68/2.74	c bounds 3332 >= 667 @ 2.06922
2.68/2.74	c bounds 3332 >= 668 @ 2.07103
2.68/2.74	c bounds 3332 >= 669 @ 2.07324
2.68/2.74	c bounds 3332 >= 670 @ 2.07505
2.68/2.74	c bounds 3332 >= 671 @ 2.07605
2.68/2.74	c bounds 3332 >= 672 @ 2.07697
2.68/2.74	c bounds 3332 >= 673 @ 2.07777
2.68/2.74	c bounds 3332 >= 674 @ 2.07877
2.68/2.74	c bounds 3332 >= 675 @ 2.08053
2.68/2.74	c bounds 3332 >= 676 @ 2.08242
2.68/2.74	c bounds 3332 >= 677 @ 2.0843
2.68/2.74	c bounds 3332 >= 678 @ 2.08618
2.68/2.74	c bounds 3332 >= 679 @ 2.08714
2.68/2.74	c bounds 3332 >= 680 @ 2.08895
2.68/2.74	c bounds 3332 >= 681 @ 2.08995
2.68/2.74	c bounds 3332 >= 682 @ 2.09074
2.68/2.74	c bounds 3332 >= 683 @ 2.09174
2.68/2.74	c bounds 3332 >= 684 @ 2.09347
2.68/2.74	c bounds 3332 >= 685 @ 2.09455
2.68/2.74	c bounds 3332 >= 686 @ 2.09621
2.68/2.74	c bounds 3332 >= 687 @ 2.09715
2.68/2.74	c bounds 3332 >= 688 @ 2.09895
2.68/2.74	c bounds 3332 >= 689 @ 2.09994
2.68/2.74	c bounds 3332 >= 690 @ 2.10073
2.68/2.74	c bounds 3332 >= 691 @ 2.10171
2.68/2.74	c bounds 3332 >= 692 @ 2.10343
2.68/2.74	c bounds 3332 >= 693 @ 2.10453
2.68/2.74	c bounds 3332 >= 694 @ 2.10615
2.68/2.74	c bounds 3332 >= 695 @ 2.108
2.68/2.74	c bounds 3332 >= 696 @ 2.10897
2.68/2.74	c bounds 3332 >= 697 @ 2.10985
2.68/2.74	c bounds 3332 >= 698 @ 2.11158
2.68/2.74	c bounds 3332 >= 699 @ 2.11251
2.68/2.74	c bounds 3332 >= 700 @ 2.11351
2.68/2.74	c bounds 3332 >= 701 @ 2.11517
2.68/2.74	c bounds 3332 >= 702 @ 2.11611
2.68/2.74	c bounds 3332 >= 703 @ 2.11701
2.68/2.74	c bounds 3332 >= 704 @ 2.11788
2.68/2.74	c bounds 3332 >= 705 @ 2.11886
2.68/2.74	c bounds 3332 >= 706 @ 2.11969
2.68/2.74	c bounds 3332 >= 707 @ 2.12069
2.68/2.74	c bounds 3332 >= 708 @ 2.12168
2.68/2.74	c bounds 3332 >= 709 @ 2.12249
2.68/2.74	c bounds 3332 >= 710 @ 2.12349
2.68/2.74	c bounds 3332 >= 711 @ 2.12449
2.68/2.74	c bounds 3332 >= 712 @ 2.12549
2.68/2.74	c bounds 3332 >= 713 @ 2.12718
2.68/2.74	c bounds 3332 >= 714 @ 2.12813
2.68/2.74	c bounds 3332 >= 715 @ 2.13005
2.68/2.74	c bounds 3332 >= 716 @ 2.13106
2.68/2.74	c bounds 3332 >= 717 @ 2.13198
2.68/2.74	c bounds 3332 >= 718 @ 2.1338
2.68/2.74	c bounds 3332 >= 719 @ 2.13482
2.68/2.74	c bounds 3332 >= 720 @ 2.13566
2.68/2.74	c bounds 3332 >= 721 @ 2.13752
2.68/2.74	c bounds 3332 >= 722 @ 2.13846
2.68/2.74	c bounds 3332 >= 723 @ 2.13946
2.68/2.74	c bounds 3332 >= 724 @ 2.14046
2.68/2.74	c bounds 3332 >= 725 @ 2.14217
2.68/2.74	c bounds 3332 >= 726 @ 2.14312
2.68/2.74	c bounds 3332 >= 727 @ 2.145
2.68/2.74	c bounds 3332 >= 728 @ 2.1469
2.68/2.74	c bounds 3332 >= 729 @ 2.14791
2.68/2.74	c bounds 3332 >= 730 @ 2.14883
2.68/2.74	c bounds 3332 >= 731 @ 2.14963
2.68/2.74	c bounds 3332 >= 732 @ 2.15063
2.68/2.74	c bounds 3332 >= 733 @ 2.15161
2.68/2.74	c bounds 3332 >= 734 @ 2.15243
2.68/2.74	c bounds 3332 >= 735 @ 2.15343
2.68/2.74	c bounds 3332 >= 736 @ 2.15514
2.68/2.74	c bounds 3332 >= 737 @ 2.15703
2.68/2.74	c bounds 3332 >= 738 @ 2.15903
2.68/2.74	c bounds 3332 >= 739 @ 2.16009
2.68/2.74	c bounds 3332 >= 740 @ 2.16107
2.68/2.74	c bounds 3332 >= 741 @ 2.16298
2.68/2.74	c bounds 3332 >= 742 @ 2.16403
2.68/2.74	c bounds 3332 >= 743 @ 2.16502
2.68/2.74	c bounds 3332 >= 744 @ 2.16603
2.68/2.74	c bounds 3332 >= 745 @ 2.16701
2.68/2.74	c bounds 3332 >= 746 @ 2.16892
2.68/2.74	c bounds 3332 >= 747 @ 2.17089
2.68/2.74	c bounds 3332 >= 748 @ 2.17195
2.68/2.74	c bounds 3332 >= 749 @ 2.17382
2.68/2.74	c bounds 3332 >= 750 @ 2.17488
2.68/2.74	c bounds 3332 >= 751 @ 2.17675
2.68/2.74	c bounds 3332 >= 752 @ 2.17783
2.68/2.74	c bounds 3332 >= 753 @ 2.1788
2.68/2.74	c bounds 3332 >= 754 @ 2.17976
2.68/2.74	c bounds 3332 >= 755 @ 2.18037
2.68/2.74	c bounds 3332 >= 756 @ 2.18056
2.68/2.74	c bounds 3332 >= 757 @ 2.18156
2.68/2.74	c bounds 3332 >= 758 @ 2.18256
2.68/2.74	c bounds 3332 >= 759 @ 2.18444
2.68/2.74	c bounds 3332 >= 760 @ 2.18555
2.68/2.74	c bounds 3332 >= 761 @ 2.18636
2.68/2.74	c bounds 3332 >= 762 @ 2.18736
2.68/2.74	c bounds 3331 >= 762 @ 2.22784
2.68/2.74	c bounds 3331 >= 763 @ 2.22898
2.68/2.74	c bounds 3331 >= 764 @ 2.23094
2.68/2.74	c bounds 3331 >= 765 @ 2.23193
2.68/2.74	c bounds 3331 >= 766 @ 2.23293
2.68/2.74	c bounds 3331 >= 767 @ 2.23389
2.68/2.74	c bounds 3331 >= 768 @ 2.23577
2.68/2.74	c bounds 3331 >= 769 @ 2.23679
2.68/2.74	c bounds 3331 >= 770 @ 2.23773
2.68/2.74	c bounds 3331 >= 771 @ 2.23866
2.68/2.74	c bounds 3331 >= 772 @ 2.24057
2.68/2.74	c bounds 3331 >= 773 @ 2.24256
2.68/2.74	c bounds 3331 >= 774 @ 2.24369
2.68/2.74	c bounds 3331 >= 775 @ 2.24468
2.68/2.74	c bounds 3331 >= 776 @ 2.2466
2.68/2.74	c bounds 3331 >= 777 @ 2.24773
2.68/2.74	c bounds 3331 >= 778 @ 2.24874
2.68/2.74	c bounds 3331 >= 779 @ 2.24974
2.68/2.74	c bounds 3331 >= 780 @ 2.25164
2.68/2.74	c bounds 3331 >= 781 @ 2.25273
2.68/2.74	c bounds 3331 >= 782 @ 2.25373
2.68/2.74	c bounds 3331 >= 783 @ 2.25472
2.68/2.74	c bounds 3331 >= 784 @ 2.25663
2.68/2.74	c bounds 3331 >= 785 @ 2.25771
2.68/2.74	c bounds 3331 >= 786 @ 2.25961
2.68/2.74	c bounds 3331 >= 787 @ 2.26158
2.68/2.74	c bounds 3331 >= 788 @ 2.26268
2.68/2.74	c bounds 3331 >= 789 @ 2.26367
2.68/2.74	c bounds 3331 >= 790 @ 2.26466
2.68/2.74	c bounds 3331 >= 791 @ 2.26653
2.68/2.74	c bounds 3331 >= 792 @ 2.26763
2.68/2.74	c bounds 3331 >= 793 @ 2.26861
2.68/2.74	c bounds 3331 >= 794 @ 2.26961
3.00/3.02	c bounds 3331 >= 795 @ 2.27062
3.00/3.02	c bounds 3331 >= 796 @ 2.2716
3.00/3.02	c bounds 3331 >= 797 @ 2.27259
3.00/3.02	c bounds 3331 >= 798 @ 2.27358
3.00/3.02	c bounds 3331 >= 799 @ 2.27455
3.00/3.02	c bounds 3331 >= 800 @ 2.27554
3.00/3.02	c bounds 3331 >= 801 @ 2.27617
3.00/3.02	c bounds 3331 >= 802 @ 2.27684
3.00/3.02	c bounds 3331 >= 803 @ 2.27874
3.00/3.02	c bounds 3331 >= 804 @ 2.27979
3.00/3.02	c bounds 3331 >= 805 @ 2.28082
3.00/3.02	c bounds 3331 >= 806 @ 2.28186
3.00/3.02	c bounds 3331 >= 807 @ 2.28289
3.00/3.02	c bounds 3331 >= 808 @ 2.28416
3.00/3.02	c bounds 3331 >= 809 @ 2.28516
3.00/3.02	c bounds 3331 >= 810 @ 2.28615
3.00/3.02	c bounds 3331 >= 811 @ 2.28715
3.00/3.02	c bounds 3331 >= 812 @ 2.28815
3.00/3.02	c bounds 3331 >= 813 @ 2.28915
3.00/3.02	c bounds 3331 >= 814 @ 2.29119
3.00/3.02	c bounds 3331 >= 815 @ 2.29233
3.00/3.02	c bounds 3331 >= 816 @ 2.29425
3.00/3.02	c bounds 3331 >= 817 @ 2.29532
3.00/3.02	c bounds 3331 >= 818 @ 2.29632
3.00/3.02	c bounds 3331 >= 819 @ 2.29747
3.00/3.02	c bounds 3331 >= 820 @ 2.29849
3.00/3.02	c bounds 3331 >= 821 @ 2.29951
3.00/3.02	c bounds 3331 >= 822 @ 2.30053
3.00/3.02	c bounds 3331 >= 823 @ 2.30241
3.00/3.02	c bounds 3331 >= 824 @ 2.30355
3.00/3.02	c bounds 3331 >= 825 @ 2.30544
3.00/3.02	c bounds 3331 >= 826 @ 2.30657
3.00/3.02	c bounds 3331 >= 827 @ 2.30759
3.00/3.02	c bounds 3331 >= 828 @ 2.3086
3.00/3.02	c bounds 3331 >= 829 @ 2.31049
3.00/3.02	c bounds 3331 >= 830 @ 2.31161
3.00/3.02	c bounds 3331 >= 831 @ 2.31261
3.00/3.02	c bounds 3331 >= 832 @ 2.31361
3.00/3.02	c bounds 3331 >= 833 @ 2.31551
3.00/3.02	c bounds 3331 >= 834 @ 2.31752
3.00/3.02	c bounds 3331 >= 835 @ 2.31862
3.00/3.02	c bounds 3331 >= 836 @ 2.31964
3.00/3.02	c bounds 3331 >= 837 @ 2.32066
3.00/3.02	c bounds 3331 >= 838 @ 2.32166
3.00/3.02	c bounds 3331 >= 839 @ 2.32273
3.00/3.02	c bounds 3331 >= 840 @ 2.32476
3.00/3.02	c bounds 3331 >= 841 @ 2.32583
3.00/3.02	c bounds 3331 >= 842 @ 2.32791
3.00/3.02	c bounds 3331 >= 843 @ 2.32907
3.00/3.02	c bounds 3331 >= 844 @ 2.33025
3.00/3.02	c bounds 3331 >= 845 @ 2.33125
3.00/3.02	c bounds 3331 >= 846 @ 2.33225
3.00/3.02	c bounds 3331 >= 847 @ 2.33343
3.00/3.02	c bounds 3331 >= 848 @ 2.33537
3.00/3.02	c bounds 3331 >= 849 @ 2.33744
3.00/3.02	c bounds 3331 >= 850 @ 2.33861
3.00/3.02	c bounds 3331 >= 851 @ 2.33966
3.00/3.02	c bounds 3331 >= 852 @ 2.3407
3.00/3.02	c bounds 3331 >= 853 @ 2.34209
3.00/3.02	c bounds 3331 >= 854 @ 2.34323
3.00/3.02	c bounds 3331 >= 855 @ 2.34423
3.00/3.02	c bounds 3331 >= 856 @ 2.34541
3.00/3.02	c bounds 3331 >= 857 @ 2.34646
3.00/3.02	c bounds 3331 >= 858 @ 2.34751
3.00/3.02	c bounds 3331 >= 859 @ 2.34944
3.00/3.02	c bounds 3331 >= 860 @ 2.35059
3.00/3.02	c bounds 3331 >= 861 @ 2.35163
3.00/3.02	c bounds 3331 >= 862 @ 2.3536
3.00/3.02	c bounds 3331 >= 863 @ 2.35467
3.00/3.02	c bounds 3331 >= 864 @ 2.35572
3.00/3.02	c bounds 3331 >= 865 @ 2.35678
3.00/3.02	c bounds 3331 >= 866 @ 2.35801
3.00/3.02	c bounds 3331 >= 867 @ 2.35901
3.00/3.02	c bounds 3331 >= 868 @ 2.36091
3.00/3.02	c bounds 3331 >= 869 @ 2.362
3.00/3.02	c bounds 3331 >= 870 @ 2.36398
3.00/3.02	c bounds 3331 >= 871 @ 2.36518
3.00/3.02	c bounds 3331 >= 872 @ 2.36648
3.00/3.02	c bounds 3331 >= 873 @ 2.3676
3.00/3.02	c bounds 3331 >= 874 @ 2.36865
3.00/3.02	c bounds 3331 >= 875 @ 2.36999
3.00/3.02	c bounds 3331 >= 876 @ 2.37098
3.00/3.02	c bounds 3331 >= 877 @ 2.37217
3.00/3.02	c bounds 3331 >= 878 @ 2.3741
3.00/3.02	c bounds 3331 >= 879 @ 2.37621
3.00/3.02	c bounds 3331 >= 880 @ 2.37832
3.00/3.02	c bounds 3331 >= 881 @ 2.37952
3.00/3.02	c bounds 3331 >= 882 @ 2.38063
3.00/3.02	c bounds 3331 >= 883 @ 2.38096
3.00/3.02	c bounds 3331 >= 884 @ 2.38096
3.00/3.02	c bounds 3331 >= 885 @ 2.38196
3.00/3.02	c bounds 3331 >= 886 @ 2.38316
3.00/3.02	c bounds 3331 >= 887 @ 2.38434
3.00/3.02	c bounds 3331 >= 888 @ 2.38545
3.00/3.02	c bounds 3331 >= 889 @ 2.38655
3.00/3.02	c bounds 3331 >= 890 @ 2.38764
3.00/3.02	c bounds 3331 >= 891 @ 2.38971
3.00/3.02	c bounds 3331 >= 892 @ 2.39095
3.00/3.02	c bounds 3331 >= 893 @ 2.39194
3.00/3.02	c bounds 3331 >= 894 @ 2.39313
3.00/3.02	c bounds 3331 >= 895 @ 2.39413
3.00/3.02	c bounds 3331 >= 896 @ 2.39618
3.00/3.02	c bounds 3331 >= 897 @ 2.39826
3.00/3.02	c bounds 3331 >= 898 @ 2.39945
3.00/3.02	c bounds 3331 >= 899 @ 2.40053
3.00/3.02	c bounds 3331 >= 900 @ 2.40252
3.00/3.02	c bounds 3331 >= 901 @ 2.4036
3.00/3.02	c bounds 3331 >= 902 @ 2.40492
3.00/3.02	c bounds 3331 >= 903 @ 2.40592
3.00/3.02	c bounds 3331 >= 904 @ 2.40691
3.00/3.02	c bounds 3331 >= 905 @ 2.40791
3.00/3.02	c bounds 3331 >= 906 @ 2.40855
3.00/3.02	c bounds 3331 >= 907 @ 2.40962
3.00/3.02	c bounds 3331 >= 908 @ 2.41091
3.00/3.02	c bounds 3331 >= 909 @ 2.4119
3.00/3.02	c bounds 3331 >= 910 @ 2.41375
3.00/3.02	c bounds 3331 >= 911 @ 2.41578
3.00/3.02	c bounds 3331 >= 912 @ 2.41689
3.00/3.02	c bounds 3331 >= 913 @ 2.41789
3.00/3.02	c bounds 3331 >= 914 @ 2.41889
3.00/3.02	c bounds 3331 >= 915 @ 2.4209
3.00/3.02	c bounds 3331 >= 916 @ 2.42293
3.00/3.02	c bounds 3331 >= 917 @ 2.42406
3.00/3.02	c bounds 3331 >= 918 @ 2.42524
3.00/3.02	c bounds 3331 >= 919 @ 2.4263
3.00/3.02	c bounds 3331 >= 920 @ 2.42736
3.00/3.02	c bounds 3331 >= 921 @ 2.42843
3.00/3.02	c bounds 3331 >= 922 @ 2.42949
3.00/3.02	c bounds 3331 >= 923 @ 2.43053
3.00/3.02	c bounds 3331 >= 924 @ 2.43087
3.00/3.02	c bounds 3331 >= 925 @ 2.43087
3.00/3.02	c bounds 3331 >= 926 @ 2.43186
3.00/3.02	c bounds 3331 >= 927 @ 2.43385
3.28/3.30	c bounds 3331 >= 928 @ 2.43505
3.28/3.30	c bounds 3331 >= 929 @ 2.43604
3.28/3.30	c bounds 3331 >= 930 @ 2.43797
3.28/3.30	c bounds 3331 >= 931 @ 2.43903
3.28/3.30	c bounds 3331 >= 932 @ 2.44099
3.28/3.30	c bounds 3331 >= 933 @ 2.44202
3.28/3.30	c bounds 3331 >= 934 @ 2.44399
3.28/3.30	c bounds 3331 >= 935 @ 2.44598
3.28/3.30	c bounds 3331 >= 936 @ 2.44701
3.28/3.30	c bounds 3331 >= 937 @ 2.44801
3.28/3.30	c bounds 3331 >= 938 @ 2.44901
3.28/3.30	c bounds 3331 >= 939 @ 2.45025
3.28/3.30	c bounds 3331 >= 940 @ 2.4522
3.28/3.30	c bounds 3331 >= 941 @ 2.45338
3.28/3.30	c bounds 3331 >= 942 @ 2.45448
3.28/3.30	c bounds 3331 >= 943 @ 2.45482
3.28/3.30	c bounds 3331 >= 944 @ 2.45482
3.28/3.30	c bounds 3331 >= 945 @ 2.45601
3.28/3.30	c bounds 3331 >= 946 @ 2.45804
3.28/3.30	c bounds 3331 >= 947 @ 2.45931
3.28/3.30	c bounds 3331 >= 948 @ 2.46043
3.28/3.30	c bounds 3331 >= 949 @ 2.46145
3.28/3.30	c bounds 3331 >= 950 @ 2.4628
3.28/3.30	c bounds 3331 >= 951 @ 2.4638
3.28/3.30	c bounds 3331 >= 952 @ 2.46462
3.28/3.30	c bounds 3331 >= 953 @ 2.4658
3.28/3.30	c bounds 3331 >= 954 @ 2.4668
3.28/3.30	c bounds 3331 >= 955 @ 2.46779
3.28/3.30	c bounds 3331 >= 956 @ 2.46885
3.28/3.30	c bounds 3331 >= 957 @ 2.4704
3.28/3.30	c bounds 3331 >= 958 @ 2.47237
3.28/3.30	c bounds 3331 >= 959 @ 2.47441
3.28/3.30	c bounds 3331 >= 960 @ 2.47478
3.28/3.30	c bounds 3331 >= 961 @ 2.47578
3.28/3.30	c bounds 3331 >= 962 @ 2.47578
3.28/3.30	c bounds 3331 >= 963 @ 2.47678
3.28/3.30	c bounds 3331 >= 964 @ 2.47864
3.28/3.30	c bounds 3331 >= 965 @ 2.48068
3.28/3.30	c bounds 3331 >= 966 @ 2.48177
3.28/3.30	c bounds 3331 >= 967 @ 2.48294
3.28/3.30	c bounds 3331 >= 968 @ 2.48394
3.28/3.30	c bounds 3331 >= 969 @ 2.4859
3.28/3.30	c bounds 3331 >= 970 @ 2.48712
3.28/3.30	c bounds 3331 >= 971 @ 2.48821
3.28/3.30	c bounds 3331 >= 972 @ 2.4893
3.28/3.30	c bounds 3331 >= 973 @ 2.49138
3.28/3.30	c bounds 3331 >= 974 @ 2.49252
3.28/3.30	c bounds 3331 >= 975 @ 2.49374
3.28/3.30	c bounds 3331 >= 976 @ 2.49474
3.28/3.30	c bounds 3331 >= 977 @ 2.49592
3.28/3.30	c bounds 3331 >= 978 @ 2.4971
3.28/3.30	c bounds 3331 >= 979 @ 2.49818
3.28/3.30	c bounds 3331 >= 980 @ 2.50014
3.28/3.30	c bounds 3331 >= 981 @ 2.50134
3.28/3.30	c bounds 3331 >= 982 @ 2.50334
3.28/3.30	c bounds 3331 >= 983 @ 2.50472
3.28/3.30	c bounds 3331 >= 984 @ 2.50652
3.28/3.30	c bounds 3331 >= 985 @ 2.50771
3.28/3.30	c bounds 3331 >= 986 @ 2.50971
3.28/3.30	c bounds 3331 >= 987 @ 2.51183
3.28/3.30	c bounds 3331 >= 988 @ 2.5131
3.28/3.30	c bounds 3331 >= 989 @ 2.5142
3.28/3.30	c bounds 3331 >= 990 @ 2.51626
3.28/3.30	c bounds 3331 >= 991 @ 2.51742
3.28/3.30	c bounds 3331 >= 992 @ 2.5177
3.28/3.30	c bounds 3331 >= 993 @ 2.51975
3.28/3.30	c bounds 3331 >= 994 @ 2.52107
3.28/3.30	c bounds 3331 >= 995 @ 2.52217
3.28/3.30	c bounds 3331 >= 996 @ 2.52417
3.28/3.30	c bounds 3331 >= 997 @ 2.5253
3.28/3.30	c bounds 3331 >= 998 @ 2.52636
3.28/3.30	c bounds 3331 >= 999 @ 2.52668
3.28/3.30	c bounds 3331 >= 1000 @ 2.5275
3.28/3.30	c bounds 3331 >= 1001 @ 2.52867
3.28/3.30	c bounds 3331 >= 1002 @ 2.53065
3.28/3.30	c bounds 3331 >= 1003 @ 2.53184
3.28/3.30	c bounds 3331 >= 1004 @ 2.53379
3.28/3.30	c bounds 3331 >= 1005 @ 2.53586
3.28/3.30	c bounds 3331 >= 1006 @ 2.53803
3.28/3.30	c bounds 3331 >= 1007 @ 2.53926
3.28/3.30	c bounds 3331 >= 1008 @ 2.54033
3.28/3.30	c bounds 3331 >= 1009 @ 2.54103
3.28/3.30	c bounds 3331 >= 1010 @ 2.54215
3.28/3.30	c bounds 3331 >= 1011 @ 2.54417
3.28/3.30	c bounds 3331 >= 1012 @ 2.54464
3.28/3.30	c bounds 3331 >= 1013 @ 2.54464
3.28/3.30	c bounds 3331 >= 1014 @ 2.54583
3.28/3.30	c bounds 3331 >= 1015 @ 2.54716
3.28/3.30	c bounds 3331 >= 1016 @ 2.54925
3.28/3.30	c bounds 3331 >= 1017 @ 2.54963
3.28/3.30	c bounds 3331 >= 1018 @ 2.55062
3.28/3.30	c bounds 3331 >= 1019 @ 2.55133
3.28/3.30	c bounds 3331 >= 1020 @ 2.55162
3.28/3.30	c bounds 3331 >= 1021 @ 2.55251
3.28/3.30	c bounds 3331 >= 1022 @ 2.5538
3.28/3.30	c bounds 3331 >= 1023 @ 2.55576
3.28/3.30	c bounds 3331 >= 1024 @ 2.55703
3.28/3.30	c bounds 3331 >= 1025 @ 2.55815
3.28/3.30	c bounds 3331 >= 1026 @ 2.56015
3.28/3.30	c bounds 3331 >= 1027 @ 2.56226
3.28/3.30	c bounds 3331 >= 1028 @ 2.5626
3.28/3.30	c bounds 3331 >= 1029 @ 2.5636
3.28/3.30	c bounds 3331 >= 1030 @ 2.56477
3.28/3.30	c bounds 3331 >= 1031 @ 2.56577
3.28/3.30	c bounds 3331 >= 1032 @ 2.56701
3.28/3.30	c bounds 3331 >= 1033 @ 2.56898
3.28/3.30	c bounds 3331 >= 1034 @ 2.57019
3.28/3.30	c bounds 3331 >= 1035 @ 2.57124
3.28/3.30	c bounds 3331 >= 1036 @ 2.57239
3.28/3.30	c bounds 3331 >= 1037 @ 2.57358
3.28/3.30	c bounds 3331 >= 1038 @ 2.57476
3.28/3.30	c bounds 3331 >= 1039 @ 2.57603
3.28/3.30	c bounds 3331 >= 1040 @ 2.57816
3.28/3.30	c bounds 3331 >= 1041 @ 2.57857
3.28/3.30	c bounds 3331 >= 1042 @ 2.57976
3.28/3.30	c bounds 3331 >= 1043 @ 2.58194
3.28/3.30	c bounds 3331 >= 1044 @ 2.58323
3.28/3.30	c bounds 3331 >= 1045 @ 2.58456
3.28/3.30	c bounds 3331 >= 1046 @ 2.5867
3.28/3.30	c bounds 3331 >= 1047 @ 2.58897
3.28/3.30	c bounds 3331 >= 1048 @ 2.59121
3.28/3.30	c bounds 3331 >= 1049 @ 2.59345
3.28/3.30	c bounds 3331 >= 1050 @ 2.59473
3.28/3.30	c bounds 3331 >= 1051 @ 2.59606
3.28/3.30	c bounds 3331 >= 1052 @ 2.59716
3.28/3.30	c bounds 3331 >= 1053 @ 2.59753
3.28/3.30	c bounds 3331 >= 1054 @ 2.59753
3.28/3.30	c bounds 3331 >= 1055 @ 2.59871
3.28/3.30	c bounds 3331 >= 1056 @ 2.59992
3.28/3.30	c bounds 3331 >= 1057 @ 2.60108
3.28/3.30	c bounds 3331 >= 1058 @ 2.60322
3.68/3.71	c bounds 3331 >= 1059 @ 2.60352
3.68/3.71	c bounds 3331 >= 1060 @ 2.60573
3.68/3.71	c bounds 3331 >= 1061 @ 2.60837
3.68/3.71	c bounds 3331 >= 1062 @ 2.61062
3.68/3.71	c bounds 3331 >= 1063 @ 2.61287
3.68/3.71	c bounds 3331 >= 1064 @ 2.61417
3.68/3.71	c bounds 3331 >= 1065 @ 2.61533
3.68/3.71	c bounds 3331 >= 1066 @ 2.61667
3.68/3.71	c bounds 3331 >= 1067 @ 2.61789
3.68/3.71	c bounds 3331 >= 1068 @ 2.61901
3.68/3.71	c bounds 3331 >= 1069 @ 2.62104
3.68/3.71	c bounds 3331 >= 1070 @ 2.62218
3.68/3.71	c bounds 3331 >= 1071 @ 2.62333
3.68/3.71	c bounds 3331 >= 1072 @ 2.62466
3.68/3.71	c bounds 3331 >= 1073 @ 2.62677
3.68/3.71	c bounds 3331 >= 1074 @ 2.62901
3.68/3.71	c bounds 3331 >= 1075 @ 2.63024
3.68/3.71	c bounds 3331 >= 1076 @ 2.63248
3.68/3.71	c bounds 3331 >= 1077 @ 2.63386
3.68/3.71	c bounds 3331 >= 1078 @ 2.63504
3.68/3.71	c bounds 3331 >= 1079 @ 2.63546
3.68/3.71	c bounds 3331 >= 1080 @ 2.63546
3.68/3.71	c bounds 3331 >= 1081 @ 2.63663
3.68/3.71	c bounds 3331 >= 1082 @ 2.63795
3.68/3.71	c bounds 3331 >= 1083 @ 2.63908
3.68/3.71	c bounds 3331 >= 1084 @ 2.63945
3.68/3.71	c bounds 3331 >= 1085 @ 2.64144
3.68/3.71	c bounds 3331 >= 1086 @ 2.64285
3.68/3.71	c bounds 3331 >= 1087 @ 2.64498
3.68/3.71	c bounds 3331 >= 1088 @ 2.64544
3.68/3.71	c bounds 3331 >= 1089 @ 2.64663
3.68/3.71	c bounds 3331 >= 1090 @ 2.64888
3.68/3.71	c bounds 3330 >= 1090 @ 2.75748
3.68/3.71	c bounds 3330 >= 1091 @ 2.759
3.68/3.71	c bounds 3330 >= 1092 @ 2.76123
3.68/3.71	c bounds 3330 >= 1093 @ 2.76269
3.68/3.71	c bounds 3330 >= 1094 @ 2.76385
3.68/3.71	c bounds 3330 >= 1095 @ 2.76417
3.68/3.71	c bounds 3330 >= 1096 @ 2.76558
3.68/3.71	c bounds 3330 >= 1097 @ 2.76682
3.68/3.71	c bounds 3330 >= 1098 @ 2.76802
3.68/3.71	c bounds 3330 >= 1099 @ 2.76936
3.68/3.71	c bounds 3330 >= 1100 @ 2.77163
3.68/3.71	c bounds 3330 >= 1101 @ 2.77285
3.68/3.71	c bounds 3330 >= 1102 @ 2.77315
3.68/3.71	c bounds 3330 >= 1103 @ 2.77526
3.68/3.71	c bounds 3330 >= 1104 @ 2.77661
3.68/3.71	c bounds 3330 >= 1105 @ 2.77868
3.68/3.71	c bounds 3330 >= 1106 @ 2.77988
3.68/3.71	c bounds 3330 >= 1107 @ 2.78133
3.68/3.71	c bounds 3330 >= 1108 @ 2.78265
3.68/3.71	c bounds 3330 >= 1109 @ 2.7838
3.68/3.71	c bounds 3330 >= 1110 @ 2.78507
3.68/3.71	c bounds 3330 >= 1111 @ 2.78734
3.68/3.71	c bounds 3330 >= 1112 @ 2.78872
3.68/3.71	c bounds 3330 >= 1113 @ 2.78912
3.68/3.71	c bounds 3330 >= 1114 @ 2.79016
3.68/3.71	c bounds 3330 >= 1115 @ 2.79244
3.68/3.71	c bounds 3330 >= 1116 @ 2.79382
3.68/3.71	c bounds 3330 >= 1117 @ 2.79431
3.68/3.71	c bounds 3330 >= 1118 @ 2.79565
3.68/3.71	c bounds 3330 >= 1119 @ 2.79611
3.68/3.71	c bounds 3330 >= 1120 @ 2.79631
3.68/3.71	c bounds 3330 >= 1121 @ 2.79767
3.68/3.71	c bounds 3330 >= 1122 @ 2.79811
3.68/3.71	c bounds 3330 >= 1123 @ 2.79911
3.68/3.71	c bounds 3330 >= 1124 @ 2.8006
3.68/3.71	c bounds 3330 >= 1125 @ 2.80184
3.68/3.71	c bounds 3330 >= 1126 @ 2.80309
3.68/3.71	c bounds 3330 >= 1127 @ 2.8045
3.68/3.71	c bounds 3330 >= 1128 @ 2.80571
3.68/3.71	c bounds 3330 >= 1129 @ 2.8061
3.68/3.71	c bounds 3330 >= 1130 @ 2.80628
3.68/3.71	c bounds 3330 >= 1131 @ 2.80756
3.68/3.71	c bounds 3330 >= 1132 @ 2.80873
3.68/3.71	c bounds 3330 >= 1133 @ 2.80909
3.68/3.71	c bounds 3330 >= 1134 @ 2.81027
3.68/3.71	c bounds 3330 >= 1135 @ 2.81154
3.68/3.71	c bounds 3330 >= 1136 @ 2.81272
3.68/3.71	c bounds 3330 >= 1137 @ 2.81308
3.68/3.71	c bounds 3330 >= 1138 @ 2.81447
3.68/3.71	c bounds 3330 >= 1139 @ 2.81572
3.68/3.71	c bounds 3330 >= 1140 @ 2.81627
3.68/3.71	c bounds 3330 >= 1141 @ 2.81866
3.68/3.71	c bounds 3330 >= 1142 @ 2.82008
3.68/3.71	c bounds 3330 >= 1143 @ 2.82156
3.68/3.71	c bounds 3330 >= 1144 @ 2.82277
3.68/3.71	c bounds 3330 >= 1145 @ 2.82324
3.68/3.71	c bounds 3330 >= 1146 @ 2.82544
3.68/3.71	c bounds 3330 >= 1147 @ 2.82679
3.68/3.71	c bounds 3330 >= 1148 @ 2.82814
3.68/3.71	c bounds 3330 >= 1149 @ 2.83047
3.68/3.71	c bounds 3330 >= 1150 @ 2.83105
3.68/3.71	c bounds 3330 >= 1151 @ 2.83123
3.68/3.71	c bounds 3330 >= 1152 @ 2.83259
3.68/3.71	c bounds 3330 >= 1153 @ 2.83405
3.68/3.71	c bounds 3330 >= 1154 @ 2.83424
3.68/3.71	c bounds 3330 >= 1155 @ 2.8356
3.68/3.71	c bounds 3330 >= 1156 @ 2.83722
3.68/3.71	c bounds 3330 >= 1157 @ 2.83859
3.68/3.71	c bounds 3330 >= 1158 @ 2.8398
3.68/3.71	c bounds 3330 >= 1159 @ 2.84217
3.68/3.71	c bounds 3330 >= 1160 @ 2.84365
3.68/3.71	c bounds 3330 >= 1161 @ 2.84503
3.68/3.71	c bounds 3330 >= 1162 @ 2.84644
3.68/3.71	c bounds 3330 >= 1163 @ 2.84769
3.68/3.71	c bounds 3330 >= 1164 @ 2.84901
3.68/3.71	c bounds 3330 >= 1165 @ 2.84955
3.68/3.71	c bounds 3330 >= 1166 @ 2.85002
3.68/3.71	c bounds 3330 >= 1167 @ 2.8502
3.68/3.71	c bounds 3330 >= 1168 @ 2.85148
3.68/3.71	c bounds 3330 >= 1169 @ 2.85265
3.68/3.71	c bounds 3330 >= 1170 @ 2.85301
3.68/3.71	c bounds 3330 >= 1171 @ 2.85419
3.68/3.71	c bounds 3330 >= 1172 @ 2.85555
3.68/3.71	c bounds 3330 >= 1173 @ 2.85601
3.68/3.71	c bounds 3330 >= 1174 @ 2.85619
3.68/3.71	c bounds 3330 >= 1175 @ 2.85753
3.68/3.71	c bounds 3330 >= 1176 @ 2.85801
3.68/3.71	c bounds 3330 >= 1177 @ 2.85919
3.68/3.71	c bounds 3330 >= 1178 @ 2.86157
3.68/3.71	c bounds 3330 >= 1179 @ 2.862
3.68/3.71	c bounds 3330 >= 1180 @ 2.86353
3.68/3.71	c bounds 3330 >= 1181 @ 2.864
3.68/3.71	c bounds 3330 >= 1182 @ 2.8644
3.68/3.71	c bounds 3330 >= 1183 @ 2.86566
3.68/3.71	c bounds 3330 >= 1184 @ 2.86619
3.68/3.71	c bounds 3330 >= 1185 @ 2.86848
3.99/4.02	c bounds 3330 >= 1186 @ 2.86899
3.99/4.02	c bounds 3330 >= 1187 @ 2.87037
3.99/4.02	c bounds 3330 >= 1188 @ 2.87161
3.99/4.02	c bounds 3330 >= 1189 @ 2.87198
3.99/4.02	c bounds 3330 >= 1190 @ 2.87316
3.99/4.02	c bounds 3330 >= 1191 @ 2.87459
3.99/4.02	c bounds 3330 >= 1192 @ 2.8768
3.99/4.02	c bounds 3330 >= 1193 @ 2.87815
3.99/4.02	c bounds 3330 >= 1194 @ 2.88045
3.99/4.02	c bounds 3330 >= 1195 @ 2.88097
3.99/4.02	c bounds 3330 >= 1196 @ 2.88115
3.99/4.02	c bounds 3330 >= 1197 @ 2.88342
3.99/4.02	c bounds 3330 >= 1198 @ 2.88396
3.99/4.02	c bounds 3330 >= 1199 @ 2.88506
3.99/4.02	c bounds 3330 >= 1200 @ 2.88737
3.99/4.02	c bounds 3330 >= 1201 @ 2.88795
3.99/4.02	c bounds 3330 >= 1202 @ 2.88935
3.99/4.02	c bounds 3330 >= 1203 @ 2.89061
3.99/4.02	c bounds 3330 >= 1204 @ 2.89188
3.99/4.02	c bounds 3330 >= 1205 @ 2.89337
3.99/4.02	c bounds 3330 >= 1206 @ 2.89457
3.99/4.02	c bounds 3330 >= 1207 @ 2.89494
3.99/4.02	c bounds 3330 >= 1208 @ 2.89769
3.99/4.02	c bounds 3330 >= 1209 @ 2.89812
3.99/4.02	c bounds 3330 >= 1210 @ 2.89956
3.99/4.02	c bounds 3330 >= 1211 @ 2.90093
3.99/4.02	c bounds 3330 >= 1212 @ 2.90238
3.99/4.02	c bounds 3330 >= 1213 @ 2.90461
3.99/4.02	c bounds 3330 >= 1214 @ 2.906
3.99/4.02	c bounds 3330 >= 1215 @ 2.9075
3.99/4.02	c bounds 3330 >= 1216 @ 2.90792
3.99/4.02	c bounds 3330 >= 1217 @ 2.9093
3.99/4.02	c bounds 3330 >= 1218 @ 2.91054
3.99/4.02	c bounds 3330 >= 1219 @ 2.91185
3.99/4.02	c bounds 3330 >= 1220 @ 2.91338
3.99/4.02	c bounds 3330 >= 1221 @ 2.9149
3.99/4.02	c bounds 3330 >= 1222 @ 2.91529
3.99/4.02	c bounds 3330 >= 1223 @ 2.91657
3.99/4.02	c bounds 3330 >= 1224 @ 2.91708
3.99/4.02	c bounds 3330 >= 1225 @ 2.91926
3.99/4.02	c bounds 3330 >= 1226 @ 2.91989
3.99/4.02	c bounds 3330 >= 1227 @ 2.92007
3.99/4.02	c bounds 3330 >= 1228 @ 2.92233
3.99/4.02	c bounds 3330 >= 1229 @ 2.92289
3.99/4.02	c bounds 3330 >= 1230 @ 2.92401
3.99/4.02	c bounds 3330 >= 1231 @ 2.92546
3.99/4.02	c bounds 3330 >= 1232 @ 2.92588
3.99/4.02	c bounds 3330 >= 1233 @ 2.92706
3.99/4.02	c bounds 3330 >= 1234 @ 2.92847
3.99/4.02	c bounds 3330 >= 1235 @ 2.92888
3.99/4.02	c bounds 3330 >= 1236 @ 2.92905
3.99/4.02	c bounds 3330 >= 1237 @ 2.93048
3.99/4.02	c bounds 3330 >= 1238 @ 2.93187
3.99/4.02	c bounds 3330 >= 1239 @ 2.93305
3.99/4.02	c bounds 3330 >= 1240 @ 2.93447
3.99/4.02	c bounds 3330 >= 1241 @ 2.93487
3.99/4.02	c bounds 3330 >= 1242 @ 2.93642
3.99/4.02	c bounds 3330 >= 1243 @ 2.93786
3.99/4.02	c bounds 3330 >= 1244 @ 2.93945
3.99/4.02	c bounds 3330 >= 1245 @ 2.93986
3.99/4.02	c bounds 3330 >= 1246 @ 2.94235
3.99/4.02	c bounds 3330 >= 1247 @ 2.94285
3.99/4.02	c bounds 3330 >= 1248 @ 2.94445
3.99/4.02	c bounds 3330 >= 1249 @ 2.94674
3.99/4.02	c bounds 3330 >= 1250 @ 2.94833
3.99/4.02	c bounds 3330 >= 1251 @ 2.94961
3.99/4.02	c bounds 3330 >= 1252 @ 2.95105
3.99/4.02	c bounds 3330 >= 1253 @ 2.95183
3.99/4.02	c bounds 3330 >= 1254 @ 2.95301
3.99/4.02	c bounds 3330 >= 1255 @ 2.95446
3.99/4.02	c bounds 3330 >= 1256 @ 2.95483
3.99/4.02	c bounds 3330 >= 1257 @ 2.95636
3.99/4.02	c bounds 3330 >= 1258 @ 2.95783
3.99/4.02	c bounds 3330 >= 1259 @ 2.9592
3.99/4.02	c bounds 3330 >= 1260 @ 2.96081
3.99/4.02	c bounds 3330 >= 1261 @ 2.96235
3.99/4.02	c bounds 3330 >= 1262 @ 2.96361
3.99/4.02	c bounds 3330 >= 1263 @ 2.9661
3.99/4.02	c bounds 3330 >= 1264 @ 2.96681
3.99/4.02	c bounds 3330 >= 1265 @ 2.96831
3.99/4.02	c bounds 3330 >= 1266 @ 2.96881
3.99/4.02	c bounds 3330 >= 1267 @ 2.97032
3.99/4.02	c bounds 3330 >= 1268 @ 2.9708
3.99/4.02	c bounds 3330 >= 1269 @ 2.97099
3.99/4.02	c bounds 3330 >= 1270 @ 2.97244
3.99/4.02	c bounds 3330 >= 1271 @ 2.97374
3.99/4.02	c bounds 3330 >= 1272 @ 2.97529
3.99/4.02	c bounds 3330 >= 1273 @ 2.97579
3.99/4.02	c bounds 3330 >= 1274 @ 2.97617
3.99/4.02	c bounds 3330 >= 1275 @ 2.97742
3.99/4.02	c bounds 3330 >= 1276 @ 2.97797
3.99/4.02	c bounds 3330 >= 1277 @ 2.97942
3.99/4.02	c bounds 3330 >= 1278 @ 2.97979
3.99/4.02	c bounds 3330 >= 1279 @ 2.98132
3.99/4.02	c bounds 3330 >= 1280 @ 2.98179
3.99/4.02	c bounds 3330 >= 1281 @ 2.98323
3.99/4.02	c bounds 3330 >= 1282 @ 2.98378
3.99/4.02	c bounds 3330 >= 1283 @ 2.98396
3.99/4.02	c bounds 3330 >= 1284 @ 2.98478
3.99/4.02	c bounds 3330 >= 1285 @ 2.98518
3.99/4.02	c bounds 3330 >= 1286 @ 2.98746
3.99/4.02	c bounds 3330 >= 1287 @ 2.98896
3.99/4.02	c bounds 3330 >= 1288 @ 2.9904
3.99/4.02	c bounds 3330 >= 1289 @ 2.99177
3.99/4.02	c bounds 3330 >= 1290 @ 2.99417
3.99/4.02	c bounds 3330 >= 1291 @ 2.99659
3.99/4.02	c bounds 3330 >= 1292 @ 2.99819
3.99/4.02	c bounds 3330 >= 1293 @ 2.99876
3.99/4.02	c bounds 3330 >= 1294 @ 2.99894
3.99/4.02	c bounds 3330 >= 1295 @ 3.00039
3.99/4.02	c bounds 3330 >= 1296 @ 3.00093
3.99/4.02	c bounds 3330 >= 1297 @ 3.00235
3.99/4.02	c bounds 3330 >= 1298 @ 3.00275
3.99/4.02	c bounds 3330 >= 1299 @ 3.00428
3.99/4.02	c bounds 3330 >= 1300 @ 3.00475
3.99/4.02	c bounds 3330 >= 1301 @ 3.00701
3.99/4.02	c bounds 3330 >= 1302 @ 3.00844
3.99/4.02	c bounds 3330 >= 1303 @ 3.00892
3.99/4.02	c bounds 3330 >= 1304 @ 3.01039
3.99/4.02	c bounds 3330 >= 1305 @ 3.01186
3.99/4.02	c bounds 3330 >= 1306 @ 3.01339
3.99/4.02	c bounds 3330 >= 1307 @ 3.01391
3.99/4.02	c bounds 3330 >= 1308 @ 3.01544
3.99/4.02	c bounds 3330 >= 1309 @ 3.01672
3.99/4.02	c bounds 3330 >= 1310 @ 3.01825
3.99/4.02	c bounds 3330 >= 1311 @ 3.01966
3.99/4.02	c bounds 3330 >= 1312 @ 3.02263
3.99/4.02	c bounds 3330 >= 1313 @ 3.02523
4.27/4.35	c bounds 3330 >= 1314 @ 3.02589
4.27/4.35	c bounds 3330 >= 1315 @ 3.02834
4.27/4.35	c bounds 3330 >= 1316 @ 3.02886
4.27/4.35	c bounds 3330 >= 1317 @ 3.03032
4.27/4.35	c bounds 3330 >= 1318 @ 3.03179
4.27/4.35	c bounds 3330 >= 1319 @ 3.03331
4.27/4.35	c bounds 3330 >= 1320 @ 3.03385
4.27/4.35	c bounds 3330 >= 1321 @ 3.03531
4.27/4.35	c bounds 3330 >= 1322 @ 3.03673
4.27/4.35	c bounds 3330 >= 1323 @ 3.03832
4.27/4.35	c bounds 3330 >= 1324 @ 3.03886
4.27/4.35	c bounds 3330 >= 1325 @ 3.04066
4.27/4.35	c bounds 3330 >= 1326 @ 3.04192
4.27/4.35	c bounds 3330 >= 1327 @ 3.04265
4.27/4.35	c bounds 3330 >= 1328 @ 3.04318
4.27/4.35	c bounds 3330 >= 1329 @ 3.04365
4.27/4.35	c bounds 3330 >= 1330 @ 3.04516
4.27/4.35	c bounds 3330 >= 1331 @ 3.04565
4.27/4.35	c bounds 3330 >= 1332 @ 3.0461
4.27/4.35	c bounds 3330 >= 1333 @ 3.04665
4.27/4.35	c bounds 3330 >= 1334 @ 3.04685
4.27/4.35	c bounds 3330 >= 1335 @ 3.04829
4.27/4.35	c bounds 3330 >= 1336 @ 3.04982
4.27/4.35	c bounds 3330 >= 1337 @ 3.05128
4.27/4.35	c bounds 3330 >= 1338 @ 3.05264
4.27/4.35	c bounds 3330 >= 1339 @ 3.0542
4.27/4.35	c bounds 3330 >= 1340 @ 3.0555
4.27/4.35	c bounds 3330 >= 1341 @ 3.05809
4.27/4.35	c bounds 3330 >= 1342 @ 3.05965
4.27/4.35	c bounds 3330 >= 1343 @ 3.06126
4.27/4.35	c bounds 3330 >= 1344 @ 3.0618
4.27/4.35	c bounds 3330 >= 1345 @ 3.06326
4.27/4.35	c bounds 3330 >= 1346 @ 3.06379
4.27/4.35	c bounds 3330 >= 1347 @ 3.06561
4.27/4.35	c bounds 3330 >= 1348 @ 3.06695
4.27/4.35	c bounds 3330 >= 1349 @ 3.06861
4.27/4.35	c bounds 3330 >= 1350 @ 3.07028
4.27/4.35	c bounds 3330 >= 1351 @ 3.0716
4.27/4.35	c bounds 3330 >= 1352 @ 3.0716
4.27/4.35	c bounds 3330 >= 1353 @ 3.07219
4.27/4.35	c bounds 3330 >= 1354 @ 3.0736
4.27/4.35	c bounds 3330 >= 1355 @ 3.07611
4.27/4.35	c bounds 3330 >= 1356 @ 3.07763
4.27/4.35	c bounds 3330 >= 1357 @ 3.07923
4.27/4.35	c bounds 3330 >= 1358 @ 3.07976
4.27/4.35	c bounds 3330 >= 1359 @ 3.08218
4.27/4.35	c bounds 3330 >= 1360 @ 3.08277
4.27/4.35	c bounds 3330 >= 1361 @ 3.08424
4.27/4.35	c bounds 3330 >= 1362 @ 3.08673
4.27/4.35	c bounds 3330 >= 1363 @ 3.08755
4.27/4.35	c bounds 3330 >= 1364 @ 3.08934
4.27/4.35	c bounds 3330 >= 1365 @ 3.09008
4.27/4.35	c bounds 3330 >= 1366 @ 3.09154
4.27/4.35	c bounds 3330 >= 1367 @ 3.09308
4.27/4.35	c bounds 3330 >= 1368 @ 3.09354
4.27/4.35	c bounds 3330 >= 1369 @ 3.09509
4.27/4.35	c bounds 3330 >= 1370 @ 3.09553
4.27/4.35	c bounds 3330 >= 1371 @ 3.09708
4.27/4.35	c bounds 3330 >= 1372 @ 3.09753
4.27/4.35	c bounds 3330 >= 1373 @ 3.09907
4.27/4.35	c bounds 3330 >= 1374 @ 3.09953
4.27/4.35	c bounds 3330 >= 1375 @ 3.10197
4.27/4.35	c bounds 3330 >= 1376 @ 3.10252
4.27/4.35	c bounds 3330 >= 1377 @ 3.10415
4.27/4.35	c bounds 3330 >= 1378 @ 3.1047
4.27/4.35	c bounds 3330 >= 1379 @ 3.10552
4.27/4.35	c bounds 3330 >= 1380 @ 3.10773
4.27/4.35	c bounds 3330 >= 1381 @ 3.10851
4.27/4.35	c bounds 3330 >= 1382 @ 3.10906
4.27/4.35	c bounds 3330 >= 1383 @ 3.10969
4.27/4.35	c bounds 3330 >= 1384 @ 3.11119
4.27/4.35	c bounds 3330 >= 1385 @ 3.11294
4.27/4.35	c bounds 3330 >= 1386 @ 3.11531
4.27/4.35	c bounds 3330 >= 1387 @ 3.11601
4.27/4.35	c bounds 3330 >= 1388 @ 3.11648
4.27/4.35	c bounds 3330 >= 1389 @ 3.11807
4.27/4.35	c bounds 3330 >= 1390 @ 3.11848
4.27/4.35	c bounds 3330 >= 1391 @ 3.12099
4.27/4.35	c bounds 3330 >= 1392 @ 3.12167
4.27/4.35	c bounds 3330 >= 1393 @ 3.12312
4.27/4.35	c bounds 3330 >= 1394 @ 3.12462
4.27/4.35	c bounds 3330 >= 1395 @ 3.12619
4.27/4.35	c bounds 3330 >= 1396 @ 3.12692
4.27/4.35	c bounds 3330 >= 1397 @ 3.12747
4.27/4.35	c bounds 3330 >= 1398 @ 3.128
4.27/4.35	c bounds 3330 >= 1399 @ 3.12946
4.27/4.35	c bounds 3330 >= 1400 @ 3.13109
4.27/4.35	c bounds 3330 >= 1401 @ 3.13252
4.27/4.35	c bounds 3330 >= 1402 @ 3.13411
4.27/4.35	c bounds 3330 >= 1403 @ 3.13491
4.27/4.35	c bounds 3330 >= 1404 @ 3.13545
4.27/4.35	c bounds 3330 >= 1405 @ 3.13792
4.27/4.35	c bounds 3330 >= 1406 @ 3.13951
4.27/4.35	c bounds 3330 >= 1407 @ 3.14114
4.27/4.35	c bounds 3330 >= 1408 @ 3.14287
4.27/4.35	c bounds 3330 >= 1409 @ 3.14457
4.27/4.35	c bounds 3330 >= 1410 @ 3.1462
4.27/4.35	c bounds 3330 >= 1411 @ 3.14697
4.27/4.35	c bounds 3330 >= 1412 @ 3.1484
4.27/4.35	c bounds 3330 >= 1413 @ 3.15007
4.27/4.35	c bounds 3330 >= 1414 @ 3.15182
4.27/4.35	c bounds 3330 >= 1415 @ 3.15242
4.27/4.35	c bounds 3330 >= 1416 @ 3.15325
4.27/4.35	c bounds 3330 >= 1417 @ 3.15479
4.27/4.35	c bounds 3330 >= 1418 @ 3.15542
4.27/4.35	c bounds 3330 >= 1419 @ 3.15798
4.27/4.35	c bounds 3330 >= 1420 @ 3.15881
4.27/4.35	c bounds 3330 >= 1421 @ 3.16041
4.27/4.35	c bounds 3330 >= 1422 @ 3.16298
4.27/4.35	c bounds 3330 >= 1423 @ 3.16464
4.27/4.35	c bounds 3330 >= 1424 @ 3.16623
4.27/4.35	c bounds 3330 >= 1425 @ 3.16797
4.27/4.35	c bounds 3330 >= 1426 @ 3.16958
4.27/4.35	c bounds 3330 >= 1427 @ 3.17201
4.27/4.35	c bounds 3330 >= 1428 @ 3.17462
4.27/4.35	c bounds 3330 >= 1429 @ 3.17537
4.27/4.35	c bounds 3330 >= 1430 @ 3.17592
4.27/4.35	c bounds 3330 >= 1431 @ 3.17732
4.27/4.35	c bounds 3330 >= 1432 @ 3.17987
4.27/4.35	c bounds 3330 >= 1433 @ 3.18143
4.27/4.35	c bounds 3330 >= 1434 @ 3.183
4.27/4.35	c bounds 3330 >= 1435 @ 3.18454
4.27/4.35	c bounds 3330 >= 1436 @ 3.1861
4.27/4.35	c bounds 3330 >= 1437 @ 3.18684
4.27/4.35	c bounds 3330 >= 1438 @ 3.1892
4.27/4.35	c bounds 3330 >= 1439 @ 3.19091
4.27/4.35	c bounds 3330 >= 1440 @ 3.1923
4.27/4.35	c bounds 3330 >= 1441 @ 3.19484
4.27/4.35	c bounds 3330 >= 1442 @ 3.19652
4.78/4.89	c bounds 3330 >= 1443 @ 3.19833
4.78/4.89	c bounds 3330 >= 1444 @ 3.19997
4.78/4.89	c bounds 3330 >= 1445 @ 3.20185
4.78/4.89	c bounds 3330 >= 1446 @ 3.20252
4.78/4.89	c bounds 3330 >= 1447 @ 3.20432
4.78/4.89	c bounds 3330 >= 1448 @ 3.205
4.78/4.89	c bounds 3330 >= 1449 @ 3.2058
4.78/4.89	c bounds 3330 >= 1450 @ 3.20651
4.78/4.89	c bounds 3330 >= 1451 @ 3.20731
4.78/4.89	c bounds 3330 >= 1452 @ 3.20872
4.78/4.89	c bounds 3330 >= 1453 @ 3.20949
4.78/4.89	c bounds 3330 >= 1454 @ 3.21197
4.78/4.89	c bounds 3330 >= 1455 @ 3.21361
4.78/4.89	c bounds 3330 >= 1456 @ 3.2153
4.78/4.89	c bounds 3330 >= 1457 @ 3.21695
4.78/4.89	c bounds 3330 >= 1458 @ 3.2186
4.78/4.89	c bounds 3330 >= 1459 @ 3.22031
4.78/4.89	c bounds 3330 >= 1460 @ 3.22325
4.78/4.89	c bounds 3330 >= 1461 @ 3.22496
4.78/4.89	c bounds 3330 >= 1462 @ 3.22675
4.78/4.89	c bounds 3330 >= 1463 @ 3.22918
4.78/4.89	c bounds 3330 >= 1464 @ 3.23179
4.78/4.89	c bounds 3330 >= 1465 @ 3.23344
4.78/4.89	c bounds 3330 >= 1466 @ 3.23526
4.78/4.89	c bounds 3330 >= 1467 @ 3.23579
4.78/4.89	c bounds 3330 >= 1468 @ 3.2368
4.78/4.89	c bounds 3330 >= 1469 @ 3.23824
4.78/4.89	c bounds 3330 >= 1470 @ 3.2399
4.78/4.89	c bounds 3330 >= 1471 @ 3.24167
4.78/4.89	c bounds 3330 >= 1472 @ 3.24225
4.78/4.89	c bounds 3330 >= 1473 @ 3.24367
4.78/4.89	c bounds 3330 >= 1474 @ 3.24442
4.78/4.89	c bounds 3330 >= 1475 @ 3.24624
4.78/4.89	c bounds 3330 >= 1476 @ 3.24678
4.78/4.89	c bounds 3330 >= 1477 @ 3.24742
4.78/4.89	c bounds 3330 >= 1478 @ 3.24824
4.78/4.89	c bounds 3330 >= 1479 @ 3.24992
4.78/4.89	c bounds 3330 >= 1480 @ 3.25076
4.78/4.89	c bounds 3330 >= 1481 @ 3.25143
4.78/4.89	c bounds 3330 >= 1482 @ 3.25223
4.78/4.89	c bounds 3330 >= 1483 @ 3.25291
4.78/4.89	c bounds 3330 >= 1484 @ 3.25374
4.78/4.89	c bounds 3330 >= 1485 @ 3.25423
4.78/4.89	c bounds 3330 >= 1486 @ 3.25587
4.78/4.89	c bounds 3330 >= 1487 @ 3.25771
4.78/4.89	c bounds 3330 >= 1488 @ 3.25822
4.78/4.89	c bounds 3330 >= 1489 @ 3.25986
4.78/4.89	c bounds 3330 >= 1490 @ 3.26167
4.78/4.89	c bounds 3330 >= 1491 @ 3.26321
4.78/4.89	c bounds 3330 >= 1492 @ 3.26486
4.78/4.89	c bounds 3330 >= 1493 @ 3.26564
4.78/4.89	c bounds 3330 >= 1494 @ 3.26621
4.78/4.89	c bounds 3330 >= 1495 @ 3.26786
4.78/4.89	c bounds 3330 >= 1496 @ 3.26949
4.78/4.89	c bounds 3330 >= 1497 @ 3.27139
4.78/4.89	c bounds 3330 >= 1498 @ 3.27219
4.78/4.89	c bounds 3330 >= 1499 @ 3.27386
4.78/4.89	c bounds 3330 >= 1500 @ 3.27567
4.78/4.89	c bounds 3330 >= 1501 @ 3.27722
4.78/4.89	c bounds 3330 >= 1502 @ 3.27818
4.78/4.89	c bounds 3330 >= 1503 @ 3.27873
4.78/4.89	c bounds 3330 >= 1504 @ 3.28019
4.78/4.89	c bounds 3330 >= 1505 @ 3.28183
4.78/4.89	c bounds 3330 >= 1506 @ 3.28266
4.78/4.89	c bounds 3330 >= 1507 @ 3.28417
4.78/4.89	c bounds 3330 >= 1508 @ 3.28581
4.78/4.89	c bounds 3330 >= 1509 @ 3.28747
4.78/4.89	c bounds 3330 >= 1510 @ 3.28834
4.78/4.89	c bounds 3330 >= 1511 @ 3.28917
4.78/4.89	c bounds 3330 >= 1512 @ 3.29162
4.78/4.89	c bounds 3330 >= 1513 @ 3.29257
4.78/4.89	c bounds 3330 >= 1514 @ 3.29316
4.78/4.89	c bounds 3330 >= 1515 @ 3.29489
4.78/4.89	c bounds 3330 >= 1516 @ 3.29584
4.78/4.89	c bounds 3330 >= 1517 @ 3.29853
4.78/4.89	c bounds 3330 >= 1518 @ 3.30035
4.78/4.89	c bounds 3330 >= 1519 @ 3.30214
4.78/4.89	c bounds 3330 >= 1520 @ 3.30314
4.78/4.89	c bounds 3330 >= 1521 @ 3.30419
4.78/4.89	c bounds 3330 >= 1522 @ 3.30586
4.78/4.89	c bounds 3330 >= 1523 @ 3.30672
4.78/4.89	c bounds 3330 >= 1524 @ 3.30827
4.78/4.89	c bounds 3330 >= 1525 @ 3.30998
4.78/4.89	c bounds 3330 >= 1526 @ 3.31077
4.78/4.89	c bounds 3330 >= 1527 @ 3.31257
4.78/4.89	c bounds 3330 >= 1528 @ 3.31405
4.78/4.89	c bounds 3330 >= 1529 @ 3.31576
4.78/4.89	c bounds 3329 >= 1529 @ 3.48571
4.78/4.89	c bounds 3329 >= 1530 @ 3.48794
4.78/4.89	c bounds 3329 >= 1531 @ 3.48872
4.78/4.89	c bounds 3329 >= 1532 @ 3.48927
4.78/4.89	c bounds 3329 >= 1533 @ 3.48989
4.78/4.89	c bounds 3329 >= 1534 @ 3.49072
4.78/4.89	c bounds 3329 >= 1535 @ 3.49314
4.78/4.89	c bounds 3329 >= 1536 @ 3.49587
4.78/4.89	c bounds 3329 >= 1537 @ 3.4967
4.78/4.89	c bounds 3329 >= 1538 @ 3.49839
4.78/4.89	c bounds 3329 >= 1539 @ 3.50021
4.78/4.89	c bounds 3329 >= 1540 @ 3.50168
4.78/4.89	c bounds 3329 >= 1541 @ 3.50336
4.78/4.89	c bounds 3329 >= 1542 @ 3.50516
4.78/4.89	c bounds 3329 >= 1543 @ 3.50692
4.78/4.89	c bounds 3329 >= 1544 @ 3.50868
4.78/4.89	c bounds 3329 >= 1545 @ 3.51044
4.78/4.89	c bounds 3329 >= 1546 @ 3.51319
4.78/4.89	c bounds 3329 >= 1547 @ 3.51594
4.78/4.89	c bounds 3329 >= 1548 @ 3.51684
4.78/4.89	c bounds 3329 >= 1549 @ 3.51866
4.78/4.89	c bounds 3329 >= 1550 @ 3.52018
4.78/4.89	c bounds 3329 >= 1551 @ 3.52213
4.78/4.89	c bounds 3329 >= 1552 @ 3.52368
4.78/4.89	c bounds 3329 >= 1553 @ 3.52643
4.78/4.89	c bounds 3329 >= 1554 @ 3.52728
4.78/4.89	c bounds 3329 >= 1555 @ 3.5282
4.78/4.89	c bounds 3329 >= 1556 @ 3.52908
4.78/4.89	c bounds 3329 >= 1557 @ 3.53083
4.78/4.89	c bounds 3329 >= 1558 @ 3.53353
4.78/4.89	c bounds 3329 >= 1559 @ 3.53638
4.78/4.89	c bounds 3329 >= 1560 @ 3.53727
4.78/4.89	c bounds 3329 >= 1561 @ 3.53812
4.78/4.89	c bounds 3329 >= 1562 @ 3.53979
4.78/4.89	c bounds 3329 >= 1563 @ 3.54162
4.78/4.89	c bounds 3329 >= 1564 @ 3.54225
4.78/4.89	c bounds 3329 >= 1565 @ 3.54387
4.78/4.89	c bounds 3329 >= 1566 @ 3.5466
4.78/4.89	c bounds 3329 >= 1567 @ 3.5476
4.78/4.89	c bounds 3329 >= 1568 @ 3.54825
4.78/4.89	c bounds 3329 >= 1569 @ 3.54906
5.18/5.26	c bounds 3329 >= 1570 @ 3.54978
5.18/5.26	c bounds 3329 >= 1571 @ 3.55136
5.18/5.26	c bounds 3329 >= 1572 @ 3.55316
5.18/5.26	c bounds 3329 >= 1573 @ 3.55415
5.18/5.26	c bounds 3329 >= 1574 @ 3.55517
5.18/5.26	c bounds 3329 >= 1575 @ 3.55727
5.18/5.26	c bounds 3329 >= 1576 @ 3.55914
5.18/5.26	c bounds 3329 >= 1577 @ 3.56058
5.18/5.26	c bounds 3329 >= 1578 @ 3.56152
5.18/5.26	c bounds 3329 >= 1579 @ 3.56258
5.18/5.26	c bounds 3329 >= 1580 @ 3.5632
5.18/5.26	c bounds 3329 >= 1581 @ 3.56403
5.18/5.26	c bounds 3329 >= 1582 @ 3.56475
5.18/5.26	c bounds 3329 >= 1583 @ 3.56635
5.18/5.26	c bounds 3329 >= 1584 @ 3.56811
5.18/5.26	c bounds 3329 >= 1585 @ 3.56907
5.18/5.26	c bounds 3329 >= 1586 @ 3.56974
5.18/5.26	c bounds 3329 >= 1587 @ 3.57057
5.18/5.26	c bounds 3329 >= 1588 @ 3.57215
5.18/5.26	c bounds 3329 >= 1589 @ 3.57309
5.18/5.26	c bounds 3329 >= 1590 @ 3.57374
5.18/5.26	c bounds 3329 >= 1591 @ 3.57556
5.18/5.26	c bounds 3329 >= 1592 @ 3.57755
5.18/5.26	c bounds 3329 >= 1593 @ 3.5792
5.18/5.26	c bounds 3329 >= 1594 @ 3.58097
5.18/5.26	c bounds 3329 >= 1595 @ 3.58298
5.18/5.26	c bounds 3329 >= 1596 @ 3.58472
5.18/5.26	c bounds 3329 >= 1597 @ 3.58654
5.18/5.26	c bounds 3329 >= 1598 @ 3.58912
5.18/5.26	c bounds 3329 >= 1599 @ 3.59105
5.18/5.26	c bounds 3329 >= 1600 @ 3.59261
5.18/5.26	c bounds 3329 >= 1601 @ 3.59353
5.18/5.26	c bounds 3329 >= 1602 @ 3.59417
5.18/5.26	c bounds 3329 >= 1603 @ 3.59509
5.18/5.26	c bounds 3329 >= 1604 @ 3.5967
5.18/5.26	c bounds 3329 >= 1605 @ 3.59752
5.18/5.26	c bounds 3329 >= 1606 @ 3.59917
5.18/5.26	c bounds 3329 >= 1607 @ 3.60091
5.18/5.26	c bounds 3329 >= 1608 @ 3.60272
5.18/5.26	c bounds 3329 >= 1609 @ 3.60466
5.18/5.26	c bounds 3329 >= 1610 @ 3.60569
5.18/5.26	c bounds 3329 >= 1611 @ 3.6065
5.18/5.26	c bounds 3329 >= 1612 @ 3.6075
5.18/5.26	c bounds 3329 >= 1613 @ 3.60937
5.18/5.26	c bounds 3329 >= 1614 @ 3.6103
5.18/5.26	c bounds 3329 >= 1615 @ 3.61226
5.18/5.26	c bounds 3329 >= 1616 @ 3.61418
5.18/5.26	c bounds 3329 >= 1617 @ 3.61518
5.18/5.26	c bounds 3329 >= 1618 @ 3.61698
5.18/5.26	c bounds 3329 >= 1619 @ 3.61803
5.18/5.26	c bounds 3329 >= 1620 @ 3.61892
5.18/5.26	c bounds 3329 >= 1621 @ 3.61966
5.18/5.26	c bounds 3329 >= 1622 @ 3.62048
5.18/5.26	c bounds 3329 >= 1623 @ 3.62048
5.18/5.26	c bounds 3329 >= 1624 @ 3.62212
5.18/5.26	c bounds 3329 >= 1625 @ 3.62405
5.18/5.26	c bounds 3329 >= 1626 @ 3.62499
5.18/5.26	c bounds 3329 >= 1627 @ 3.62621
5.18/5.26	c bounds 3329 >= 1628 @ 3.62802
5.18/5.26	c bounds 3329 >= 1629 @ 3.62908
5.18/5.26	c bounds 3329 >= 1630 @ 3.63184
5.18/5.26	c bounds 3329 >= 1631 @ 3.63288
5.18/5.26	c bounds 3329 >= 1632 @ 3.63364
5.18/5.26	c bounds 3329 >= 1633 @ 3.63525
5.18/5.26	c bounds 3329 >= 1634 @ 3.63609
5.18/5.26	c bounds 3329 >= 1635 @ 3.63699
5.18/5.26	c bounds 3329 >= 1636 @ 3.63762
5.18/5.26	c bounds 3329 >= 1637 @ 3.6394
5.18/5.26	c bounds 3329 >= 1638 @ 3.64044
5.18/5.26	c bounds 3329 >= 1639 @ 3.64209
5.18/5.26	c bounds 3329 >= 1640 @ 3.64399
5.18/5.26	c bounds 3329 >= 1641 @ 3.6456
5.18/5.26	c bounds 3329 >= 1642 @ 3.64643
5.18/5.26	c bounds 3329 >= 1643 @ 3.64743
5.18/5.26	c bounds 3329 >= 1644 @ 3.64843
5.18/5.26	c bounds 3329 >= 1645 @ 3.64908
5.18/5.26	c bounds 3329 >= 1646 @ 3.65003
5.18/5.26	c bounds 3329 >= 1647 @ 3.65099
5.18/5.26	c bounds 3329 >= 1648 @ 3.65196
5.18/5.26	c bounds 3329 >= 1649 @ 3.65294
5.18/5.26	c bounds 3329 >= 1650 @ 3.6539
5.18/5.26	c bounds 3329 >= 1651 @ 3.65487
5.18/5.26	c bounds 3329 >= 1652 @ 3.65661
5.18/5.26	c bounds 3329 >= 1653 @ 3.65858
5.18/5.26	c bounds 3329 >= 1654 @ 3.66038
5.18/5.26	c bounds 3329 >= 1655 @ 3.66141
5.18/5.26	c bounds 3329 >= 1656 @ 3.66409
5.18/5.26	c bounds 3329 >= 1657 @ 3.66609
5.18/5.26	c bounds 3329 >= 1658 @ 3.66786
5.18/5.26	c bounds 3329 >= 1659 @ 3.66975
5.18/5.26	c bounds 3329 >= 1660 @ 3.67086
5.18/5.26	c bounds 3329 >= 1661 @ 3.67261
5.18/5.26	c bounds 3329 >= 1662 @ 3.67358
5.18/5.26	c bounds 3329 >= 1663 @ 3.67457
5.18/5.26	c bounds 3329 >= 1664 @ 3.67657
5.18/5.26	c bounds 3329 >= 1665 @ 3.67738
5.18/5.26	c bounds 3329 >= 1666 @ 3.67937
5.18/5.26	c bounds 3329 >= 1667 @ 3.68104
5.18/5.26	c bounds 3329 >= 1668 @ 3.68201
5.18/5.26	c bounds 3329 >= 1669 @ 3.68391
5.18/5.26	c bounds 3329 >= 1670 @ 3.68454
5.18/5.26	c bounds 3329 >= 1671 @ 3.68553
5.18/5.26	c bounds 3329 >= 1672 @ 3.68636
5.18/5.26	c bounds 3329 >= 1673 @ 3.68806
5.18/5.26	c bounds 3329 >= 1674 @ 3.6899
5.18/5.26	c bounds 3329 >= 1675 @ 3.69091
5.18/5.26	c bounds 3329 >= 1676 @ 3.69183
5.18/5.26	c bounds 3329 >= 1677 @ 3.69459
5.18/5.26	c bounds 3329 >= 1678 @ 3.69679
5.18/5.26	c bounds 3329 >= 1679 @ 3.69734
5.18/5.26	c bounds 3329 >= 1680 @ 3.69996
5.18/5.26	c bounds 3329 >= 1681 @ 3.70102
5.18/5.26	c bounds 3329 >= 1682 @ 3.70293
5.18/5.26	c bounds 3329 >= 1683 @ 3.70592
5.18/5.26	c bounds 3329 >= 1684 @ 3.70697
5.18/5.26	c bounds 3329 >= 1685 @ 3.70889
5.18/5.26	c bounds 3329 >= 1686 @ 3.7098
5.18/5.26	c bounds 3329 >= 1687 @ 3.71149
5.18/5.26	c bounds 3329 >= 1688 @ 3.71434
5.18/5.26	c bounds 3329 >= 1689 @ 3.7163
5.18/5.26	c bounds 3329 >= 1690 @ 3.71807
5.18/5.26	c bounds 3329 >= 1691 @ 3.71896
5.18/5.26	c bounds 3329 >= 1692 @ 3.71995
5.18/5.26	c bounds 3329 >= 1693 @ 3.72186
5.18/5.26	c bounds 3329 >= 1694 @ 3.72276
5.18/5.26	c bounds 3329 >= 1695 @ 3.72371
5.18/5.26	c bounds 3329 >= 1696 @ 3.72541
5.18/5.26	c bounds 3329 >= 1697 @ 3.72817
5.18/5.26	c bounds 3329 >= 1698 @ 3.72847
70.70/70.90	c bounds 3329 >= 1699 @ 3.73125
70.70/70.90	c bounds 3329 >= 1700 @ 3.73227
70.70/70.90	c bounds 3329 >= 1701 @ 3.75278
70.70/70.90	c bounds 3329 >= 1702 @ 3.76037
70.70/70.90	c bounds 3329 >= 1703 @ 3.77692
70.70/70.90	c bounds 3329 >= 1704 @ 3.79173
70.70/70.90	c bounds 3329 >= 1705 @ 3.8017
70.70/70.90	c bounds 3329 >= 1706 @ 3.81077
70.70/70.90	c bounds 3329 >= 1707 @ 3.83342
70.70/70.90	c bounds 3329 >= 1708 @ 3.85969
70.70/70.90	c #Conflicts:       1000 | #Constraints:      16501
70.70/70.90	c bounds 3328 >= 1708 @ 4.1687
70.70/70.90	c bounds 3328 >= 1709 @ 4.18119
70.70/70.90	c bounds 3328 >= 1710 @ 4.18672
70.70/70.90	c bounds 3328 >= 1711 @ 4.20046
70.70/70.90	c bounds 3328 >= 1712 @ 4.22555
70.70/70.90	c #Conflicts:       2000 | #Constraints:      17625
70.70/70.90	c INPROCESSING
70.70/70.90	c GARBAGE COLLECT
70.70/70.90	c bounds 3328 >= 1713 @ 8.17075
70.70/70.90	c #Conflicts:       3000 | #Constraints:      16034
70.70/70.90	c bounds 3328 >= 1714 @ 8.37951
70.70/70.90	c bounds 3322 >= 1714 @ 8.38843
70.70/70.90	c bounds 3321 >= 1714 @ 8.49303
70.70/70.90	c bounds 3320 >= 1714 @ 8.58931
70.70/70.90	c #Conflicts:       4000 | #Constraints:      17079
70.70/70.90	c INPROCESSING
70.70/70.90	c GARBAGE COLLECT
70.70/70.90	c bounds 3320 >= 1715 @ 9.53937
70.70/70.90	c bounds 3320 >= 1716 @ 9.54226
70.70/70.90	c bounds 3320 >= 1717 @ 9.54675
70.70/70.94	c bounds 3320 >= 1718 @ 9.55178
70.70/70.94	c bounds 3320 >= 1719 @ 9.56264
70.70/70.94	c bounds 3320 >= 1720 @ 9.60115
70.70/70.94	c #Conflicts:       5000 | #Constraints:      16611
70.70/70.94	c bounds 3320 >= 1721 @ 9.63797
70.70/70.94	c bounds 3320 >= 1722 @ 9.64776
70.70/70.94	c bounds 3320 >= 1723 @ 9.67283
70.70/70.94	c #Conflicts:       6000 | #Constraints:      17728
70.70/70.94	c INPROCESSING
70.70/70.94	c GARBAGE COLLECT
70.70/70.94	c #Conflicts:       7000 | #Constraints:      16759
70.70/70.94	c bounds 3320 >= 1724 @ 18.8334
70.70/70.94	c bounds 3320 >= 1725 @ 18.8414
70.70/70.94	c bounds 3320 >= 1726 @ 18.9009
70.70/70.94	c #Conflicts:       8000 | #Constraints:      17885
70.70/70.94	c bounds 3320 >= 1727 @ 18.9517
70.70/70.94	c bounds 3320 >= 1728 @ 18.9771
70.70/70.94	c bounds 3320 >= 1729 @ 19.0036
70.70/70.94	c #Conflicts:       9000 | #Constraints:      19002
70.70/70.94	c bounds 3320 >= 1730 @ 19.0648
70.70/70.94	c INPROCESSING
70.70/70.94	c GARBAGE COLLECT
70.70/70.94	c bounds 3320 >= 1731 @ 62.7542
70.70/70.94	c #Conflicts:      10000 | #Constraints:      17844
70.70/70.94	c bounds 3319 >= 1731 @ 62.8525
70.70/70.94	c bounds 3319 >= 1732 @ 62.879
70.70/70.94	c bounds 3318 >= 1732 @ 63.0025
70.70/70.94	c bounds 3318 >= 1733 @ 63.0197
70.70/70.94	c bounds 3318 >= 1734 @ 63.024
70.70/70.94	c #Conflicts:      11000 | #Constraints:      18954
70.70/70.94	c bounds 3318 >= 1735 @ 63.0395
70.70/70.94	c bounds 3318 >= 1736 @ 63.1449
70.70/70.94	c bounds 3313 >= 1736 @ 63.1547
70.70/70.94	c #Conflicts:      12000 | #Constraints:      20030
70.70/70.94	c bounds 3312 >= 1736 @ 63.2197
70.70/70.94	c bounds 3311 >= 1736 @ 63.2832
70.70/70.94	c bounds 3310 >= 1736 @ 63.9864
70.70/70.94	c bounds 3310 >= 1737 @ 63.9927
70.70/70.94	c bounds 3310 >= 1738 @ 64.002
70.70/70.94	c bounds 3310 >= 1739 @ 64.0336
70.70/70.94	c #Conflicts:      13000 | #Constraints:      21138
70.70/70.94	c #Conflicts:      14000 | #Constraints:      22138
70.70/70.94	c bounds 3310 >= 1740 @ 64.369
70.70/70.94	c bounds 3309 >= 1740 @ 64.3904
70.70/70.94	c bounds 3308 >= 1740 @ 64.4468
70.70/70.94	c bounds 3307 >= 1740 @ 64.5814
70.70/70.94	c bounds 3306 >= 1740 @ 64.6853
70.70/70.94	c #Conflicts:      15000 | #Constraints:      23190
70.70/70.94	c bounds 3306 >= 1741 @ 64.9911
70.70/70.94	c bounds 3305 >= 1741 @ 65.0637
70.70/70.94	c bounds 3304 >= 1741 @ 65.1265
70.70/70.94	c bounds 3303 >= 1741 @ 65.1817
70.70/70.94	c bounds 3302 >= 1741 @ 65.2386
70.70/70.94	c bounds 3301 >= 1741 @ 65.3008
70.70/70.94	c bounds 3300 >= 1741 @ 65.3626
70.70/70.94	c bounds 3299 >= 1741 @ 65.4229
70.70/70.94	c bounds 3298 >= 1741 @ 65.4844
70.70/70.94	c bounds 3297 >= 1741 @ 65.5906
70.70/70.94	c #Conflicts:      16000 | #Constraints:      24226
70.70/70.94	c bounds 3296 >= 1741 @ 65.7442
70.70/70.94	c bounds 3296 >= 1742 @ 65.7544
70.70/70.94	c bounds 3296 >= 1743 @ 65.7638
70.70/70.94	c bounds 3295 >= 1743 @ 65.8665
70.70/70.94	c INPROCESSING
70.70/70.94	c GARBAGE COLLECT
70.70/70.94	c bounds 3295 >= 1744 @ 65.9706
70.70/70.94	c #Conflicts:      17000 | #Constraints:      20464
70.70/70.94	c bounds 3295 >= 1745 @ 66.094
70.70/70.94	c bounds 3294 >= 1745 @ 66.1035
70.70/70.94	c bounds 3293 >= 1745 @ 66.194
70.70/70.94	c bounds 3292 >= 1745 @ 66.2747
70.70/70.94	c #Conflicts:      18000 | #Constraints:      21551
70.70/70.94	c bounds 3291 >= 1745 @ 66.4084
70.70/70.94	c bounds 3290 >= 1745 @ 66.6774
70.70/70.94	c bounds 3290 >= 1746 @ 66.6837
70.70/70.94	c bounds 3290 >= 1747 @ 66.689
70.70/70.94	c bounds 3290 >= 1748 @ 66.7018
70.70/70.94	c bounds 3290 >= 1749 @ 66.7212
70.70/70.94	c bounds 3290 >= 1750 @ 66.7292
70.70/70.94	c bounds 3290 >= 1751 @ 66.7497
70.70/70.94	c #Conflicts:      19000 | #Constraints:      22757
70.70/70.94	c #Conflicts:      20000 | #Constraints:      23757
70.70/70.94	c INPROCESSING
70.70/70.94	c GARBAGE COLLECT
70.70/70.94	c bounds 3285 >= 1751 @ 66.9722
70.70/70.94	c bounds 3284 >= 1751 @ 67.073
70.70/70.94	c bounds 3283 >= 1751 @ 67.1894
70.70/70.94	c bounds 3282 >= 1751 @ 67.2468
70.70/70.94	c bounds 3281 >= 1751 @ 67.2986
70.70/70.94	c bounds 3280 >= 1751 @ 67.5658
469.66/471.06	c bounds 3280 >= 1752 @ 67.5792
469.66/471.06	c bounds 3280 >= 1753 @ 67.5916
469.66/471.06	c bounds 3280 >= 1754 @ 67.6015
469.66/471.06	c #Conflicts:      21000 | #Constraints:      20556
469.66/471.06	c bounds 3280 >= 1755 @ 67.6329
469.66/471.06	c bounds 3278 >= 1755 @ 67.6546
469.66/471.06	c #Conflicts:      22000 | #Constraints:      21596
469.66/471.06	c bounds 3278 >= 1756 @ 156.361
469.66/471.06	c bounds 3277 >= 1756 @ 156.512
469.66/471.06	c bounds 3276 >= 1756 @ 156.593
469.66/471.06	c bounds 3275 >= 1756 @ 156.684
469.66/471.06	c bounds 3275 >= 1757 @ 156.693
469.66/471.06	c bounds 3275 >= 1758 @ 156.699
469.66/471.06	c bounds 3275 >= 1759 @ 156.725
469.66/471.06	c bounds 3275 >= 1760 @ 156.768
469.66/471.06	c bounds 3274 >= 1760 @ 156.88
469.66/471.06	c #Conflicts:      23000 | #Constraints:      22786
469.66/471.06	c bounds 3274 >= 1761 @ 157.008
469.66/471.06	c bounds 3273 >= 1761 @ 157.241
469.66/471.06	c bounds 3273 >= 1762 @ 157.317
469.66/471.06	c #Conflicts:      24000 | #Constraints:      23859
469.66/471.06	c bounds 3272 >= 1762 @ 157.507
469.66/471.06	c #Conflicts:      25000 | #Constraints:      24860
469.66/471.06	c #Conflicts:      26000 | #Constraints:      25860
469.66/471.06	c bounds 3272 >= 1763 @ 158.095
469.66/471.06	c bounds 3271 >= 1763 @ 158.221
469.66/471.06	c bounds 3270 >= 1763 @ 158.322
469.66/471.06	c bounds 3269 >= 1763 @ 158.49
469.66/471.06	c #Conflicts:      27000 | #Constraints:      26923
469.66/471.06	c bounds 3268 >= 1763 @ 160.623
469.66/471.06	c bounds 3268 >= 1764 @ 160.636
469.66/471.06	c bounds 3268 >= 1765 @ 160.653
469.66/471.06	c bounds 3268 >= 1766 @ 160.675
469.66/471.06	c bounds 3268 >= 1767 @ 160.735
469.66/471.06	c bounds 3268 >= 1768 @ 160.771
469.66/471.06	c bounds 3268 >= 1769 @ 160.813
469.66/471.06	c #Conflicts:      28000 | #Constraints:      28191
469.66/471.06	c bounds 3268 >= 1770 @ 160.892
469.66/471.06	c #Conflicts:      29000 | #Constraints:      29224
469.66/471.06	c bounds 3268 >= 1771 @ 161.23
469.66/471.06	c bounds 3268 >= 1772 @ 161.569
469.66/471.06	c #Conflicts:      30000 | #Constraints:      30335
469.66/471.06	c INPROCESSING
469.66/471.06	c GARBAGE COLLECT
469.66/471.06	c #Conflicts:      31000 | #Constraints:      23987
469.66/471.06	c bounds 3268 >= 1773 @ 162.193
469.66/471.06	c #Conflicts:      32000 | #Constraints:      25020
469.66/471.06	c #Conflicts:      33000 | #Constraints:      26020
469.66/471.06	c bounds 3268 >= 1774 @ 162.656
469.66/471.06	c #Conflicts:      34000 | #Constraints:      27113
469.66/471.06	c bounds 3251 >= 1774 @ 162.945
469.66/471.06	c bounds 3250 >= 1774 @ 163.187
469.66/471.06	c #Conflicts:      35000 | #Constraints:      28115
469.66/471.06	c bounds 3249 >= 1774 @ 163.517
469.66/471.06	c bounds 3249 >= 1775 @ 163.528
469.66/471.06	c bounds 3249 >= 1776 @ 163.536
469.66/471.06	c bounds 3249 >= 1777 @ 163.547
469.66/471.06	c bounds 3249 >= 1778 @ 163.578
469.66/471.06	c bounds 3245 >= 1778 @ 163.602
469.66/471.06	c bounds 3244 >= 1778 @ 163.784
469.66/471.06	c #Conflicts:      36000 | #Constraints:      29262
469.66/471.06	c INPROCESSING
469.66/471.06	c GARBAGE COLLECT
469.66/471.06	c bounds 3244 >= 1779 @ 163.915
469.66/471.06	c bounds 3243 >= 1779 @ 164.104
469.66/471.06	c bounds 3243 >= 1780 @ 164.116
469.66/471.06	c bounds 3243 >= 1781 @ 164.135
469.66/471.06	c bounds 3242 >= 1781 @ 164.389
469.66/471.06	c bounds 3242 >= 1782 @ 164.411
469.66/471.06	c #Conflicts:      37000 | #Constraints:      25295
469.66/471.06	c bounds 3242 >= 1783 @ 164.424
469.66/471.06	c bounds 3242 >= 1784 @ 164.454
469.66/471.06	c #Conflicts:      38000 | #Constraints:      26370
469.66/471.06	c bounds 3242 >= 1785 @ 164.623
469.66/471.06	c bounds 3241 >= 1785 @ 164.795
469.66/471.06	c #Conflicts:      39000 | #Constraints:      27404
469.66/471.06	c bounds 3240 >= 1785 @ 166.096
469.66/471.06	c #Conflicts:      40000 | #Constraints:      28405
469.66/471.06	c #Conflicts:      41000 | #Constraints:      29405
469.66/471.06	c #Conflicts:      42000 | #Constraints:      30405
469.66/471.06	c #Conflicts:      43000 | #Constraints:      31405
469.66/471.06	c bounds 3240 >= 1786 @ 167.551
469.66/471.06	c bounds 3239 >= 1786 @ 167.687
469.66/471.06	c bounds 3238 >= 1786 @ 167.823
469.66/471.06	c bounds 3237 >= 1786 @ 167.944
469.66/471.06	c bounds 3236 >= 1786 @ 168.081
469.66/471.06	c bounds 3235 >= 1786 @ 168.212
469.66/471.06	c #Conflicts:      44000 | #Constraints:      32476
469.66/471.06	c bounds 3234 >= 1786 @ 170.657
469.66/471.06	c #Conflicts:      45000 | #Constraints:      33477
469.66/471.06	c #Conflicts:      46000 | #Constraints:      34477
469.66/471.06	c bounds 3234 >= 1787 @ 171.059
469.66/471.06	c #Conflicts:      47000 | #Constraints:      35552
469.66/471.06	c #Conflicts:      48000 | #Constraints:      36552
469.66/471.06	c #Conflicts:      49000 | #Constraints:      37552
469.66/471.06	c INPROCESSING
469.66/471.06	c GARBAGE COLLECT
469.66/471.06	c rational objective 2022.3
499.96/501.41	c bounds 3233 >= 1787 @ 466.811
499.96/501.41	c bounds 3232 >= 1787 @ 466.934
499.96/501.41	c bounds 3231 >= 1787 @ 467.214
499.96/501.41	c bounds 3230 >= 1787 @ 467.399
499.96/501.41	c #Conflicts:      50000 | #Constraints:      28098
499.96/501.41	c bounds 3229 >= 1787 @ 467.637
499.96/501.41	c #Conflicts:      51000 | #Constraints:      29099
499.96/501.41	c bounds 3229 >= 1788 @ 467.945
499.96/501.41	c bounds 3228 >= 1788 @ 468.116
499.96/501.41	c bounds 3227 >= 1788 @ 468.332
499.96/501.41	c bounds 3226 >= 1788 @ 468.492
499.96/501.41	c bounds 3225 >= 1788 @ 468.633
499.96/501.41	c bounds 3224 >= 1788 @ 468.769
499.96/501.41	c bounds 3223 >= 1788 @ 468.899
499.96/501.41	c #Conflicts:      52000 | #Constraints:      30141
499.96/501.41	c #Conflicts:      53000 | #Constraints:      31141
499.96/501.41	c #Conflicts:      54000 | #Constraints:      32141
499.96/501.41	c bounds 3223 >= 1789 @ 469.626
499.96/501.41	c bounds 3222 >= 1789 @ 469.778
499.96/501.41	c bounds 3221 >= 1789 @ 469.918
499.96/501.41	c bounds 3220 >= 1789 @ 470.082
499.96/501.41	c bounds 3219 >= 1789 @ 470.309
499.96/501.41	c bounds 3218 >= 1789 @ 470.476
499.96/501.41	c bounds 3217 >= 1789 @ 470.64
499.96/501.41	c bounds 3216 >= 1789 @ 470.843
499.96/501.41	c bounds 3215 >= 1789 @ 471.052
499.96/501.41	c bounds 3214 >= 1789 @ 471.353
499.96/501.41	c #Conflicts:      55000 | #Constraints:      33198
499.96/501.41	c bounds 3214 >= 1790 @ 471.362
499.96/501.41	c bounds 3214 >= 1791 @ 471.385
499.96/501.41	c bounds 3214 >= 1792 @ 471.451
499.96/501.41	c bounds 3213 >= 1792 @ 471.627
499.96/501.41	c #Conflicts:      56000 | #Constraints:      34313
499.96/501.41	c INPROCESSING
499.96/501.41	c GARBAGE COLLECT
499.96/501.41	c bounds 3212 >= 1792 @ 472.19
499.96/501.41	c bounds 3211 >= 1792 @ 472.512
499.96/501.41	c bounds 3211 >= 1793 @ 472.536
499.96/501.41	c bounds 3211 >= 1794 @ 472.58
499.96/501.41	c bounds 3211 >= 1795 @ 472.619
499.96/501.41	c #Conflicts:      57000 | #Constraints:      28638
499.96/501.41	c bounds 3210 >= 1795 @ 473.469
499.96/501.41	c bounds 3210 >= 1796 @ 473.477
499.96/501.41	c #Conflicts:      58000 | #Constraints:      29666
499.96/501.41	c #Conflicts:      59000 | #Constraints:      30666
499.96/501.41	c #Conflicts:      60000 | #Constraints:      31666
499.96/501.41	c bounds 3210 >= 1797 @ 474.238
499.96/501.41	c bounds 3209 >= 1797 @ 474.477
499.96/501.41	c bounds 3208 >= 1797 @ 474.723
499.96/501.41	c bounds 3207 >= 1797 @ 475.093
499.96/501.41	c #Conflicts:      61000 | #Constraints:      32717
499.96/501.41	c #Conflicts:      62000 | #Constraints:      33717
499.96/501.41	c bounds 3207 >= 1798 @ 475.678
499.96/501.41	c bounds 3206 >= 1798 @ 475.888
499.96/501.41	c bounds 3205 >= 1798 @ 476.077
499.96/501.41	c bounds 3204 >= 1798 @ 476.311
499.96/501.41	c #Conflicts:      63000 | #Constraints:      34777
499.96/501.41	c bounds 3203 >= 1798 @ 476.914
499.96/501.41	c #Conflicts:      64000 | #Constraints:      35778
499.96/501.41	c bounds 3203 >= 1799 @ 477.314
499.96/501.41	c bounds 3202 >= 1799 @ 477.927
499.96/501.41	c bounds 3201 >= 1799 @ 479.054
499.96/501.41	c #Conflicts:      65000 | #Constraints:      36810
499.96/501.41	c bounds 3201 >= 1800 @ 479.36
499.96/501.41	c #Conflicts:      66000 | #Constraints:      37837
499.96/501.41	c bounds 3201 >= 1801 @ 479.733
499.96/501.41	c bounds 3201 >= 1802 @ 479.836
499.96/501.41	c #Conflicts:      67000 | #Constraints:      38915
499.96/501.41	c bounds 3201 >= 1803 @ 480.248
499.96/501.41	c bounds 3200 >= 1803 @ 481.428
499.96/501.41	c bounds 3200 >= 1804 @ 481.438
499.96/501.41	c bounds 3200 >= 1805 @ 481.474
499.96/501.41	c #Conflicts:      68000 | #Constraints:      40063
499.96/501.41	c bounds 3200 >= 1806 @ 481.63
499.96/501.41	c #Conflicts:      69000 | #Constraints:      41096
499.96/501.41	c bounds 3200 >= 1807 @ 482.071
499.96/501.41	c bounds 3199 >= 1807 @ 482.929
499.96/501.41	c #Conflicts:      70000 | #Constraints:      42142
499.96/501.41	c bounds 3199 >= 1808 @ 483.924
499.96/501.41	c #Conflicts:      71000 | #Constraints:      43184
499.96/501.41	c bounds 3198 >= 1808 @ 485.545
499.96/501.41	c bounds 3198 >= 1809 @ 485.598
499.96/501.41	c bounds 3198 >= 1810 @ 485.698
499.96/501.41	c #Conflicts:      72000 | #Constraints:      44239
499.96/501.41	c INPROCESSING
499.96/501.41	c GARBAGE COLLECT
499.96/501.41	c bounds 3197 >= 1810 @ 486.865
499.96/501.41	c bounds 3196 >= 1810 @ 487.058
499.96/501.41	c #Conflicts:      73000 | #Constraints:      31875
499.96/501.41	c #Conflicts:      74000 | #Constraints:      32875
499.96/501.41	c #Conflicts:      75000 | #Constraints:      33875
499.96/501.41	c #Conflicts:      76000 | #Constraints:      34875
499.96/501.41	c bounds 3196 >= 1811 @ 487.805
499.96/501.41	c bounds 3195 >= 1811 @ 487.964
499.96/501.41	c bounds 3194 >= 1811 @ 488.173
499.96/501.41	c bounds 3193 >= 1811 @ 488.342
499.96/501.41	c #Conflicts:      77000 | #Constraints:      35935
499.96/501.41	c bounds 3192 >= 1811 @ 488.574
499.96/501.41	c bounds 3191 >= 1811 @ 488.815
499.96/501.41	c bounds 3190 >= 1811 @ 489.238
499.96/501.41	c bounds 3189 >= 1811 @ 489.953
499.96/501.41	c bounds 3188 >= 1811 @ 490.397
499.96/501.41	c bounds 3188 >= 1812 @ 490.431
499.96/501.41	c bounds 3188 >= 1813 @ 490.466
499.96/501.41	c #Conflicts:      78000 | #Constraints:      37015
499.96/501.41	c bounds 3188 >= 1814 @ 490.517
499.96/501.41	c bounds 3187 >= 1814 @ 491.351
499.96/501.41	c bounds 3187 >= 1815 @ 491.357
499.96/501.41	c bounds 3187 >= 1816 @ 491.381
499.96/501.41	c bounds 3187 >= 1817 @ 491.457
499.96/501.41	c #Conflicts:      79000 | #Constraints:      38130
499.96/501.41	c #Conflicts:      80000 | #Constraints:      39130
1085.80/1089.00	c bounds 3187 >= 1818 @ 491.949
1085.80/1089.00	c #Conflicts:      81000 | #Constraints:      40187
1085.80/1089.00	c bounds 3186 >= 1818 @ 495.225
1085.80/1089.00	c bounds 3186 >= 1819 @ 495.268
1085.80/1089.00	c bounds 3186 >= 1820 @ 495.315
1085.80/1089.00	c bounds 3186 >= 1821 @ 495.357
1085.80/1089.00	c bounds 3186 >= 1822 @ 495.552
1085.80/1089.00	c #Conflicts:      82000 | #Constraints:      41311
1085.80/1089.00	c bounds 3186 >= 1823 @ 495.742
1085.80/1089.00	c #Conflicts:      83000 | #Constraints:      42344
1085.80/1089.00	c bounds 3186 >= 1824 @ 496.331
1085.80/1089.00	c #Conflicts:      84000 | #Constraints:      43377
1085.80/1089.00	c #Conflicts:      85000 | #Constraints:      44377
1085.80/1089.00	c bounds 3186 >= 1825 @ 497.591
1085.80/1089.00	c bounds 3186 >= 1826 @ 497.83
1085.80/1089.00	c bounds 3186 >= 1827 @ 497.941
1085.80/1089.00	c bounds 3186 >= 1828 @ 498.07
1085.80/1089.00	c #Conflicts:      86000 | #Constraints:      45551
1085.80/1089.00	c bounds 3186 >= 1829 @ 806.836
1085.80/1089.00	c #Conflicts:      87000 | #Constraints:      46593
1085.80/1089.00	c bounds 3186 >= 1830 @ 807.46
1085.80/1089.00	c #Conflicts:      88000 | #Constraints:      47632
1085.80/1089.00	c bounds 3179 >= 1830 @ 808.524
1085.80/1089.00	c #Conflicts:      89000 | #Constraints:      48633
1085.80/1089.00	c bounds 3179 >= 1831 @ 809.492
1085.80/1089.00	c bounds 3178 >= 1831 @ 810.039
1085.80/1089.00	c bounds 3177 >= 1831 @ 810.612
1085.80/1089.00	c bounds 3177 >= 1832 @ 810.628
1085.80/1089.00	c #Conflicts:      90000 | #Constraints:      49731
1085.80/1089.00	c bounds 3177 >= 1833 @ 810.656
1085.80/1089.00	c bounds 3177 >= 1834 @ 810.741
1085.80/1089.00	c bounds 3177 >= 1835 @ 810.856
1085.80/1089.00	c bounds 3176 >= 1835 @ 811.123
1085.80/1089.00	c bounds 3176 >= 1836 @ 811.214
1085.80/1089.00	c bounds 3176 >= 1837 @ 811.305
1085.80/1089.00	c #Conflicts:      91000 | #Constraints:      50894
1085.80/1089.00	c INPROCESSING
1085.80/1089.00	c GARBAGE COLLECT
1085.80/1089.00	c #Conflicts:      92000 | #Constraints:      36306
1085.80/1089.00	c #Conflicts:      93000 | #Constraints:      37306
1085.80/1089.00	c bounds 3176 >= 1838 @ 813.72
1085.80/1089.00	c #Conflicts:      94000 | #Constraints:      38396
1085.80/1089.00	c bounds 3176 >= 1839 @ 813.855
1085.80/1089.00	c bounds 3176 >= 1840 @ 813.896
1085.80/1089.00	c #Conflicts:      95000 | #Constraints:      39480
1085.80/1089.00	c #Conflicts:      96000 | #Constraints:      40480
1085.80/1089.00	c bounds 3176 >= 1841 @ 814.347
1085.80/1089.00	c #Conflicts:      97000 | #Constraints:      41525
1085.80/1089.00	c #Conflicts:      98000 | #Constraints:      42525
1085.80/1089.00	c #Conflicts:      99000 | #Constraints:      43525
1085.80/1089.00	c #Conflicts:     100000 | #Constraints:      44525
1085.80/1089.00	c bounds 3162 >= 1841 @ 816.246
1085.80/1089.01	c #Conflicts:     101000 | #Constraints:      45526
1085.80/1089.01	c #Conflicts:     102000 | #Constraints:      46526
1085.80/1089.01	c #Conflicts:     103000 | #Constraints:      47526
1085.80/1089.01	c #Conflicts:     104000 | #Constraints:      48526
1085.80/1089.01	c #Conflicts:     105000 | #Constraints:      49526
1085.80/1089.01	c bounds 3162 >= 1842 @ 818.945
1085.80/1089.01	c bounds 3161 >= 1842 @ 819.925
1085.80/1089.01	c #Conflicts:     106000 | #Constraints:      50596
1085.80/1089.01	c bounds 3160 >= 1842 @ 821.642
1085.80/1089.01	c bounds 3159 >= 1842 @ 822.711
1085.80/1089.01	c #Conflicts:     107000 | #Constraints:      51598
1085.80/1089.01	c #Conflicts:     108000 | #Constraints:      52598
1085.80/1089.01	c #Conflicts:     109000 | #Constraints:      53598
1085.80/1089.01	c bounds 3159 >= 1843 @ 823.833
1085.80/1089.01	c bounds 3158 >= 1843 @ 824.325
1085.80/1089.01	c bounds 3157 >= 1843 @ 824.611
1085.80/1089.01	c #Conflicts:     110000 | #Constraints:      54684
1085.80/1089.01	c #Conflicts:     111000 | #Constraints:      55684
1085.80/1089.01	c bounds 3156 >= 1843 @ 828.442
1085.80/1089.01	c INPROCESSING
1085.80/1089.01	c GARBAGE COLLECT
1085.80/1089.01	c rational objective 2022.37
1165.79/1169.18	c #Conflicts:     112000 | #Constraints:      39968
1165.79/1169.18	c bounds 3156 >= 1844 @ 1077.9
1165.79/1169.18	c #Conflicts:     113000 | #Constraints:      41019
1165.79/1169.18	c bounds 3156 >= 1845 @ 1078.09
1165.79/1169.18	c #Conflicts:     114000 | #Constraints:      42046
1165.79/1169.18	c #Conflicts:     115000 | #Constraints:      43046
1165.79/1169.18	c bounds 3156 >= 1846 @ 1078.58
1165.79/1169.18	c #Conflicts:     116000 | #Constraints:      44106
1165.79/1169.18	c #Conflicts:     117000 | #Constraints:      45106
1165.79/1169.18	c #Conflicts:     118000 | #Constraints:      46106
1165.79/1169.18	c #Conflicts:     119000 | #Constraints:      47106
1165.79/1169.18	c #Conflicts:     120000 | #Constraints:      48106
1165.79/1169.18	c #Conflicts:     121000 | #Constraints:      49106
1165.79/1169.18	c #Conflicts:     122000 | #Constraints:      50106
1165.79/1169.18	c bounds 3156 >= 1847 @ 1084.12
1165.79/1169.18	c #Conflicts:     123000 | #Constraints:      51139
1165.79/1169.18	c bounds 3155 >= 1847 @ 1085.51
1165.79/1169.18	c #Conflicts:     124000 | #Constraints:      52140
1165.79/1169.18	c bounds 3154 >= 1847 @ 1091.12
1165.79/1169.18	c #Conflicts:     125000 | #Constraints:      53141
1165.79/1169.18	c bounds 3153 >= 1847 @ 1095.03
1165.79/1169.18	c bounds 3153 >= 1848 @ 1095.1
1165.79/1169.18	c #Conflicts:     126000 | #Constraints:      54175
1165.79/1169.18	c #Conflicts:     127000 | #Constraints:      55175
1165.79/1169.18	c bounds 3153 >= 1849 @ 1096.34
1165.79/1169.18	c bounds 3152 >= 1849 @ 1097.71
1165.79/1169.18	c #Conflicts:     128000 | #Constraints:      56224
1165.79/1169.18	c bounds 3152 >= 1850 @ 1097.97
1165.79/1169.18	c #Conflicts:     129000 | #Constraints:      57266
1165.79/1169.18	c #Conflicts:     130000 | #Constraints:      58266
1165.79/1169.18	c bounds 3152 >= 1851 @ 1099.1
1165.79/1169.18	c bounds 3151 >= 1851 @ 1100.08
1165.79/1169.18	c bounds 3150 >= 1851 @ 1101.48
1165.79/1169.18	c #Conflicts:     131000 | #Constraints:      59319
1165.79/1169.18	c #Conflicts:     132000 | #Constraints:      60319
1165.79/1169.18	c #Conflicts:     133000 | #Constraints:      61319
1165.79/1169.18	c #Conflicts:     134000 | #Constraints:      62319
1165.79/1169.18	c INPROCESSING
1165.79/1169.18	c GARBAGE COLLECT
1165.79/1169.18	c bounds 3149 >= 1851 @ 1105.87
1165.79/1169.18	c bounds 3148 >= 1851 @ 1106.07
1165.79/1169.18	c bounds 3147 >= 1851 @ 1106.35
1165.79/1169.18	c bounds 3146 >= 1851 @ 1106.63
1165.79/1169.18	c #Conflicts:     135000 | #Constraints:      44487
1165.79/1169.18	c bounds 3145 >= 1851 @ 1106.9
1165.79/1169.18	c bounds 3144 >= 1851 @ 1107.67
1165.79/1169.18	c bounds 3143 >= 1851 @ 1107.87
1165.79/1169.18	c #Conflicts:     136000 | #Constraints:      45490
1165.79/1169.18	c bounds 3142 >= 1851 @ 1112.57
1165.79/1169.18	c bounds 3142 >= 1852 @ 1112.71
1165.79/1169.18	c #Conflicts:     137000 | #Constraints:      46521
1165.79/1169.18	c bounds 3142 >= 1853 @ 1112.77
1165.79/1169.18	c #Conflicts:     138000 | #Constraints:      47560
1165.79/1169.18	c bounds 3142 >= 1854 @ 1113.2
1165.79/1169.18	c bounds 3142 >= 1855 @ 1113.64
1165.79/1169.18	c #Conflicts:     139000 | #Constraints:      48644
1165.79/1169.18	c #Conflicts:     140000 | #Constraints:      49644
1165.79/1169.18	c #Conflicts:     141000 | #Constraints:      50644
1165.79/1169.18	c #Conflicts:     142000 | #Constraints:      51644
1165.79/1169.18	c #Conflicts:     143000 | #Constraints:      52644
1165.79/1169.18	c #Conflicts:     144000 | #Constraints:      53644
1165.79/1169.18	c #Conflicts:     145000 | #Constraints:      54644
1165.79/1169.18	c bounds 3142 >= 1856 @ 1117.6
1165.79/1169.18	c bounds 3140 >= 1856 @ 1117.81
1165.79/1169.18	c bounds 3139 >= 1856 @ 1117.96
1165.79/1169.18	c bounds 3138 >= 1856 @ 1118.12
1165.79/1169.18	c bounds 3137 >= 1856 @ 1118.28
1165.79/1169.18	c #Conflicts:     146000 | #Constraints:      55708
1165.79/1169.18	c #Conflicts:     147000 | #Constraints:      56708
1165.79/1169.18	c #Conflicts:     148000 | #Constraints:      57708
1165.79/1169.18	c #Conflicts:     149000 | #Constraints:      58708
1165.79/1169.18	c #Conflicts:     150000 | #Constraints:      59708
1165.79/1169.18	c #Conflicts:     151000 | #Constraints:      60708
1165.79/1169.18	c #Conflicts:     152000 | #Constraints:      61708
1165.79/1169.18	c #Conflicts:     153000 | #Constraints:      62708
1165.79/1169.18	c #Conflicts:     154000 | #Constraints:      63708
1165.79/1169.18	c #Conflicts:     155000 | #Constraints:      64708
1165.79/1169.18	c #Conflicts:     156000 | #Constraints:      65708
1165.79/1169.18	c #Conflicts:     157000 | #Constraints:      66708
1165.79/1169.18	c #Conflicts:     158000 | #Constraints:      67708
1165.79/1169.18	c #Conflicts:     159000 | #Constraints:      68708
1165.79/1169.18	c INPROCESSING
1165.79/1169.18	c GARBAGE COLLECT
1165.79/1169.18	c bounds 3136 >= 1856 @ 1136.17
1165.79/1169.18	c bounds 3135 >= 1856 @ 1136.2
1165.79/1169.18	c bounds 3134 >= 1856 @ 1136.24
1165.79/1169.18	c bounds 3133 >= 1856 @ 1136.53
1165.79/1169.18	c bounds 3132 >= 1856 @ 1136.66
1165.79/1169.18	c bounds 3131 >= 1856 @ 1136.78
1165.79/1169.18	c bounds 3130 >= 1856 @ 1136.94
1165.79/1169.18	c bounds 3129 >= 1856 @ 1137.5
1165.79/1169.18	c bounds 3128 >= 1856 @ 1137.77
1165.79/1169.18	c #Conflicts:     160000 | #Constraints:      47705
1165.79/1169.18	c bounds 3127 >= 1856 @ 1141.06
1165.79/1169.18	c #Conflicts:     161000 | #Constraints:      48706
1165.79/1169.18	c #Conflicts:     162000 | #Constraints:      49706
1165.79/1169.18	c #Conflicts:     163000 | #Constraints:      50706
1165.79/1169.18	c bounds 3126 >= 1856 @ 1152.31
2043.56/2049.04	c #Conflicts:     164000 | #Constraints:      51708
2043.56/2049.04	c bounds 3125 >= 1856 @ 1153.82
2043.56/2049.04	c bounds 3124 >= 1856 @ 1155.14
2043.56/2049.04	c bounds 3123 >= 1856 @ 1156.33
2043.56/2049.04	c #Conflicts:     165000 | #Constraints:      52764
2043.56/2049.04	c #Conflicts:     166000 | #Constraints:      53830
2043.56/2049.04	c #Conflicts:     167000 | #Constraints:      54869
2043.56/2049.04	c bounds 3122 >= 1856 @ 1167.64
2043.56/2049.04	c bounds 3122 >= 1857 @ 1663.15
2043.56/2049.04	c #Conflicts:     168000 | #Constraints:      55928
2043.56/2049.04	c bounds 3122 >= 1858 @ 1664.83
2043.56/2049.04	c #Conflicts:     169000 | #Constraints:      56964
2043.56/2049.04	c #Conflicts:     170000 | #Constraints:      57964
2043.56/2049.04	c #Conflicts:     171000 | #Constraints:      58964
2043.56/2049.04	c #Conflicts:     172000 | #Constraints:      59964
2043.56/2049.04	c #Conflicts:     173000 | #Constraints:      60964
2043.56/2049.04	c #Conflicts:     174000 | #Constraints:      61964
2043.56/2049.04	c bounds 3122 >= 1859 @ 1677.56
2043.56/2049.04	c #Conflicts:     175000 | #Constraints:      63072
2043.56/2049.04	c bounds 3121 >= 1859 @ 1679.51
2043.56/2049.04	c bounds 3120 >= 1859 @ 1681.03
2043.56/2049.04	c bounds 3119 >= 1859 @ 1682.63
2043.56/2049.04	c #Conflicts:     176000 | #Constraints:      64075
2043.56/2049.04	c bounds 3118 >= 1859 @ 1687.92
2043.56/2049.04	c #Conflicts:     177000 | #Constraints:      65076
2043.56/2049.04	c bounds 3118 >= 1860 @ 1691.8
2043.56/2049.04	c #Conflicts:     178000 | #Constraints:      66097
2043.56/2049.04	c bounds 3117 >= 1860 @ 1694.25
2043.56/2049.04	c bounds 3116 >= 1860 @ 1698.88
2043.56/2049.04	c #Conflicts:     179000 | #Constraints:      67099
2043.56/2049.04	c #Conflicts:     180000 | #Constraints:      68099
2043.56/2049.04	c #Conflicts:     181000 | #Constraints:      69099
2043.56/2049.04	c #Conflicts:     182000 | #Constraints:      70099
2043.56/2049.04	c #Conflicts:     183000 | #Constraints:      71099
2043.56/2049.04	c #Conflicts:     184000 | #Constraints:      72099
2043.56/2049.04	c #Conflicts:     185000 | #Constraints:      73099
2043.56/2049.04	c INPROCESSING
2043.56/2049.04	c GARBAGE COLLECT
2043.56/2049.04	c rational objective 2022.37
2419.28/2425.63	c bounds 3115 >= 1860 @ 2029.35
2419.28/2425.63	c #Conflicts:     186000 | #Constraints:      50512
2419.28/2425.63	c bounds 3114 >= 1860 @ 2029.53
2419.28/2425.63	c bounds 3113 >= 1860 @ 2029.7
2419.28/2425.63	c bounds 3112 >= 1860 @ 2029.86
2419.28/2425.63	c bounds 3111 >= 1860 @ 2030.05
2419.28/2425.63	c bounds 3110 >= 1860 @ 2030.31
2419.28/2425.63	c bounds 3109 >= 1860 @ 2030.54
2419.28/2425.63	c bounds 3108 >= 1860 @ 2030.86
2419.28/2425.63	c #Conflicts:     187000 | #Constraints:      51519
2419.28/2425.63	c #Conflicts:     188000 | #Constraints:      52519
2419.28/2425.63	c bounds 3107 >= 1860 @ 2033.88
2419.28/2425.63	c bounds 3106 >= 1860 @ 2034.61
2419.28/2425.63	c #Conflicts:     189000 | #Constraints:      53521
2419.28/2425.63	c #Conflicts:     190000 | #Constraints:      54521
2419.28/2425.63	c #Conflicts:     191000 | #Constraints:      55521
2419.28/2425.63	c #Conflicts:     192000 | #Constraints:      56521
2419.28/2425.63	c #Conflicts:     193000 | #Constraints:      57521
2419.28/2425.63	c #Conflicts:     194000 | #Constraints:      58521
2419.28/2425.63	c #Conflicts:     195000 | #Constraints:      59521
2419.28/2425.63	c #Conflicts:     196000 | #Constraints:      60521
2419.28/2425.63	c #Conflicts:     197000 | #Constraints:      61521
2419.28/2425.63	c #Conflicts:     198000 | #Constraints:      62521
2419.28/2425.63	c #Conflicts:     199000 | #Constraints:      63521
2419.28/2425.63	c #Conflicts:     200000 | #Constraints:      64521
2419.28/2425.63	c #Conflicts:     201000 | #Constraints:      65521
2419.28/2425.63	c #Conflicts:     202000 | #Constraints:      66521
2419.28/2425.63	c #Conflicts:     203000 | #Constraints:      67521
2419.28/2425.63	c #Conflicts:     204000 | #Constraints:      68521
2419.28/2425.63	c #Conflicts:     205000 | #Constraints:      69521
2419.28/2425.63	c bounds 3105 >= 1860 @ 2151.44
2419.28/2425.63	c bounds 3105 >= 1861 @ 2151.88
2419.28/2425.63	c #Conflicts:     206000 | #Constraints:      70555
2419.28/2425.63	c #Conflicts:     207000 | #Constraints:      71555
2419.28/2425.63	c #Conflicts:     208000 | #Constraints:      72555
2419.28/2425.63	c #Conflicts:     209000 | #Constraints:      73555
2419.28/2425.63	c #Conflicts:     210000 | #Constraints:      74555
2419.28/2425.63	c #Conflicts:     211000 | #Constraints:      75555
2419.28/2425.63	c #Conflicts:     212000 | #Constraints:      76555
2419.28/2425.63	c #Conflicts:     213000 | #Constraints:      77555
2419.28/2425.63	c #Conflicts:     214000 | #Constraints:      78555
2419.28/2425.63	c INPROCESSING
2419.28/2425.63	c GARBAGE COLLECT
2419.28/2425.63	c #Conflicts:     215000 | #Constraints:      52168
2419.28/2425.63	c #Conflicts:     216000 | #Constraints:      53168
2419.28/2425.63	c #Conflicts:     217000 | #Constraints:      54168
2419.28/2425.63	c #Conflicts:     218000 | #Constraints:      55168
2419.28/2425.63	c #Conflicts:     219000 | #Constraints:      56168
2419.28/2425.63	c #Conflicts:     220000 | #Constraints:      57168
2419.28/2425.63	c #Conflicts:     221000 | #Constraints:      58168
2419.28/2425.63	c #Conflicts:     222000 | #Constraints:      59168
2419.28/2425.63	c #Conflicts:     223000 | #Constraints:      60168
2419.28/2425.63	c #Conflicts:     224000 | #Constraints:      61168
2419.28/2425.63	c #Conflicts:     225000 | #Constraints:      62168
2419.28/2425.63	c #Conflicts:     226000 | #Constraints:      63168
2419.28/2425.63	c #Conflicts:     227000 | #Constraints:      64168
2419.28/2425.63	c #Conflicts:     228000 | #Constraints:      65168
2419.28/2425.63	c #Conflicts:     229000 | #Constraints:      66168
2419.28/2425.63	c #Conflicts:     230000 | #Constraints:      67168
2419.28/2425.63	c #Conflicts:     231000 | #Constraints:      68168
2419.28/2425.63	c #Conflicts:     232000 | #Constraints:      69168
2419.28/2425.63	c #Conflicts:     233000 | #Constraints:      70168
2419.28/2425.63	c #Conflicts:     234000 | #Constraints:      71168
2419.28/2425.63	c #Conflicts:     235000 | #Constraints:      72168
2419.28/2425.63	c #Conflicts:     236000 | #Constraints:      73168
2419.28/2425.63	c #Conflicts:     237000 | #Constraints:      74168
2419.28/2425.63	c #Conflicts:     238000 | #Constraints:      75168
2419.28/2425.63	c #Conflicts:     239000 | #Constraints:      76168
2419.28/2425.63	c #Conflicts:     240000 | #Constraints:      77168
2419.28/2425.63	c #Conflicts:     241000 | #Constraints:      78168
2419.28/2425.63	c #Conflicts:     242000 | #Constraints:      79168
2419.28/2425.63	c #Conflicts:     243000 | #Constraints:      80168
2419.28/2425.63	c #Conflicts:     244000 | #Constraints:      81168
2419.28/2425.63	c INPROCESSING
2419.28/2425.63	c GARBAGE COLLECT
2419.28/2425.63	c #Conflicts:     245000 | #Constraints:      53792
2419.28/2425.63	c #Conflicts:     246000 | #Constraints:      54792
2419.28/2425.63	c #Conflicts:     247000 | #Constraints:      55792
2419.28/2425.63	c #Conflicts:     248000 | #Constraints:      56792
2419.28/2425.63	c #Conflicts:     249000 | #Constraints:      57792
2419.28/2425.63	c #Conflicts:     250000 | #Constraints:      58792
2419.28/2425.63	c #Conflicts:     251000 | #Constraints:      59792
2419.28/2425.63	c #Conflicts:     252000 | #Constraints:      60792
2419.28/2425.63	c #Conflicts:     253000 | #Constraints:      61792
2419.28/2425.63	c #Conflicts:     254000 | #Constraints:      62792
2419.28/2425.63	c #Conflicts:     255000 | #Constraints:      63792
2419.28/2425.63	c #Conflicts:     256000 | #Constraints:      64792
2995.86/3003.54	c #Conflicts:     257000 | #Constraints:      65792
2995.86/3003.54	c #Conflicts:     258000 | #Constraints:      66792
2995.86/3003.54	c #Conflicts:     259000 | #Constraints:      67792
2995.86/3003.54	c #Conflicts:     260000 | #Constraints:      68792
2995.86/3003.54	c #Conflicts:     261000 | #Constraints:      69792
2995.86/3003.54	c #Conflicts:     262000 | #Constraints:      70792
2995.86/3003.54	c #Conflicts:     263000 | #Constraints:      71792
2995.86/3003.54	c #Conflicts:     264000 | #Constraints:      72792
2995.86/3003.54	c #Conflicts:     265000 | #Constraints:      73792
2995.86/3003.54	c bounds 3105 >= 1862 @ 2785.8
2995.86/3003.54	c #Conflicts:     266000 | #Constraints:      74930
2995.86/3003.54	c #Conflicts:     267000 | #Constraints:      75930
2995.86/3003.54	c #Conflicts:     268000 | #Constraints:      76930
2995.86/3003.54	c #Conflicts:     269000 | #Constraints:      77930
2995.86/3003.54	c #Conflicts:     270000 | #Constraints:      78930
2995.86/3003.54	c #Conflicts:     271000 | #Constraints:      79930
2995.86/3003.54	c #Conflicts:     272000 | #Constraints:      80930
2995.86/3003.54	c #Conflicts:     273000 | #Constraints:      81930
2995.86/3003.54	c #Conflicts:     274000 | #Constraints:      82930
2995.86/3003.54	c #Conflicts:     275000 | #Constraints:      83930
2995.86/3003.54	c #Conflicts:     276000 | #Constraints:      84930
2995.86/3003.54	c #Conflicts:     277000 | #Constraints:      85930
2995.86/3003.54	c INPROCESSING
2995.86/3003.54	c GARBAGE COLLECT
2995.86/3003.54	c #Conflicts:     278000 | #Constraints:      57786
2995.86/3003.54	c #Conflicts:     279000 | #Constraints:      58786
2995.86/3003.54	c #Conflicts:     280000 | #Constraints:      59786
2995.86/3003.54	c #Conflicts:     281000 | #Constraints:      60786
2995.86/3003.54	c #Conflicts:     282000 | #Constraints:      61786
2995.86/3003.54	c #Conflicts:     283000 | #Constraints:      62786
2995.86/3003.54	c #Conflicts:     284000 | #Constraints:      63786
2995.86/3003.54	c #Conflicts:     285000 | #Constraints:      64786
2995.86/3003.54	c #Conflicts:     286000 | #Constraints:      65786
2995.86/3003.54	c #Conflicts:     287000 | #Constraints:      66786
2995.86/3003.54	c #Conflicts:     288000 | #Constraints:      67786
2995.86/3003.54	c #Conflicts:     289000 | #Constraints:      68786
2995.86/3003.54	c #Conflicts:     290000 | #Constraints:      69786
2995.86/3003.54	c #Conflicts:     291000 | #Constraints:      70786
2995.86/3003.54	c #Conflicts:     292000 | #Constraints:      71786
2995.86/3003.54	c #Conflicts:     293000 | #Constraints:      72786
2995.86/3003.54	c #Conflicts:     294000 | #Constraints:      73786
2995.86/3003.54	c #Conflicts:     295000 | #Constraints:      74786
2995.86/3003.54	c #Conflicts:     296000 | #Constraints:      75786
2995.86/3003.54	c #Conflicts:     297000 | #Constraints:      76786
2995.86/3003.54	c #Conflicts:     298000 | #Constraints:      77786
2995.86/3003.54	c #Conflicts:     299000 | #Constraints:      78786
2995.86/3003.54	c #Conflicts:     300000 | #Constraints:      79786
2995.86/3003.54	c #Conflicts:     301000 | #Constraints:      80786
2995.86/3003.54	c #Conflicts:     302000 | #Constraints:      81786
2995.86/3003.54	c #Conflicts:     303000 | #Constraints:      82786
2995.86/3003.54	c #Conflicts:     304000 | #Constraints:      83786
2995.86/3003.54	c #Conflicts:     305000 | #Constraints:      84786
2995.86/3003.54	c #Conflicts:     306000 | #Constraints:      85786
2995.86/3003.54	c #Conflicts:     307000 | #Constraints:      86786
2995.86/3003.54	c #Conflicts:     308000 | #Constraints:      87786
2995.86/3003.54	c #Conflicts:     309000 | #Constraints:      88786
2995.86/3003.54	c #Conflicts:     310000 | #Constraints:      89786
2995.86/3003.54	c #Conflicts:     311000 | #Constraints:      90786
2995.86/3003.54	c #Conflicts:     312000 | #Constraints:      91786
2995.86/3003.54	c INPROCESSING
2995.86/3003.54	c GARBAGE COLLECT
2995.86/3003.54	c #Conflicts:     313000 | #Constraints:      62376
2995.86/3003.54	c #Conflicts:     314000 | #Constraints:      63376
2995.86/3003.54	c #Conflicts:     315000 | #Constraints:      64376
2995.86/3003.54	c #Conflicts:     316000 | #Constraints:      65376
2995.86/3003.54	c #Conflicts:     317000 | #Constraints:      66376
2995.86/3003.54	c #Conflicts:     318000 | #Constraints:      67376
2995.86/3003.54	c #Conflicts:     319000 | #Constraints:      68376
2995.86/3003.54	c #Conflicts:     320000 | #Constraints:      69376
2995.86/3003.54	c #Conflicts:     321000 | #Constraints:      70376
2995.86/3003.54	c #Conflicts:     322000 | #Constraints:      71376
2995.86/3003.54	c #Conflicts:     323000 | #Constraints:      72376
2995.86/3003.54	c #Conflicts:     324000 | #Constraints:      73376
2995.86/3003.54	c #Conflicts:     325000 | #Constraints:      74376
2995.86/3003.54	c #Conflicts:     326000 | #Constraints:      75376
2995.86/3003.54	c #Conflicts:     327000 | #Constraints:      76376
2995.86/3003.54	c #Conflicts:     328000 | #Constraints:      77376
2995.86/3003.54	c #Conflicts:     329000 | #Constraints:      78376
2995.86/3003.54	c #Conflicts:     330000 | #Constraints:      79376
2995.86/3003.54	c #Conflicts:     331000 | #Constraints:      80376
2995.86/3003.54	c #Conflicts:     332000 | #Constraints:      81376
2995.86/3003.54	c #Conflicts:     333000 | #Constraints:      82376
3470.93/3479.73	c #Conflicts:     334000 | #Constraints:      83376
3470.93/3479.73	c #Conflicts:     335000 | #Constraints:      84376
3470.93/3479.73	c #Conflicts:     336000 | #Constraints:      85376
3470.93/3479.73	c #Conflicts:     337000 | #Constraints:      86376
3470.93/3479.73	c #Conflicts:     338000 | #Constraints:      87376
3470.93/3479.73	c #Conflicts:     339000 | #Constraints:      88376
3470.93/3479.73	c #Conflicts:     340000 | #Constraints:      89376
3470.93/3479.73	c #Conflicts:     341000 | #Constraints:      90376
3470.93/3479.73	c #Conflicts:     342000 | #Constraints:      91376
3470.93/3479.73	c #Conflicts:     343000 | #Constraints:      92376
3470.93/3479.73	c #Conflicts:     344000 | #Constraints:      93376
3470.93/3479.73	c #Conflicts:     345000 | #Constraints:      94376
3470.93/3479.73	c #Conflicts:     346000 | #Constraints:      95376
3470.93/3479.73	c #Conflicts:     347000 | #Constraints:      96376
3470.93/3479.73	c #Conflicts:     348000 | #Constraints:      97376
3470.93/3479.73	c INPROCESSING
3470.93/3479.73	c GARBAGE COLLECT
3470.93/3479.73	c bounds 3104 >= 1862 @ 3097.77
3470.93/3479.73	c bounds 3103 >= 1862 @ 3097.82
3470.93/3479.73	c bounds 3102 >= 1862 @ 3097.87
3470.93/3479.73	c bounds 3101 >= 1862 @ 3097.95
3470.93/3479.73	c bounds 3100 >= 1862 @ 3098.03
3470.93/3479.73	c bounds 3099 >= 1862 @ 3098.1
3470.93/3479.74	c bounds 3098 >= 1862 @ 3098.17
3470.93/3479.74	c bounds 3097 >= 1862 @ 3098.32
3470.93/3479.74	c bounds 3096 >= 1862 @ 3098.55
3470.93/3479.74	c bounds 3095 >= 1862 @ 3098.74
3470.93/3479.74	c #Conflicts:     349000 | #Constraints:      66293
3470.93/3479.74	c bounds 3094 >= 1862 @ 3098.85
3470.93/3479.74	c bounds 3093 >= 1862 @ 3098.99
3470.93/3479.74	c bounds 3092 >= 1862 @ 3099.2
3470.93/3479.74	c bounds 3091 >= 1862 @ 3099.95
3470.93/3479.74	c bounds 3090 >= 1862 @ 3100.32
3470.93/3479.74	c #Conflicts:     350000 | #Constraints:      67298
3470.93/3479.74	c bounds 3089 >= 1862 @ 3104.05
3470.93/3479.74	c #Conflicts:     351000 | #Constraints:      68299
3470.93/3479.74	c #Conflicts:     352000 | #Constraints:      69299
3470.93/3479.74	c bounds 3088 >= 1862 @ 3114.07
3470.93/3479.74	c #Conflicts:     353000 | #Constraints:      70300
3470.93/3479.74	c bounds 3087 >= 1862 @ 3119.5
3470.93/3479.74	c #Conflicts:     354000 | #Constraints:      71301
3470.93/3479.74	c bounds 3086 >= 1862 @ 3121.93
3470.93/3479.74	c #Conflicts:     355000 | #Constraints:      72302
3470.93/3479.74	c bounds 3085 >= 1862 @ 3127.06
3470.93/3479.74	c #Conflicts:     356000 | #Constraints:      73303
3470.93/3479.74	c bounds 3084 >= 1862 @ 3136.53
3470.93/3479.74	c #Conflicts:     357000 | #Constraints:      74304
3470.93/3479.74	c bounds 3083 >= 1862 @ 3139.61
3470.93/3479.74	c bounds 3082 >= 1862 @ 3141.84
3470.93/3479.74	c bounds 3081 >= 1862 @ 3143.35
3470.93/3479.74	c bounds 3080 >= 1862 @ 3144.37
3470.93/3479.74	c bounds 3079 >= 1862 @ 3147.15
3470.93/3479.74	c #Conflicts:     358000 | #Constraints:      75309
3470.93/3479.74	c bounds 3078 >= 1862 @ 3148.76
3470.93/3479.74	c #Conflicts:     359000 | #Constraints:      76310
3470.93/3479.74	c bounds 3077 >= 1862 @ 3153.93
3470.93/3479.74	c #Conflicts:     360000 | #Constraints:      77311
3470.93/3479.74	c #Conflicts:     361000 | #Constraints:      78311
3470.93/3479.74	c bounds 3076 >= 1862 @ 3168.4
3470.93/3479.74	c #Conflicts:     362000 | #Constraints:      79312
3470.93/3479.74	c bounds 3075 >= 1862 @ 3180.74
3470.93/3479.74	c bounds 3074 >= 1862 @ 3185.29
3470.93/3479.74	c #Conflicts:     363000 | #Constraints:      80314
3470.93/3479.74	c bounds 3073 >= 1862 @ 3190.65
3470.93/3479.74	c bounds 3072 >= 1862 @ 3194.01
3470.93/3479.74	c bounds 3071 >= 1862 @ 3195.86
3470.93/3479.74	c #Conflicts:     364000 | #Constraints:      81317
3470.93/3479.74	c bounds 3070 >= 1862 @ 3200.57
3470.93/3479.74	c #Conflicts:     365000 | #Constraints:      82318
3470.93/3479.74	c bounds 3069 >= 1862 @ 3210.09
3470.93/3479.74	c bounds 3068 >= 1862 @ 3216.78
3470.93/3479.74	c #Conflicts:     366000 | #Constraints:      83320
3470.93/3479.74	c bounds 3067 >= 1862 @ 3221.14
3470.93/3479.74	c bounds 3066 >= 1862 @ 3225.64
3470.93/3479.74	c bounds 3065 >= 1862 @ 3229.6
3470.93/3479.74	c #Conflicts:     367000 | #Constraints:      84323
3470.93/3479.74	c bounds 3064 >= 1862 @ 3233.49
3470.93/3479.74	c #Conflicts:     368000 | #Constraints:      85324
3470.93/3479.74	c #Conflicts:     369000 | #Constraints:      86324
3470.93/3479.74	c #Conflicts:     370000 | #Constraints:      87324
3470.93/3479.74	c #Conflicts:     371000 | #Constraints:      88324
3470.93/3479.74	c #Conflicts:     372000 | #Constraints:      89324
3470.93/3479.74	c #Conflicts:     373000 | #Constraints:      90324
3470.93/3479.74	c #Conflicts:     374000 | #Constraints:      91324
3470.93/3479.74	c #Conflicts:     375000 | #Constraints:      92324
3470.93/3479.74	c #Conflicts:     376000 | #Constraints:      93324
3470.93/3479.74	c #Conflicts:     377000 | #Constraints:      94324
3470.93/3479.74	c #Conflicts:     378000 | #Constraints:      95324
3470.93/3479.74	c #Conflicts:     379000 | #Constraints:      96324
3470.93/3479.74	c #Conflicts:     380000 | #Constraints:      97324
3470.93/3479.74	c #Conflicts:     381000 | #Constraints:      98324
3470.93/3479.74	c bounds 3063 >= 1862 @ 3420.97
3470.93/3479.74	c #Conflicts:     382000 | #Constraints:      99325
3470.93/3479.74	c #Conflicts:     383000 | #Constraints:     100325
3470.93/3479.74	c #Conflicts:     384000 | #Constraints:     101325
3470.93/3479.74	c #Conflicts:     3850

ERROR: no interpretation found !

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 64059 MiB (62953 MiB free)
  memory of node 1: 64510 MiB (61623 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455112-1721458036/watcher-4455112-1721458036 -o /tmp/evaluation-result-4455112-1721458036/solver-4455112-1721458036 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1721458043-1047959 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455112-1721458036.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
solver pid=1048665, runsolver pid=1048662
Current StackSize limit: 8192 KiB


[startup+0.100095 s]*
/proc/loadavg: 1.56 1.21 1.39 5/243 1048666
/proc/meminfo: memFree=127560028/131655788 swapFree=131071996/131071996
[pid=1048665] ppid=1048662 vsize=42548 memory=11912 CPUtime=0.1 cores=5,7
/proc/1048665/stat : 1048665 (roundingsat) R 1048662 1048665 1047946 0 -1 4194304 2305 0 0 0 8 2 0 0 20 0 1 0 197961650 43569152 2978 134679101440 4194304 7968373 140734260550160 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 30666752 140734260556732 140734260556896 140734260556896 140734260563913 0
/proc/1048665/statm: 10637 2978 1534 922 0 2589 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 42548 KiB
Current children cumulated memory: 11912 KiB

[startup+0.213085 s]*
/proc/loadavg: 1.56 1.21 1.39 5/243 1048666
/proc/meminfo: memFree=127548680/131655788 swapFree=131071996/131071996
[pid=1048665] ppid=1048662 vsize=53536 memory=21924 CPUtime=0.22 cores=5,7
/proc/1048665/stat : 1048665 (roundingsat) R 1048662 1048665 1047946 0 -1 4194304 4615 0 0 0 19 3 0 0 20 0 1 0 197961650 54820864 5481 134679101440 4194304 7968373 140734260550160 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 30666752 140734260556732 140734260556896 140734260556896 140734260563913 0
/proc/1048665/statm: 13384 5481 1741 922 0 5336 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 53536 KiB
Current children cumulated memory: 21924 KiB

[startup+0.312969 s]*
/proc/loadavg: 1.56 1.21 1.39 5/243 1048666
/proc/meminfo: memFree=127547600/131655788 swapFree=131071996/131071996
[pid=1048665] ppid=1048662 vsize=54040 memory=22716 CPUtime=0.31 cores=5,7
/proc/1048665/stat : 1048665 (roundingsat) R 1048662 1048665 1047946 0 -1 4194304 4825 0 0 0 28 3 0 0 20 0 1 0 197961650 55336960 5679 134679101440 4194304 7968373 140734260550160 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 30666752 140734260556732 140734260556896 140734260556896 140734260563913 0
/proc/1048665/statm: 13510 5679 1741 922 0 5462 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 54040 KiB
Current children cumulated memory: 22716 KiB

[startup+0.700278 s]
/proc/loadavg: 1.56 1.21 1.39 5/243 1048666
/proc/meminfo: memFree=127543092/131655788 swapFree=131071996/131071996
[pid=1048665] ppid=1048662 vsize=55976 memory=24300 CPUtime=0.68 cores=5,7
/proc/1048665/stat : 1048665 (roundingsat) R 1048662 1048665 1047946 0 -1 4194304 5235 0 0 0 65 3 0 0 20 0 1 0 197961650 57319424 6075 134679101440 4194304 7968373 140734260550160 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 30666752 140734260556732 140734260556896 140734260556896 140734260563913 0
/proc/1048665/statm: 13994 6075 1741 922 0 5946 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 55976 KiB
Current children cumulated memory: 24300 KiB

[startup+1.50026 s]
/proc/loadavg: 1.56 1.21 1.39 5/243 1048666
/proc/meminfo: memFree=127521556/131655788 swapFree=131071996/131071996
[pid=1048665] ppid=1048662 vsize=64312 memory=35132 CPUtime=1.48 cores=5,7
/proc/1048665/stat : 1048665 (roundingsat) R 1048662 1048665 1047946 0 -1 4194304 6392 0 0 0 139 9 0 0 20 0 1 0 197961650 65855488 8783 134679101440 4194304 7968373 140734260550160 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 30666752 140734260556732 140734260556896 140734260556896 140734260563913 0
/proc/1048665/statm: 16078 8783 1773 922 0 8030 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 64312 KiB
Current children cumulated memory: 35132 KiB

[startup+3.11279 s]
/proc/loadavg: 1.56 1.21 1.39 5/243 1048666
/proc/meminfo: memFree=127403892/131655788 swapFree=131071996/131071996
[pid=1048665] ppid=1048662 vsize=109516 memory=75164 CPUtime=3.09 cores=5,7
/proc/1048665/stat : 1048665 (roundingsat) R 1048662 1048665 1047946 0 -1 4194304 9720 0 0 0 248 61 0 0 20 0 1 0 197961650 112144384 18791 134679101440 4194304 7968373 140734260550160 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 30666752 140734260556732 140734260556896 140734260556896 140734260563913 0
/proc/1048665/statm: 27379 18791 1773 922 0 19331 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 109516 KiB
Current children cumulated memory: 75164 KiB

[startup+6.30028 s]
/proc/loadavg: 1.76 1.26 1.40 5/243 1048666
/proc/meminfo: memFree=127305936/131655788 swapFree=131071996/131071996
[pid=1048665] ppid=1048662 vsize=227692 memory=155600 CPUtime=6.27 cores=5,7
/proc/1048665/stat : 1048665 (roundingsat) R 1048662 1048665 1047946 0 -1 4194304 20140 0 0 0 445 182 0 0 20 0 1 0 197961650 233156608 38900 134679101440 4194304 7968373 140734260550160 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 30666752 140734260556732 140734260556896 140734260556896 140734260563913 0
/proc/1048665/statm: 56923 38900 1789 922 0 48875 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 227692 KiB
Current children cumulated memory: 155600 KiB

[startup+12.7003 s]
/proc/loadavg: 1.94 1.31 1.42 5/240 1048671
/proc/meminfo: memFree=127315760/131655788 swapFree=131071996/131071996
[pid=1048665] ppid=1048662 vsize=233240 memory=160584 CPUtime=12.66 cores=5,7
/proc/1048665/stat : 1048665 (roundingsat) R 1048662 1048665 1047946 0 -1 4194304 21335 0 0 0 1059 207 0 0 20 0 1 0 197961650 238837760 40146 134679101440 4194304 7968373 140734260550160 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 30666752 140734260556732 140734260556896 140734260556896 140734260563913 0
/proc/1048665/statm: 58310 40146 1789 922 0 50262 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 233240 KiB
Current children cumulated memory: 160584 KiB

[startup+25.5003 s]
/proc/loadavg: 2.47 1.46 1.47 5/243 1048945
/proc/meminfo: memFree=127202612/131655788 swapFree=131071996/131071996
[pid=1048665] ppid=1048662 vsize=234636 memory=162380 CPUtime=25.43 cores=5,7
/proc/1048665/stat : 1048665 (roundingsat) R 1048662 1048665 1047946 0 -1 4194304 21715 0 0 0 2312 231 0 0 20 0 1 0 197961650 240267264 40595 134679101440 4194304 7968373 140734260550160 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 30666752 140734260556732 140734260556896 140734260556896 140734260563913 0
/proc/1048665/statm: 58659 40595 1850 922 0 50611 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 234636 KiB
Current children cumulated memory: 162380 KiB

[startup+51.113 s]
/proc/loadavg: 3.00 1.66 1.53 5/243 1048950
/proc/meminfo: memFree=127083988/131655788 swapFree=131071996/131071996
[pid=1048665] ppid=1048662 vsize=247020 memory=172964 CPUtime=50.97 cores=5,7
/proc/1048665/stat : 1048665 (roundingsat) R 1048662 1048665 1047946 0 -1 4194304 24170 0 0 0 4859 238 0 0 20 0 1 0 197961650 252948480 43241 134679101440 4194304 7968373 140734260550160 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 30666752 140734260556732 140734260556896 140734260556896 140734260563913 0
/proc/1048665/statm: 61755 43241 1850 922 0 53707 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 247020 KiB
Current children cumulated memory: 172964 KiB

[startup+102.3 s]
/proc/loadavg: 3.61 2.04 1.67 5/242 1048958
/proc/meminfo: memFree=126636524/131655788 swapFree=131071996/131071996
[pid=1048665] ppid=1048662 vsize=283020 memory=208028 CPUtime=102.01 cores=5,7
/proc/1048665/stat : 1048665 (roundingsat) R 1048662 1048665 1047946 0 -1 4194304 33663 0 0 0 9861 340 0 0 20 0 1 0 197961650 289812480 52007 134679101440 4194304 7968373 140734260550160 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 30666752 140734260556732 140734260556896 140734260556896 140734260563913 0
/proc/1048665/statm: 70755 52007 1850 922 0 62707 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 283020 KiB
Current children cumulated memory: 208028 KiB

[startup+162.3 s]
/proc/loadavg: 3.92 2.41 1.82 5/242 1049014
/proc/meminfo: memFree=126509576/131655788 swapFree=131071996/131071996
[pid=1048665] ppid=1048662 vsize=285776 memory=211964 CPUtime=161.83 cores=5,7
/proc/1048665/stat : 1048665 (roundingsat) R 1048662 1048665 1047946 0 -1 4194304 34626 0 0 0 15802 381 0 0 20 0 1 0 197961650 292634624 52991 134679101440 4194304 7968373 140734260550160 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 30666752 140734260556732 140734260556896 140734260556896 140734260563913 0
/proc/1048665/statm: 71444 52991 1850 922 0 63396 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 285776 KiB
Current children cumulated memory: 211964 KiB

[startup+222.3 s]
/proc/loadavg: 4.09 2.74 1.97 5/245 1049029
/proc/meminfo: memFree=126265884/131655788 swapFree=131071996/131071996
[pid=1048665] ppid=1048662 vsize=488700 memory=407204 CPUtime=221.66 cores=5,7
/proc/1048665/stat : 1048665 (roundingsat) R 1048662 1048665 1047946 0 -1 4194304 75273 0 0 0 21616 550 0 0 20 0 1 0 197961650 500428800 101801 134679101440 4194304 7968373 140734260550160 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 30666752 140734260556732 140734260556896 140734260556896 140734260563913 0
/proc/1048665/statm: 122175 101801 1850 922 0 114127 0
Current children cumulated CPU time: 221.66 s
Current children cumulated vsize: 488700 KiB
Current children cumulated memory: 407204 KiB

[startup+282.3 s]
/proc/loadavg: 4.14 3.00 2.11 5/246 1049041
/proc/meminfo: memFree=125805532/131655788 swapFree=131071996/131071996
[pid=1048665] ppid=1048662 vsize=518152 memory=433948 CPUtime=281.49 cores=5,7
/proc/1048665/stat : 1048665 (roundingsat) R 1048662 1048665 1047946 0 -1 4194304 78959 0 0 0 27589 560 0 0 20 0 1 0 197961650 530587648 108487 134679101440 4194304 7968373 140734260550160 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 30666752 140734260556732 140734260556896 140734260556896 140734260563913 0
/proc/1048665/statm: 129538 108487 1850 922 0 121490 0
Current children cumulated CPU time: 281.49 s
Current children cumulated vsize: 518152 KiB
Current children cumulated memory: 433948 KiB

[startup+342.3 s]
/proc/loadavg: 4.11 3.20 2.24 5/245 1049052
/proc/meminfo: memFree=125438236/131655788 swapFree=131071996/131071996
[pid=1048665] ppid=1048662 vsize=552344 memory=458104 CPUtime=341.32 cores=5,7
/proc/1048665/stat : 1048665 (roundingsat) R 1048662 1048665 1047946 0 -1 4194304 80780 0 0 0 33565 567 0 0 20 0 1 0 197961650 565600256 114526 134679101440 4194304 7968373 140734260550160 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 30666752 140734260556732 140734260556896 140734260556896 140734260563913 0
/proc/1048665/statm: 138086 114526 1850 922 0 130038 0
Current children cumulated CPU time: 341.32 s
Current children cumulated vsize: 552344 KiB
Current children cumulated memory: 458104 KiB

[startup+402.3 s]
/proc/loadavg: 4.08 3.36 2.36 5/245 1049062
/proc/meminfo: memFree=125364828/131655788 swapFree=131071996/131071996
[pid=1048665] ppid=1048662 vsize=558892 memory=474852 CPUtime=401.15 cores=5,7
/proc/1048665/stat : 1048665 (roundingsat) R 1048662 1048665 1047946 0 -1 4194304 81954 0 0 0 39543 572 0 0 20 0 1 0 197961650 572305408 118713 134679101440 4194304 7968373 140734260550160 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 30666752 140734260556732 140734260556896 140734260556896 140734260563913 0
/proc/1048665/statm: 139723 118713 1850 922 0 131675 0
Current children cumulated CPU time: 401.15 s
Current children cumulated vsize: 558892 KiB
Current children cumulated memory: 474852 KiB

[startup+462.3 s]
/proc/loadavg: 4.09 3.50 2.47 5/245 1049074
/proc/meminfo: memFree=125283012/131655788 swapFree=131071996/131071996
[pid=1048665] ppid=1048662 vsize=571752 memory=477080 CPUtime=460.98 cores=5,7
/proc/1048665/stat : 1048665 (roundingsat) R 1048662 1048665 1047946 0 -1 4194304 82321 0 0 0 45521 577 0 0 20 0 1 0 197961650 585474048 119270 134679101440 4194304 7968373 140734260550160 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 30666752 140734260556732 140734260556896 140734260556896 140734260563913 0
/proc/1048665/statm: 142938 119270 1850 922 0 134890 0
Current children cumulated CPU time: 460.98 s

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

[startup+3162.3 s]
/proc/loadavg: 4.15 4.14 4.09 5/241 1050746
/proc/meminfo: memFree=120795248/131655788 swapFree=131071996/131071996
[pid=1048665] ppid=1048662 vsize=3130500 memory=2752816 CPUtime=3154.29 cores=5,7
/proc/1048665/stat : 1048665 (roundingsat) R 1048662 1048665 1047946 0 -1 4194304 373775 0 0 0 312606 2823 0 0 20 0 1 0 197961650 3205632000 688204 134679101440 4194304 7968373 140734260550160 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 30666752 140734260556732 140734260556896 140734260556896 140734260563913 0
/proc/1048665/statm: 782625 688204 1850 922 0 774577 0
Current children cumulated CPU time: 3154.29 s
Current children cumulated vsize: 3130500 KiB
Current children cumulated memory: 2752816 KiB

[startup+3222.3 s]
/proc/loadavg: 4.20 4.15 4.10 5/243 1050761
/proc/meminfo: memFree=120788520/131655788 swapFree=131071996/131071996
[pid=1048665] ppid=1048662 vsize=3138468 memory=2758072 CPUtime=3214.16 cores=5,7
/proc/1048665/stat : 1048665 (roundingsat) R 1048662 1048665 1047946 0 -1 4194304 377341 0 0 0 318526 2890 0 0 20 0 1 0 197961650 3213791232 689518 134679101440 4194304 7968373 140734260550160 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 30666752 140734260556732 140734260556896 140734260556896 140734260563913 0
/proc/1048665/statm: 784617 689518 1850 922 0 776569 0
Current children cumulated CPU time: 3214.16 s
Current children cumulated vsize: 3138468 KiB
Current children cumulated memory: 2758072 KiB

[startup+3282.3 s]
/proc/loadavg: 4.11 4.13 4.09 5/243 1050772
/proc/meminfo: memFree=120338824/131655788 swapFree=131071996/131071996
[pid=1048665] ppid=1048662 vsize=3971924 memory=3205180 CPUtime=3274.01 cores=5,7
/proc/1048665/stat : 1048665 (roundingsat) R 1048662 1048665 1047946 0 -1 4194304 491025 0 0 0 324457 2944 0 0 20 0 1 0 197961650 4067250176 801295 134679101440 4194304 7968373 140734260550160 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 30666752 140734260556732 140734260556896 140734260556896 140734260563913 0
/proc/1048665/statm: 992981 801295 1850 922 0 984933 0
Current children cumulated CPU time: 3274.01 s
Current children cumulated vsize: 3971924 KiB
Current children cumulated memory: 3205180 KiB

[startup+3342.3 s]
/proc/loadavg: 4.47 4.22 4.12 5/243 1050784
/proc/meminfo: memFree=119975600/131655788 swapFree=131071996/131071996
[pid=1048665] ppid=1048662 vsize=4057180 memory=3564152 CPUtime=3333.87 cores=5,7
/proc/1048665/stat : 1048665 (roundingsat) R 1048662 1048665 1047946 0 -1 4194304 536392 0 0 0 330386 3001 0 0 20 0 1 0 197961650 4154552320 891038 134679101440 4194304 7968373 140734260550160 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 30666752 140734260556732 140734260556896 140734260556896 140734260563913 0
/proc/1048665/statm: 1014295 891038 1850 922 0 1006247 0
Current children cumulated CPU time: 3333.87 s
Current children cumulated vsize: 4057180 KiB
Current children cumulated memory: 3564152 KiB

[startup+3402.3 s]
/proc/loadavg: 4.67 4.34 4.17 5/243 1050795
/proc/meminfo: memFree=119613288/131655788 swapFree=131071996/131071996
[pid=1048665] ppid=1048662 vsize=4988376 memory=3923464 CPUtime=3393.73 cores=5,7
/proc/1048665/stat : 1048665 (roundingsat) R 1048662 1048665 1047946 0 -1 4194304 569519 0 0 0 336348 3025 0 0 20 0 1 0 197961650 5108097024 980866 134679101440 4194304 7968373 140734260550160 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 30666752 140734260556732 140734260556896 140734260556896 140734260563913 0
/proc/1048665/statm: 1247094 980866 1850 922 0 1239046 0
Current children cumulated CPU time: 3393.73 s
Current children cumulated vsize: 4988376 KiB
Current children cumulated memory: 3923464 KiB

[startup+3462.3 s]
/proc/loadavg: 4.36 4.31 4.17 5/243 1050807
/proc/meminfo: memFree=119191680/131655788 swapFree=131071996/131071996
[pid=1048665] ppid=1048662 vsize=5398768 memory=4333732 CPUtime=3453.58 cores=5,7
/proc/1048665/stat : 1048665 (roundingsat) R 1048662 1048665 1047946 0 -1 4194304 639919 0 0 0 342295 3063 0 0 20 0 1 0 197961650 5528338432 1083433 134679101440 4194304 7968373 140734260550160 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 30666752 140734260556732 140734260556896 140734260556896 140734260563913 0
/proc/1048665/statm: 1349692 1083433 1850 922 0 1341644 0
Current children cumulated CPU time: 3453.58 s
Current children cumulated vsize: 5398768 KiB
Current children cumulated memory: 4333732 KiB

[startup+3522.3 s]
/proc/loadavg: 4.19 4.27 4.17 5/241 1050819
/proc/meminfo: memFree=119187508/131655788 swapFree=131071996/131071996
[pid=1048665] ppid=1048662 vsize=5399940 memory=4337368 CPUtime=3513.44 cores=5,7
/proc/1048665/stat : 1048665 (roundingsat) R 1048662 1048665 1047946 0 -1 4194304 642147 0 0 0 348161 3183 0 0 20 0 1 0 197961650 5529538560 1084342 134679101440 4194304 7968373 140734260550160 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 30666752 140734260556732 140734260556896 140734260556896 140734260563913 0
/proc/1048665/statm: 1349985 1084342 1850 922 0 1341937 0
Current children cumulated CPU time: 3513.44 s
Current children cumulated vsize: 5399940 KiB
Current children cumulated memory: 4337368 KiB

[startup+3582.3 s]
/proc/loadavg: 4.11 4.23 4.16 5/241 1050829
/proc/meminfo: memFree=119186472/131655788 swapFree=131071996/131071996
[pid=1048665] ppid=1048662 vsize=5399940 memory=4337456 CPUtime=3573.31 cores=5,7
/proc/1048665/stat : 1048665 (roundingsat) R 1048662 1048665 1047946 0 -1 4194304 642613 0 0 0 354127 3204 0 0 20 0 1 0 197961650 5529538560 1084364 134679101440 4194304 7968373 140734260550160 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 30666752 140734260556732 140734260556896 140734260556896 140734260563913 0
/proc/1048665/statm: 1349985 1084364 1850 922 0 1341937 0
Current children cumulated CPU time: 3573.31 s
Current children cumulated vsize: 5399940 KiB
Current children cumulated memory: 4337456 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.11 s]
/proc/loadavg: 4.14 4.23 4.16 5/241 1050881
/proc/meminfo: memFree=122169572/131655788 swapFree=131071996/131071996
[pid=1048665] ppid=1048662 vsize=5401372 memory=4337484 CPUtime=3600.06 cores=5,7
/proc/1048665/stat : 1048665 (roundingsat) R 1048662 1048665 1047946 0 -1 4194304 642781 0 0 0 356793 3213 0 0 20 0 1 0 197961650 5531004928 1084371 134679101440 4194304 7968373 140734260550160 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 30666752 140734260556732 140734260556896 140734260556896 140734260563913 0
/proc/1048665/statm: 1350343 1084371 1850 922 0 1342295 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 5401372 KiB
Current children cumulated memory: 4337484 KiB

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

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

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

# cumulated CPU time of all completed processes:  user=3569.92 s, system=32.2426 s

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

[startup+3609.6 s]
/proc/loadavg: 4.14 4.23 4.16 5/241 1050881
/proc/meminfo: memFree=122169572/131655788 swapFree=131071996/131071996
[pid=1048665] ppid=1048662 vsize=5401372 memory=4337484 CPUtime=3600.54 cores=5,7
/proc/1048665/stat : 1048665 (roundingsat) R 1048662 1048665 1047946 0 -1 4194304 642781 0 0 0 356841 3213 0 0 20 0 1 0 197961650 5531004928 1084371 134679101440 4194304 7968373 140734260550160 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 30666752 140734260556732 140734260556896 140734260556896 140734260563913 0
/proc/1048665/statm: 1350343 1084371 1850 922 0 1342295 0
Current children cumulated CPU time: 3600.54 s
Current children cumulated vsize: 5401372 KiB
Current children cumulated memory: 4337484 KiB

[startup+3610.4 s]
/proc/loadavg: 4.14 4.23 4.16 5/241 1050881
/proc/meminfo: memFree=122135692/131655788 swapFree=131071996/131071996
[pid=1048665] ppid=1048662 vsize=5401372 memory=4337484 CPUtime=3601.34 cores=5,7
/proc/1048665/stat : 1048665 (roundingsat) R 1048662 1048665 1047946 0 -1 4194304 642781 0 0 0 356921 3213 0 0 20 0 1 0 197961650 5531004928 1084371 134679101440 4194304 7968373 140734260550160 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 30666752 140734260556732 140734260556896 140734260556896 140734260563913 0
/proc/1048665/statm: 1350343 1084371 1850 922 0 1342295 0
Current children cumulated CPU time: 3601.34 s
Current children cumulated vsize: 5401372 KiB
Current children cumulated memory: 4337484 KiB

[startup+3610.8 s]
/proc/loadavg: 4.14 4.23 4.16 5/241 1050881
/proc/meminfo: memFree=122135692/131655788 swapFree=131071996/131071996
[pid=1048665] ppid=1048662 vsize=5401372 memory=4337484 CPUtime=3601.74 cores=5,7
/proc/1048665/stat : 1048665 (roundingsat) R 1048662 1048665 1047946 0 -1 4194304 642783 0 0 0 356961 3213 0 0 20 0 1 0 197961650 5531004928 1084371 134679101440 4194304 7968373 140734260550160 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 30666752 140734260556732 140734260556896 140734260556896 140734260563913 0
/proc/1048665/statm: 1350343 1084371 1850 922 0 1342295 0
Current children cumulated CPU time: 3601.74 s
Current children cumulated vsize: 5401372 KiB
Current children cumulated memory: 4337484 KiB

[startup+3611 s]*
/proc/loadavg: 4.12 4.22 4.16 5/241 1050881
/proc/meminfo: memFree=122135760/131655788 swapFree=131071996/131071996
[pid=1048665] ppid=1048662 vsize=5401372 memory=4337484 CPUtime=3601.96 cores=5,7
/proc/1048665/stat : 1048665 (roundingsat) R 1048662 1048665 1047946 0 -1 4194304 642791 0 0 0 356982 3214 0 0 20 0 1 0 197961650 5531004928 1084371 134679101440 4194304 7968373 140734260550160 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 30666752 140734260556732 140734260556896 140734260556896 140734260563913 0
/proc/1048665/statm: 1350343 1084371 1850 922 0 1342295 0
Current children cumulated CPU time: 3601.96 s
Current children cumulated vsize: 5401372 KiB
Current children cumulated memory: 4337484 KiB

[startup+3611.11 s]
/proc/loadavg: 4.12 4.22 4.16 5/241 1050881
/proc/meminfo: memFree=122135760/131655788 swapFree=131071996/131071996
[pid=1048665] ppid=1048662 vsize=5401372 memory=4337484 CPUtime=3602.06 cores=5,7
/proc/1048665/stat : 1048665 (roundingsat) R 1048662 1048665 1047946 0 -1 4194304 642791 0 0 0 356992 3214 0 0 20 0 1 0 197961650 5531004928 1084371 134679101440 4194304 7968373 140734260550160 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 30666752 140734260556732 140734260556896 140734260556896 140734260563913 0
/proc/1048665/statm: 1350343 1084371 1850 922 0 1342295 0
Current children cumulated CPU time: 3602.06 s
Current children cumulated vsize: 5401372 KiB
Current children cumulated memory: 4337484 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 3611.22
CPU time (s): 3602.17
CPU user time (s): 3569.92
CPU system time (s): 32.2426
CPU usage (%): 99.7494
Max. virtual memory (cumulated for all children) (KiB): 5401372
Max. memory (cumulated for all children) (KiB): 4337484

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3569.92
system time used= 32.2426
maximum resident set size= 4337488
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 642791
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 23
involuntary context switches= 2254


# summary of solver processes directly reported to runsolver:
#   pid: 1048665
#   total CPU time (s): 3602.17
#   total CPU user time (s): 3569.92
#   total CPU system time (s): 32.2426

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.1815 second user time and 36.6653 second system time

The end

Begin job on nodeC002 at 2024-07-20 08:47:28
IDJOB=4455112
IDBENCH=147222
IDSOLVER=3084
FILE ID=nodeC002/4455112-1721458036
RUNJOBID= nodeC002-1721458043-1047959
SLURM_JOB_ID= 7545699
Free space on /tmp= 723764 MiB

SOLVER NAME= RoundingSat nolog
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 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455112-1721458036/watcher-4455112-1721458036 -o /tmp/evaluation-result-4455112-1721458036/solver-4455112-1721458036 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1721458043-1047959 --watchdog 3760  roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455112-1721458036.opb

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

MD5SUM BENCH= 908a9c4c32d975b4e5850834449958a7
RANDOM SEED=946019144

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

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3672.977
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.38
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3656.663
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.31
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.280
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.38
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.270
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.31
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1481.073
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.38
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.159
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.31
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.373
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.38
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.160
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.31
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        127567456 kB
MemAvailable:   129807600 kB
Buffers:          578268 kB
Cached:          2487304 kB
SwapCached:            0 kB
Active:          1053324 kB
Inactive:        2430236 kB
Active(anon):       2700 kB
Inactive(anon):   461216 kB
Active(file):    1050624 kB
Inactive(file):  1969020 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             22904 kB
Writeback:            16 kB
AnonPages:        418172 kB
Mapped:           116796 kB
Shmem:             45896 kB
KReclaimable:     121064 kB
Slab:             228576 kB
SReclaimable:     121064 kB
SUnreclaim:       107512 kB
KernelStack:        3888 kB
PageTables:        10392 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     733928 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            63392 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:      252744 kB
DirectMap2M:    34254848 kB
DirectMap1G:    101711872 kB

Free space on /tmp at the end= 723752 MiB
End job on nodeC002 at 2024-07-20 09:47:40