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 2460 #constraints 17131
0.68/0.74	c bounds - >= 0 @ 0.091892
0.68/0.74	c bounds 1164 >= 0 @ 0.47614
0.68/0.74	c bounds 1164 >= 1 @ 0.477951
0.68/0.74	c bounds 1164 >= 2 @ 0.479521
0.68/0.74	c bounds 1164 >= 3 @ 0.481094
0.68/0.74	c bounds 1164 >= 4 @ 0.482642
0.68/0.74	c bounds 1164 >= 5 @ 0.484186
0.68/0.74	c bounds 1164 >= 6 @ 0.484747
0.68/0.74	c bounds 1164 >= 7 @ 0.486303
0.68/0.74	c bounds 1164 >= 8 @ 0.487854
0.68/0.74	c bounds 1164 >= 9 @ 0.48942
0.68/0.74	c bounds 1164 >= 10 @ 0.490991
0.68/0.74	c bounds 1164 >= 11 @ 0.492572
0.68/0.74	c bounds 1164 >= 12 @ 0.494187
0.68/0.74	c bounds 1164 >= 13 @ 0.49571
0.68/0.74	c bounds 1164 >= 14 @ 0.497229
0.68/0.74	c bounds 1164 >= 15 @ 0.498763
0.68/0.74	c bounds 1164 >= 16 @ 0.500287
0.68/0.74	c bounds 1164 >= 17 @ 0.501819
0.68/0.74	c bounds 1164 >= 18 @ 0.503385
0.68/0.74	c bounds 1164 >= 19 @ 0.504934
0.68/0.74	c bounds 1164 >= 20 @ 0.506481
0.68/0.74	c bounds 1164 >= 21 @ 0.50804
0.68/0.74	c bounds 1164 >= 22 @ 0.509596
0.68/0.74	c bounds 1164 >= 23 @ 0.510207
0.68/0.74	c bounds 1164 >= 24 @ 0.511734
0.68/0.74	c bounds 1164 >= 25 @ 0.513303
0.68/0.74	c bounds 1164 >= 26 @ 0.513952
0.68/0.74	c bounds 1164 >= 27 @ 0.515486
0.68/0.74	c bounds 1164 >= 28 @ 0.517054
0.68/0.74	c bounds 1164 >= 29 @ 0.51867
0.68/0.74	c bounds 1164 >= 30 @ 0.52023
0.68/0.74	c bounds 1164 >= 31 @ 0.521778
0.68/0.74	c bounds 1164 >= 32 @ 0.523321
0.68/0.74	c bounds 1164 >= 33 @ 0.524876
0.68/0.74	c bounds 1164 >= 34 @ 0.526433
0.68/0.74	c bounds 1164 >= 35 @ 0.527995
0.68/0.74	c bounds 1164 >= 36 @ 0.529556
0.68/0.74	c bounds 1164 >= 37 @ 0.530568
0.68/0.74	c bounds 1164 >= 38 @ 0.531175
0.68/0.74	c bounds 1164 >= 39 @ 0.532696
0.68/0.74	c bounds 1164 >= 40 @ 0.534268
0.68/0.74	c bounds 1164 >= 41 @ 0.53584
0.68/0.74	c bounds 1164 >= 42 @ 0.537558
0.68/0.74	c bounds 1164 >= 43 @ 0.539313
0.68/0.74	c bounds 1164 >= 44 @ 0.541062
0.68/0.74	c bounds 1164 >= 45 @ 0.542817
0.68/0.74	c bounds 1164 >= 46 @ 0.543605
0.68/0.74	c bounds 1164 >= 47 @ 0.545316
0.68/0.74	c bounds 1164 >= 48 @ 0.546999
0.68/0.74	c bounds 1164 >= 49 @ 0.548716
0.68/0.74	c bounds 1164 >= 50 @ 0.550411
0.68/0.74	c bounds 1164 >= 51 @ 0.552126
0.68/0.74	c bounds 1164 >= 52 @ 0.552939
0.68/0.74	c bounds 1164 >= 53 @ 0.554594
0.68/0.74	c bounds 1164 >= 54 @ 0.556338
0.68/0.74	c bounds 1164 >= 55 @ 0.558066
0.68/0.74	c bounds 1164 >= 56 @ 0.559679
0.68/0.74	c bounds 1164 >= 57 @ 0.5603
0.68/0.74	c bounds 1164 >= 58 @ 0.561877
0.68/0.74	c bounds 1164 >= 59 @ 0.563484
0.68/0.74	c bounds 1164 >= 60 @ 0.565085
0.68/0.74	c bounds 1164 >= 61 @ 0.566691
0.68/0.74	c bounds 1164 >= 62 @ 0.568326
0.68/0.74	c bounds 1164 >= 63 @ 0.569974
0.68/0.74	c bounds 1164 >= 64 @ 0.571543
0.68/0.74	c bounds 1164 >= 65 @ 0.573103
0.68/0.74	c bounds 1164 >= 66 @ 0.57468
0.68/0.74	c bounds 1164 >= 67 @ 0.576257
0.68/0.74	c bounds 1164 >= 68 @ 0.577858
0.68/0.74	c bounds 1164 >= 69 @ 0.579457
0.68/0.74	c bounds 1164 >= 70 @ 0.581049
0.68/0.74	c bounds 1164 >= 71 @ 0.582644
0.68/0.74	c bounds 1164 >= 72 @ 0.584248
0.68/0.74	c bounds 1164 >= 73 @ 0.585854
0.68/0.74	c bounds 1164 >= 74 @ 0.587464
0.68/0.74	c bounds 1164 >= 75 @ 0.589076
0.68/0.74	c bounds 1164 >= 76 @ 0.590701
0.68/0.74	c bounds 1164 >= 77 @ 0.592339
0.68/0.74	c bounds 1164 >= 78 @ 0.593019
0.68/0.74	c bounds 1164 >= 79 @ 0.594627
0.68/0.74	c bounds 1164 >= 80 @ 0.596313
0.68/0.74	c bounds 1164 >= 81 @ 0.596975
0.68/0.74	c bounds 1164 >= 82 @ 0.598551
0.68/0.74	c bounds 1164 >= 83 @ 0.60015
0.68/0.74	c bounds 1164 >= 84 @ 0.601889
0.68/0.74	c bounds 1164 >= 85 @ 0.603619
0.68/0.74	c bounds 1164 >= 86 @ 0.605401
0.68/0.74	c bounds 1164 >= 87 @ 0.606186
0.68/0.74	c bounds 1164 >= 88 @ 0.607909
0.68/0.74	c bounds 1164 >= 89 @ 0.609652
0.68/0.74	c bounds 1164 >= 90 @ 0.61142
0.68/0.74	c bounds 1164 >= 91 @ 0.613196
0.68/0.74	c bounds 1164 >= 92 @ 0.614021
0.68/0.74	c bounds 1164 >= 93 @ 0.615777
0.68/0.74	c bounds 1164 >= 94 @ 0.617563
0.68/0.74	c bounds 1164 >= 95 @ 0.619357
0.68/0.74	c bounds 1164 >= 96 @ 0.621168
0.68/0.74	c bounds 1164 >= 97 @ 0.622988
0.68/0.74	c bounds 1164 >= 98 @ 0.62475
0.68/0.74	c bounds 1164 >= 99 @ 0.626381
0.68/0.74	c bounds 1164 >= 100 @ 0.628004
0.68/0.74	c bounds 1164 >= 101 @ 0.629622
0.68/0.74	c bounds 1164 >= 102 @ 0.631248
0.68/0.74	c bounds 1164 >= 103 @ 0.632884
0.68/0.74	c bounds 1164 >= 104 @ 0.634534
0.68/0.74	c bounds 1164 >= 105 @ 0.636163
0.68/0.74	c bounds 1164 >= 106 @ 0.636853
0.68/0.74	c bounds 1164 >= 107 @ 0.638475
0.68/0.74	c bounds 1164 >= 108 @ 0.640124
0.68/0.74	c bounds 1164 >= 109 @ 0.640357
0.68/0.74	c bounds 1164 >= 110 @ 0.641527
0.68/0.74	c bounds 1164 >= 111 @ 0.643142
0.68/0.74	c bounds 1164 >= 112 @ 0.643346
0.68/0.74	c bounds 1164 >= 113 @ 0.644548
0.68/0.74	c bounds 1164 >= 114 @ 0.646181
0.68/0.74	c bounds 1164 >= 115 @ 0.646849
0.68/0.74	c bounds 1164 >= 116 @ 0.648448
0.68/0.74	c bounds 1164 >= 117 @ 0.650088
0.68/0.74	c bounds 1164 >= 118 @ 0.650756
0.68/0.74	c bounds 1164 >= 119 @ 0.652358
0.68/0.74	c bounds 1164 >= 120 @ 0.654032
0.68/0.74	c bounds 1164 >= 121 @ 0.654749
0.68/0.74	c bounds 1164 >= 122 @ 0.656357
0.68/0.74	c bounds 1164 >= 123 @ 0.658026
0.68/0.74	c bounds 1164 >= 124 @ 0.659706
0.68/0.74	c bounds 1164 >= 125 @ 0.661382
0.68/0.74	c bounds 1164 >= 126 @ 0.663064
0.68/0.74	c bounds 1164 >= 127 @ 0.663799
0.68/0.74	c bounds 1164 >= 128 @ 0.665485
0.68/0.74	c bounds 1164 >= 129 @ 0.667194
0.68/0.74	c bounds 1164 >= 130 @ 0.66903
0.68/0.74	c bounds 1164 >= 131 @ 0.669964
0.89/0.91	c bounds 1164 >= 132 @ 0.671768
0.89/0.91	c bounds 1164 >= 133 @ 0.673568
0.89/0.91	c bounds 1164 >= 134 @ 0.675381
0.89/0.91	c bounds 1164 >= 135 @ 0.677132
0.89/0.91	c bounds 1164 >= 136 @ 0.677498
0.89/0.91	c bounds 1164 >= 137 @ 0.678779
0.89/0.91	c bounds 1164 >= 138 @ 0.679057
0.89/0.91	c bounds 1164 >= 139 @ 0.679386
0.89/0.91	c bounds 1164 >= 140 @ 0.679674
0.89/0.91	c bounds 1164 >= 141 @ 0.679945
0.89/0.91	c bounds 1164 >= 142 @ 0.68117
0.89/0.91	c bounds 1164 >= 143 @ 0.682468
0.89/0.91	c bounds 1164 >= 144 @ 0.683903
0.89/0.91	c bounds 1164 >= 145 @ 0.685326
0.89/0.91	c bounds 1164 >= 146 @ 0.686654
0.89/0.91	c bounds 1164 >= 147 @ 0.68711
0.89/0.91	c bounds 1164 >= 148 @ 0.688548
0.89/0.91	c bounds 1164 >= 149 @ 0.689978
0.89/0.91	c bounds 1164 >= 150 @ 0.690487
0.89/0.91	c bounds 1164 >= 151 @ 0.691861
0.89/0.91	c bounds 1164 >= 152 @ 0.693216
0.89/0.91	c bounds 1164 >= 153 @ 0.694523
0.89/0.91	c bounds 1164 >= 154 @ 0.69597
0.89/0.91	c bounds 1164 >= 155 @ 0.696449
0.89/0.91	c bounds 1164 >= 156 @ 0.697819
0.89/0.91	c bounds 1164 >= 157 @ 0.699099
0.89/0.91	c bounds 1164 >= 158 @ 0.700409
0.89/0.91	c bounds 1164 >= 159 @ 0.701715
0.89/0.91	c bounds 1164 >= 160 @ 0.703028
0.89/0.91	c bounds 1164 >= 161 @ 0.704333
0.89/0.91	c bounds 1164 >= 162 @ 0.705647
0.89/0.91	c bounds 1164 >= 163 @ 0.707094
0.89/0.91	c bounds 1164 >= 164 @ 0.708548
0.89/0.91	c bounds 1164 >= 165 @ 0.710008
0.89/0.91	c bounds 1164 >= 166 @ 0.710136
0.89/0.91	c bounds 1164 >= 167 @ 0.710936
0.89/0.91	c bounds 1164 >= 168 @ 0.7115
0.89/0.91	c bounds 1164 >= 169 @ 0.712946
0.89/0.91	c bounds 1164 >= 170 @ 0.714257
0.89/0.91	c bounds 1164 >= 171 @ 0.715749
0.89/0.91	c bounds 1164 >= 172 @ 0.717141
0.89/0.91	c bounds 1164 >= 173 @ 0.718532
0.89/0.91	c bounds 1164 >= 174 @ 0.719889
0.89/0.91	c bounds 1164 >= 175 @ 0.721239
0.89/0.91	c bounds 1164 >= 176 @ 0.722598
0.89/0.91	c bounds 1164 >= 177 @ 0.723941
0.89/0.91	c bounds 1164 >= 178 @ 0.724367
0.89/0.91	c bounds 1164 >= 179 @ 0.725681
0.89/0.91	c bounds 1164 >= 180 @ 0.727004
0.89/0.91	c bounds 1164 >= 181 @ 0.728333
0.89/0.91	c bounds 1164 >= 182 @ 0.72968
0.89/0.91	c bounds 1164 >= 183 @ 0.731049
0.89/0.91	c bounds 1164 >= 184 @ 0.732396
0.89/0.91	c bounds 1164 >= 185 @ 0.73373
0.89/0.91	c bounds 1164 >= 186 @ 0.73516
0.89/0.91	c bounds 1164 >= 187 @ 0.736594
0.89/0.91	c bounds 1164 >= 188 @ 0.737917
0.89/0.91	c bounds 1164 >= 189 @ 0.738392
0.89/0.91	c bounds 1164 >= 190 @ 0.739761
0.89/0.91	c bounds 1164 >= 191 @ 0.741111
0.89/0.91	c bounds 1164 >= 192 @ 0.742443
0.89/0.91	c bounds 1164 >= 193 @ 0.743806
0.89/0.91	c bounds 1164 >= 194 @ 0.745094
0.89/0.91	c bounds 1164 >= 195 @ 0.746367
0.89/0.91	c bounds 1164 >= 196 @ 0.747627
0.89/0.91	c bounds 1164 >= 197 @ 0.74889
0.89/0.91	c bounds 1164 >= 198 @ 0.750244
0.89/0.91	c bounds 1164 >= 199 @ 0.751595
0.89/0.91	c bounds 1164 >= 200 @ 0.752956
0.89/0.91	c bounds 1164 >= 201 @ 0.754322
0.89/0.91	c bounds 1164 >= 202 @ 0.755693
0.89/0.91	c bounds 1164 >= 203 @ 0.756948
0.89/0.91	c bounds 1164 >= 204 @ 0.758162
0.89/0.91	c bounds 1164 >= 205 @ 0.759493
0.89/0.91	c bounds 1164 >= 206 @ 0.760751
0.89/0.91	c bounds 1164 >= 207 @ 0.761994
0.89/0.91	c bounds 1164 >= 208 @ 0.762321
0.89/0.91	c bounds 1164 >= 209 @ 0.763533
0.89/0.91	c bounds 1164 >= 210 @ 0.764775
0.89/0.91	c bounds 1164 >= 211 @ 0.765995
0.89/0.91	c bounds 1164 >= 212 @ 0.767228
0.89/0.91	c bounds 1164 >= 213 @ 0.768451
0.89/0.91	c bounds 1164 >= 214 @ 0.769672
0.89/0.91	c bounds 1164 >= 215 @ 0.770877
0.89/0.91	c bounds 1164 >= 216 @ 0.772242
0.89/0.91	c bounds 1164 >= 217 @ 0.773499
0.89/0.91	c bounds 1164 >= 218 @ 0.774752
0.89/0.91	c bounds 1164 >= 219 @ 0.775985
0.89/0.91	c bounds 1164 >= 220 @ 0.7772
0.89/0.91	c bounds 1164 >= 221 @ 0.778417
0.89/0.91	c bounds 1164 >= 222 @ 0.779617
0.89/0.91	c bounds 1164 >= 223 @ 0.780804
0.89/0.91	c bounds 1164 >= 224 @ 0.781979
0.89/0.91	c bounds 1164 >= 225 @ 0.783157
0.89/0.91	c bounds 1164 >= 226 @ 0.78433
0.89/0.91	c bounds 1164 >= 227 @ 0.785484
0.89/0.91	c bounds 1164 >= 228 @ 0.786776
0.89/0.91	c bounds 1164 >= 229 @ 0.787953
0.89/0.91	c bounds 1163 >= 229 @ 0.791032
0.89/0.91	c bounds 1163 >= 230 @ 0.792296
0.89/0.91	c bounds 1163 >= 231 @ 0.793489
0.89/0.91	c bounds 1163 >= 232 @ 0.794656
0.89/0.91	c bounds 1163 >= 233 @ 0.795833
0.89/0.91	c bounds 1163 >= 234 @ 0.796999
0.89/0.91	c bounds 1163 >= 235 @ 0.798166
0.89/0.91	c bounds 1163 >= 236 @ 0.799345
0.89/0.91	c bounds 1163 >= 237 @ 0.800493
0.89/0.91	c bounds 1163 >= 238 @ 0.801645
0.89/0.91	c bounds 1163 >= 239 @ 0.802774
0.89/0.91	c bounds 1163 >= 240 @ 0.803926
0.89/0.91	c bounds 1163 >= 241 @ 0.805057
0.89/0.91	c bounds 1163 >= 242 @ 0.805369
0.89/0.91	c bounds 1163 >= 243 @ 0.806536
0.89/0.91	c bounds 1162 >= 243 @ 0.806967
0.89/0.91	c bounds 1162 >= 244 @ 0.808207
0.89/0.91	c bounds 1162 >= 245 @ 0.809385
0.89/0.91	c bounds 1162 >= 246 @ 0.810574
0.89/0.91	c bounds 1162 >= 247 @ 0.811744
0.89/0.91	c bounds 1162 >= 248 @ 0.811917
0.89/0.91	c bounds 1162 >= 249 @ 0.813089
0.89/0.91	c bounds 1162 >= 250 @ 0.814252
0.89/0.91	c bounds 1162 >= 251 @ 0.815414
0.89/0.91	c bounds 1162 >= 252 @ 0.816574
0.89/0.91	c bounds 1162 >= 253 @ 0.817888
0.89/0.91	c bounds 1161 >= 253 @ 0.820812
0.89/0.91	c bounds 1161 >= 254 @ 0.822071
0.89/0.91	c bounds 1161 >= 255 @ 0.823235
0.89/0.91	c bounds 1161 >= 256 @ 0.824393
1.00/1.09	c bounds 1161 >= 257 @ 0.825552
1.00/1.09	c bounds 1161 >= 258 @ 0.826701
1.00/1.09	c bounds 1161 >= 259 @ 0.826876
1.00/1.09	c bounds 1161 >= 260 @ 0.828034
1.00/1.09	c bounds 1160 >= 260 @ 0.830053
1.00/1.09	c bounds 1160 >= 261 @ 0.831209
1.00/1.09	c bounds 1160 >= 262 @ 0.832367
1.00/1.09	c bounds 1160 >= 263 @ 0.833493
1.00/1.09	c bounds 1160 >= 264 @ 0.834608
1.00/1.09	c bounds 1160 >= 265 @ 0.834854
1.00/1.09	c bounds 1160 >= 266 @ 0.835997
1.00/1.09	c bounds 1160 >= 267 @ 0.837133
1.00/1.09	c bounds 1160 >= 268 @ 0.838269
1.00/1.09	c bounds 1160 >= 269 @ 0.839408
1.00/1.09	c bounds 1160 >= 270 @ 0.840547
1.00/1.09	c bounds 1160 >= 271 @ 0.841682
1.00/1.09	c bounds 1160 >= 272 @ 0.841832
1.00/1.09	c bounds 1160 >= 273 @ 0.842964
1.00/1.09	c bounds 1160 >= 274 @ 0.844175
1.00/1.09	c bounds 1160 >= 275 @ 0.845295
1.00/1.09	c bounds 1159 >= 275 @ 0.84583
1.00/1.09	c bounds 1159 >= 276 @ 0.846946
1.00/1.09	c bounds 1159 >= 277 @ 0.848226
1.00/1.09	c bounds 1159 >= 278 @ 0.84937
1.00/1.09	c bounds 1159 >= 279 @ 0.850522
1.00/1.09	c bounds 1159 >= 280 @ 0.851668
1.00/1.09	c bounds 1159 >= 281 @ 0.851899
1.00/1.09	c bounds 1159 >= 282 @ 0.853023
1.00/1.09	c bounds 1159 >= 283 @ 0.854166
1.00/1.09	c bounds 1159 >= 284 @ 0.855297
1.00/1.09	c bounds 1159 >= 285 @ 0.856417
1.00/1.09	c bounds 1158 >= 285 @ 0.858447
1.00/1.09	c bounds 1158 >= 286 @ 0.859625
1.00/1.09	c bounds 1158 >= 287 @ 0.859866
1.00/1.09	c bounds 1158 >= 288 @ 0.861117
1.00/1.09	c bounds 1158 >= 289 @ 0.862247
1.00/1.09	c bounds 1158 >= 290 @ 0.863438
1.00/1.09	c bounds 1158 >= 291 @ 0.864589
1.00/1.09	c bounds 1158 >= 292 @ 0.865749
1.00/1.09	c bounds 1158 >= 293 @ 0.866927
1.00/1.09	c bounds 1158 >= 294 @ 0.868084
1.00/1.09	c bounds 1157 >= 294 @ 0.871203
1.00/1.09	c bounds 1157 >= 295 @ 0.872359
1.00/1.09	c bounds 1157 >= 296 @ 0.873518
1.00/1.09	c bounds 1157 >= 297 @ 0.874673
1.00/1.09	c bounds 1157 >= 298 @ 0.875823
1.00/1.09	c bounds 1157 >= 299 @ 0.876969
1.00/1.09	c bounds 1157 >= 300 @ 0.878224
1.00/1.09	c bounds 1157 >= 301 @ 0.879456
1.00/1.09	c bounds 1157 >= 302 @ 0.88066
1.00/1.09	c bounds 1157 >= 303 @ 0.881848
1.00/1.09	c bounds 1157 >= 304 @ 0.88303
1.00/1.09	c bounds 1156 >= 304 @ 0.891112
1.00/1.09	c bounds 1156 >= 305 @ 0.892487
1.00/1.09	c bounds 1156 >= 306 @ 0.893665
1.00/1.09	c bounds 1156 >= 307 @ 0.894842
1.00/1.09	c bounds 1156 >= 308 @ 0.89601
1.00/1.09	c bounds 1156 >= 309 @ 0.897221
1.00/1.09	c bounds 1156 >= 310 @ 0.898402
1.00/1.09	c bounds 1156 >= 311 @ 0.899527
1.00/1.09	c bounds 1156 >= 312 @ 0.90086
1.00/1.09	c bounds 1156 >= 313 @ 0.901997
1.00/1.09	c bounds 1156 >= 314 @ 0.903162
1.00/1.09	c bounds 1156 >= 315 @ 0.904314
1.00/1.09	c bounds 1156 >= 316 @ 0.905471
1.00/1.09	c bounds 1156 >= 317 @ 0.906622
1.00/1.09	c bounds 1156 >= 318 @ 0.90777
1.00/1.09	c bounds 1156 >= 319 @ 0.908917
1.00/1.09	c bounds 1156 >= 320 @ 0.910068
1.00/1.09	c bounds 1156 >= 321 @ 0.911231
1.00/1.09	c bounds 1156 >= 322 @ 0.912374
1.00/1.09	c bounds 1156 >= 323 @ 0.913489
1.00/1.09	c bounds 1156 >= 324 @ 0.914755
1.00/1.09	c bounds 1156 >= 325 @ 0.915968
1.00/1.09	c bounds 1156 >= 326 @ 0.916246
1.00/1.09	c bounds 1156 >= 327 @ 0.91738
1.00/1.09	c bounds 1156 >= 328 @ 0.918506
1.00/1.09	c bounds 1156 >= 329 @ 0.919648
1.00/1.09	c bounds 1156 >= 330 @ 0.920786
1.00/1.09	c bounds 1156 >= 331 @ 0.92192
1.00/1.09	c bounds 1156 >= 332 @ 0.923056
1.00/1.09	c bounds 1156 >= 333 @ 0.92418
1.00/1.09	c bounds 1156 >= 334 @ 0.925323
1.00/1.09	c bounds 1156 >= 335 @ 0.92568
1.00/1.09	c bounds 1155 >= 335 @ 0.938349
1.00/1.09	c bounds 1155 >= 336 @ 0.939794
1.00/1.09	c bounds 1155 >= 337 @ 0.940924
1.00/1.09	c bounds 1155 >= 338 @ 0.942246
1.00/1.09	c bounds 1155 >= 339 @ 0.94352
1.00/1.09	c bounds 1155 >= 340 @ 0.944797
1.00/1.09	c bounds 1155 >= 341 @ 0.945964
1.00/1.09	c bounds 1155 >= 342 @ 0.947114
1.00/1.09	c bounds 1155 >= 343 @ 0.948267
1.00/1.09	c bounds 1155 >= 344 @ 0.949431
1.00/1.09	c bounds 1155 >= 345 @ 0.950615
1.00/1.09	c bounds 1155 >= 346 @ 0.951711
1.00/1.09	c bounds 1155 >= 347 @ 0.953057
1.00/1.09	c bounds 1155 >= 348 @ 0.954196
1.00/1.09	c bounds 1155 >= 349 @ 0.955315
1.00/1.09	c bounds 1155 >= 350 @ 0.95543
1.00/1.09	c bounds 1155 >= 351 @ 0.955619
1.00/1.09	c bounds 1155 >= 352 @ 0.956695
1.00/1.09	c bounds 1155 >= 353 @ 0.957853
1.00/1.09	c bounds 1155 >= 354 @ 0.95893
1.00/1.09	c bounds 1155 >= 355 @ 0.960096
1.00/1.09	c bounds 1155 >= 356 @ 0.961242
1.00/1.09	c bounds 1155 >= 357 @ 0.962401
1.00/1.09	c bounds 1155 >= 358 @ 0.963569
1.00/1.09	c bounds 1155 >= 359 @ 0.964994
1.00/1.09	c bounds 1155 >= 360 @ 0.966458
1.00/1.09	c bounds 1155 >= 361 @ 0.967715
1.00/1.09	c bounds 1155 >= 362 @ 0.968979
1.00/1.09	c bounds 1155 >= 363 @ 0.970131
1.00/1.09	c bounds 1155 >= 364 @ 0.971301
1.00/1.09	c bounds 1155 >= 365 @ 0.971556
1.00/1.09	c bounds 1155 >= 366 @ 0.972694
1.00/1.09	c bounds 1155 >= 367 @ 0.973842
1.00/1.09	c bounds 1155 >= 368 @ 0.974957
1.00/1.09	c bounds 1155 >= 369 @ 0.976102
1.00/1.09	c bounds 1155 >= 370 @ 0.977179
1.00/1.09	c bounds 1155 >= 371 @ 0.978468
1.00/1.09	c bounds 1155 >= 372 @ 0.979581
1.00/1.09	c bounds 1155 >= 373 @ 0.980747
1.00/1.09	c bounds 1155 >= 374 @ 0.981904
1.00/1.09	c bounds 1155 >= 375 @ 0.983036
1.00/1.09	c bounds 1155 >= 376 @ 0.984172
1.00/1.09	c bounds 1155 >= 377 @ 0.985309
1.00/1.09	c bounds 1155 >= 378 @ 0.986432
1.29/1.30	c bounds 1154 >= 378 @ 1.00337
1.29/1.30	c bounds 1154 >= 379 @ 1.00466
1.29/1.30	c bounds 1154 >= 380 @ 1.00584
1.29/1.30	c bounds 1154 >= 381 @ 1.00698
1.29/1.30	c bounds 1154 >= 382 @ 1.00807
1.29/1.30	c bounds 1154 >= 383 @ 1.00944
1.29/1.30	c bounds 1154 >= 384 @ 1.01077
1.29/1.30	c bounds 1154 >= 385 @ 1.01194
1.29/1.30	c bounds 1154 >= 386 @ 1.0131
1.29/1.30	c bounds 1154 >= 387 @ 1.01427
1.29/1.30	c bounds 1154 >= 388 @ 1.01544
1.29/1.30	c bounds 1154 >= 389 @ 1.01658
1.29/1.30	c bounds 1154 >= 390 @ 1.01775
1.29/1.30	c bounds 1154 >= 391 @ 1.01894
1.29/1.30	c bounds 1154 >= 392 @ 1.02015
1.29/1.30	c bounds 1154 >= 393 @ 1.0213
1.29/1.30	c bounds 1154 >= 394 @ 1.0224
1.29/1.30	c bounds 1154 >= 395 @ 1.02366
1.29/1.30	c bounds 1154 >= 396 @ 1.02474
1.29/1.30	c bounds 1154 >= 397 @ 1.0259
1.29/1.30	c bounds 1154 >= 398 @ 1.02708
1.29/1.30	c bounds 1154 >= 399 @ 1.02822
1.29/1.30	c bounds 1154 >= 400 @ 1.02936
1.29/1.30	c bounds 1154 >= 401 @ 1.0305
1.29/1.30	c bounds 1154 >= 402 @ 1.03162
1.29/1.30	c bounds 1154 >= 403 @ 1.03274
1.29/1.30	c bounds 1154 >= 404 @ 1.03385
1.29/1.30	c bounds 1154 >= 405 @ 1.03494
1.29/1.30	c bounds 1154 >= 406 @ 1.03606
1.29/1.30	c bounds 1154 >= 407 @ 1.03713
1.29/1.30	c bounds 1154 >= 408 @ 1.0372
1.29/1.30	c bounds 1154 >= 409 @ 1.03845
1.29/1.30	c bounds 1154 >= 410 @ 1.03965
1.29/1.30	c bounds 1154 >= 411 @ 1.0408
1.29/1.30	c bounds 1154 >= 412 @ 1.04103
1.29/1.30	c bounds 1154 >= 413 @ 1.04209
1.29/1.30	c bounds 1154 >= 414 @ 1.04225
1.29/1.30	c bounds 1154 >= 415 @ 1.04337
1.29/1.30	c bounds 1154 >= 416 @ 1.04452
1.29/1.30	c bounds 1154 >= 417 @ 1.04566
1.29/1.30	c bounds 1154 >= 418 @ 1.04678
1.29/1.30	c bounds 1154 >= 419 @ 1.04784
1.29/1.30	c bounds 1154 >= 420 @ 1.04892
1.29/1.30	c bounds 1154 >= 421 @ 1.05022
1.29/1.30	c bounds 1154 >= 422 @ 1.05139
1.29/1.30	c bounds 1154 >= 423 @ 1.05252
1.29/1.30	c bounds 1154 >= 424 @ 1.05367
1.29/1.30	c bounds 1154 >= 425 @ 1.05479
1.29/1.30	c bounds 1154 >= 426 @ 1.0559
1.29/1.30	c bounds 1153 >= 426 @ 1.10281
1.29/1.30	c bounds 1153 >= 427 @ 1.10369
1.29/1.30	c bounds 1153 >= 428 @ 1.10482
1.29/1.30	c bounds 1153 >= 429 @ 1.10598
1.29/1.30	c bounds 1153 >= 430 @ 1.1071
1.29/1.30	c bounds 1153 >= 431 @ 1.10848
1.29/1.30	c bounds 1153 >= 432 @ 1.10964
1.29/1.30	c bounds 1153 >= 433 @ 1.11081
1.29/1.30	c bounds 1153 >= 434 @ 1.11149
1.29/1.30	c bounds 1153 >= 435 @ 1.11314
1.29/1.30	c bounds 1153 >= 436 @ 1.11437
1.29/1.30	c bounds 1153 >= 437 @ 1.1156
1.29/1.30	c bounds 1153 >= 438 @ 1.11674
1.29/1.30	c bounds 1153 >= 439 @ 1.11788
1.29/1.30	c bounds 1153 >= 440 @ 1.11898
1.29/1.30	c bounds 1153 >= 441 @ 1.12011
1.29/1.30	c bounds 1153 >= 442 @ 1.1212
1.29/1.30	c bounds 1153 >= 443 @ 1.12229
1.29/1.30	c bounds 1153 >= 444 @ 1.1234
1.29/1.30	c bounds 1153 >= 445 @ 1.12505
1.29/1.30	c bounds 1153 >= 446 @ 1.12617
1.29/1.30	c bounds 1153 >= 447 @ 1.12734
1.29/1.30	c bounds 1153 >= 448 @ 1.1285
1.29/1.30	c bounds 1153 >= 449 @ 1.12965
1.29/1.30	c bounds 1153 >= 450 @ 1.13094
1.29/1.30	c bounds 1153 >= 451 @ 1.13188
1.29/1.30	c bounds 1153 >= 452 @ 1.13193
1.29/1.30	c bounds 1153 >= 453 @ 1.13281
1.29/1.30	c bounds 1153 >= 454 @ 1.13377
1.29/1.30	c bounds 1153 >= 455 @ 1.13464
1.29/1.30	c bounds 1153 >= 456 @ 1.13571
1.29/1.30	c bounds 1153 >= 457 @ 1.13675
1.29/1.30	c bounds 1153 >= 458 @ 1.13771
1.29/1.30	c bounds 1153 >= 459 @ 1.13862
1.29/1.30	c bounds 1153 >= 460 @ 1.13951
1.29/1.30	c bounds 1153 >= 461 @ 1.1404
1.29/1.30	c bounds 1153 >= 462 @ 1.14128
1.29/1.30	c bounds 1153 >= 463 @ 1.14215
1.29/1.30	c bounds 1153 >= 464 @ 1.14302
1.29/1.30	c bounds 1153 >= 465 @ 1.14389
1.29/1.30	c bounds 1153 >= 466 @ 1.14476
1.29/1.30	c bounds 1153 >= 467 @ 1.14562
1.29/1.30	c bounds 1153 >= 468 @ 1.14658
1.29/1.30	c bounds 1153 >= 469 @ 1.14769
1.29/1.30	c bounds 1153 >= 470 @ 1.14872
1.29/1.30	c bounds 1153 >= 471 @ 1.14973
1.29/1.30	c bounds 1153 >= 472 @ 1.15073
1.29/1.30	c bounds 1153 >= 473 @ 1.15173
1.29/1.30	c bounds 1153 >= 474 @ 1.1527
1.29/1.30	c bounds 1153 >= 475 @ 1.15369
1.29/1.30	c bounds 1153 >= 476 @ 1.15473
1.29/1.30	c bounds 1153 >= 477 @ 1.15581
1.29/1.30	c bounds 1153 >= 478 @ 1.15675
1.29/1.30	c bounds 1153 >= 479 @ 1.15768
1.29/1.30	c bounds 1153 >= 480 @ 1.15858
1.29/1.30	c bounds 1153 >= 481 @ 1.15971
1.29/1.30	c bounds 1153 >= 482 @ 1.1609
1.29/1.30	c bounds 1153 >= 483 @ 1.16185
1.29/1.30	c bounds 1153 >= 484 @ 1.16279
1.29/1.30	c bounds 1153 >= 485 @ 1.16372
1.29/1.30	c bounds 1153 >= 486 @ 1.16464
1.29/1.30	c bounds 1153 >= 487 @ 1.16556
1.29/1.30	c bounds 1153 >= 488 @ 1.16646
1.29/1.30	c bounds 1153 >= 489 @ 1.16737
1.29/1.30	c bounds 1153 >= 490 @ 1.16826
1.29/1.30	c bounds 1153 >= 491 @ 1.16915
1.29/1.30	c bounds 1153 >= 492 @ 1.17003
1.29/1.30	c bounds 1153 >= 493 @ 1.17102
1.29/1.30	c bounds 1153 >= 494 @ 1.17193
1.29/1.30	c bounds 1153 >= 495 @ 1.17288
1.29/1.30	c bounds 1153 >= 496 @ 1.17382
1.29/1.30	c bounds 1153 >= 497 @ 1.17475
1.29/1.30	c bounds 1153 >= 498 @ 1.17483
1.29/1.30	c bounds 1153 >= 499 @ 1.17562
1.29/1.30	c bounds 1153 >= 500 @ 1.17652
1.29/1.30	c bounds 1153 >= 501 @ 1.17742
1.29/1.30	c bounds 1153 >= 502 @ 1.17844
1.29/1.30	c bounds 1153 >= 503 @ 1.17933
1.29/1.30	c bounds 1153 >= 504 @ 1.18022
1.29/1.30	c bounds 1153 >= 505 @ 1.18134
1.29/1.30	c bounds 1153 >= 506 @ 1.18259
1.29/1.30	c bounds 1153 >= 507 @ 1.18359
1.29/1.30	c bounds 1153 >= 508 @ 1.18455
1.29/1.30	c bounds 1153 >= 509 @ 1.18545
1.38/1.49	c bounds 1153 >= 510 @ 1.18636
1.38/1.49	c bounds 1153 >= 511 @ 1.18724
1.38/1.49	c bounds 1153 >= 512 @ 1.18812
1.38/1.49	c bounds 1153 >= 513 @ 1.18901
1.38/1.49	c bounds 1153 >= 514 @ 1.18988
1.38/1.49	c bounds 1153 >= 515 @ 1.19077
1.38/1.49	c bounds 1153 >= 516 @ 1.19203
1.38/1.49	c bounds 1153 >= 517 @ 1.19309
1.38/1.49	c bounds 1153 >= 518 @ 1.19403
1.38/1.49	c bounds 1153 >= 519 @ 1.19492
1.38/1.49	c bounds 1153 >= 520 @ 1.19598
1.38/1.49	c bounds 1153 >= 521 @ 1.19703
1.38/1.49	c bounds 1153 >= 522 @ 1.19807
1.38/1.49	c bounds 1153 >= 523 @ 1.19912
1.38/1.49	c bounds 1153 >= 524 @ 1.20014
1.38/1.49	c bounds 1153 >= 525 @ 1.20116
1.38/1.49	c bounds 1153 >= 526 @ 1.20225
1.38/1.49	c bounds 1153 >= 527 @ 1.20338
1.38/1.49	c bounds 1153 >= 528 @ 1.20425
1.38/1.49	c bounds 1153 >= 529 @ 1.2054
1.38/1.49	c bounds 1153 >= 530 @ 1.20641
1.38/1.49	c bounds 1153 >= 531 @ 1.20737
1.38/1.49	c bounds 1153 >= 532 @ 1.20834
1.38/1.49	c bounds 1153 >= 533 @ 1.2093
1.38/1.49	c bounds 1153 >= 534 @ 1.21025
1.38/1.49	c bounds 1153 >= 535 @ 1.2112
1.38/1.49	c bounds 1153 >= 536 @ 1.21213
1.38/1.49	c bounds 1153 >= 537 @ 1.21313
1.38/1.49	c bounds 1153 >= 538 @ 1.21404
1.38/1.49	c bounds 1153 >= 539 @ 1.21489
1.38/1.49	c bounds 1153 >= 540 @ 1.21613
1.38/1.49	c bounds 1153 >= 541 @ 1.21631
1.38/1.49	c bounds 1153 >= 542 @ 1.217
1.38/1.49	c bounds 1153 >= 543 @ 1.21801
1.38/1.49	c bounds 1153 >= 544 @ 1.21901
1.38/1.49	c bounds 1153 >= 545 @ 1.21998
1.38/1.49	c bounds 1153 >= 546 @ 1.22094
1.38/1.49	c bounds 1153 >= 547 @ 1.22189
1.38/1.49	c bounds 1153 >= 548 @ 1.22282
1.38/1.49	c bounds 1153 >= 549 @ 1.22371
1.38/1.49	c bounds 1153 >= 550 @ 1.2247
1.38/1.49	c bounds 1153 >= 551 @ 1.22572
1.38/1.49	c bounds 1153 >= 552 @ 1.2266
1.38/1.49	c bounds 1153 >= 553 @ 1.22751
1.38/1.49	c bounds 1153 >= 554 @ 1.22842
1.38/1.49	c bounds 1153 >= 555 @ 1.22947
1.38/1.49	c bounds 1153 >= 556 @ 1.23052
1.38/1.49	c bounds 1153 >= 557 @ 1.23148
1.38/1.49	c bounds 1153 >= 558 @ 1.23241
1.38/1.49	c bounds 1153 >= 559 @ 1.23333
1.38/1.49	c bounds 1153 >= 560 @ 1.23424
1.38/1.49	c bounds 1153 >= 561 @ 1.23515
1.38/1.49	c bounds 1153 >= 562 @ 1.23605
1.38/1.49	c bounds 1153 >= 563 @ 1.23693
1.38/1.49	c bounds 1153 >= 564 @ 1.23779
1.38/1.49	c bounds 1153 >= 565 @ 1.2387
1.38/1.49	c bounds 1153 >= 566 @ 1.23955
1.38/1.49	c bounds 1153 >= 567 @ 1.24068
1.38/1.49	c bounds 1153 >= 568 @ 1.24169
1.38/1.49	c bounds 1153 >= 569 @ 1.24266
1.38/1.49	c bounds 1153 >= 570 @ 1.24361
1.38/1.49	c bounds 1153 >= 571 @ 1.24364
1.38/1.49	c bounds 1153 >= 572 @ 1.24364
1.38/1.49	c bounds 1152 >= 572 @ 1.26696
1.38/1.49	c bounds 1152 >= 573 @ 1.2682
1.38/1.49	c bounds 1152 >= 574 @ 1.26921
1.38/1.49	c bounds 1152 >= 575 @ 1.27019
1.38/1.49	c bounds 1152 >= 576 @ 1.27107
1.38/1.49	c bounds 1152 >= 577 @ 1.27211
1.38/1.49	c bounds 1152 >= 578 @ 1.27322
1.38/1.49	c bounds 1152 >= 579 @ 1.27421
1.38/1.49	c bounds 1152 >= 580 @ 1.2752
1.38/1.49	c bounds 1152 >= 581 @ 1.27617
1.38/1.49	c bounds 1152 >= 582 @ 1.27716
1.38/1.49	c bounds 1152 >= 583 @ 1.2781
1.38/1.49	c bounds 1152 >= 584 @ 1.27905
1.38/1.49	c bounds 1152 >= 585 @ 1.28008
1.38/1.49	c bounds 1152 >= 586 @ 1.28116
1.38/1.49	c bounds 1152 >= 587 @ 1.28214
1.38/1.49	c bounds 1152 >= 588 @ 1.28305
1.38/1.49	c bounds 1152 >= 589 @ 1.2842
1.38/1.49	c bounds 1152 >= 590 @ 1.28558
1.38/1.49	c bounds 1152 >= 591 @ 1.28703
1.38/1.49	c bounds 1152 >= 592 @ 1.28801
1.38/1.49	c bounds 1152 >= 593 @ 1.28892
1.38/1.49	c bounds 1152 >= 594 @ 1.28999
1.38/1.49	c bounds 1152 >= 595 @ 1.29105
1.38/1.49	c bounds 1152 >= 596 @ 1.29209
1.38/1.49	c bounds 1152 >= 597 @ 1.2924
1.38/1.49	c bounds 1152 >= 598 @ 1.29315
1.38/1.49	c bounds 1152 >= 599 @ 1.29415
1.38/1.49	c bounds 1152 >= 600 @ 1.2952
1.38/1.49	c bounds 1152 >= 601 @ 1.29629
1.38/1.49	c bounds 1152 >= 602 @ 1.29715
1.38/1.49	c bounds 1152 >= 603 @ 1.29808
1.38/1.49	c bounds 1152 >= 604 @ 1.29896
1.38/1.49	c bounds 1152 >= 605 @ 1.2998
1.38/1.49	c bounds 1152 >= 606 @ 1.30097
1.38/1.49	c bounds 1152 >= 607 @ 1.30192
1.38/1.49	c bounds 1152 >= 608 @ 1.30286
1.38/1.49	c bounds 1152 >= 609 @ 1.30378
1.38/1.49	c bounds 1152 >= 610 @ 1.30471
1.38/1.49	c bounds 1152 >= 611 @ 1.30561
1.38/1.49	c bounds 1152 >= 612 @ 1.30652
1.38/1.49	c bounds 1152 >= 613 @ 1.3074
1.38/1.49	c bounds 1152 >= 614 @ 1.30844
1.38/1.49	c bounds 1152 >= 615 @ 1.30848
1.38/1.49	c bounds 1152 >= 616 @ 1.30924
1.38/1.49	c bounds 1152 >= 617 @ 1.31007
1.38/1.49	c bounds 1152 >= 618 @ 1.31116
1.38/1.49	c bounds 1152 >= 619 @ 1.31214
1.38/1.49	c bounds 1152 >= 620 @ 1.31309
1.38/1.49	c bounds 1152 >= 621 @ 1.31401
1.38/1.49	c bounds 1152 >= 622 @ 1.31494
1.38/1.49	c bounds 1152 >= 623 @ 1.31584
1.38/1.49	c bounds 1152 >= 624 @ 1.31676
1.38/1.49	c bounds 1152 >= 625 @ 1.31766
1.38/1.49	c bounds 1152 >= 626 @ 1.3187
1.38/1.49	c bounds 1152 >= 627 @ 1.31961
1.38/1.49	c bounds 1152 >= 628 @ 1.32048
1.38/1.49	c bounds 1152 >= 629 @ 1.32133
1.38/1.49	c bounds 1152 >= 630 @ 1.32214
1.38/1.49	c bounds 1152 >= 631 @ 1.32244
1.38/1.49	c bounds 1152 >= 632 @ 1.32318
1.38/1.49	c bounds 1152 >= 633 @ 1.32402
1.38/1.49	c bounds 1152 >= 634 @ 1.32515
1.38/1.49	c bounds 1151 >= 634 @ 1.34336
1.38/1.49	c bounds 1151 >= 635 @ 1.34384
1.38/1.49	c bounds 1151 >= 636 @ 1.3473
1.38/1.49	c bounds 1151 >= 637 @ 1.34969
1.38/1.49	c bounds 1151 >= 638 @ 1.35214
1.38/1.49	c bounds 1151 >= 639 @ 1.35391
1.38/1.49	c bounds 1151 >= 640 @ 1.35583
2.38/2.43	c bounds 1151 >= 641 @ 1.35662
2.38/2.43	c bounds 1151 >= 642 @ 1.36051
2.38/2.43	c bounds 1151 >= 643 @ 1.36374
2.38/2.43	c bounds 1151 >= 644 @ 1.36651
2.38/2.43	c bounds 1151 >= 645 @ 1.36897
2.38/2.43	c bounds 1151 >= 646 @ 1.37158
2.38/2.43	c bounds 1151 >= 647 @ 1.37391
2.38/2.43	c bounds 1150 >= 647 @ 1.39919
2.38/2.43	c bounds 1150 >= 648 @ 1.40087
2.38/2.43	c bounds 1150 >= 649 @ 1.40341
2.38/2.43	c bounds 1150 >= 650 @ 1.40452
2.38/2.43	c bounds 1150 >= 651 @ 1.40649
2.38/2.43	c bounds 1150 >= 652 @ 1.40975
2.38/2.43	c bounds 1150 >= 653 @ 1.41323
2.38/2.43	c bounds 1150 >= 654 @ 1.41603
2.38/2.43	c bounds 1150 >= 655 @ 1.41773
2.38/2.43	c bounds 1150 >= 656 @ 1.41963
2.38/2.43	c bounds 1150 >= 657 @ 1.42191
2.38/2.43	c bounds 1150 >= 658 @ 1.42448
2.38/2.43	c bounds 1149 >= 658 @ 1.43935
2.38/2.43	c #Conflicts:       1000 | #Constraints:      20817
2.38/2.43	c bounds 1149 >= 659 @ 1.44647
2.38/2.43	c bounds 1148 >= 659 @ 1.45857
2.38/2.43	c bounds 1148 >= 660 @ 1.46103
2.38/2.43	c bounds 1148 >= 661 @ 1.4619
2.38/2.43	c bounds 1148 >= 662 @ 1.46214
2.38/2.43	c bounds 1148 >= 663 @ 1.46384
2.38/2.43	c bounds 1148 >= 664 @ 1.465
2.38/2.43	c bounds 1148 >= 665 @ 1.46513
2.38/2.43	c bounds 1147 >= 665 @ 1.48176
2.38/2.43	c bounds 1147 >= 666 @ 1.48406
2.38/2.43	c bounds 1147 >= 667 @ 1.48529
2.38/2.43	c bounds 1147 >= 668 @ 1.48707
2.38/2.43	c bounds 1147 >= 669 @ 1.48888
2.38/2.43	c bounds 1147 >= 670 @ 1.48926
2.38/2.43	c bounds 1147 >= 671 @ 1.49254
2.38/2.43	c bounds 1147 >= 672 @ 1.49572
2.38/2.43	c bounds 1147 >= 673 @ 1.49673
2.38/2.43	c bounds 1147 >= 674 @ 1.49869
2.38/2.43	c bounds 1147 >= 675 @ 1.50201
2.38/2.43	c bounds 1146 >= 675 @ 1.51561
2.38/2.43	c bounds 1146 >= 676 @ 1.5181
2.38/2.43	c bounds 1146 >= 677 @ 1.52043
2.38/2.43	c bounds 1146 >= 678 @ 1.52193
2.38/2.43	c bounds 1146 >= 679 @ 1.52299
2.38/2.43	c bounds 1146 >= 680 @ 1.52658
2.38/2.43	c bounds 1146 >= 681 @ 1.52836
2.38/2.43	c bounds 1145 >= 681 @ 1.55437
2.38/2.43	c bounds 1145 >= 682 @ 1.56181
2.38/2.43	c bounds 1145 >= 683 @ 1.57279
2.38/2.43	c bounds 1144 >= 683 @ 1.60474
2.38/2.43	c bounds 1144 >= 684 @ 1.60958
2.38/2.43	c bounds 1144 >= 685 @ 1.61052
2.38/2.43	c bounds 1144 >= 686 @ 1.61222
2.38/2.43	c bounds 1144 >= 687 @ 1.61511
2.38/2.43	c bounds 1144 >= 688 @ 1.61634
2.38/2.43	c bounds 1144 >= 689 @ 1.6185
2.38/2.43	c bounds 1144 >= 690 @ 1.62144
2.38/2.43	c bounds 1144 >= 691 @ 1.62289
2.38/2.43	c bounds 1144 >= 692 @ 1.62564
2.38/2.43	c bounds 1144 >= 693 @ 1.62763
2.38/2.43	c bounds 1144 >= 694 @ 1.62987
2.38/2.43	c bounds 1144 >= 695 @ 1.6346
2.38/2.43	c bounds 1143 >= 695 @ 1.71805
2.38/2.43	c bounds 1143 >= 696 @ 1.72066
2.38/2.43	c bounds 1143 >= 697 @ 1.72278
2.38/2.43	c bounds 1143 >= 698 @ 1.7247
2.38/2.43	c bounds 1143 >= 699 @ 1.72675
2.38/2.43	c bounds 1143 >= 700 @ 1.73008
2.38/2.43	c bounds 1143 >= 701 @ 1.7322
2.38/2.43	c bounds 1143 >= 702 @ 1.73389
2.38/2.43	c #Conflicts:       2000 | #Constraints:      22439
2.38/2.43	c INPROCESSING
2.38/2.43	c GARBAGE COLLECT
2.38/2.43	c rational objective 702
5.57/5.66	c bounds 1143 >= 703 @ 2.19038
5.57/5.66	c bounds 1143 >= 704 @ 2.19283
5.57/5.66	c bounds 1143 >= 705 @ 2.19366
5.57/5.66	c bounds 1143 >= 706 @ 2.1963
5.57/5.66	c bounds 1143 >= 707 @ 2.19723
5.57/5.66	c bounds 1143 >= 708 @ 2.19829
5.57/5.66	c bounds 1143 >= 709 @ 2.19999
5.57/5.66	c bounds 1143 >= 710 @ 2.20318
5.57/5.66	c bounds 1143 >= 711 @ 2.2043
5.57/5.66	c bounds 1143 >= 712 @ 2.20618
5.57/5.66	c bounds 1143 >= 713 @ 2.20886
5.57/5.66	c bounds 1143 >= 714 @ 2.21168
5.57/5.66	c bounds 1143 >= 715 @ 2.2131
5.57/5.66	c bounds 1143 >= 716 @ 2.21527
5.57/5.66	c bounds 1143 >= 717 @ 2.21746
5.57/5.66	c bounds 1143 >= 718 @ 2.22081
5.57/5.66	c bounds 1143 >= 719 @ 2.22224
5.57/5.66	c bounds 1143 >= 720 @ 2.22367
5.57/5.66	c bounds 1143 >= 721 @ 2.22524
5.57/5.66	c bounds 1143 >= 722 @ 2.22544
5.57/5.66	c bounds 1143 >= 723 @ 2.22778
5.57/5.66	c bounds 1143 >= 724 @ 2.2286
5.57/5.66	c bounds 1143 >= 725 @ 2.23094
5.57/5.66	c bounds 1143 >= 726 @ 2.23178
5.57/5.66	c bounds 1143 >= 727 @ 2.23316
5.57/5.66	c bounds 1143 >= 728 @ 2.23362
5.57/5.66	c bounds 1143 >= 729 @ 2.23422
5.57/5.66	c bounds 1143 >= 730 @ 2.23497
5.57/5.66	c bounds 1143 >= 731 @ 2.23751
5.57/5.66	c bounds 1143 >= 732 @ 2.23934
5.57/5.66	c bounds 1143 >= 733 @ 2.24082
5.57/5.66	c bounds 1143 >= 734 @ 2.2412
5.57/5.66	c bounds 1143 >= 735 @ 2.24228
5.57/5.66	c bounds 1143 >= 736 @ 2.24451
5.57/5.66	c bounds 1143 >= 737 @ 2.24555
5.57/5.66	c bounds 1143 >= 738 @ 2.24738
5.57/5.66	c bounds 1143 >= 739 @ 2.24818
5.57/5.66	c bounds 1143 >= 740 @ 2.24818
5.57/5.66	c bounds 1143 >= 741 @ 2.25086
5.57/5.66	c bounds 1143 >= 742 @ 2.25215
5.57/5.66	c bounds 1143 >= 743 @ 2.25676
5.57/5.66	c bounds 1143 >= 744 @ 2.25886
5.57/5.66	c bounds 1143 >= 745 @ 2.26016
5.57/5.66	c bounds 1143 >= 746 @ 2.26047
5.57/5.66	c bounds 1143 >= 747 @ 2.26264
5.57/5.66	c bounds 1143 >= 748 @ 2.26363
5.57/5.66	c bounds 1143 >= 749 @ 2.26537
5.57/5.66	c bounds 1143 >= 750 @ 2.26693
5.57/5.66	c bounds 1143 >= 751 @ 2.2675
5.57/5.66	c bounds 1143 >= 752 @ 2.26876
5.57/5.66	c bounds 1143 >= 753 @ 2.27019
5.57/5.66	c bounds 1143 >= 754 @ 2.27163
5.57/5.66	c #Conflicts:       3000 | #Constraints:      22388
5.57/5.66	c bounds 1143 >= 755 @ 2.27399
5.57/5.66	c bounds 1143 >= 756 @ 2.27561
5.57/5.66	c bounds 1143 >= 757 @ 2.27893
5.57/5.66	c bounds 1143 >= 758 @ 2.28392
5.57/5.66	c bounds 1143 >= 759 @ 2.28824
5.57/5.66	c bounds 1143 >= 760 @ 2.28977
5.57/5.66	c bounds 1143 >= 761 @ 2.29172
5.57/5.66	c bounds 1143 >= 762 @ 2.29306
5.57/5.66	c bounds 1143 >= 763 @ 2.29338
5.57/5.66	c bounds 1143 >= 764 @ 2.29675
5.57/5.66	c bounds 1143 >= 765 @ 2.30064
5.57/5.66	c bounds 1143 >= 766 @ 2.30252
5.57/5.66	c bounds 1143 >= 767 @ 2.30666
5.57/5.66	c bounds 1143 >= 768 @ 2.3127
5.57/5.66	c bounds 1143 >= 769 @ 2.31445
5.57/5.66	c bounds 1143 >= 770 @ 2.31644
5.57/5.66	c bounds 1143 >= 771 @ 2.31802
5.57/5.66	c bounds 1143 >= 772 @ 2.31895
5.57/5.66	c bounds 1143 >= 773 @ 2.31956
5.57/5.66	c bounds 1143 >= 774 @ 2.32175
5.57/5.66	c bounds 1143 >= 775 @ 2.32614
5.57/5.66	c bounds 1143 >= 776 @ 2.33736
5.57/5.66	c bounds 1143 >= 777 @ 2.33926
5.57/5.66	c bounds 1143 >= 778 @ 2.34101
5.57/5.66	c bounds 1143 >= 779 @ 2.34278
5.57/5.66	c #Conflicts:       4000 | #Constraints:      23802
5.57/5.66	c bounds 1143 >= 780 @ 2.34392
5.57/5.66	c bounds 1143 >= 781 @ 2.34611
5.57/5.66	c bounds 1143 >= 782 @ 2.34775
5.57/5.66	c bounds 1143 >= 783 @ 2.34955
5.57/5.66	c bounds 1143 >= 784 @ 2.35166
5.57/5.66	c bounds 1143 >= 785 @ 2.35352
5.57/5.66	c bounds 1143 >= 786 @ 2.35429
5.57/5.66	c bounds 1143 >= 787 @ 2.35618
5.57/5.66	c bounds 1143 >= 788 @ 2.35775
5.57/5.66	c bounds 1143 >= 789 @ 2.36081
5.57/5.66	c INPROCESSING
5.57/5.66	c GARBAGE COLLECT
5.57/5.66	c bounds 1143 >= 790 @ 2.79134
5.57/5.66	c bounds 1141 >= 790 @ 2.80877
5.57/5.66	c bounds 1141 >= 791 @ 2.81576
5.57/5.66	c bounds 1140 >= 791 @ 2.8254
5.57/5.66	c #Conflicts:       5000 | #Constraints:      23336
5.57/5.66	c bounds 1140 >= 792 @ 2.87626
5.57/5.66	c bounds 1139 >= 792 @ 2.88657
5.57/5.66	c bounds 1138 >= 792 @ 2.89458
5.57/5.66	c bounds 1137 >= 792 @ 2.90872
5.57/5.66	c bounds 1136 >= 792 @ 2.92353
5.57/5.66	c bounds 1135 >= 792 @ 2.95055
5.57/5.66	c bounds 1134 >= 792 @ 2.96606
5.57/5.66	c bounds 1134 >= 793 @ 3.44465
5.57/5.66	c bounds 1133 >= 793 @ 3.45593
5.57/5.66	c bounds 1132 >= 793 @ 3.46536
5.57/5.66	c bounds 1131 >= 793 @ 3.47452
5.57/5.66	c #Conflicts:       6000 | #Constraints:      24615
5.57/5.66	c bounds 1130 >= 793 @ 3.52924
5.57/5.66	c #Conflicts:       7000 | #Constraints:      25616
5.57/5.66	c bounds 1129 >= 793 @ 4.29898
5.57/5.66	c #Conflicts:       8000 | #Constraints:      26617
5.57/5.66	c bounds 1129 >= 794 @ 4.83526
5.57/5.66	c bounds 1128 >= 794 @ 4.85613
5.57/5.66	c bounds 1127 >= 794 @ 4.86877
5.57/5.66	c bounds 1126 >= 794 @ 4.88239
5.57/5.66	c bounds 1125 >= 794 @ 4.96956
5.57/5.66	c bounds 1124 >= 794 @ 4.99828
5.57/5.66	c bounds 1123 >= 794 @ 5.02172
5.57/5.66	c bounds 1122 >= 794 @ 5.04107
5.57/5.66	c bounds 1121 >= 794 @ 5.06002
5.57/5.66	c bounds 1120 >= 794 @ 5.07918
5.57/5.66	c bounds 1119 >= 794 @ 5.09645
5.57/5.66	c bounds 1118 >= 794 @ 5.11251
5.57/5.66	c bounds 1117 >= 794 @ 5.12971
5.57/5.66	c #Conflicts:       9000 | #Constraints:      27743
5.57/5.66	c bounds 1116 >= 794 @ 5.1459
5.57/5.66	c bounds 1115 >= 794 @ 5.16247
5.57/5.66	c bounds 1114 >= 794 @ 5.17903
6.08/6.14	c bounds 1113 >= 794 @ 5.1961
6.08/6.14	c bounds 1112 >= 794 @ 5.21228
6.08/6.14	c INPROCESSING
6.08/6.14	c GARBAGE COLLECT
6.08/6.14	c rational objective 794
8.16/8.27	c bounds 1111 >= 794 @ 5.68452
8.16/8.27	c bounds 1110 >= 794 @ 5.7016
8.16/8.27	c bounds 1109 >= 794 @ 5.71939
8.16/8.27	c bounds 1108 >= 794 @ 5.82128
8.16/8.27	c bounds 1107 >= 794 @ 5.88001
8.16/8.27	c bounds 1106 >= 794 @ 5.90472
8.16/8.27	c bounds 1105 >= 794 @ 5.92709
8.16/8.27	c bounds 1104 >= 794 @ 5.94289
8.16/8.27	c bounds 1103 >= 794 @ 5.96019
8.16/8.27	c bounds 1102 >= 794 @ 5.97627
8.16/8.27	c bounds 1101 >= 794 @ 5.99709
8.16/8.27	c #Conflicts:      10000 | #Constraints:      25489
8.16/8.27	c #Conflicts:      11000 | #Constraints:      26489
8.16/8.27	c bounds 1101 >= 795 @ 6.68415
8.16/8.27	c bounds 1100 >= 795 @ 6.71231
8.16/8.27	c bounds 1099 >= 795 @ 6.73294
8.16/8.27	c bounds 1098 >= 795 @ 6.76139
8.16/8.27	c bounds 1097 >= 795 @ 6.78669
8.16/8.27	c bounds 1096 >= 795 @ 6.81031
8.16/8.27	c bounds 1095 >= 795 @ 6.83415
8.16/8.27	c bounds 1094 >= 795 @ 6.8608
8.16/8.27	c bounds 1093 >= 795 @ 6.88473
8.16/8.27	c bounds 1092 >= 795 @ 6.90946
8.16/8.27	c bounds 1091 >= 795 @ 6.93658
8.16/8.27	c #Conflicts:      12000 | #Constraints:      27601
8.16/8.27	c bounds 1090 >= 795 @ 6.96255
8.16/8.27	c bounds 1089 >= 795 @ 6.98552
8.16/8.27	c bounds 1088 >= 795 @ 7.00721
8.16/8.27	c bounds 1087 >= 795 @ 7.02926
8.16/8.27	c bounds 1086 >= 795 @ 7.08243
8.16/8.27	c bounds 1085 >= 795 @ 7.11523
8.16/8.27	c bounds 1084 >= 795 @ 7.1772
8.16/8.27	c INPROCESSING
8.16/8.27	c GARBAGE COLLECT
8.16/8.27	c rational objective 795
13.65/13.74	c #Conflicts:      13000 | #Constraints:      25085
13.65/13.74	c #Conflicts:      14000 | #Constraints:      26114
13.65/13.74	c bounds 1083 >= 795 @ 8.57915
13.65/13.74	c #Conflicts:      15000 | #Constraints:      27117
13.65/13.74	c bounds 1083 >= 796 @ 9.08978
13.65/13.74	c bounds 1082 >= 796 @ 9.12157
13.65/13.74	c bounds 1081 >= 796 @ 9.14828
13.65/13.74	c bounds 1080 >= 796 @ 9.17547
13.65/13.74	c bounds 1079 >= 796 @ 9.20113
13.65/13.74	c #Conflicts:      16000 | #Constraints:      28196
13.65/13.74	c bounds 1078 >= 796 @ 9.22749
13.65/13.74	c bounds 1077 >= 796 @ 9.25292
13.65/13.74	c bounds 1076 >= 796 @ 9.27933
13.65/13.74	c bounds 1075 >= 796 @ 9.30563
13.65/13.74	c bounds 1074 >= 796 @ 9.32961
13.65/13.74	c bounds 1073 >= 796 @ 9.36417
13.65/13.74	c bounds 1072 >= 796 @ 9.39424
13.65/13.74	c bounds 1071 >= 796 @ 9.42264
13.65/13.74	c bounds 1070 >= 796 @ 9.44992
13.65/13.74	c bounds 1069 >= 796 @ 9.47541
13.65/13.74	c #Conflicts:      17000 | #Constraints:      29206
13.65/13.74	c #Conflicts:      18000 | #Constraints:      30206
13.65/13.74	c bounds 1069 >= 797 @ 10.5769
13.65/13.74	c bounds 1068 >= 797 @ 10.6225
13.65/13.74	c bounds 1067 >= 797 @ 10.6503
13.65/13.74	c bounds 1066 >= 797 @ 10.6736
13.65/13.74	c bounds 1065 >= 797 @ 10.698
13.65/13.74	c #Conflicts:      19000 | #Constraints:      31279
13.65/13.74	c bounds 1064 >= 797 @ 11.5409
13.65/13.74	c bounds 1063 >= 797 @ 11.5842
13.65/13.74	c bounds 1062 >= 797 @ 11.6195
13.65/13.74	c bounds 1061 >= 797 @ 11.7005
13.65/13.74	c bounds 1060 >= 797 @ 11.7396
13.65/13.74	c bounds 1059 >= 797 @ 11.7875
13.65/13.74	c #Conflicts:      20000 | #Constraints:      32298
13.65/13.74	c bounds 1058 >= 797 @ 11.8237
13.65/13.74	c bounds 1057 >= 797 @ 11.8635
13.65/13.74	c bounds 1056 >= 797 @ 11.9003
13.65/13.74	c bounds 1055 >= 797 @ 12.0077
13.65/13.74	c bounds 1054 >= 797 @ 12.1185
13.65/13.74	c bounds 1053 >= 797 @ 12.1761
13.65/13.74	c bounds 1052 >= 797 @ 12.2061
13.65/13.74	c bounds 1051 >= 797 @ 12.2346
13.65/13.74	c bounds 1050 >= 797 @ 12.2642
13.65/13.74	c bounds 1049 >= 797 @ 12.2937
13.65/13.74	c #Conflicts:      21000 | #Constraints:      33311
13.65/13.74	c INPROCESSING
13.65/13.74	c GARBAGE COLLECT
13.65/13.74	c rational objective 797
17.44/17.53	c bounds 1048 >= 797 @ 12.9813
17.44/17.53	c bounds 1047 >= 797 @ 13.002
17.44/17.53	c bounds 1046 >= 797 @ 13.0229
17.44/17.53	c bounds 1045 >= 797 @ 13.0458
17.44/17.53	c bounds 1044 >= 797 @ 13.0665
17.44/17.53	c bounds 1043 >= 797 @ 13.0854
17.44/17.53	c bounds 1042 >= 797 @ 13.107
17.44/17.53	c bounds 1041 >= 797 @ 13.1251
17.44/17.53	c bounds 1040 >= 797 @ 13.1437
17.44/17.53	c bounds 1039 >= 797 @ 13.1706
17.44/17.53	c bounds 1038 >= 797 @ 13.1994
17.44/17.53	c bounds 1037 >= 797 @ 13.2375
17.44/17.53	c bounds 1036 >= 797 @ 13.2638
17.44/17.53	c bounds 1035 >= 797 @ 13.2836
17.44/17.53	c bounds 1034 >= 797 @ 13.3054
17.44/17.53	c bounds 1033 >= 797 @ 13.3268
17.44/17.53	c bounds 1032 >= 797 @ 13.3477
17.44/17.53	c bounds 1031 >= 797 @ 13.3679
17.44/17.53	c #Conflicts:      22000 | #Constraints:      28561
17.44/17.53	c #Conflicts:      23000 | #Constraints:      29561
17.44/17.53	c bounds 1030 >= 797 @ 14.1218
17.44/17.53	c #Conflicts:      24000 | #Constraints:      30562
17.44/17.53	c bounds 1030 >= 798 @ 15.3559
17.44/17.53	c bounds 1029 >= 798 @ 15.4214
17.44/17.53	c bounds 1028 >= 798 @ 15.4558
17.44/17.53	c bounds 1027 >= 798 @ 15.495
17.44/17.53	c bounds 1026 >= 798 @ 15.5252
17.44/17.53	c bounds 1025 >= 798 @ 15.7267
17.44/17.53	c bounds 1024 >= 798 @ 15.7573
17.44/17.53	c #Conflicts:      25000 | #Constraints:      31697
17.44/17.53	c bounds 1023 >= 798 @ 15.8021
17.44/17.53	c bounds 1022 >= 798 @ 15.8313
17.44/17.53	c bounds 1021 >= 798 @ 15.9226
17.44/17.53	c bounds 1020 >= 798 @ 15.9656
17.44/17.53	c bounds 1019 >= 798 @ 16.017
17.44/17.53	c bounds 1018 >= 798 @ 16.048
17.44/17.53	c bounds 1017 >= 798 @ 16.0778
17.44/17.53	c bounds 1016 >= 798 @ 16.1051
17.44/17.53	c bounds 1015 >= 798 @ 16.1328
17.44/17.53	c bounds 1014 >= 798 @ 16.1609
17.44/17.53	c bounds 1013 >= 798 @ 16.1862
17.44/17.53	c INPROCESSING
17.44/17.53	c GARBAGE COLLECT
17.44/17.53	c rational objective 798
29.93/30.03	c bounds 1012 >= 798 @ 16.6642
29.93/30.03	c bounds 1011 >= 798 @ 16.6853
29.93/30.03	c bounds 1010 >= 798 @ 16.7056
29.93/30.03	c #Conflicts:      26000 | #Constraints:      27436
29.93/30.03	c bounds 1009 >= 798 @ 16.7254
29.93/30.03	c bounds 1008 >= 798 @ 16.745
29.93/30.03	c bounds 1007 >= 798 @ 16.7994
29.93/30.03	c #Conflicts:      27000 | #Constraints:      28439
29.93/30.03	c #Conflicts:      28000 | #Constraints:      29439
29.93/30.03	c #Conflicts:      29000 | #Constraints:      30439
29.93/30.03	c bounds 1007 >= 799 @ 18.1742
29.93/30.03	c bounds 1006 >= 799 @ 18.2056
29.93/30.03	c bounds 1005 >= 799 @ 18.2268
29.93/30.03	c bounds 1004 >= 799 @ 18.2475
29.93/30.03	c bounds 1003 >= 799 @ 18.2728
29.93/30.03	c bounds 1002 >= 799 @ 18.2925
29.93/30.03	c bounds 1001 >= 799 @ 18.3126
29.93/30.03	c bounds 1000 >= 799 @ 18.3671
29.93/30.03	c bounds 999 >= 799 @ 18.3885
29.93/30.03	c bounds 998 >= 799 @ 18.4106
29.93/30.03	c bounds 997 >= 799 @ 18.4364
29.93/30.03	c bounds 996 >= 799 @ 18.4613
29.93/30.03	c bounds 995 >= 799 @ 18.4895
29.93/30.03	c bounds 994 >= 799 @ 18.5177
29.93/30.03	c bounds 993 >= 799 @ 18.7035
29.93/30.03	c bounds 992 >= 799 @ 18.7296
29.93/30.03	c bounds 991 >= 799 @ 18.752
29.93/30.03	c #Conflicts:      30000 | #Constraints:      31545
29.93/30.03	c bounds 990 >= 799 @ 18.7764
29.93/30.03	c bounds 989 >= 799 @ 18.8004
29.93/30.03	c bounds 988 >= 799 @ 18.8256
29.93/30.03	c bounds 987 >= 799 @ 18.8505
29.93/30.03	c bounds 986 >= 799 @ 18.8748
29.93/30.03	c bounds 985 >= 799 @ 18.8975
29.93/30.03	c bounds 984 >= 799 @ 18.9258
29.93/30.03	c bounds 983 >= 799 @ 18.9486
29.93/30.03	c #Conflicts:      31000 | #Constraints:      32567
29.93/30.03	c bounds 982 >= 799 @ 19.67
29.93/30.03	c bounds 981 >= 799 @ 19.7035
29.93/30.03	c bounds 980 >= 799 @ 19.735
29.93/30.03	c bounds 979 >= 799 @ 19.7711
29.93/30.03	c bounds 978 >= 799 @ 19.8108
29.93/30.03	c bounds 977 >= 799 @ 19.8382
29.93/30.03	c bounds 976 >= 799 @ 19.8636
29.93/30.03	c bounds 975 >= 799 @ 19.8887
29.93/30.03	c bounds 974 >= 799 @ 19.9141
29.93/30.03	c bounds 973 >= 799 @ 19.9493
29.93/30.03	c bounds 972 >= 799 @ 19.9747
29.93/30.03	c bounds 971 >= 799 @ 20.0008
29.93/30.03	c bounds 970 >= 799 @ 20.0321
29.93/30.03	c bounds 969 >= 799 @ 20.1189
29.93/30.03	c bounds 968 >= 799 @ 20.1447
29.93/30.03	c bounds 967 >= 799 @ 20.1708
29.93/30.03	c bounds 966 >= 799 @ 20.1984
29.93/30.03	c bounds 965 >= 799 @ 20.2257
29.93/30.03	c #Conflicts:      32000 | #Constraints:      33592
29.93/30.03	c bounds 964 >= 799 @ 20.2568
29.93/30.03	c bounds 963 >= 799 @ 20.2814
29.93/30.03	c #Conflicts:      33000 | #Constraints:      34594
29.93/30.03	c #Conflicts:      34000 | #Constraints:      35594
29.93/30.03	c bounds 963 >= 800 @ 25.3045
29.93/30.03	c bounds 962 >= 800 @ 25.4741
29.93/30.03	c bounds 961 >= 800 @ 25.5231
29.93/30.03	c bounds 960 >= 800 @ 25.5771
29.93/30.03	c #Conflicts:      35000 | #Constraints:      36654
29.93/30.03	c bounds 959 >= 800 @ 25.6526
29.93/30.03	c bounds 958 >= 800 @ 25.7982
29.93/30.03	c bounds 957 >= 800 @ 25.8346
29.93/30.03	c bounds 956 >= 800 @ 25.8697
29.93/30.03	c #Conflicts:      36000 | #Constraints:      37658
29.93/30.03	c bounds 955 >= 800 @ 26.7226
29.93/30.03	c bounds 954 >= 800 @ 26.7811
29.93/30.03	c #Conflicts:      37000 | #Constraints:      38660
29.93/30.03	c INPROCESSING
29.93/30.03	c GARBAGE COLLECT
29.93/30.03	c rational objective 800
38.28/38.44	c bounds 953 >= 800 @ 28.9909
38.28/38.44	c bounds 952 >= 800 @ 29.0637
38.28/38.44	c bounds 951 >= 800 @ 29.1292
38.28/38.44	c bounds 950 >= 800 @ 29.16
38.28/38.44	c bounds 949 >= 800 @ 29.1841
38.28/38.44	c #Conflicts:      38000 | #Constraints:      31169
38.28/38.44	c bounds 948 >= 800 @ 29.4909
38.28/38.44	c #Conflicts:      39000 | #Constraints:      32179
38.28/38.44	c bounds 947 >= 800 @ 30.4793
38.28/38.44	c bounds 946 >= 800 @ 30.5937
38.28/38.44	c #Conflicts:      40000 | #Constraints:      33187
38.28/38.44	c #Conflicts:      41000 | #Constraints:      34187
38.28/38.44	c bounds 946 >= 801 @ 32.314
38.28/38.44	c #Conflicts:      42000 | #Constraints:      35226
38.28/38.44	c #Conflicts:      43000 | #Constraints:      36226
38.28/38.44	c INPROCESSING
38.28/38.44	c GARBAGE COLLECT
38.28/38.44	c rational objective 801
56.44/56.69	c #Conflicts:      44000 | #Constraints:      30054
56.44/56.69	c #Conflicts:      45000 | #Constraints:      31054
56.44/56.69	c bounds 946 >= 802 @ 38.5076
56.44/56.69	c #Conflicts:      46000 | #Constraints:      32138
56.44/56.69	c #Conflicts:      47000 | #Constraints:      33138
56.44/56.69	c #Conflicts:      48000 | #Constraints:      34138
56.44/56.69	c bounds 946 >= 803 @ 40.0965
56.44/56.69	c bounds 945 >= 803 @ 40.3099
56.44/56.69	c bounds 944 >= 803 @ 40.3417
56.44/56.69	c #Conflicts:      49000 | #Constraints:      35200
56.44/56.69	c bounds 943 >= 803 @ 40.3781
56.44/56.69	c bounds 942 >= 803 @ 40.4035
56.44/56.69	c bounds 941 >= 803 @ 40.4994
56.44/56.69	c bounds 940 >= 803 @ 40.5254
56.44/56.69	c bounds 939 >= 803 @ 40.5609
56.44/56.69	c bounds 938 >= 803 @ 40.5853
56.44/56.69	c bounds 937 >= 803 @ 40.6189
56.44/56.69	c bounds 936 >= 803 @ 40.6453
56.44/56.69	c bounds 935 >= 803 @ 40.67
56.44/56.69	c bounds 934 >= 803 @ 40.6932
56.44/56.69	c bounds 933 >= 803 @ 40.7225
56.44/56.69	c bounds 932 >= 803 @ 40.7473
56.44/56.69	c bounds 931 >= 803 @ 40.7736
56.44/56.69	c bounds 930 >= 803 @ 40.7984
56.44/56.69	c bounds 929 >= 803 @ 40.8266
56.44/56.69	c bounds 928 >= 803 @ 40.8528
56.44/56.69	c #Conflicts:      50000 | #Constraints:      36216
56.44/56.69	c bounds 927 >= 803 @ 40.8783
56.44/56.69	c bounds 926 >= 803 @ 40.907
56.44/56.69	c bounds 925 >= 803 @ 40.9362
56.54/56.70	c bounds 924 >= 803 @ 40.9704
56.54/56.70	c bounds 923 >= 803 @ 40.9976
56.54/56.70	c bounds 922 >= 803 @ 41.0257
56.54/56.70	c bounds 921 >= 803 @ 41.0591
56.54/56.70	c bounds 920 >= 803 @ 41.0861
56.54/56.70	c bounds 919 >= 803 @ 41.1135
56.54/56.70	c bounds 918 >= 803 @ 41.1487
56.54/56.70	c bounds 917 >= 803 @ 41.1746
56.54/56.70	c bounds 916 >= 803 @ 41.2029
56.54/56.70	c bounds 915 >= 803 @ 41.2304
56.54/56.70	c bounds 914 >= 803 @ 41.257
56.54/56.70	c bounds 913 >= 803 @ 41.291
56.54/56.70	c bounds 912 >= 803 @ 41.3179
56.54/56.70	c bounds 911 >= 803 @ 41.3447
56.54/56.70	c bounds 910 >= 803 @ 41.3796
56.54/56.70	c bounds 909 >= 803 @ 41.4072
56.54/56.70	c bounds 908 >= 803 @ 41.4401
56.54/56.70	c bounds 907 >= 803 @ 41.4669
56.54/56.70	c #Conflicts:      51000 | #Constraints:      37237
56.54/56.70	c bounds 906 >= 803 @ 41.4929
56.54/56.70	c bounds 905 >= 803 @ 41.5222
56.54/56.70	c bounds 904 >= 803 @ 41.5488
56.54/56.70	c bounds 903 >= 803 @ 41.5824
56.54/56.70	c bounds 902 >= 803 @ 41.6079
56.54/56.70	c bounds 901 >= 803 @ 41.6353
56.54/56.70	c bounds 900 >= 803 @ 41.6625
56.54/56.70	c bounds 899 >= 803 @ 41.6899
56.54/56.70	c bounds 898 >= 803 @ 41.7166
56.54/56.70	c bounds 897 >= 803 @ 41.7436
56.54/56.70	c bounds 896 >= 803 @ 41.7706
56.54/56.70	c bounds 895 >= 803 @ 41.7993
56.54/56.70	c bounds 894 >= 803 @ 41.8358
56.54/56.70	c bounds 893 >= 803 @ 41.8653
56.54/56.70	c bounds 892 >= 803 @ 42.014
56.54/56.70	c bounds 891 >= 803 @ 42.3728
56.54/56.70	c #Conflicts:      52000 | #Constraints:      38253
56.54/56.70	c #Conflicts:      53000 | #Constraints:      39253
56.54/56.70	c #Conflicts:      54000 | #Constraints:      40253
56.54/56.70	c bounds 891 >= 804 @ 49.1573
56.54/56.70	c bounds 890 >= 804 @ 49.2315
56.54/56.70	c #Conflicts:      55000 | #Constraints:      41314
56.54/56.70	c #Conflicts:      56000 | #Constraints:      42314
56.54/56.70	c #Conflicts:      57000 | #Constraints:      43314
56.54/56.70	c INPROCESSING
56.54/56.70	c GARBAGE COLLECT
56.54/56.70	c rational objective 804
63.93/64.11	c #Conflicts:      58000 | #Constraints:      33321
63.93/64.11	c #Conflicts:      59000 | #Constraints:      34326
63.93/64.11	c #Conflicts:      60000 | #Constraints:      35333
63.93/64.11	c #Conflicts:      61000 | #Constraints:      36337
63.93/64.11	c #Conflicts:      62000 | #Constraints:      37344
63.93/64.11	c #Conflicts:      63000 | #Constraints:      38348
63.93/64.11	c #Conflicts:      64000 | #Constraints:      39350
63.93/64.11	c #Conflicts:      65000 | #Constraints:      40358
63.93/64.11	c INPROCESSING
63.93/64.11	c GARBAGE COLLECT
63.93/64.11	c rational objective 804
77.90/78.18	c #Conflicts:      66000 | #Constraints:      32274
77.90/78.18	c #Conflicts:      67000 | #Constraints:      33274
77.90/78.18	c bounds 890 >= 805 @ 64.0696
77.90/78.18	c #Conflicts:      68000 | #Constraints:      34307
77.90/78.18	c #Conflicts:      69000 | #Constraints:      35307
77.90/78.18	c #Conflicts:      70000 | #Constraints:      36307
77.90/78.18	c bounds 890 >= 806 @ 65.4522
77.90/78.18	c #Conflicts:      71000 | #Constraints:      37337
77.90/78.18	c #Conflicts:      72000 | #Constraints:      38337
77.90/78.18	c #Conflicts:      73000 | #Constraints:      39337
77.90/78.18	c bounds 890 >= 807 @ 67.624
77.90/78.18	c #Conflicts:      74000 | #Constraints:      40409
77.90/78.18	c #Conflicts:      75000 | #Constraints:      41409
77.90/78.18	c #Conflicts:      76000 | #Constraints:      42409
77.90/78.18	c bounds 890 >= 808 @ 70.7062
77.90/78.18	c #Conflicts:      77000 | #Constraints:      43475
77.90/78.18	c #Conflicts:      78000 | #Constraints:      44475
77.90/78.18	c #Conflicts:      79000 | #Constraints:      45476
77.90/78.18	c #Conflicts:      80000 | #Constraints:      46486
77.90/78.18	c #Conflicts:      81000 | #Constraints:      47489
77.90/78.18	c #Conflicts:      82000 | #Constraints:      48496
77.90/78.18	c INPROCESSING
77.90/78.18	c GARBAGE COLLECT
77.90/78.18	c rational objective 808
85.27/85.59	c #Conflicts:      83000 | #Constraints:      35712
85.27/85.59	c #Conflicts:      84000 | #Constraints:      36712
85.27/85.59	c #Conflicts:      85000 | #Constraints:      37712
85.27/85.59	c #Conflicts:      86000 | #Constraints:      38712
85.27/85.59	c bounds 890 >= 809 @ 78.8059
85.27/85.59	c #Conflicts:      87000 | #Constraints:      39775
85.27/85.59	c #Conflicts:      88000 | #Constraints:      40775
85.27/85.59	c #Conflicts:      89000 | #Constraints:      41775
85.27/85.59	c #Conflicts:      90000 | #Constraints:      42775
85.27/85.59	c bounds 890 >= 810 @ 81.8926
85.27/85.59	c #Conflicts:      91000 | #Constraints:      43814
85.27/85.59	c INPROCESSING
85.27/85.59	c GARBAGE COLLECT
85.27/85.59	c rational objective 810
118.55/118.91	c #Conflicts:      92000 | #Constraints:      35491
118.55/118.91	c #Conflicts:      93000 | #Constraints:      36491
118.55/118.91	c #Conflicts:      94000 | #Constraints:      37492
118.55/118.91	c #Conflicts:      95000 | #Constraints:      38497
118.55/118.91	c #Conflicts:      96000 | #Constraints:      39500
118.55/118.91	c #Conflicts:      97000 | #Constraints:      40507
118.55/118.91	c #Conflicts:      98000 | #Constraints:      41514
118.55/118.91	c #Conflicts:      99000 | #Constraints:      42524
118.55/118.91	c #Conflicts:     100000 | #Constraints:      43531
118.55/118.91	c #Conflicts:     101000 | #Constraints:      44540
118.55/118.91	c #Conflicts:     102000 | #Constraints:      45546
118.55/118.91	c #Conflicts:     103000 | #Constraints:      46553
118.55/118.91	c #Conflicts:     104000 | #Constraints:      47560
118.55/118.91	c #Conflicts:     105000 | #Constraints:      48562
118.55/118.91	c #Conflicts:     106000 | #Constraints:      49570
118.55/118.91	c #Conflicts:     107000 | #Constraints:      50579
118.55/118.91	c #Conflicts:     108000 | #Constraints:      51581
118.55/118.91	c #Conflicts:     109000 | #Constraints:      52582
118.55/118.91	c #Conflicts:     110000 | #Constraints:      53587
118.55/118.91	c #Conflicts:     111000 | #Constraints:      54594
118.55/118.91	c INPROCESSING
118.55/118.91	c GARBAGE COLLECT
118.55/118.91	c rational objective 810
130.42/130.84	c #Conflicts:     112000 | #Constraints:      39204
130.42/130.84	c #Conflicts:     113000 | #Constraints:      40204
130.42/130.84	c #Conflicts:     114000 | #Constraints:      41204
130.42/130.84	c #Conflicts:     115000 | #Constraints:      42204
130.42/130.84	c #Conflicts:     116000 | #Constraints:      43204
130.42/130.84	c bounds 890 >= 811 @ 121.133
130.42/130.84	c #Conflicts:     117000 | #Constraints:      44267
130.42/130.84	c #Conflicts:     118000 | #Constraints:      45267
130.42/130.84	c #Conflicts:     119000 | #Constraints:      46267
130.42/130.84	c #Conflicts:     120000 | #Constraints:      47267
130.42/130.84	c #Conflicts:     121000 | #Constraints:      48267
130.42/130.84	c INPROCESSING
130.42/130.84	c GARBAGE COLLECT
130.42/130.84	c rational objective 811
147.95/148.49	c #Conflicts:     122000 | #Constraints:      36065
147.95/148.49	c #Conflicts:     123000 | #Constraints:      37065
147.95/148.49	c #Conflicts:     124000 | #Constraints:      38065
147.95/148.49	c bounds 890 >= 812 @ 129.66
147.95/148.49	c #Conflicts:     125000 | #Constraints:      39137
147.95/148.49	c #Conflicts:     126000 | #Constraints:      40137
147.95/148.49	c #Conflicts:     127000 | #Constraints:      41137
147.95/148.49	c #Conflicts:     128000 | #Constraints:      42137
147.95/148.49	c #Conflicts:     129000 | #Constraints:      43137
147.95/148.49	c #Conflicts:     130000 | #Constraints:      44137
147.95/148.49	c #Conflicts:     131000 | #Constraints:      45137
147.95/148.49	c bounds 890 >= 813 @ 135.452
147.95/148.49	c #Conflicts:     132000 | #Constraints:      46203
147.95/148.49	c #Conflicts:     133000 | #Constraints:      47203
147.95/148.49	c #Conflicts:     134000 | #Constraints:      48203
147.95/148.49	c #Conflicts:     135000 | #Constraints:      49203
147.95/148.49	c bounds 890 >= 814 @ 139.919
147.95/148.49	c #Conflicts:     136000 | #Constraints:      50251
147.95/148.49	c #Conflicts:     137000 | #Constraints:      51251
147.95/148.49	c #Conflicts:     138000 | #Constraints:      52251
147.95/148.49	c #Conflicts:     139000 | #Constraints:      53251
147.95/148.49	c bounds 890 >= 815 @ 144.316
147.95/148.49	WSVECS04 Frhs2[2444]: 6 -1.00005 0 shouldn't be
147.95/148.49	WSVECS04 Frhs2[2454]: 6 -1.00005 0 shouldn't be
147.95/148.49	WSVECS04 Frhs2[2458]: 6 -1.00001 0 shouldn't be
156.83/157.36	c #Conflicts:     140000 | #Constraints:      54296
156.83/157.36	c #Conflicts:     141000 | #Constraints:      55296
156.83/157.36	c #Conflicts:     142000 | #Constraints:      56296
156.83/157.36	c #Conflicts:     143000 | #Constraints:      57296
156.83/157.36	c bounds 890 >= 816 @ 150.951
156.83/157.36	c #Conflicts:     144000 | #Constraints:      58326
156.83/157.36	c #Conflicts:     145000 | #Constraints:      59326
156.83/157.36	c INPROCESSING
156.83/157.36	c GARBAGE COLLECT
156.83/157.36	c rational objective 816
169.60/170.18	c #Conflicts:     146000 | #Constraints:      41622
169.60/170.18	c #Conflicts:     147000 | #Constraints:      42622
169.60/170.18	c #Conflicts:     148000 | #Constraints:      43622
169.60/170.18	c #Conflicts:     149000 | #Constraints:      44622
169.60/170.18	c #Conflicts:     150000 | #Constraints:      45622
169.60/170.18	c #Conflicts:     151000 | #Constraints:      46622
169.60/170.18	c bounds 890 >= 817 @ 159.012
169.60/170.18	c #Conflicts:     152000 | #Constraints:      47688
169.60/170.18	c #Conflicts:     153000 | #Constraints:      48688
169.60/170.18	c #Conflicts:     154000 | #Constraints:      49688
169.60/170.18	c #Conflicts:     155000 | #Constraints:      50688
169.60/170.18	c #Conflicts:     156000 | #Constraints:      51688
169.60/170.18	c INPROCESSING
169.60/170.18	c GARBAGE COLLECT
169.60/170.18	c rational objective 817
224.75/225.40	c #Conflicts:     157000 | #Constraints:      40630
224.75/225.40	c #Conflicts:     158000 | #Constraints:      41630
224.75/225.40	c #Conflicts:     159000 | #Constraints:      42630
224.75/225.40	c #Conflicts:     160000 | #Constraints:      43630
224.75/225.40	c #Conflicts:     161000 | #Constraints:      44630
224.75/225.40	c bounds 890 >= 818 @ 170.604
224.75/225.40	c #Conflicts:     162000 | #Constraints:      45687
224.75/225.40	c #Conflicts:     163000 | #Constraints:      46687
224.75/225.40	c #Conflicts:     164000 | #Constraints:      47687
224.75/225.40	c #Conflicts:     165000 | #Constraints:      48687
224.75/225.40	c #Conflicts:     166000 | #Constraints:      49687
224.75/225.40	c #Conflicts:     167000 | #Constraints:      50687
224.75/225.40	c #Conflicts:     168000 | #Constraints:      51687
224.75/225.40	c #Conflicts:     169000 | #Constraints:      52687
224.75/225.40	c bounds 890 >= 819 @ 179.522
224.75/225.40	c #Conflicts:     170000 | #Constraints:      53735
224.75/225.40	c #Conflicts:     171000 | #Constraints:      54738
224.75/225.40	c #Conflicts:     172000 | #Constraints:      55740
224.75/225.40	c #Conflicts:     173000 | #Constraints:      56744
224.75/225.40	c #Conflicts:     174000 | #Constraints:      57754
224.75/225.40	c #Conflicts:     175000 | #Constraints:      58761
224.75/225.42	c #Conflicts:     176000 | #Constraints:      59764
224.75/225.42	c #Conflicts:     177000 | #Constraints:      60768
224.75/225.42	c #Conflicts:     178000 | #Constraints:      61773
224.75/225.42	c #Conflicts:     179000 | #Constraints:      62775
224.75/225.42	c #Conflicts:     180000 | #Constraints:      63779
224.75/225.42	c #Conflicts:     181000 | #Constraints:      64782
224.75/225.42	c #Conflicts:     182000 | #Constraints:      65784
224.75/225.42	c #Conflicts:     183000 | #Constraints:      66789
224.75/225.42	c INPROCESSING
224.75/225.42	c GARBAGE COLLECT
224.75/225.42	c rational objective 819
241.43/242.11	c #Conflicts:     184000 | #Constraints:      45574
241.43/242.11	c #Conflicts:     185000 | #Constraints:      46574
241.43/242.11	c #Conflicts:     186000 | #Constraints:      47574
241.43/242.11	c #Conflicts:     187000 | #Constraints:      48574
241.43/242.11	c #Conflicts:     188000 | #Constraints:      49574
241.43/242.11	c #Conflicts:     189000 | #Constraints:      50574
241.43/242.11	c #Conflicts:     190000 | #Constraints:      51574
241.43/242.11	c #Conflicts:     191000 | #Constraints:      52574
241.43/242.11	c bounds 890 >= 820 @ 230.626
241.43/242.11	c #Conflicts:     192000 | #Constraints:      53607
241.43/242.11	c #Conflicts:     193000 | #Constraints:      54607
241.43/242.11	c #Conflicts:     194000 | #Constraints:      55607
241.43/242.11	c #Conflicts:     195000 | #Constraints:      56607
241.43/242.11	c #Conflicts:     196000 | #Constraints:      57607
241.43/242.11	c INPROCESSING
241.43/242.11	c GARBAGE COLLECT
241.43/242.11	c rational objective 820
290.79/291.62	c #Conflicts:     197000 | #Constraints:      44067
290.79/291.62	c #Conflicts:     198000 | #Constraints:      45067
290.79/291.62	c #Conflicts:     199000 | #Constraints:      46067
290.79/291.62	c #Conflicts:     200000 | #Constraints:      47067
290.79/291.62	c #Conflicts:     201000 | #Constraints:      48067
290.79/291.62	c bounds 890 >= 821 @ 243.129
290.79/291.62	c #Conflicts:     202000 | #Constraints:      49103
290.79/291.62	c #Conflicts:     203000 | #Constraints:      50103
290.79/291.62	c #Conflicts:     204000 | #Constraints:      51103
290.79/291.62	c #Conflicts:     205000 | #Constraints:      52103
290.79/291.62	c #Conflicts:     206000 | #Constraints:      53103
290.79/291.62	c #Conflicts:     207000 | #Constraints:      54103
290.79/291.62	c #Conflicts:     208000 | #Constraints:      55103
290.79/291.62	c #Conflicts:     209000 | #Constraints:      56103
290.79/291.62	c #Conflicts:     210000 | #Constraints:      57103
290.79/291.62	c bounds 890 >= 822 @ 256.461
290.79/291.62	c #Conflicts:     211000 | #Constraints:      58136
290.79/291.62	c #Conflicts:     212000 | #Constraints:      59136
290.79/291.62	c #Conflicts:     213000 | #Constraints:      60136
290.79/291.62	c #Conflicts:     214000 | #Constraints:      61136
290.79/291.62	c #Conflicts:     215000 | #Constraints:      62136
290.79/291.62	c #Conflicts:     216000 | #Constraints:      63136
290.79/291.62	c #Conflicts:     217000 | #Constraints:      64136
290.79/291.62	c #Conflicts:     218000 | #Constraints:      65136
290.79/291.62	c #Conflicts:     219000 | #Constraints:      66136
290.79/291.62	c #Conflicts:     220000 | #Constraints:      67136
290.79/291.62	c bounds 890 >= 823 @ 275.4
290.79/291.62	c #Conflicts:     221000 | #Constraints:      68175
290.79/291.62	c #Conflicts:     222000 | #Constraints:      69175
290.79/291.62	c #Conflicts:     223000 | #Constraints:      70175
290.79/291.62	c #Conflicts:     224000 | #Constraints:      71175
290.79/291.62	c #Conflicts:     225000 | #Constraints:      72175
290.79/291.62	c #Conflicts:     226000 | #Constraints:      73175
290.79/291.62	c INPROCESSING
290.79/291.62	c GARBAGE COLLECT
290.79/291.62	c rational objective 823
312.15/313.05	c #Conflicts:     227000 | #Constraints:      49020
312.15/313.05	c #Conflicts:     228000 | #Constraints:      50020
312.15/313.05	c #Conflicts:     229000 | #Constraints:      51020
312.15/313.05	c #Conflicts:     230000 | #Constraints:      52021
312.15/313.05	c #Conflicts:     231000 | #Constraints:      53027
312.15/313.05	c #Conflicts:     232000 | #Constraints:      54032
312.15/313.05	c #Conflicts:     233000 | #Constraints:      55047
312.15/313.05	c #Conflicts:     234000 | #Constraints:      56053
312.15/313.05	c #Conflicts:     235000 | #Constraints:      57054
312.15/313.05	c #Conflicts:     236000 | #Constraints:      58058
312.15/313.05	c #Conflicts:     237000 | #Constraints:      59063
312.15/313.05	c #Conflicts:     238000 | #Constraints:      60070
312.15/313.05	c #Conflicts:     239000 | #Constraints:      61079
312.15/313.05	c #Conflicts:     240000 | #Constraints:      62085
312.15/313.05	c INPROCESSING
312.15/313.05	c GARBAGE COLLECT
312.15/313.05	c rational objective 823
378.47/379.55	c #Conflicts:     241000 | #Constraints:      46971
378.47/379.55	c #Conflicts:     242000 | #Constraints:      47971
378.47/379.55	c #Conflicts:     243000 | #Constraints:      48971
378.47/379.55	c #Conflicts:     244000 | #Constraints:      49971
378.47/379.55	c #Conflicts:     245000 | #Constraints:      50971
378.47/379.55	c #Conflicts:     246000 | #Constraints:      51971
378.47/379.55	c #Conflicts:     247000 | #Constraints:      52971
378.47/379.55	c #Conflicts:     248000 | #Constraints:      53971
378.47/379.55	c #Conflicts:     249000 | #Constraints:      54971
378.47/379.55	c bounds 890 >= 824 @ 318.418
378.47/379.55	c #Conflicts:     250000 | #Constraints:      56016
378.47/379.55	c #Conflicts:     251000 | #Constraints:      57016
378.47/379.55	c #Conflicts:     252000 | #Constraints:      58016
378.47/379.55	c #Conflicts:     253000 | #Constraints:      59016
378.47/379.55	c #Conflicts:     254000 | #Constraints:      60016
378.47/379.55	c #Conflicts:     255000 | #Constraints:      61016
378.47/379.55	c #Conflicts:     256000 | #Constraints:      62016
378.47/379.55	c bounds 890 >= 825 @ 330.956
378.47/379.55	c #Conflicts:     257000 | #Constraints:      63058
378.47/379.55	c #Conflicts:     258000 | #Constraints:      64058
378.47/379.55	c #Conflicts:     259000 | #Constraints:      65058
378.47/379.55	c #Conflicts:     260000 | #Constraints:      66059
378.47/379.55	c #Conflicts:     261000 | #Constraints:      67064
378.47/379.55	c #Conflicts:     262000 | #Constraints:      68065
378.47/379.55	c #Conflicts:     263000 | #Constraints:      69072
378.47/379.55	c #Conflicts:     264000 | #Constraints:      70078
378.47/379.55	c #Conflicts:     265000 | #Constraints:      71081
378.47/379.55	c #Conflicts:     266000 | #Constraints:      72084
378.47/379.55	c #Conflicts:     267000 | #Constraints:      73089
378.47/379.55	c #Conflicts:     268000 | #Constraints:      74092
378.47/379.55	c #Conflicts:     269000 | #Constraints:      75096
378.47/379.55	c #Conflicts:     270000 | #Constraints:      76099
378.47/379.55	c #Conflicts:     271000 | #Constraints:      77102
378.47/379.55	c #Conflicts:     272000 | #Constraints:      78105
378.47/379.55	c #Conflicts:     273000 | #Constraints:      79108
378.47/379.55	c INPROCESSING
378.47/379.55	c GARBAGE COLLECT
378.47/379.55	c rational objective 825
403.11/404.25	c #Conflicts:     274000 | #Constraints:      51849
403.11/404.25	c #Conflicts:     275000 | #Constraints:      52849
403.11/404.25	c #Conflicts:     276000 | #Constraints:      53849
403.11/404.25	c #Conflicts:     277000 | #Constraints:      54849
403.11/404.25	c #Conflicts:     278000 | #Constraints:      55849
403.11/404.25	c #Conflicts:     279000 | #Constraints:      56849
403.11/404.25	c #Conflicts:     280000 | #Constraints:      57849
403.11/404.25	c #Conflicts:     281000 | #Constraints:      58849
403.11/404.25	c #Conflicts:     282000 | #Constraints:      59849
403.11/404.25	c #Conflicts:     283000 | #Constraints:      60849
403.11/404.25	c #Conflicts:     284000 | #Constraints:      61849
403.11/404.25	c bounds 890 >= 826 @ 390.95
403.11/404.25	c #Conflicts:     285000 | #Constraints:      62915
403.11/404.25	c #Conflicts:     286000 | #Constraints:      63915
403.11/404.25	c #Conflicts:     287000 | #Constraints:      64915
403.11/404.25	c #Conflicts:     288000 | #Constraints:      65915
403.11/404.25	c INPROCESSING
403.11/404.25	c GARBAGE COLLECT
403.11/404.25	c rational objective 826
465.95/467.22	c #Conflicts:     289000 | #Constraints:      49046
465.95/467.22	c #Conflicts:     290000 | #Constraints:      50046
465.95/467.22	c #Conflicts:     291000 | #Constraints:      51046
465.95/467.22	c #Conflicts:     292000 | #Constraints:      52046
465.95/467.22	c #Conflicts:     293000 | #Constraints:      53046
465.95/467.22	c #Conflicts:     294000 | #Constraints:      54046
465.95/467.22	c #Conflicts:     295000 | #Constraints:      55046
465.95/467.22	c #Conflicts:     296000 | #Constraints:      56046
465.95/467.22	c #Conflicts:     297000 | #Constraints:      57046
465.95/467.22	c #Conflicts:     298000 | #Constraints:      58046
465.95/467.22	c bounds 890 >= 827 @ 413.083
465.95/467.22	c #Conflicts:     299000 | #Constraints:      59100
465.95/467.22	c #Conflicts:     300000 | #Constraints:      60100
465.95/467.22	c #Conflicts:     301000 | #Constraints:      61100
465.95/467.22	c #Conflicts:     302000 | #Constraints:      62100
465.95/467.22	c #Conflicts:     303000 | #Constraints:      63100
465.95/467.22	c #Conflicts:     304000 | #Constraints:      64100
465.95/467.22	c #Conflicts:     305000 | #Constraints:      65100
465.95/467.22	c #Conflicts:     306000 | #Constraints:      66100
465.95/467.22	c #Conflicts:     307000 | #Constraints:      67100
465.95/467.22	c #Conflicts:     308000 | #Constraints:      68100
465.95/467.22	c #Conflicts:     309000 | #Constraints:      69100
465.95/467.22	c #Conflicts:     310000 | #Constraints:      70100
465.95/467.22	c #Conflicts:     311000 | #Constraints:      71100
465.95/467.22	c #Conflicts:     312000 | #Constraints:      72100
465.95/467.22	c #Conflicts:     313000 | #Constraints:      73100
465.95/467.22	c #Conflicts:     314000 | #Constraints:      74100
465.95/467.22	c bounds 890 >= 828 @ 444.701
465.95/467.22	c #Conflicts:     315000 | #Constraints:      75145
465.95/467.22	c #Conflicts:     316000 | #Constraints:      76145
465.95/467.22	c #Conflicts:     317000 | #Constraints:      77145
465.95/467.22	c #Conflicts:     318000 | #Constraints:      78145
465.95/467.22	c #Conflicts:     319000 | #Constraints:      79146
465.95/467.22	c #Conflicts:     320000 | #Constraints:      80150
465.95/467.22	c #Conflicts:     321000 | #Constraints:      81156
465.95/467.22	c #Conflicts:     322000 | #Constraints:      82157
465.95/467.22	c #Conflicts:     323000 | #Constraints:      83160
465.95/467.22	c #Conflicts:     324000 | #Constraints:      84168
465.95/467.22	c INPROCESSING
465.95/467.22	c GARBAGE COLLECT
465.95/467.22	c rational objective 828
498.57/499.95	c #Conflicts:     325000 | #Constraints:      54188
498.57/499.95	c #Conflicts:     326000 | #Constraints:      55188
498.57/499.95	c #Conflicts:     327000 | #Constraints:      56188
498.57/499.95	c #Conflicts:     328000 | #Constraints:      57188
498.57/499.95	c #Conflicts:     329000 | #Constraints:      58188
498.57/499.95	c #Conflicts:     330000 | #Constraints:      59188
498.57/499.95	c #Conflicts:     331000 | #Constraints:      60188
498.57/499.95	c #Conflicts:     332000 | #Constraints:      61188
498.57/499.95	c #Conflicts:     333000 | #Constraints:      62188
498.57/499.95	c #Conflicts:     334000 | #Constraints:      63188
498.57/499.95	c #Conflicts:     335000 | #Constraints:      64188
498.57/499.95	c #Conflicts:     336000 | #Constraints:      65188
498.57/499.95	c #Conflicts:     337000 | #Constraints:      66188
498.57/499.95	c #Conflicts:     338000 | #Constraints:      67188
498.57/499.95	c #Conflicts:     339000 | #Constraints:      68188
498.57/499.95	c #Conflicts:     340000 | #Constraints:      69188
498.57/499.95	c INPROCESSING
498.57/499.95	c GARBAGE COLLECT
498.57/499.95	c rational objective 828
596.24/597.85	c #Conflicts:     341000 | #Constraints:      50866
596.24/597.85	c #Conflicts:     342000 | #Constraints:      51866
596.24/597.85	c #Conflicts:     343000 | #Constraints:      52866
596.24/597.85	c #Conflicts:     344000 | #Constraints:      53866
596.24/597.85	c #Conflicts:     345000 | #Constraints:      54867
596.24/597.85	c #Conflicts:     346000 | #Constraints:      55867
596.24/597.85	c #Conflicts:     347000 | #Constraints:      56877
596.24/597.85	c #Conflicts:     348000 | #Constraints:      57883
596.24/597.85	c #Conflicts:     349000 | #Constraints:      58886
596.24/597.85	c #Conflicts:     350000 | #Constraints:      59886
596.24/597.85	c #Conflicts:     351000 | #Constraints:      60894
596.24/597.85	c #Conflicts:     352000 | #Constraints:      61904
596.24/597.85	c #Conflicts:     353000 | #Constraints:      62912
596.24/597.85	c #Conflicts:     354000 | #Constraints:      63922
596.24/597.85	c #Conflicts:     355000 | #Constraints:      64928
596.24/597.85	c #Conflicts:     356000 | #Constraints:      65932
596.24/597.85	c #Conflicts:     357000 | #Constraints:      66940
596.24/597.85	c #Conflicts:     358000 | #Constraints:      67944
596.24/597.85	c #Conflicts:     359000 | #Constraints:      68950
596.24/597.85	c #Conflicts:     360000 | #Constraints:      69953
596.24/597.85	c #Conflicts:     361000 | #Constraints:      70957
596.24/597.85	c #Conflicts:     362000 | #Constraints:      71964
596.24/597.85	c #Conflicts:     363000 | #Constraints:      72968
596.24/597.85	c #Conflicts:     364000 | #Constraints:      73970
596.24/597.85	c #Conflicts:     365000 | #Constraints:      74973
596.24/597.85	c #Conflicts:     366000 | #Constraints:      75981
596.24/597.85	c #Conflicts:     367000 | #Constraints:      76986
596.24/597.85	c #Conflicts:     368000 | #Constraints:      77990
596.24/597.85	c #Conflicts:     369000 | #Constraints:      78994
596.24/597.85	c #Conflicts:     370000 | #Constraints:      79998
596.24/597.85	c #Conflicts:     371000 | #Constraints:      81002
596.24/597.85	c #Conflicts:     372000 | #Constraints:      82007
596.24/597.85	c #Conflicts:     373000 | #Constraints:      83010
596.24/597.85	c #Conflicts:     374000 | #Constraints:      84012
596.24/597.85	c #Conflicts:     375000 | #Constraints:      85018
596.24/597.85	c #Conflicts:     376000 | #Constraints:      86022
596.24/597.85	c #Conflicts:     377000 | #Constraints:      87027
596.24/597.85	c #Conflicts:     378000 | #Constraints:      88031
596.24/597.85	c #Conflicts:     379000 | #Constraints:      89036
596.24/597.85	c #Conflicts:     380000 | #Constraints:      90038
596.24/597.85	c INPROCESSING
596.24/597.85	c GARBAGE COLLECT
596.24/597.85	c rational objective 828
637.64/639.32	c #Conflicts:     381000 | #Constraints:      57731
637.64/639.32	c #Conflicts:     382000 | #Constraints:      58731
637.64/639.32	c #Conflicts:     383000 | #Constraints:      59731
637.64/639.32	c #Conflicts:     384000 | #Constraints:      60731
637.64/639.32	c #Conflicts:     385000 | #Constraints:      61731
637.64/639.32	c #Conflicts:     386000 | #Constraints:      62731
637.64/639.32	c #Conflicts:     387000 | #Constraints:      63731
637.64/639.32	c #Conflicts:     388000 | #Constraints:      64731
637.64/639.32	c #Conflicts:     389000 | #Constraints:      65731
637.64/639.32	c bounds 890 >= 829 @ 608.446
637.64/639.32	c #Conflicts:     390000 | #Constraints:      66767
637.64/639.32	c #Conflicts:     391000 | #Constraints:      67767
637.64/639.32	c #Conflicts:     392000 | #Constraints:      68767
637.64/639.32	c #Conflicts:     393000 | #Constraints:      69767
637.64/639.32	c #Conflicts:     394000 | #Constraints:      70767
637.64/639.32	c #Conflicts:     395000 | #Constraints:      71767
637.64/639.32	c #Conflicts:     396000 | #Constraints:      72767
637.64/639.32	c #Conflicts:     397000 | #Constraints:      73767
637.64/639.32	c INPROCESSING
637.64/639.32	c GARBAGE COLLECT
637.64/639.32	c rational objective 829
744.38/746.39	c #Conflicts:     398000 | #Constraints:      52156
744.38/746.39	c #Conflicts:     399000 | #Constraints:      53156
744.38/746.39	c #Conflicts:     400000 | #Constraints:      54156
744.38/746.39	c #Conflicts:     401000 | #Constraints:      55156
744.38/746.39	c #Conflicts:     402000 | #Constraints:      56156
744.38/746.39	c #Conflicts:     403000 | #Constraints:      57156
744.38/746.39	c #Conflicts:     404000 | #Constraints:      58156
744.38/746.39	c #Conflicts:     405000 | #Constraints:      59156
744.38/746.39	c #Conflicts:     406000 | #Constraints:      60156
744.38/746.39	c #Conflicts:     407000 | #Constraints:      61156
744.38/746.39	c #Conflicts:     408000 | #Constraints:      62156
744.38/746.39	c #Conflicts:     409000 | #Constraints:      63156
744.38/746.39	c #Conflicts:     410000 | #Constraints:      64156
744.38/746.39	c #Conflicts:     411000 | #Constraints:      65156
744.38/746.39	c #Conflicts:     412000 | #Constraints:      66156
744.38/746.39	c #Conflicts:     413000 | #Constraints:      67156
744.38/746.39	c bounds 890 >= 830 @ 658.728
744.38/746.39	c #Conflicts:     414000 | #Constraints:      68216
744.38/746.39	c #Conflicts:     415000 | #Constraints:      69216
744.38/746.39	c #Conflicts:     416000 | #Constraints:      70216
744.38/746.39	c #Conflicts:     417000 | #Constraints:      71216
744.38/746.39	c #Conflicts:     418000 | #Constraints:      72216
744.38/746.39	c #Conflicts:     419000 | #Constraints:      73216
744.38/746.39	c #Conflicts:     420000 | #Constraints:      74216
744.38/746.39	c #Conflicts:     421000 | #Constraints:      75216
744.38/746.39	c #Conflicts:     422000 | #Constraints:      76216
744.38/746.39	c #Conflicts:     423000 | #Constraints:      77216
744.38/746.39	c #Conflicts:     424000 | #Constraints:      78216
744.38/746.39	c #Conflicts:     425000 | #Constraints:      79216
744.38/746.39	c #Conflicts:     426000 | #Constraints:      80216
744.38/746.39	c #Conflicts:     427000 | #Constraints:      81216
744.38/746.39	c #Conflicts:     428000 | #Constraints:      82216
744.38/746.39	c #Conflicts:     429000 | #Constraints:      83216
744.38/746.39	c #Conflicts:     430000 | #Constraints:      84216
744.38/746.39	c bounds 890 >= 831 @ 705.242
744.38/746.39	c #Conflicts:     431000 | #Constraints:      85255
744.38/746.39	c #Conflicts:     432000 | #Constraints:      86255
744.38/746.39	c #Conflicts:     433000 | #Constraints:      87255
744.38/746.39	c #Conflicts:     434000 | #Constraints:      88255
744.38/746.39	c #Conflicts:     435000 | #Constraints:      89255
744.38/746.39	c #Conflicts:     436000 | #Constraints:      90255
744.38/746.39	c #Conflicts:     437000 | #Constraints:      91255
744.38/746.39	c #Conflicts:     438000 | #Constraints:      92255
744.38/746.39	c #Conflicts:     439000 | #Constraints:      93255
744.38/746.39	c #Conflicts:     440000 | #Constraints:      94255
744.38/746.39	c INPROCESSING
744.38/746.39	c GARBAGE COLLECT
744.38/746.39	c rational objective 831
802.74/804.80	c #Conflicts:     441000 | #Constraints:      59866
802.74/804.80	c #Conflicts:     442000 | #Constraints:      60866
802.74/804.80	c #Conflicts:     443000 | #Constraints:      61866
802.74/804.80	c #Conflicts:     444000 | #Constraints:      62866
802.74/804.80	c #Conflicts:     445000 | #Constraints:      63866
802.74/804.80	c #Conflicts:     446000 | #Constraints:      64866
802.74/804.80	c #Conflicts:     447000 | #Constraints:      65866
802.74/804.80	c #Conflicts:     448000 | #Constraints:      66866
802.74/804.80	c #Conflicts:     449000 | #Constraints:      67866
802.74/804.80	c #Conflicts:     450000 | #Constraints:      68866
802.74/804.80	c #Conflicts:     451000 | #Constraints:      69866
802.74/804.80	c #Conflicts:     452000 | #Constraints:      70866
802.74/804.80	c #Conflicts:     453000 | #Constraints:      71866
802.74/804.80	c #Conflicts:     454000 | #Constraints:      72866
802.74/804.80	c #Conflicts:     455000 | #Constraints:      73866
802.74/804.80	c #Conflicts:     456000 | #Constraints:      74866
802.74/804.80	c #Conflicts:     457000 | #Constraints:      75866
802.74/804.80	c #Conflicts:     458000 | #Constraints:      76866
802.74/804.80	c #Conflicts:     459000 | #Constraints:      77866
802.74/804.80	c INPROCESSING
802.74/804.80	c GARBAGE COLLECT
802.74/804.80	c rational objective 831
899.19/901.58	c #Conflicts:     460000 | #Constraints:      55709
899.19/901.58	c #Conflicts:     461000 | #Constraints:      56709
899.19/901.58	c #Conflicts:     462000 | #Constraints:      57709
899.19/901.58	c #Conflicts:     463000 | #Constraints:      58709
899.19/901.58	c #Conflicts:     464000 | #Constraints:      59709
899.19/901.58	c #Conflicts:     465000 | #Constraints:      60709
899.19/901.58	c #Conflicts:     466000 | #Constraints:      61709
899.19/901.58	c #Conflicts:     467000 | #Constraints:      62709
899.19/901.58	c #Conflicts:     468000 | #Constraints:      63709
899.19/901.58	c #Conflicts:     469000 | #Constraints:      64709
899.19/901.58	c #Conflicts:     470000 | #Constraints:      65709
899.19/901.58	c #Conflicts:     471000 | #Constraints:      66709
899.19/901.58	c #Conflicts:     472000 | #Constraints:      67709
899.19/901.58	c #Conflicts:     473000 | #Constraints:      68709
899.19/901.58	c #Conflicts:     474000 | #Constraints:      69709
899.19/901.58	c #Conflicts:     475000 | #Constraints:      70709
899.19/901.58	c bounds 890 >= 832 @ 829.361
899.19/901.58	c #Conflicts:     476000 | #Constraints:      71742
899.19/901.58	c #Conflicts:     477000 | #Constraints:      72742
899.19/901.58	c #Conflicts:     478000 | #Constraints:      73742
899.19/901.58	c #Conflicts:     479000 | #Constraints:      74742
899.19/901.58	c #Conflicts:     480000 | #Constraints:      75742
899.19/901.58	c #Conflicts:     481000 | #Constraints:      76742
899.19/901.58	c #Conflicts:     482000 | #Constraints:      77742
899.19/901.58	c #Conflicts:     483000 | #Constraints:      78742
899.19/901.58	c #Conflicts:     484000 | #Constraints:      79742
899.19/901.58	c #Conflicts:     485000 | #Constraints:      80742
899.19/901.58	c #Conflicts:     486000 | #Constraints:      81742
899.19/901.58	c #Conflicts:     487000 | #Constraints:      82742
899.19/901.58	c #Conflicts:     488000 | #Constraints:      83742
899.19/901.58	c #Conflicts:     489000 | #Constraints:      84742
899.19/901.58	c #Conflicts:     490000 | #Constraints:      85742
899.19/901.58	c #Conflicts:     491000 | #Constraints:      86742
899.19/901.58	c #Conflicts:     492000 | #Constraints:      87742
899.19/901.58	c #Conflicts:     493000 | #Constraints:      88742
899.19/901.58	c #Conflicts:     494000 | #Constraints:      89742
899.19/901.58	c #Conflicts:     495000 | #Constraints:      90742
899.19/901.58	c #Conflicts:     496000 | #Constraints:      91742
899.19/901.58	c bounds 890 >= 833 @ 889.077
899.19/901.58	WSVECS04 Frhs2[1822]: 6 -1.00003 0 shouldn't be
926.43/928.83	c #Conflicts:     497000 | #Constraints:      92763
926.43/928.83	c #Conflicts:     498000 | #Constraints:      93763
926.43/928.83	c #Conflicts:     499000 | #Constraints:      94763
926.43/928.83	c #Conflicts:     500000 | #Constraints:      95763
926.43/928.83	c #Conflicts:     501000 | #Constraints:      96763
926.43/928.83	c #Conflicts:     502000 | #Constraints:      97763
926.43/928.83	c #Conflicts:     503000 | #Constraints:      98763
926.43/928.83	c #Conflicts:     504000 | #Constraints:      99763
926.43/928.83	c INPROCESSING
926.43/928.83	c GARBAGE COLLECT
926.43/928.83	c rational objective 833
971.64/974.18	c #Conflicts:     505000 | #Constraints:      62591
971.64/974.18	c #Conflicts:     506000 | #Constraints:      63591
971.64/974.18	c #Conflicts:     507000 | #Constraints:      64591
971.64/974.18	c #Conflicts:     508000 | #Constraints:      65591
971.64/974.18	c #Conflicts:     509000 | #Constraints:      66591
971.64/974.18	c #Conflicts:     510000 | #Constraints:      67594
971.64/974.18	c #Conflicts:     511000 | #Constraints:      68597
971.64/974.18	c #Conflicts:     512000 | #Constraints:      69601
971.64/974.18	c #Conflicts:     513000 | #Constraints:      70606
971.64/974.18	c #Conflicts:     514000 | #Constraints:      71613
971.64/974.18	c #Conflicts:     515000 | #Constraints:      72623
971.64/974.18	c #Conflicts:     516000 | #Constraints:      73638
971.64/974.18	c #Conflicts:     517000 | #Constraints:      74647
971.64/974.18	c #Conflicts:     518000 | #Constraints:      75653
971.64/974.18	c #Conflicts:     519000 | #Constraints:      76662
971.64/974.18	c #Conflicts:     520000 | #Constraints:      77666
971.64/974.18	c #Conflicts:     521000 | #Constraints:      78678
971.64/974.18	c #Conflicts:     522000 | #Constraints:      79681
971.64/974.18	c #Conflicts:     523000 | #Constraints:      80684
971.64/974.18	c #Conflicts:     524000 | #Constraints:      81689
971.64/974.18	c #Conflicts:     525000 | #Constraints:      82692
971.64/974.18	c INPROCESSING
971.64/974.18	c GARBAGE COLLECT
971.64/974.18	c rational objective 833
1099.61/1102.49	c #Conflicts:     526000 | #Constraints:      58944
1099.61/1102.49	c #Conflicts:     527000 | #Constraints:      59944
1099.61/1102.49	c #Conflicts:     528000 | #Constraints:      60944
1099.61/1102.49	c #Conflicts:     529000 | #Constraints:      61944
1099.61/1102.49	c #Conflicts:     530000 | #Constraints:      62944
1099.61/1102.49	c #Conflicts:     531000 | #Constraints:      63944
1099.61/1102.49	c #Conflicts:     532000 | #Constraints:      64944
1099.61/1102.49	c #Conflicts:     533000 | #Constraints:      65944
1099.61/1102.49	c #Conflicts:     534000 | #Constraints:      66944
1099.61/1102.49	c #Conflicts:     535000 | #Constraints:      67944
1099.61/1102.49	c #Conflicts:     536000 | #Constraints:      68944
1099.61/1102.49	c #Conflicts:     537000 | #Constraints:      69944
1099.61/1102.49	c #Conflicts:     538000 | #Constraints:      70944
1099.61/1102.49	c #Conflicts:     539000 | #Constraints:      71944
1099.61/1102.49	c #Conflicts:     540000 | #Constraints:      72944
1099.61/1102.49	c #Conflicts:     541000 | #Constraints:      73944
1099.61/1102.49	c #Conflicts:     542000 | #Constraints:      74944
1099.61/1102.49	c #Conflicts:     543000 | #Constraints:      75944
1099.61/1102.49	c #Conflicts:     544000 | #Constraints:      76944
1099.61/1102.49	c #Conflicts:     545000 | #Constraints:      77944
1099.61/1102.49	c #Conflicts:     546000 | #Constraints:      78944
1099.61/1102.49	c #Conflicts:     547000 | #Constraints:      79944
1099.61/1102.49	c #Conflicts:     548000 | #Constraints:      80944
1099.61/1102.49	c #Conflicts:     549000 | #Constraints:      81944
1099.61/1102.49	c #Conflicts:     550000 | #Constraints:      82944
1099.61/1102.49	c #Conflicts:     551000 | #Constraints:      83944
1099.61/1102.49	c #Conflicts:     552000 | #Constraints:      84944
1099.61/1102.49	c #Conflicts:     553000 | #Constraints:      85944
1099.61/1102.49	c bounds 890 >= 834 @ 1042.89
1099.61/1102.49	c #Conflicts:     554000 | #Constraints:      87016
1099.61/1102.49	c #Conflicts:     555000 | #Constraints:      88016
1099.61/1102.49	c #Conflicts:     556000 | #Constraints:      89016
1099.61/1102.49	c #Conflicts:     557000 | #Constraints:      90016
1099.61/1102.49	c #Conflicts:     558000 | #Constraints:      91016
1099.61/1102.49	c #Conflicts:     559000 | #Constraints:      92016
1099.61/1102.49	c #Conflicts:     560000 | #Constraints:      93017
1099.61/1102.49	c #Conflicts:     561000 | #Constraints:      94022
1099.61/1102.49	c #Conflicts:     562000 | #Constraints:      95028
1099.61/1102.49	c #Conflicts:     563000 | #Constraints:      96038
1099.61/1102.49	c #Conflicts:     564000 | #Constraints:      97041
1099.61/1102.49	c #Conflicts:     565000 | #Constraints:      98048
1099.61/1102.49	c #Conflicts:     566000 | #Constraints:      99054
1099.61/1102.49	c #Conflicts:     567000 | #Constraints:     100055
1099.61/1102.49	c #Conflicts:     568000 | #Constraints:     101063
1099.61/1102.49	c #Conflicts:     569000 | #Constraints:     102066
1099.61/1102.49	c #Conflicts:     570000 | #Constraints:     103073
1099.61/1102.49	c #Conflicts:     571000 | #Constraints:     104081
1099.61/1102.49	c #Conflicts:     572000 | #Constraints:     105083
1099.61/1102.49	c #Conflicts:     573000 | #Constraints:     106094
1099.61/1102.49	c INPROCESSING
1099.61/1102.49	c GARBAGE COLLECT
1099.61/1102.49	c rational objective 834
1137.92/1140.88	c #Conflicts:     574000 | #Constraints:      65702
1137.92/1140.88	c #Conflicts:     575000 | #Constraints:      66705
1137.92/1140.88	c #Conflicts:     576000 | #Constraints:      67709
1137.92/1140.88	c #Conflicts:     577000 | #Constraints:      68713
1137.92/1140.88	c #Conflicts:     578000 | #Constraints:      69722
1137.92/1140.88	c #Conflicts:     579000 | #Constraints:      70729
1137.92/1140.88	c #Conflicts:     580000 | #Constraints:      71734
1137.92/1140.88	c #Conflicts:     581000 | #Constraints:      72739
1137.92/1140.88	c #Conflicts:     582000 | #Constraints:      73743
1137.92/1140.88	c #Conflicts:     583000 | #Constraints:      74748
1137.92/1140.88	c #Conflicts:     584000 | #Constraints:      75756
1137.92/1140.88	c #Conflicts:     585000 | #Constraints:      76759
1137.92/1140.88	c #Conflicts:     586000 | #Constraints:      77762
1137.92/1140.88	c #Conflicts:     587000 | #Constraints:      78769
1137.92/1140.88	c #Conflicts:     588000 | #Constraints:      79776
1137.92/1140.88	c #Conflicts:     589000 | #Constraints:      80780
1137.92/1140.88	c #Conflicts:     590000 | #Constraints:      81783
1137.92/1140.88	c #Conflicts:     591000 | #Constraints:      82789
1137.92/1140.88	c #Conflicts:     592000 | #Constraints:      83797
1137.92/1140.88	c #Conflicts:     593000 | #Constraints:      84804
1137.92/1140.88	c #Conflicts:     594000 | #Constraints:      85809
1137.92/1140.88	c #Conflicts:     595000 | #Constraints:      86815
1137.92/1140.88	c INPROCESSING
1137.92/1140.88	c GARBAGE COLLECT
1137.92/1140.88	c rational objective 834
1292.33/1295.65	c #Conflicts:     596000 | #Constraints:      60980
1292.33/1295.65	c #Conflicts:     597000 | #Constraints:      61980
1292.33/1295.65	c #Conflicts:     598000 | #Constraints:      62980
1292.33/1295.65	c #Conflicts:     599000 | #Constraints:      63980
1292.33/1295.65	c #Conflicts:     600000 | #Constraints:      64980
1292.33/1295.65	c #Conflicts:     601000 | #Constraints:      65980
1292.33/1295.65	c #Conflicts:     602000 | #Constraints:      66980
1292.33/1295.65	c #Conflicts:     603000 | #Constraints:      67980
1292.33/1295.65	c #Conflicts:     604000 | #Constraints:      68980
1292.33/1295.65	c #Conflicts:     605000 | #Constraints:      69980
1292.33/1295.65	c #Conflicts:     606000 | #Constraints:      70980
1292.33/1295.65	c #Conflicts:     607000 | #Constraints:      71980
1292.33/1295.65	c #Conflicts:     608000 | #Constraints:      72980
1292.33/1295.65	c #Conflicts:     609000 | #Constraints:      73980
1292.33/1295.65	c #Conflicts:     610000 | #Constraints:      74980
1292.33/1295.65	c #Conflicts:     611000 | #Constraints:      75980
1292.33/1295.65	c #Conflicts:     612000 | #Constraints:      76980
1292.33/1295.65	c #Conflicts:     613000 | #Constraints:      77980
1292.33/1295.65	c #Conflicts:     614000 | #Constraints:      78980
1292.33/1295.65	c #Conflicts:     615000 | #Constraints:      79980
1292.33/1295.65	c #Conflicts:     616000 | #Constraints:      80980
1292.33/1295.65	c #Conflicts:     617000 | #Constraints:      81980
1292.33/1295.65	c #Conflicts:     618000 | #Constraints:      82980
1292.33/1295.65	c #Conflicts:     619000 | #Constraints:      83980
1292.33/1295.65	c #Conflicts:     620000 | #Constraints:      84980
1292.33/1295.65	c #Conflicts:     621000 | #Constraints:      85980
1292.33/1295.65	c #Conflicts:     622000 | #Constraints:      86980
1292.33/1295.65	c #Conflicts:     623000 | #Constraints:      87980
1292.33/1295.65	c #Conflicts:     624000 | #Constraints:      88980
1292.33/1295.65	c #Conflicts:     625000 | #Constraints:      89980
1292.33/1295.65	c #Conflicts:     626000 | #Constraints:      90980
1292.33/1295.65	c #Conflicts:     627000 | #Constraints:      91980
1292.33/1295.65	c #Conflicts:     628000 | #Constraints:      92980
1292.33/1295.65	c #Conflicts:     629000 | #Constraints:      93980
1292.33/1295.65	c #Conflicts:     630000 | #Constraints:      94980
1292.33/1295.65	c #Conflicts:     631000 | #Constraints:      95980
1292.33/1295.65	c #Conflicts:     632000 | #Constraints:      96980
1292.33/1295.65	c #Conflicts:     633000 | #Constraints:      97980
1292.33/1295.65	c #Conflicts:     634000 | #Constraints:      98980
1292.33/1295.65	c bounds 890 >= 835 @ 1253.6
1292.33/1295.65	c #Conflicts:     635000 | #Constraints:     100019
1292.33/1295.65	c #Conflicts:     636000 | #Constraints:     101019
1292.33/1295.65	c #Conflicts:     637000 | #Constraints:     102019
1292.33/1295.65	c #Conflicts:     638000 | #Constraints:     103019
1292.33/1295.65	c #Conflicts:     639000 | #Constraints:     104023
1292.33/1295.65	c #Conflicts:     640000 | #Constraints:     105028
1292.33/1295.65	c #Conflicts:     641000 | #Constraints:     106031
1292.33/1295.65	c #Conflicts:     642000 | #Constraints:     107035
1292.33/1295.65	c #Conflicts:     643000 | #Constraints:     108041
1292.33/1295.65	c #Conflicts:     644000 | #Constraints:     109045
1292.33/1295.65	c #Conflicts:     645000 | #Constraints:     110046
1292.33/1295.65	c #Conflicts:     646000 | #Constraints:     111046
1292.33/1295.65	c INPROCESSING
1292.33/1295.65	c GARBAGE COLLECT
1292.33/1295.65	c rational objective 835
1348.20/1351.63	c #Conflicts:     647000 | #Constraints:      67853
1348.20/1351.63	c #Conflicts:     648000 | #Constraints:      68853
1348.20/1351.63	c #Conflicts:     649000 | #Constraints:      69854
1348.20/1351.63	c #Conflicts:     650000 | #Constraints:      70860
1348.20/1351.63	c #Conflicts:     651000 | #Constraints:      71862
1348.20/1351.63	c #Conflicts:     652000 | #Constraints:      72865
1348.20/1351.63	c #Conflicts:     653000 | #Constraints:      73870
1348.20/1351.63	c #Conflicts:     654000 | #Constraints:      74875
1348.20/1351.63	c #Conflicts:     655000 | #Constraints:      75880
1348.20/1351.63	c #Conflicts:     656000 | #Constraints:      76884
1348.20/1351.63	c #Conflicts:     657000 | #Constraints:      77887
1348.20/1351.63	c #Conflicts:     658000 | #Constraints:      78890
1348.20/1351.63	c #Conflicts:     659000 | #Constraints:      79891
1348.20/1351.63	c #Conflicts:     660000 | #Constraints:      80892
1348.20/1351.63	c #Conflicts:     661000 | #Constraints:      81898
1348.20/1351.63	c #Conflicts:     662000 | #Constraints:      82900
1348.20/1351.63	c #Conflicts:     663000 | #Constraints:      83903
1348.20/1351.63	c #Conflicts:     664000 | #Constraints:      84906
1348.20/1351.63	c #Conflicts:     665000 | #Constraints:      85906
1348.20/1351.63	c #Conflicts:     666000 | #Constraints:      86908
1348.20/1351.63	c #Conflicts:     667000 | #Constraints:      87910
1348.20/1351.63	c #Conflicts:     668000 | #Constraints:      88914
1348.20/1351.63	c #Conflicts:     669000 | #Constraints:      89915
1348.20/1351.63	c INPROCESSING
1348.20/1351.63	c GARBAGE COLLECT
1348.20/1351.63	c rational objective 835
1512.59/1516.41	c #Conflicts:     670000 | #Constraints:      62095
1512.59/1516.41	c #Conflicts:     671000 | #Constraints:      63095
1512.59/1516.41	c #Conflicts:     672000 | #Constraints:      64095
1512.59/1516.41	c #Conflicts:     673000 | #Constraints:      65095
1512.59/1516.41	c #Conflicts:     674000 | #Constraints:      66095
1512.59/1516.41	c #Conflicts:     675000 | #Constraints:      67095
1512.59/1516.41	c #Conflicts:     676000 | #Constraints:      68095
1512.59/1516.41	c #Conflicts:     677000 | #Constraints:      69095
1512.59/1516.41	c #Conflicts:     678000 | #Constraints:      70095
1512.59/1516.41	c #Conflicts:     679000 | #Constraints:      71095
1512.59/1516.41	c #Conflicts:     680000 | #Constraints:      72095
1512.59/1516.41	c #Conflicts:     681000 | #Constraints:      73095
1512.59/1516.41	c #Conflicts:     682000 | #Constraints:      74095
1512.59/1516.41	c #Conflicts:     683000 | #Constraints:      75095
1512.59/1516.41	c #Conflicts:     684000 | #Constraints:      76095
1512.59/1516.41	c #Conflicts:     685000 | #Constraints:      77095
1512.59/1516.41	c #Conflicts:     686000 | #Constraints:      78095
1512.59/1516.41	c #Conflicts:     687000 | #Constraints:      79095
1512.59/1516.41	c #Conflicts:     688000 | #Constraints:      80095
1512.59/1516.41	c #Conflicts:     689000 | #Constraints:      81095
1512.59/1516.41	c #Conflicts:     690000 | #Constraints:      82095
1512.59/1516.41	c #Conflicts:     691000 | #Constraints:      83095
1512.59/1516.41	c #Conflicts:     692000 | #Constraints:      84095
1512.59/1516.41	c #Conflicts:     693000 | #Constraints:      85095
1512.59/1516.41	c #Conflicts:     694000 | #Constraints:      86095
1512.59/1516.41	c #Conflicts:     695000 | #Constraints:      87095
1512.59/1516.41	c #Conflicts:     696000 | #Constraints:      88095
1512.59/1516.41	c #Conflicts:     697000 | #Constraints:      89095
1512.59/1516.41	c #Conflicts:     698000 | #Constraints:      90095
1512.59/1516.41	c #Conflicts:     699000 | #Constraints:      91095
1512.59/1516.41	c #Conflicts:     700000 | #Constraints:      92095
1512.59/1516.41	c #Conflicts:     701000 | #Constraints:      93095
1512.59/1516.41	c #Conflicts:     702000 | #Constraints:      94095
1512.59/1516.41	c #Conflicts:     703000 | #Constraints:      95095
1512.59/1516.41	c #Conflicts:     704000 | #Constraints:      96095
1512.59/1516.41	c #Conflicts:     705000 | #Constraints:      97095
1512.59/1516.41	c #Conflicts:     706000 | #Constraints:      98095
1512.59/1516.41	c bounds 890 >= 836 @ 1460.34
1512.59/1516.41	c #Conflicts:     707000 | #Constraints:      99144
1512.59/1516.41	c #Conflicts:     708000 | #Constraints:     100144
1512.59/1516.41	c #Conflicts:     709000 | #Constraints:     101145
1512.59/1516.41	c #Conflicts:     710000 | #Constraints:     102147
1512.59/1516.41	c #Conflicts:     711000 | #Constraints:     103148
1512.59/1516.41	c #Conflicts:     712000 | #Constraints:     104149
1512.59/1516.41	c #Conflicts:     713000 | #Constraints:     105150
1512.59/1516.41	c #Conflicts:     714000 | #Constraints:     106151
1512.59/1516.41	c #Conflicts:     715000 | #Constraints:     107152
1512.59/1516.41	c #Conflicts:     716000 | #Constraints:     108153
1512.59/1516.41	c #Conflicts:     717000 | #Constraints:     109153
1512.59/1516.41	c #Conflicts:     718000 | #Constraints:     110160
1512.59/1516.41	c #Conflicts:     719000 | #Constraints:     111161
1512.59/1516.41	c #Conflicts:     720000 | #Constraints:     112167
1512.59/1516.41	c #Conflicts:     721000 | #Constraints:     113171
1512.59/1516.41	c #Conflicts:     722000 | #Constraints:     114176
1512.59/1516.41	c #Conflicts:     723000 | #Constraints:     115180
1512.59/1516.41	c #Conflicts:     724000 | #Constraints:     116189
1512.59/1516.41	c INPROCESSING
1512.59/1516.41	c GARBAGE COLLECT
1512.59/1516.41	c rational objective 836
1564.09/1568.10	c #Conflicts:     725000 | #Constraints:      70756
1564.09/1568.10	c #Conflicts:     726000 | #Constraints:      71758
1564.09/1568.10	c #Conflicts:     727000 | #Constraints:      72762
1564.09/1568.10	c #Conflicts:     728000 | #Constraints:      73766
1564.09/1568.10	c #Conflicts:     729000 | #Constraints:      74773
1564.09/1568.10	c #Conflicts:     730000 | #Constraints:      75776
1564.09/1568.10	c #Conflicts:     731000 | #Constraints:      76782
1564.09/1568.10	c #Conflicts:     732000 | #Constraints:      77790
1564.09/1568.10	c #Conflicts:     733000 | #Constraints:      78793
1564.09/1568.10	c #Conflicts:     734000 | #Constraints:      79795
1564.09/1568.10	c #Conflicts:     735000 | #Constraints:      80804
1564.09/1568.10	c #Conflicts:     736000 | #Constraints:      81808
1564.09/1568.10	c #Conflicts:     737000 | #Constraints:      82812
1564.09/1568.10	c #Conflicts:     738000 | #Constraints:      83818
1564.09/1568.10	c #Conflicts:     739000 | #Constraints:      84824
1564.09/1568.10	c #Conflicts:     740000 | #Constraints:      85829
1564.09/1568.10	c #Conflicts:     741000 | #Constraints:      86838
1564.09/1568.10	c #Conflicts:     742000 | #Constraints:      87842
1564.09/1568.10	c #Conflicts:     743000 | #Constraints:      88852
1564.09/1568.10	c #Conflicts:     744000 | #Constraints:      89859
1564.09/1568.10	c #Conflicts:     745000 | #Constraints:      90861
1564.09/1568.10	c #Conflicts:     746000 | #Constraints:      91865
1564.09/1568.10	c #Conflicts:     747000 | #Constraints:      92866
1564.09/1568.10	c #Conflicts:     748000 | #Constraints:      93873
1564.09/1568.10	c INPROCESSING
1564.09/1568.10	c GARBAGE COLLECT
1564.09/1568.10	c rational objective 836
1760.20/1764.62	c #Conflicts:     749000 | #Constraints:      64180
1760.20/1764.62	c #Conflicts:     750000 | #Constraints:      65180
1760.20/1764.62	c #Conflicts:     751000 | #Constraints:      66180
1760.20/1764.62	c #Conflicts:     752000 | #Constraints:      67180
1760.20/1764.62	c #Conflicts:     753000 | #Constraints:      68180
1760.20/1764.62	c #Conflicts:     754000 | #Constraints:      69180
1760.20/1764.62	c #Conflicts:     755000 | #Constraints:      70180
1760.20/1764.62	c #Conflicts:     756000 | #Constraints:      71180
1760.20/1764.62	c #Conflicts:     757000 | #Constraints:      72180
1760.20/1764.62	c #Conflicts:     758000 | #Constraints:      73180
1760.20/1764.62	c #Conflicts:     759000 | #Constraints:      74180
1760.20/1764.62	c #Conflicts:     760000 | #Constraints:      75180
1760.20/1764.62	c #Conflicts:     761000 | #Constraints:      76180
1760.20/1764.62	c #Conflicts:     762000 | #Constraints:      77180
1760.20/1764.62	c #Conflicts:     763000 | #Constraints:      78180
1760.20/1764.62	c #Conflicts:     764000 | #Constraints:      79180
1760.20/1764.62	c #Conflicts:     765000 | #Constraints:      80180
1760.20/1764.62	c #Conflicts:     766000 | #Constraints:      81180
1760.20/1764.62	c #Conflicts:     767000 | #Constraints:      82180
1760.20/1764.62	c #Conflicts:     768000 | #Constraints:      83180
1760.20/1764.62	c #Conflicts:     769000 | #Constraints:      84180
1760.20/1764.62	c #Conflicts:     770000 | #Constraints:      85180
1760.20/1764.62	c #Conflicts:     771000 | #Constraints:      86180
1760.20/1764.62	c #Conflicts:     772000 | #Constraints:      87180
1760.20/1764.62	c #Conflicts:     773000 | #Constraints:      88180
1760.20/1764.62	c #Conflicts:     774000 | #Constraints:      89180
1760.20/1764.62	c #Conflicts:     775000 | #Constraints:      90180
1760.20/1764.62	c #Conflicts:     776000 | #Constraints:      91180
1760.20/1764.62	c #Conflicts:     777000 | #Constraints:      92180
1760.20/1764.62	c #Conflicts:     778000 | #Constraints:      93180
1760.20/1764.62	c #Conflicts:     779000 | #Constraints:      94180
1760.20/1764.62	c #Conflicts:     780000 | #Constraints:      95180
1760.20/1764.62	c #Conflicts:     781000 | #Constraints:      96180
1760.20/1764.62	c #Conflicts:     782000 | #Constraints:      97180
1760.20/1764.62	c #Conflicts:     783000 | #Constraints:      98180
1760.20/1764.62	c #Conflicts:     784000 | #Constraints:      99180
1760.20/1764.62	c #Conflicts:     785000 | #Constraints:     100180
1760.20/1764.62	c #Conflicts:     786000 | #Constraints:     101180
1760.20/1764.62	c #Conflicts:     787000 | #Constraints:     102180
1760.20/1764.62	c bounds 890 >= 837 @ 1684.77
1760.20/1764.62	c #Conflicts:     788000 | #Constraints:     103225
1760.20/1764.62	c #Conflicts:     789000 | #Constraints:     104225
1760.20/1764.62	c #Conflicts:     790000 | #Constraints:     105225
1760.20/1764.62	c #Conflicts:     791000 | #Constraints:     106226
1760.20/1764.62	c #Conflicts:     792000 | #Constraints:     107230
1760.20/1764.62	c #Conflicts:     793000 | #Constraints:     108233
1760.20/1764.62	c #Conflicts:     794000 | #Constraints:     109237
1760.20/1764.62	c #Conflicts:     795000 | #Constraints:     110244
1760.20/1764.62	c #Conflicts:     796000 | #Constraints:     111247
1760.20/1764.62	c #Conflicts:     797000 | #Constraints:     112252
1760.20/1764.62	c #Conflicts:     798000 | #Constraints:     113255
1760.20/1764.62	c #Conflicts:     799000 | #Constraints:     114257
1760.20/1764.62	c #Conflicts:     800000 | #Constraints:     115257
1760.20/1764.62	c #Conflicts:     801000 | #Constraints:     116259
1760.20/1764.62	c #Conflicts:     802000 | #Constraints:     117261
1760.20/1764.62	c #Conflicts:     803000 | #Constraints:     118265
1760.20/1764.62	c #Conflicts:     804000 | #Constraints:     119265
1760.20/1764.62	c #Conflicts:     805000 | #Constraints:     120271
1760.20/1764.62	c #Conflicts:     806000 | #Constraints:     121274
1760.20/1764.62	c INPROCESSING
1760.20/1764.62	c GARBAGE COLLECT
1760.20/1764.62	c rational objective 837
1855.26/1859.91	c #Conflicts:     807000 | #Constraints:      73262
1855.26/1859.91	c #Conflicts:     808000 | #Constraints:      74262
1855.26/1859.91	c #Conflicts:     809000 | #Constraints:      75262
1855.26/1859.91	c #Conflicts:     810000 | #Constraints:      76262
1855.26/1859.91	c #Conflicts:     811000 | #Constraints:      77262
1855.26/1859.91	c #Conflicts:     812000 | #Constraints:      78262
1855.26/1859.91	c #Conflicts:     813000 | #Constraints:      79262
1855.26/1859.91	c #Conflicts:     814000 | #Constraints:      80262
1855.26/1859.91	c #Conflicts:     815000 | #Constraints:      81262
1855.26/1859.91	c #Conflicts:     816000 | #Constraints:      82262
1855.26/1859.91	c #Conflicts:     817000 | #Constraints:      83262
1855.26/1859.91	c #Conflicts:     818000 | #Constraints:      84262
1855.26/1859.91	c #Conflicts:     819000 | #Constraints:      85262
1855.26/1859.91	c #Conflicts:     820000 | #Constraints:      86262
1855.26/1859.91	c #Conflicts:     821000 | #Constraints:      87262
1855.26/1859.91	c #Conflicts:     822000 | #Constraints:      88262
1855.26/1859.91	c #Conflicts:     823000 | #Constraints:      89262
1855.26/1859.91	c #Conflicts:     824000 | #Constraints:      90262
1855.26/1859.91	c #Conflicts:     825000 | #Constraints:      91262
1855.26/1859.91	c #Conflicts:     826000 | #Constraints:      92262
1855.26/1859.91	c #Conflicts:     827000 | #Constraints:      93262
1855.26/1859.91	c #Conflicts:     828000 | #Constraints:      94262
1855.26/1859.91	c #Conflicts:     829000 | #Constraints:      95262
1855.26/1859.91	c #Conflicts:     830000 | #Constraints:      96262
1855.26/1859.91	c #Conflicts:     831000 | #Constraints:      97262
1855.26/1859.91	c #Conflicts:     832000 | #Constraints:      98262
1855.26/1859.91	c INPROCESSING
1855.26/1859.91	c GARBAGE COLLECT
1855.26/1859.91	c rational objective 837
2048.38/2053.55	c #Conflicts:     833000 | #Constraints:      67974
2048.38/2053.55	c #Conflicts:     834000 | #Constraints:      68974
2048.38/2053.55	c #Conflicts:     835000 | #Constraints:      69974
2048.38/2053.55	c #Conflicts:     836000 | #Constraints:      70974
2048.38/2053.55	c #Conflicts:     837000 | #Constraints:      71974
2048.38/2053.55	c #Conflicts:     838000 | #Constraints:      72974
2048.38/2053.55	c #Conflicts:     839000 | #Constraints:      73974
2048.38/2053.55	c #Conflicts:     840000 | #Constraints:      74974
2048.38/2053.55	c #Conflicts:     841000 | #Constraints:      75974
2048.38/2053.55	c #Conflicts:     842000 | #Constraints:      76974
2048.38/2053.55	c #Conflicts:     843000 | #Constraints:      77974
2048.38/2053.55	c #Conflicts:     844000 | #Constraints:      78974
2048.38/2053.55	c #Conflicts:     845000 | #Constraints:      79974
2048.38/2053.55	c #Conflicts:     846000 | #Constraints:      80974
2048.38/2053.55	c #Conflicts:     847000 | #Constraints:      81974
2048.38/2053.55	c #Conflicts:     848000 | #Constraints:      82975
2048.38/2053.55	c #Conflicts:     849000 | #Constraints:      83980
2048.38/2053.55	c #Conflicts:     850000 | #Constraints:      84990
2048.38/2053.55	c #Conflicts:     851000 | #Constraints:      85999
2048.38/2053.55	c #Conflicts:     852000 | #Constraints:      87001
2048.38/2053.55	c #Conflicts:     853000 | #Constraints:      88012
2048.38/2053.55	c #Conflicts:     854000 | #Constraints:      89016
2048.38/2053.55	c #Conflicts:     855000 | #Constraints:      90021
2048.38/2053.55	c #Conflicts:     856000 | #Constraints:      91024
2048.38/2053.55	c #Conflicts:     857000 | #Constraints:      92029
2048.38/2053.55	c #Conflicts:     858000 | #Constraints:      93035
2048.38/2053.55	c #Conflicts:     859000 | #Constraints:      94040
2048.38/2053.55	c #Conflicts:     860000 | #Constraints:      95044
2048.38/2053.55	c #Conflicts:     861000 | #Constraints:      96048
2048.38/2053.55	c #Conflicts:     862000 | #Constraints:      97053
2048.38/2053.55	c #Conflicts:     863000 | #Constraints:      98060
2048.38/2053.55	c #Conflicts:     864000 | #Constraints:      99064
2048.38/2053.55	c #Conflicts:     865000 | #Constraints:     100075
2048.38/2053.55	c #Conflicts:     866000 | #Constraints:     101079
2048.38/2053.55	c #Conflicts:     867000 | #Constraints:     102090
2048.38/2053.55	c #Conflicts:     868000 | #Constraints:     103093
2048.38/2053.55	c #Conflicts:     869000 | #Constraints:     104099
2048.38/2053.55	c #Conflicts:     870000 | #Constraints:     105107
2048.38/2053.55	c #Conflicts:     871000 | #Constraints:     106115
2048.38/2053.55	c #Conflicts:     872000 | #Constraints:     107123
2048.38/2053.55	c #Conflicts:     873000 | #Constraints:     108126
2048.38/2053.55	c #Conflicts:     874000 | #Constraints:     109130
2048.38/2053.55	c #Conflicts:     875000 | #Constraints:     110137
2048.38/2053.55	c #Conflicts:     876000 | #Constraints:     111140
2048.38/2053.55	c #Conflicts:     877000 | #Constraints:     112144
2048.38/2053.55	c #Conflicts:     878000 | #Constraints:     113152
2048.38/2053.55	c #Conflicts:     879000 | #Constraints:     114159
2048.38/2053.55	c #Conflicts:     880000 | #Constraints:     115162
2048.38/2053.55	c #Conflicts:     881000 | #Constraints:     116163
2048.38/2053.55	c #Conflicts:     882000 | #Constraints:     117167
2048.38/2053.55	c #Conflicts:     883000 | #Constraints:     118169
2048.38/2053.55	c #Conflicts:     884000 | #Constraints:     119175
2048.38/2053.55	c #Conflicts:     885000 | #Constraints:     120186
2048.38/2053.55	c #Conflicts:     886000 | #Constraints:     121190
2048.38/2053.55	c #Conflicts:     887000 | #Constraints:     122194
2048.38/2053.55	c #Conflicts:     888000 | #Constraints:     123202
2048.38/2053.55	c #Conflicts:     889000 | #Constraints:     124206
2048.38/2053.55	c #Conflicts:     890000 | #Constraints:     125212
2048.38/2053.55	c #Conflicts:     891000 | #Constraints:     126218
2048.38/2053.55	c #Conflicts:     892000 | #Constraints:     127225
2048.38/2053.55	c #Conflicts:     893000 | #Constraints:     128228
2048.38/2053.55	c INPROCESSING
2048.38/2053.55	c GARBAGE COLLECT
2048.38/2053.55	c rational objective 837
2148.64/2154.05	c #Conflicts:     894000 | #Constraints:      77044
2148.64/2154.05	c #Conflicts:     895000 | #Constraints:      78044
2148.64/2154.05	c #Conflicts:     896000 | #Constraints:      79044
2148.64/2154.05	c #Conflicts:     897000 | #Constraints:      80044
2148.64/2154.05	c #Conflicts:     898000 | #Constraints:      81044
2148.64/2154.05	c #Conflicts:     899000 | #Constraints:      82044
2148.64/2154.05	c #Conflicts:     900000 | #Constraints:      83044
2148.64/2154.05	c #Conflicts:     901000 | #Constraints:      84044
2148.64/2154.05	c #Conflicts:     902000 | #Constraints:      85044
2148.64/2154.05	c #Conflicts:     903000 | #Constraints:      86044
2148.64/2154.05	c #Conflicts:     904000 | #Constraints:      87044
2148.64/2154.05	c #Conflicts:     905000 | #Constraints:      88044
2148.64/2154.05	c #Conflicts:     906000 | #Constraints:      89044
2148.64/2154.05	c #Conflicts:     907000 | #Constraints:      90044
2148.64/2154.05	c #Conflicts:     908000 | #Constraints:      91044
2148.64/2154.05	c #Conflicts:     909000 | #Constraints:      92044
2148.64/2154.05	c #Conflicts:     910000 | #Constraints:      93044
2148.64/2154.05	c #Conflicts:     911000 | #Constraints:      94044
2148.64/2154.05	c #Conflicts:     912000 | #Constraints:      95044
2148.64/2154.05	c #Conflicts:     913000 | #Constraints:      96044
2148.64/2154.05	c #Conflicts:     914000 | #Constraints:      97044
2148.64/2154.05	c #Conflicts:     915000 | #Constraints:      98044
2148.64/2154.05	c #Conflicts:     916000 | #Constraints:      99044
2148.64/2154.05	c bounds 890 >= 838 @ 2116.17
2148.64/2154.05	c #Conflicts:     917000 | #Constraints:     100080
2148.64/2154.05	c #Conflicts:     918000 | #Constraints:     101080
2148.64/2154.05	c #Conflicts:     919000 | #Constraints:     102080
2148.64/2154.05	c #Conflicts:     920000 | #Constraints:     103080
2148.64/2154.05	c INPROCESSING
2148.64/2154.05	c GARBAGE COLLECT
2148.64/2154.05	c rational objective 838
2427.13/2433.20	c #Conflicts:     921000 | #Constraints:      70302
2427.13/2433.20	c #Conflicts:     922000 | #Constraints:      71302
2427.13/2433.20	c #Conflicts:     923000 | #Constraints:      72302
2427.13/2433.20	c #Conflicts:     924000 | #Constraints:      73302
2427.13/2433.20	c #Conflicts:     925000 | #Constraints:      74302
2427.13/2433.20	c #Conflicts:     926000 | #Constraints:      75302
2427.13/2433.20	c #Conflicts:     927000 | #Constraints:      76302
2427.13/2433.20	c #Conflicts:     928000 | #Constraints:      77302
2427.13/2433.20	c #Conflicts:     929000 | #Constraints:      78302
2427.13/2433.20	c #Conflicts:     930000 | #Constraints:      79302
2427.13/2433.20	c #Conflicts:     931000 | #Constraints:      80302
2427.13/2433.20	c #Conflicts:     932000 | #Constraints:      81302
2427.13/2433.20	c #Conflicts:     933000 | #Constraints:      82302
2427.13/2433.20	c #Conflicts:     934000 | #Constraints:      83302
2427.13/2433.20	c #Conflicts:     935000 | #Constraints:      84302
2427.13/2433.20	c #Conflicts:     936000 | #Constraints:      85302
2427.13/2433.20	c #Conflicts:     937000 | #Constraints:      86302
2427.13/2433.20	c #Conflicts:     938000 | #Constraints:      87302
2427.13/2433.20	c #Conflicts:     939000 | #Constraints:      88302
2427.13/2433.20	c #Conflicts:     940000 | #Constraints:      89302
2427.13/2433.20	c #Conflicts:     941000 | #Constraints:      90302
2427.13/2433.20	c #Conflicts:     942000 | #Constraints:      91302
2427.13/2433.20	c #Conflicts:     943000 | #Constraints:      92302
2427.13/2433.20	c #Conflicts:     944000 | #Constraints:      93302
2427.13/2433.20	c #Conflicts:     945000 | #Constraints:      94302
2427.13/2433.20	c #Conflicts:     946000 | #Constraints:      95302
2427.13/2433.20	c #Conflicts:     947000 | #Constraints:      96302
2427.13/2433.20	c #Conflicts:     948000 | #Constraints:      97302
2427.13/2433.20	c #Conflicts:     949000 | #Constraints:      98302
2427.13/2433.20	c #Conflicts:     950000 | #Constraints:      99302
2427.13/2433.20	c #Conflicts:     951000 | #Constraints:     100302
2427.13/2433.20	c #Conflicts:     952000 | #Constraints:     101302
2427.13/2433.20	c #Conflicts:     953000 | #Constraints:     102302
2427.13/2433.20	c #Conflicts:     954000 | #Constraints:     103302
2427.13/2433.20	c #Conflicts:     955000 | #Constraints:     104302
2427.13/2433.20	c #Conflicts:     956000 | #Constraints:     105302
2427.13/2433.20	c #Conflicts:     957000 | #Constraints:     106302
2427.13/2433.20	c #Conflicts:     958000 | #Constraints:     107302
2427.13/2433.20	c #Conflicts:     959000 | #Constraints:     108302
2427.13/2433.20	c bounds 890 >= 839 @ 2286.95
2427.13/2433.20	c #Conflicts:     960000 | #Constraints:     109353
2427.13/2433.20	c #Conflicts:     961000 | #Constraints:     110353
2427.13/2433.20	c #Conflicts:     962000 | #Constraints:     111353
2427.13/2433.20	c #Conflicts:     963000 | #Constraints:     112353
2427.13/2433.20	c #Conflicts:     964000 | #Constraints:     113353
2427.13/2433.20	c #Conflicts:     965000 | #Constraints:     114353
2427.13/2433.20	c #Conflicts:     966000 | #Constraints:     115353
2427.13/2433.20	c #Conflicts:     967000 | #Constraints:     116353
2427.13/2433.20	c #Conflicts:     968000 | #Constraints:     117353
2427.13/2433.20	c #Conflicts:     969000 | #Constraints:     118353
2427.13/2433.20	c #Conflicts:     970000 | #Constraints:     119353
2427.13/2433.20	c #Conflicts:     971000 | #Constraints:     120353
2427.13/2433.20	c #Conflicts:     972000 | #Constraints:     121353
2427.13/2433.20	c #Conflicts:     973000 | #Constraints:     122353
2427.13/2433.20	c #Conflicts:     974000 | #Constraints:     123353
2427.13/2433.20	c #Conflicts:     975000 | #Constraints:     124353
2427.13/2433.20	c #Conflicts:     976000 | #Constraints:     125353
2427.13/2433.20	c #Conflicts:     977000 | #Constraints:     126353
2427.13/2433.20	c #Conflicts:     978000 | #Constraints:     127353
2427.13/2433.20	c #Conflicts:     979000 | #Constraints:     128353
2427.13/2433.20	c #Conflicts:     980000 | #Constraints:     129353
2427.13/2433.20	c #Conflicts:     981000 | #Constraints:     130353
2427.13/2433.20	c #Conflicts:     982000 | #Constraints:     131353
2427.13/2433.20	c #Conflicts:     983000 | #Constraints:     132353
2427.13/2433.20	c #Conflicts:     984000 | #Constraints:     133353
2427.13/2433.20	c INPROCESSING
2427.13/2433.20	c GARBAGE COLLECT
2427.13/2433.20	c rational objective 839
2547.12/2553.56	c #Conflicts:     985000 | #Constraints:      79869
2547.12/2553.56	c #Conflicts:     986000 | #Constraints:      80869
2547.12/2553.56	c #Conflicts:     987000 | #Constraints:      81869
2547.12/2553.56	c #Conflicts:     988000 | #Constraints:      82869
2547.12/2553.56	c #Conflicts:     989000 | #Constraints:      83869
2547.12/2553.56	c #Conflicts:     990000 | #Constraints:      84869
2547.12/2553.56	c #Conflicts:     991000 | #Constraints:      85869
2547.12/2553.56	c #Conflicts:     992000 | #Constraints:      86869
2547.12/2553.56	c #Conflicts:     993000 | #Constraints:      87869
2547.12/2553.56	c #Conflicts:     994000 | #Constraints:      88869
2547.12/2553.56	c #Conflicts:     995000 | #Constraints:      89869
2547.12/2553.56	c #Conflicts:     996000 | #Constraints:      90869
2547.12/2553.56	c #Conflicts:     997000 | #Constraints:      91869
2547.12/2553.56	c #Conflicts:     998000 | #Constraints:      92869
2547.12/2553.56	c #Conflicts:     999000 | #Constraints:      93869
2547.12/2553.56	c #Conflicts:    1000000 | #Constraints:      94869
2547.12/2553.56	c #Conflicts:    1001000 | #Constraints:      95869
2547.12/2553.56	c #Conflicts:    1002000 | #Constraints:      96869
2547.12/2553.56	c #Conflicts:    1003000 | #Constraints:      97869
2547.12/2553.56	c #Conflicts:    1004000 | #Constraints:      98869
2547.12/2553.56	c #Conflicts:    1005000 | #Constraints:      99869
2547.12/2553.56	c #Conflicts:    1006000 | #Constraints:     100869
2547.12/2553.56	c #Conflicts:    1007000 | #Constraints:     101869
2547.12/2553.56	c #Conflicts:    1008000 | #Constraints:     102869
2547.12/2553.56	c #Conflicts:    1009000 | #Constraints:     103869
2547.12/2553.56	c #Conflicts:    1010000 | #Constraints:     104869
2547.12/2553.56	c #Conflicts:    1011000 | #Constraints:     105869
2547.12/2553.56	c #Conflicts:    1012000 | #Constraints:     106869
2547.12/2553.56	c INPROCESSING
2547.12/2553.56	c GARBAGE COLLECT
2547.12/2553.56	c rational objective 839
2900.43/2907.79	c #Conflicts:    1013000 | #Constraints:      73719
2900.43/2907.79	c #Conflicts:    1014000 | #Constraints:      74719
2900.43/2907.79	c #Conflicts:    1015000 | #Constraints:      75719
2900.43/2907.79	c #Conflicts:    1016000 | #Constraints:      76719
2900.43/2907.79	c #Conflicts:    1017000 | #Constraints:      77719
2900.43/2907.79	c #Conflicts:    1018000 | #Constraints:      78719
2900.43/2907.79	c #Conflicts:    1019000 | #Constraints:      79721
2900.43/2907.79	c #Conflicts:    1020000 | #Constraints:      80735
2900.43/2907.79	c #Conflicts:    1021000 | #Constraints:      81746
2900.43/2907.79	c #Conflicts:    1022000 | #Constraints:      82750
2900.43/2907.79	c #Conflicts:    1023000 | #Constraints:      83751
2900.43/2907.79	c #Conflicts:    1024000 | #Constraints:      84759
2900.43/2907.79	c #Conflicts:    1025000 | #Constraints:      85760
2900.43/2907.79	c #Conflicts:    1026000 | #Constraints:      86762
2900.43/2907.79	c #Conflicts:    1027000 | #Constraints:      87767
2900.43/2907.79	c #Conflicts:    1028000 | #Constraints:      88773
2900.43/2907.79	c #Conflicts:    1029000 | #Constraints:      89778
2900.43/2907.79	c #Conflicts:    1030000 | #Constraints:      90781
2900.43/2907.79	c #Conflicts:    1031000 | #Constraints:      91787
2900.43/2907.79	c #Conflicts:    1032000 | #Constraints:      92787
2900.43/2907.79	c #Conflicts:    1033000 | #Constraints:      93795
2900.43/2907.79	c #Conflicts:    1034000 | #Constraints:      94801
2900.43/2907.79	c #Conflicts:    1035000 | #Constraints:      95805
2900.43/2907.79	c #Conflicts:    1036000 | #Constraints:      96813
2900.43/2907.79	c #Conflicts:    1037000 | #Constraints:      97820
2900.43/2907.79	c #Conflicts:    1038000 | #Constraints:      98822
2900.43/2907.79	c #Conflicts:    1039000 | #Constraints:      99824
2900.43/2907.79	c #Conflicts:    1040000 | #Constraints:     100831
2900.43/2907.79	c #Conflicts:    1041000 | #Constraints:     101832
2900.43/2907.79	c #Conflicts:    1042000 | #Constraints:     102832
2900.43/2907.79	c #Conflicts:    1043000 | #Constraints:     103839
2900.43/2907.79	c #Conflicts:    1044000 | #Constraints:     104846
2900.43/2907.79	c #Conflicts:    1045000 | #Constraints:     105855
2900.43/2907.79	c #Conflicts:    1046000 | #Constraints:     106860
2900.43/2907.79	c #Conflicts:    1047000 | #Constraints:     107867
2900.43/2907.79	c #Conflicts:    1048000 | #Constraints:     108869
2900.43/2907.79	c #Conflicts:    1049000 | #Constraints:     109875
2900.43/2907.79	c #Conflicts:    1050000 | #Constraints:     110879
2900.43/2907.79	c #Conflicts:    1051000 | #Constraints:     111884
2900.43/2907.79	c #Conflicts:    1052000 | #Constraints:     112889
2900.43/2907.79	c #Conflicts:    1053000 | #Constraints:     113894
2900.43/2907.79	c #Conflicts:    1054000 | #Constraints:     114900
2900.43/2907.79	c #Conflicts:    1055000 | #Constraints:     115905
2900.43/2907.79	c #Conflicts:    1056000 | #Constraints:     116911
2900.43/2907.79	c #Conflicts:    1057000 | #Constraints:     117913
2900.43/2907.79	c #Conflicts:    1058000 | #Constraints:     118917
2900.43/2907.79	c #Conflicts:    1059000 | #Constraints:     119925
2900.43/2907.79	c #Conflicts:    1060000 | #Constraints:     120929
2900.43/2907.79	c #Conflicts:    1061000 | #Constraints:     121934
2900.43/2907.79	c #Conflicts:    1062000 | #Constraints:     122940
2900.43/2907.79	c #Conflicts:    1063000 | #Constraints:     123945
2900.43/2907.79	c #Conflicts:    1064000 | #Constraints:     124950
2900.43/2907.79	c #Conflicts:    1065000 | #Constraints:     125954
2900.43/2907.79	c #Conflicts:    1066000 | #Constraints:     126961
2900.43/2907.79	c #Conflicts:    1067000 | #Constraints:     127967
2900.43/2907.79	c #Conflicts:    1068000 | #Constraints:     128970
2900.43/2907.79	c #Conflicts:    1069000 | #Constraints:     129977
2900.43/2907.79	c #Conflicts:    1070000 | #Constraints:     130983
2900.43/2907.79	c #Conflicts:    1071000 | #Constraints:     131984
2900.43/2907.79	c #Conflicts:    1072000 | #Constraints:     132986
2900.43/2907.79	c #Conflicts:    1073000 | #Constraints:     133990
2900.43/2907.79	c #Conflicts:    1074000 | #Constraints:     134996
2900.43/2907.79	c #Conflicts:    1075000 | #Constraints:     136003
2900.43/2907.79	c #Conflicts:    1076000 | #Constraints:     137006
2900.43/2907.79	c #Conflicts:    1077000 | #Constraints:     138013
2900.43/2907.79	c #Conflicts:    1078000 | #Constraints:     139018
2900.43/2907.79	c #Conflicts:    1079000 | #Constraints:     140020
2900.43/2907.79	c INPROCESSING
2900.43/2907.79	c GARBAGE COLLECT
2900.43/2907.79	c rational objective 839
3032.86/3040.59	c #Conflicts:    1080000 | #Constraints:      82898
3032.86/3040.59	c #Conflicts:    1081000 | #Constraints:      83898
3032.86/3040.59	c #Conflicts:    1082000 | #Constraints:      84898
3032.86/3040.59	c #Conflicts:    1083000 | #Constraints:      85898
3032.86/3040.59	c #Conflicts:    1084000 | #Constraints:      86898
3032.86/3040.59	c #Conflicts:    1085000 | #Constraints:      87898
3032.86/3040.59	c #Conflicts:    1086000 | #Constraints:      88898
3032.86/3040.59	c #Conflicts:    1087000 | #Constraints:      89898
3032.86/3040.59	c #Conflicts:    1088000 | #Constraints:      90898
3032.86/3040.59	c #Conflicts:    1089000 | #Constraints:      91898
3032.86/3040.59	c #Conflicts:    1090000 | #Constraints:      92898
3032.86/3040.59	c #Conflicts:    1091000 | #Constraints:      93898
3032.86/3040.59	c #Conflicts:    1092000 | #Constraints:      94898
3032.86/3040.59	c #Conflicts:    1093000 | #Constraints:      95898
3032.86/3040.59	c #Conflicts:    1094000 | #Constraints:      96898
3032.86/3040.59	c #Conflicts:    1095000 | #Constraints:      97898
3032.86/3040.59	c #Conflicts:    1096000 | #Constraints:      98898
3032.86/3040.59	c #Conflicts:    1097000 | #Constraints:      99898
3032.86/3040.59	c #Conflicts:    1098000 | #Constraints:     100898
3032.86/3040.59	c #Conflicts:    1099000 | #Constraints:     101898
3032.86/3040.59	c bounds 890 >= 840 @ 2966.99
3032.86/3040.59	c #Conflicts:    1100000 | #Constraints:     102928
3032.86/3040.59	c #Conflicts:    1101000 | #Constraints:     103928
3032.86/3040.59	c #Conflicts:    1102000 | #Constraints:     104928
3032.86/3040.59	c #Conflicts:    1103000 | #Constraints:     105928
3032.86/3040.59	c #Conflicts:    1104000 | #Constraints:     106928
3032.86/3040.59	c #Conflicts:    1105000 | #Constraints:     107928
3032.86/3040.59	c #Conflicts:    1106000 | #Constraints:     108928
3032.86/3040.59	c #Conflicts:    1107000 | #Constraints:     109928
3032.86/3040.59	c #Conflicts:    1108000 | #Constraints:     110928
3032.86/3040.59	c INPROCESSING
3032.86/3040.59	c GARBAGE COLLECT
3032.86/3040.59	c rational objective 840
3408.91/3417.63	c #Conflicts:    1109000 | #Constraints:      73699
3408.91/3417.63	c #Conflicts:    1110000 | #Constraints:      74699
3408.91/3417.63	c #Conflicts:    1111000 | #Constraints:      75699
3408.91/3417.63	c #Conflicts:    1112000 | #Constraints:      76699
3408.91/3417.63	c #Conflicts:    1113000 | #Constraints:      77699
3408.91/3417.63	c #Conflicts:    1114000 | #Constraints:      78699
3408.91/3417.63	c #Conflicts:    1115000 | #Constraints:      79699
3408.91/3417.63	c #Conflicts:    1116000 | #Constraints:      80699
3408.91/3417.63	c #Conflicts:    1117000 | #Constraints:      81699
3408.91/3417.63	c #Conflicts:    1118000 | #Constraints:      82699
3408.91/3417.63	c #Conflicts:    1119000 | #Constraints:      83699
3408.91/3417.63	c #Conflicts:    1120000 | #Constraints:      84699
3408.91/3417.63	c #Conflicts:    1121000 | #Constraints:      85699
3408.91/3417.63	c #Conflicts:    1122000 | #Constraints:      86699
3408.91/3417.63	c #Conflicts:    1123000 | #Constraints:      87699
3408.91/3417.63	c #Conflicts:    1124000 | #Constraints:      88699
3408.91/3417.63	c #Conflicts:    1125000 | #Constraints:      89699
3408.91/3417.63	c #Conflicts:    1126000 | #Constraints:      90699
3408.91/3417.63	c #Conflicts:    1127000 | #Constraints:      91699
3408.91/3417.63	c #Conflicts:    1128000 | #Constraints:      92699
3408.91/3417.63	c #Conflicts:    1129000 | #Constraints:      93699
3408.91/3417.63	c #Conflicts:    1130000 | #Constraints:      94699
3408.91/3417.63	c #Conflicts:    1131000 | #Constraints:      95699
3408.91/3417.63	c #Conflicts:    1132000 | #Constraints:      96699
3408.91/3417.63	c #Conflicts:    1133000 | #Constraints:      97699
3408.91/3417.63	c #Conflicts:    1134000 | #Constraints:      98699
3408.91/3417.63	c #Conflicts:    1135000 | #Constraints:      99699
3408.91/3417.63	c #Conflicts:    1136000 | #Constraints:     100699
3408.91/3417.63	c #Conflicts:    1137000 | #Constraints:     101699
3408.91/3417.63	c #Conflicts:    1138000 | #Constraints:     102699
3408.91/3417.63	c #Conflicts:    1139000 | #Constraints:     103699
3408.91/3417.63	c #Conflicts:    1140000 | #Constraints:     104699
3408.91/3417.63	c #Conflicts:    1141000 | #Constraints:     105699
3408.91/3417.63	c #Conflicts:    1142000 | #Constraints:     106699
3408.91/3417.63	c #Conflicts:    1143000 | #Constraints:     107699
3408.91/3417.63	c #Conflicts:    1144000 | #Constraints:     108699
3408.91/3417.63	c bounds 890 >= 841 @ 3169.55
3408.91/3417.63	c #Conflicts:    1145000 | #Constraints:     109747
3408.91/3417.63	c #Conflicts:    1146000 | #Constraints:     110747
3408.91/3417.63	c #Conflicts:    1147000 | #Constraints:     111747
3408.91/3417.63	c #Conflicts:    1148000 | #Constraints:     112747
3408.91/3417.63	c #Conflicts:    1149000 | #Constraints:     113747
3408.91/3417.63	c #Conflicts:    1150000 | #Constraints:     114747
3408.91/3417.63	c #Conflicts:    1151000 | #Constraints:     115747
3408.91/3417.63	c #Conflicts:    1152000 | #Constraints:     116747
3408.91/3417.63	c #Conflicts:    1153000 | #Constraints:     117747
3408.91/3417.63	c #Conflicts:    1154000 | #Constraints:     118747
3408.91/3417.63	c #Conflicts:    1155000 | #Constraints:     119747
3408.91/3417.63	c #Conflicts:    1156000 | #Constraints:     120747
3408.91/3417.63	c #Conflicts:    1157000 | #Constraints:     121747
3408.91/3417.63	c #Conflicts:    1158000 | #Constraints:     122747
3408.91/3417.63	c #Conflicts:    1159000 | #Constraints:     123747
3408.91/3417.63	c #Conflicts:    1160000 | #Constraints:     124747
3408.91/3417.63	c #Conflicts:    1161000 | #Constraints:     125747
3408.91/3417.63	c #Conflicts:    1162000 | #Constraints:     126747
3408.91/3417.63	c #Conflicts:    1163000 | #Constraints:     127747
3408.91/3417.63	c #Conflicts:    1164000 | #Constraints:     128747
3408.91/3417.63	c #Conflicts:    1165000 | #Constraints:     129747
3408.91/3417.63	c #Conflicts:    1166000 | #Constraints:     130747
3408.91/3417.63	c #Conflicts:    1167000 | #Constraints:     131747
3408.91/3417.63	c #Conflicts:    1168000 | #Constraints:     132747
3408.91/3417.63	c #Conflicts:    1169000 | #Constraints:     133747
3408.91/3417.63	c #Conflicts:    1170000 | #Constraints:     134747
3408.91/3417.63	c #Conflicts:    1171000 | #Constraints:     135747
3408.91/3417.63	c #Conflicts:    1172000 | #Constraints:     136747
3408.91/3417.63	c #Conflicts:    1173000 | #Constraints:     137747
3408.91/3417.63	c #Conflicts:    1174000 | #Constraints:     138747
3408.91/3417.63	c #Conflicts:    1175000 | #Constraints:     139747
3408.91/3417.63	c #Conflicts:    1176000 | #Constraints:     140747
3408.91/3417.63	c #Conflicts:    1177000 | #Constraints:     141747
3408.91/3417.63	c #Conflicts:    1178000 | #Constraints:     142747
3408.91/3417.63	c #Conflicts:    1179000 | #Constraints:     143747
3408.91/3417.63	c INPROCESSING
3408.91/3417.63	c GARBAGE COLLECT
3408.91/3417.63	c rational objective 841
3546.64/3555.72	c #Conflicts:    1180000 | #Constraints:      85106
3546.64/3555.72	c #Conflicts:    1181000 | #Constraints:      86106
3546.64/3555.72	c #Conflicts:    1182000 | #Constraints:      87106
3546.64/3555.72	c #Conflicts:    1183000 | #Constraints:      88106
3546.64/3555.72	c #Conflicts:    1184000 | #Constraints:      89106
3546.64/3555.72	c #Conflicts:    1185000 | #Constraints:      90106
3546.64/3555.72	c #Conflicts:    1186000 | #Constraints:      91106
3546.64/3555.72	c #Conflicts:    1187000 | #Constraints:      92106
3546.64/3555.72	c #Conflicts:    1188000 | #Constraints:      93106
3546.64/3555.72	c #Conflicts:    1189000 | #Constraints:      94106
3546.64/3555.72	c #Conflicts:    1190000 | #Constraints:      95106
3546.64/3555.72	c #Conflicts:    1191000 | #Constraints:      96106
3546.64/3555.72	c #Conflicts:    1192000 | #Constraints:      97106
3546.64/3555.72	c #Conflicts:    1193000 | #Constraints:      98106
3546.64/3555.72	c #Conflicts:    1194000 | #Constraints:      99106
3546.64/3555.72	c #Conflicts:    1195000 | #Constraints:     100106
3546.64/3555.72	c #Conflicts:    1196000 | #Constraints:     101106
3546.64/3555.72	c #Conflicts:    1197000 | #Constraints:     102106
3546.64/3555.72	c #Conflicts:    1198000 | #Constraints:     103106
3546.64/3555.72	c #Conflicts:    1199000 | #Constraints:     104106
3546.64/3555.72	c #Conflicts:    1200000 | #Constraints:     105106
3546.64/3555.72	c #Conflicts:    1201000 | #Constraints:     106106
3546.64/3555.72	c #Conflicts:    1202000 | #Constraints:     107106
3546.64/3555.72	c #Conflicts:    1203000 | #Constraints:     108106
3546.64/3555.72	c #Conflicts:    1204000 | #Constraints:     109106
3546.64/3555.72	c bounds 890 >= 842 @ 3513.55
3546.64/3555.72	c #Conflicts:    1205000 | #Constraints:     110148
3546.64/3555.72	c #Conflicts:    1206000 | #Constraints:     111148
3546.64/3555.72	c #Conflicts:    1207000 | #Constraints:     112148
3546.64/3555.72	c #Conflicts:    1208000 | #Constraints:     113149
3546.64/3555.72	c #Conflicts:    1209000 | #Constraints:     114149
3546.64/3555.72	c INPROCESSING
3546.64/3555.72	c GARBAGE COLLECT
3546.64/3555.72	c rational objective 842
3600.01/3609.20	c #Conflicts:    1210000 | #Constraints:      76566
3600.01/3609.20	c #Conflicts:    1211000 | #Constraints:      77579
3600.01/3609.20	c #Conflicts:    1212000 | #Constraints:      78588
3600.01/3609.20	c #Conflicts:    1213000 | #Constraints:      79595
3600.01/3609.20	c #Conflicts:    1214000 | #Constraints:      80604
3600.01/3609.20	c #Conflicts:    1215000 | #Constraints:      81610
3600.01/3609.20	c #Conflicts:    1216000 | #Constraints:      82617
3600.01/3609.20	c #Conflicts:    1217000 | #Constraints:      83621
3600.01/3609.20	c #Conflicts:    1218000 | #Constraints:      84626
3600.01/3609.20	c #Conflicts:    1219000 | #Constraints:      85638
3600.01/3609.20	c #Conflicts:    1220000 | #Constraints:      86645
3600.01/3609.20	c #Conflicts:    1221000 | #Constraints:      87650
3600.01/3609.20	c #Conflicts:    1222000 | #Constraints:      88655
3600.01/3609.20	c #Conflicts:    1223000 | #Constraints:      89661
3600.01/3609.20	c #Conflicts:    1224000 | #Constraints:      90665
3600.01/3609.20	c #Conflicts:    1225000 | #Constraints:      91673
3600.01/3609.20	c #Conflicts:    1226000 | #Constraints:      92676
3600.01/3609.20	c #Conflicts:    1227000 | #Constraints:      93681
3600.01/3609.20	c #Conflicts:    1228000 | #Constraints:      94685
3600.01/3609.20	c Program interrupted by user.
3600.01/3609.20	c cpu time 3574.36 s
3600.01/3609.20	c deterministic time 364931819486 3.65e+11
3600.01/3609.20	c optimization time 53.7932 s
3600.01/3609.20	c total solve time 3520.48 s
3600.01/3609.20	c core-guided solve time 2111.42 s
3600.01/3609.20	c propagation time 2827.36 s
3600.01/3609.20	c conflict analysis time 697.779 s
3600.01/3609.20	c propagations 425350150
3600.01/3609.20	c resolve steps 45011631
3600.01/3609.20	c decisions 5049991
3600.01/3609.20	c conflicts 1228593
3600.01/3609.20	c restarts 2301
3600.01/3609.20	c inprocessing phases 46
3600.01/3609.20	c input clauses 19405
3600.01/3609.20	c input cardinalities 1957
3600.01/3609.20	c input general constraints 3373
3600.01/3609.20	c input average constraint length 115.25
3600.01/3609.20	c input average constraint degree 32.05
3600.01/3609.20	c learned clauses 883421
3600.01/3609.20	c learned cardinalities 16432
3600.01/3609.20	c learned general constraints 330982
3600.01/3609.20	c learned average constraint length 351.40
3600.01/3609.20	c learned average constraint degree 308189598.11
3600.01/3609.20	c watched constraints 287448
3600.01/3609.20	c counting constraints 46907
3600.01/3609.20	c gcd simplifications 157705
3600.01/3609.20	c detected cardinalities 100
3600.01/3609.20	c weakened non-implied lits 95720631
3600.01/3609.20	c weakened non-implying lits 840247
3600.01/3609.20	c original variables 2460
3600.01/3609.20	c clausal propagations 243565868
3600.01/3609.20	c cardinality propagations 3941550
3600.01/3609.20	c watched propagations 50505302
3600.01/3609.20	c counting propagations 124360826
3600.01/3609.20	c watch lookups 55842257487
3600.01/3609.20	c watch backjump lookups 45308666778
3600.01/3609.20	c watch checks 252805399395
3600.01/3609.20	c propagation checks 8199229188
3600.01/3609.20	c constraint additions 1912973083
3600.01/3609.20	c trail pops 431624256
3600.01/3609.20	c formula constraints 17131
3600.01/3609.20	c learned constraints 1226935
3600.01/3609.20	c bound constraints 1116
3600.01/3609.20	c core-guided constraints 6488
3600.01/3609.20	c encountered formula constraints 20913635
3600.01/3609.20	c encountered learned constraints 19313975
3600.01/3609.20	c encountered bound constraints 283
3600.01/3609.20	c encountered core-guided constraints 5925490
3600.01/3609.20	c LP total time 188.949 s
3600.01/3609.20	c LP solve time 184.85 s
3600.01/3609.20	c LP constraints added 18266
3600.01/3609.20	c LP constraints removed 1090
3600.01/3609.20	c LP pivots internal 1228628
3600.01/3609.20	c LP pivots root 40529
3600.01/3609.20	c LP calls 6195
3600.01/3609.20	c LP optimalities 4242
3600.01/3609.20	c LP no pivot count 1624
3600.01/3609.20	c LP infeasibilities 1950
3600.01/3609.20	c LP valid Farkas constraints 1950
3600.01/3609.20	c LP learned Farkas constraints 1950
3600.01/3609.20	c LP basis resets 0
3600.01/3609.20	c LP cycling count 0
3600.01/3609.20	c LP singular count 0
3600.01/3609.20	c LP no primal count 0
3600.01/3609.20	c LP no farkas count 0
3600.01/3609.20	c LP other issue count 0
3600.01/3609.20	c LP Gomory cuts 0
3600.01/3609.20	c LP learned cuts 1135
3600.01/3609.20	c LP deleted cuts 1090
3600.01/3609.20	c LP encountered Gomory constraints 0
3600.01/3609.20	c LP encountered Farkas constraints 72278
3600.01/3609.20	c LP encountered learned Farkas constraints 12613
3600.01/3609.20	c CG auxiliary variables introduced 2444
3600.01/3609.20	c CG solutions found 274
3600.01/3609.20	c CG cores constructed 842
3600.01/3609.20	c CG core cardinality constraints returned 0
3600.01/3609.20	c CG unit cores 0
3600.01/3609.20	c CG single cores 838
3600.01/3609.20	c CG blocks removed during cardinality reduction 0
3600.01/3609.20	c CG first core best 0
3600.01/3609.20	c CG decision core best 0
3600.01/3609.20	c CG core reduction tie 4
3600.01/3609.20	c CG core degree average 1.00
3600.01/3609.20	c CG core slack average 4.58
3600.01/3609.20	s SATISFIABLE
3600.01/3609.20	v x1 -x2 -x3 x4 x5 -x6 x7 -x8 x9 -x10 x11 -x12 x13 -x14 x15 -x16 x17 -x18 x19 -x20 x21 -x22 x23 -x24 x25 -x26 x27 -x28 x29 -x30 x31 -x32 x33 -x34 x35 -x36 x37 -x38 x39 -x40 x41 -x42 x43 -x44 x45 -x46 -x47 x48 x49 -x50 x51 -x52 x53 -x54 x55 -x56 x57 -x58 x59 -x60 x61 -x62 x63 -x64 x65 -x66 -x67 x68 x69 -x70 x71 -x72 x73 -x74 x75 -x76 x77 -x78 x79 -x80 x81 -x82 x83 -x84 x85 -x86 x87 -x88 x89 -x90 x91 -x92 x93 -x94 x95 -x96 x97 -x98 x99 -x100 x101 -x102 x103 -x104 x105 -x106 x107 -x108 x109 -x110 -x111 x112 x113 -x114 x115 -x116 x117 -x118 x119 -x120 x121 -x122 x123 -x124 x125 -x126 x127 -x128 x129 -x130 -x131 x132 x133 -x134 x135 -x136 x137 -x138 x139 -x140 x141 -x142 x143 -x144 x145 -x146 x147 -x148 x149 -x150 x151 -x152 x153 -x154 x155 -x156 x157 -x158 x159 -x160 x161 -x162 x163 -x164 x165 -x166 x167 -x168 x169 -x170 x171 -x172 x173 -x174 -x175 x176 x177 -x178 x179 -x180 x181 -x182 x183 -x184 x185 -x186 x187 -x188 x189 -x190 x191 -x192 x193 -x194 -x195 x196 x197 -x198 x199 -x200 x201 -x202 x203 -x204 x205 -x206 x207 -x208 x209 -x210 x211 -x212 x213 -x214 x215 -x216 x217 -x218 x219 -x220 x221 -x222 x223 -x224 x225 -x226 x227 -x228 x229 -x230 x231 -x232 x233 -x234 x235 -x236 x237 -x238 -x239 x240 x241 -x242 x243 -x244 x245 -x246 x247 -x248 x249 -x250 x251 -x252 x253 -x254 x255 -x256 x257 -x258 -x259 x260 x261 -x262 x263 -x264 x265 -x266 x267 -x268 x269 -x270 x271 -x272 x273 -x274 x275 -x276 x277 -x278 x279 -x280 x281 -x282 x283 -x284 x285 -x286 x287 -x288 x289 -x290 x291 -x292 x293 -x294 x295 -x296 x297 -x298 x299 -x300 x301 -x302 -x303 x304 x305 -x306 x307 -x308 x309 -x310 x311 -x312 x313 -x314 x315 -x316 x317 -x318 x319 -x320 x321 -x322 -x323 x324 x325 -x326 x327 -x328 x329 -x330 x331 -x332 x333 -x334 x335 -x336 x337 -x338 x339 -x340 x341 -x342 x343 -x344 x345 -x346 x347 -x348 x349 -x350 x351 -x352 x353 -x354 x355 -x356 x357 -x358 x359 -x360 x361 -x362 x363 -x364 x365 -x366 -x367 x368 x369 -x370 x371 -x372 x373 -x374 x375 -x376 x377 -x378 x379 -x380 x381 -x382 x383 -x384 x385 -x386 x387 -x388 x389 -x390 -x391 x392 x393 -x394 x395 -x396 x397 -x398 x399 -x400 x401 -x402 x403 -x404 x405 -x406 x407 -x408 x409 -x410 x411 -x412 x413 -x414 x415 -x416 x417 -x418 x419 -x420 x421 -x422 x423 -x424 x425 -x426 x427 -x428 x429 -x430 -x431 x432 x433 -x434 x435 -x436 x437 -x438 x439 -x440 x441 -x442 x443 -x444 x445 -x446 -x447 x448 x449 -x450 x451 -x452 x453 -x454 x455 -x456 -x457 x458 x459 -x460 x461 -x462 x463 -x464 x465 -x466 -x467 x468 -x469 x470 x471 -x472 x473 -x474 x475 -x476 x477 -x478 x479 -x480 x481 -x482 x483 -x484 x485 -x486 x487 -x488 x489 -x490 x491 -x492 x493 -x494 x495 -x496 x497 -x498 x499 -x500 x501 -x502 x503 -x504 x505 -x506 x507 -x508 x509 -x510 x511 -x512 x513 -x514 -x515 x516 x517 -x518 x519 -x520 x521 -x522 x523 -x524 x525 -x526 x527 -x528 x529 -x530 x531 -x532 x533 -x534 x535 -x536 x537 -x538 x539 -x540 x541 -x542 x543 -x544 x545 -x546 x547 -x548 x549 -x550 x551 -x552 x553 -x554 x555 -x556 x557 -x558 -x559 x560 x561 -x562 x563 -x564 x565 -x566 x567 -x568 x569 -x570 x571 -x572 x573 -x574 x575 -x576 x577 -x578 x579 -x580 x581 -x582 x583 -x584 x585 -x586 x587 -x588 x589 -x590 x591 -x592 x593 -x594 -x595 x596 x597 -x598 x599 -x600 x601 -x602 x603 -x604 x605 -x606 -x607 x608 x609 -x610 x611 -x612 x613 -x614 -x615 x616 x617 -x618 x619 -x620 x621 -x622 x623 -x624 x625 -x626 x627 -x628 x629 -x630 x631 -x632 x633 -x634 x635 -x636 -x637 x638 x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 x654 -x655 x656 x657 -x658 -x659 x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 x674 -x675 x676 x677 -x678 -x679 x680 -x681 x682 -x683 x684 -x685 x686 -x687 x688 -x689 x690 -x691 x692 -x693 x694 x695 -x696 -x697 x698 -x699 x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 x714 -x715 x716 x717 -x718 -x719 x720 -x721 x722 -x723 x724 -x725 x726 -x727 x728 -x729 x730 -x731 x732 x733 -x734 -x735 x736 -x737 x738 -x739 x740 -x741 x742 -x743 x744 -x745 x746 -x747 x748 -x749 x750 -x751 x752 -x753 x754 x755 -x756 -x757 x758 -x759 x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 x774 -x775 -x776 x777 -x778 -x779 x780 -x781 x782 -x783 x784 -x785 x786 -x787 x788 -x789 x790 -x791 x792 -x793 x794 -x795 x796 -x797 x798 x799 -x800 -x801 x802 -x803 x804 -x805 x806 -x807 x808 -x809 x810 -x811 x812 -x813 x814 x815 -x816 -x817 x818 -x819 x820 -x821 x822 -x823 x824 -x825 x826 -x827 x828 -x829 x830 -x831 x832 -x833 x834 -x835 -x836 -x837 x838 x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 x854 -x855 x856 x857 -x858 -x859 x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 x874 -x875 x876 x877 -x878 -x879 x880 -x881 x882 -x883 x884 -x885 x886 -x887 x888 -x889 x890 -x891 x892 -x893 x894 x895 -x896 -x897 x898 -x899 -x900 -x901 x902 -x903 x904 -x905 x906 -x907 x908 -x909 x910 -x911 x912 x913 -x914 -x915 x916 -x917 x918 -x919 x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 x934 -x935 x936 x937 -x938 -x939 x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 x956 x957 -x958 -x959 x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 x974 -x975 x976 x977 -x978 -x979 x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 x994 -x995 x996 x997 -x998 -x999 x1000 -x1001 x1002 -x1003 x1004 -x1005 x1006 -x1007 x1008 -x1009 x1010 -x1011 x1012 -x1013 x1014 x1015 -x1016 -x1017 x1018 -x1019 x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 x1034 -x1035 x1036 x1037 -x1038 -x1039 x1040 -x1041 x1042 -x1043 x1044 -x1045 x1046 -x1047 x1048 -x1049 x1050 -x1051 x1052 -x1053 x1054 -x1055 x1056 -x1057 x1058 x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 x1074 -x1075 x1076 x1077 -x1078 -x1079 x1080 -x1081 x1082 -x1083 x1084 -x1085 x1086 -x1087 x1088 -x1089 x1090 -x1091 x1092 -x1093 x1094 x1095 -x1096 -x1097 x1098 -x1099 x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 x1116 x1117 -x1118 -x1119 x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 x1134 -x1135 x1136 x1137 -x1138 -x1139 x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 x1154 -x1155 -x1156 x1157 -x1158 -x1159 x1160 -x1161 x1162 -x1163 x1164 -x1165 x1166 -x1167 x1168 -x1169 x1170 -x1171 x1172 -x1173 x1174 x1175 -x1176 -x1177 x1178 -x1179 x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 x1194 -x1195 x1196 x1197 -x1198 -x1199 x1200 -x1201 x1202 -x1203 x1204 -x1205 x1206 -x1207 x1208 -x1209 x1210 -x1211 x1212 x1213 -x1214 -x1215 x1216 -x1217 x1218 -x1219 x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 x1234 -x1235 x1236 x1237 -x1238 -x1239 x1240 -x1241 x1242 -x1243 x1244 -x1245 x1246 -x1247 x1248 -x1249 x1250 -x1251 x1252 -x1253 x1254 x1255 -x1256 -x1257 x1258 -x1259 x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 x1274 -x1275 -x1276 x1277 -x1278 -x1279 x1280 -x1281 x1282 -x1283 x1284 -x1285 x1286 -x1287 x1288 -x1289 x1290 -x1291 x1292 -x1293 x1294 x1295 -x1296 -x1297 x1298 -x1299 x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 x1314 -x1315 -x1316 x1317 -x1318 -x1319 x1320 -x1321 x1322 -x1323 x1324 -x1325 x1326 -x1327 x1328 -x1329 x1330 -x1331 x1332 x1333 -x1334 -x1335 x1336 -x1337 x1338 -x1339 x1340 -x1341 x1342 -x1343 x1344 -x1345 x1346 -x1347 x1348 -x1349 x1350 -x1351 x1352 -x1353 -x1354 x1355 -x1356 -x1357 x1358 -x1359 x1360 -x1361 x1362 -x1363 x1364 -x1365 x1366 -x1367 x1368 -x1369 x1370 -x1371 x1372 x1373 -x1374 -x1375 x1376 -x1377 x1378 -x1379 x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 x1394 -x1395 -x1396 -x1397 -x1398 x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 x1414 -x1415 x1416 x1417 -x1418 -x1419 x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 x1434 -x1435 x1436 x1437 -x1438 -x1439 x1440 -x1441 x1442 -x1443 x1444 -x1445 x1446 -x1447 x1448 -x1449 x1450 -x1451 x1452 -x1453 x1454 x1455 -x1456 -x1457 x1458 -x1459 x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 x1474 -x1475 x1476 x1477 -x1478 -x1479 x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 x1494 -x1495 x1496 x1497 -x1498 -x1499 x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 x1514 -x1515 x1516 x1517 -x1518 -x1519 x1520 -x1521 x1522 -x1523 x1524 -x1525 x1526 -x1527 x1528 -x1529 x1530 -x1531 x1532 -x1533 x1534 x1535 -x1536 -x1537 x1538 -x1539 x1540 -x1541 x1542 -x1543 x1544 -x1545 x1546 -x1547 x1548 -x1549 x1550 -x1551 x1552 x1553 -x1554 -x1555 x1556 -x1557 x1558 -x1559 x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 x1574 -x1575 x1576 x1577 -x1578 -x1579 x1580 -x1581 x1582 -x1583 x1584 -x1585 x1586 -x1587 x1588 -x1589 x1590 -x1591 x1592 -x1593 x1594 x1595 -x1596 -x1597 x1598 -x1599 x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 x1614 -x1615 x1616 x1617 -x1618 -x1619 x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 x1634 -x1635 x1636 x1637 -x1638 -x1639 x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 x1654 -x1655 x1656 x1657 -x1658 -x1659 x1660 -x1661 x1662 -x1663 x1664 -x1665 x1666 -x1667 x1668 -x1669 x1670 -x1671 x1672 -x1673 -x1674 x1675 -x1676 -x1677 x1678 -x1679 x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 x1694 -x1695 x1696 x1697 -x1698 -x1699 x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 x1716 x1717 -x1718 -x1719 x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 x1734 -x1735 x1736 x1737 -x1738 -x1739 x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 x1754 -x1755 x1756 x1757 -x1758 -x1759 x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 x1774 -x1775 x1776 x1777 -x1778 -x1779 x1780 -x1781 x1782 -x1783 x1784 -x1785 x1786 -x1787 x1788 -x1789 x1790 -x1791 x1792 -x1793 x1794 x1795 -x1796 -x1797 x1798 -x1799 x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 x1814 -x1815 x1816 x1817 -x1818 -x1819 x1820 -x1821 x1822 -x1823 x1824 -x1825 x1826 -x1827 x1828 -x1829 x1830 -x1831 x1832 x1833 -x1834 -x1835 x1836 -x1837 x1838 -x1839 x1840 -x1841 x1842 -x1843 x1844 -x1845 x1846 -x1847 x1848 -x1849 x1850 -x1851 x1852 x1853 -x1854 -x1855 x1856 -x1857 x1858 -x1859 x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 x1874 -x1875 x1876 x1877 -x1878 -x1879 x1880 -x1881 x1882 -x1883 x1884 -x1885 x1886 -x1887 x1888 -x1889 x1890 -x1891 x1892 x1893 -x1894 -x1895 x1896 -x1897 x1898 -x1899 x1900 -x1901 x1902 -x1903 x1904 -x1905 x1906 -x1907 x1908 -x1909 x1910 -x1911 x1912 -x1913 x1914 x1915 -x1916 -x1917 x1918 -x1919 -x1920 -x1921 x1922 -x1923 x1924 -x1925 x1926 -x1927 x1928 -x1929 x1930 -x1931 x1932 -x1933 x1934 -x1935 x1936 -x1937 x1938 x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 x1954 -x1955 x1956 x1957 -x1958 -x1959 x1960 -x1961 x1962 -x1963 x1964 -x1965 x1966 -x1967 x1968 -x1969 x1970 -x1971 x1972 x1973 -x1974 -x1975 x1976 -x1977 x1978 -x1979 x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 x1996 x1997 -x1998 -x1999 x2000 -x2001 x2002 -x2003 x2004 -x2005 x2006 -x2007 x2008 -x2009 x2010 -x2011 x2012 -x2013 x2014 -x2015 x2016 -x2017 x2018 x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 x2034 -x2035 x2036 x2037 -x2038 -x2039 x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 x2054 -x2055 x2056 x2057 -x2058 -x2059 x2060 -x2061 x2062 -x2063 x2064 -x2065 x2066 -x2067 x2068 -x2069 x2070 -x2071 x2072 -x2073 x2074 x2075 -x2076 -x2077 x2078 -x2079 x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 x2094 -x2095 x2096 x2097 -x2098 -x2099 x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 x2114 -x2115 x2116 x2117 -x2118 -x2119 x2120 -x2121 x2122 -x2123 x2124 -x2125 x2126 -x2127 x2128 -x2129 x2130 -x2131 x2132 -x2133 x2134 x2135 -x2136 -x2137 x2138 -x2139 x2140 -x2141 x2142 -x2143 x2144 -x2145 x2146 -x2147 x2148 -x2149 x2150 -x2151 x2152 -x2153 x2154 -x2155 x2156 -x2157 x2158 x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 x2174 -x2175 x2176 x2177 -x2178 -x2179 x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 x2194 -x2195 x2196 x2197 -x2198 -x2199 x2200 -x2201 x2202 -x2203 x2204 -x2205 x2206 -x2207 x2208 -x2209 x2210 -x2211 x2212 -x2213 x2214 x2215 -x2216 -x2217 x2218 -x2219 x2220 -x2221 x2222 -x2223 x2224 -x2225 x2226 -x2227 x2228 -x2229 x2230 -x2231 x2232 -x2233 x2234 x2235 -x2236 -x2237 x2238 -x2239 x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 x2256 x2257 -x2258 -x2259 x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 x2276 x2277 -x2278 -x2279 x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 x2294 -x2295 -x2296 x2297 -x2298 -x2299 x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 x2316 x2317 -x2318 -x2319 x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 x2336 x2337 -x2338 -x2339 x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 x2356 x2357 -x2358 -x2359 x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 x2376 x2377 -x2378 -x2379 x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 x2394 -x2395 x2396 x2397 -x2398 -x2399 x2400 -x2401 x2402 -x2403 x2404 -x2405 x2406 -x2407 x2408 -x2409 x2410 -x2411 x2412 -x2413 x2414 -x2415 x2416 -x2417 x2418 x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 x2434 -x2435 x2436 x2437 -x2438 -x2439 x2440 -x2441 x2442 -x2443 x2444 -x2445 x2446 -x2447 x2448 -x2449 x2450 -x2451 x2452 -x2453 x2454 x2455 -x2456 -x2457 x2458 -x2459 x2460

OK	890

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: 64096 MiB (19472 MiB free)
  memory of node 1: 64473 MiB (50849 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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


[startup+0.100099 s]*
/proc/loadavg: 4.31 4.21 4.14 5/250 119522
/proc/meminfo: memFree=72005524/131655788 swapFree=131070400/131071996
[pid=119521] ppid=119518 vsize=41988 memory=11796 CPUtime=0.1 cores=4,6
/proc/119521/stat : 119521 (roundingsat) R 119518 119521 117307 0 -1 4194304 1682 0 0 0 8 2 0 0 20 0 1 0 12909297 42995712 2949 134679101440 4194304 8254037 140724795960752 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 35037184 140724795966300 140724795966562 140724795966562 140724795973577 0
/proc/119521/statm: 10497 2949 1661 992 0 2355 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 41988 KiB
Current children cumulated memory: 11796 KiB

[startup+0.214398 s]*
/proc/loadavg: 4.31 4.21 4.14 5/250 119522
/proc/meminfo: memFree=71988824/131655788 swapFree=131070400/131071996
[pid=119521] ppid=119518 vsize=47848 memory=17912 CPUtime=0.22 cores=4,6
/proc/119521/stat : 119521 (roundingsat) R 119518 119521 117307 0 -1 4194304 4507 0 0 0 19 3 0 0 20 0 1 0 12909297 48996352 4478 134679101440 4194304 8254037 140724795960752 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 35037184 140724795966300 140724795966562 140724795966562 140724795973577 0
/proc/119521/statm: 11962 4478 1724 992 0 3820 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 47848 KiB
Current children cumulated memory: 17912 KiB

[startup+0.314351 s]*
/proc/loadavg: 4.31 4.21 4.14 5/250 119522
/proc/meminfo: memFree=71980744/131655788 swapFree=131070400/131071996
[pid=119521] ppid=119518 vsize=47848 memory=17912 CPUtime=0.31 cores=4,6
/proc/119521/stat : 119521 (roundingsat) R 119518 119521 117307 0 -1 4194304 4509 0 0 0 28 3 0 0 20 0 1 0 12909297 48996352 4478 134679101440 4194304 8254037 140724795960752 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 35037184 140724795966300 140724795966562 140724795966562 140724795973577 0
/proc/119521/statm: 11962 4478 1724 992 0 3820 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 47848 KiB
Current children cumulated memory: 17912 KiB

[startup+0.700334 s]
/proc/loadavg: 4.31 4.21 4.14 5/250 119522
/proc/meminfo: memFree=71978448/131655788 swapFree=131070400/131071996
[pid=119521] ppid=119518 vsize=47848 memory=20836 CPUtime=0.68 cores=4,6
/proc/119521/stat : 119521 (roundingsat) R 119518 119521 117307 0 -1 4194304 4641 0 0 0 63 5 0 0 20 0 1 0 12909297 48996352 5209 134679101440 4194304 8254037 140724795960752 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 35037184 140724795966300 140724795966562 140724795966562 140724795973577 0
/proc/119521/statm: 11962 5209 1819 992 0 3820 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 47848 KiB
Current children cumulated memory: 20836 KiB

[startup+1.50033 s]
/proc/loadavg: 4.31 4.21 4.14 5/250 119522
/proc/meminfo: memFree=71957880/131655788 swapFree=131070400/131071996
[pid=119521] ppid=119518 vsize=59744 memory=32360 CPUtime=1.48 cores=4,6
/proc/119521/stat : 119521 (roundingsat) R 119518 119521 117307 0 -1 4194304 6471 0 0 0 135 13 0 0 20 0 1 0 12909297 61177856 8090 134679101440 4194304 8254037 140724795960752 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 35037184 140724795966300 140724795966562 140724795966562 140724795973577 0
/proc/119521/statm: 14936 8090 1819 992 0 6794 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 59744 KiB
Current children cumulated memory: 32360 KiB

[startup+3.11395 s]
/proc/loadavg: 4.37 4.23 4.14 5/250 119523
/proc/meminfo: memFree=71818152/131655788 swapFree=131070400/131071996
[pid=119521] ppid=119518 vsize=80436 memory=49180 CPUtime=3.1 cores=4,6
/proc/119521/stat : 119521 (roundingsat) R 119518 119521 117307 0 -1 4194304 10688 0 0 0 275 35 0 0 20 0 1 0 12909297 82366464 12295 134679101440 4194304 8254037 140724795960752 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 35037184 140724795966300 140724795966562 140724795966562 140724795973577 0
/proc/119521/statm: 20109 12295 1893 992 0 11967 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 80436 KiB
Current children cumulated memory: 49180 KiB

[startup+6.30033 s]
/proc/loadavg: 4.37 4.23 4.14 5/250 119523
/proc/meminfo: memFree=71738836/131655788 swapFree=131070400/131071996
[pid=119521] ppid=119518 vsize=106240 memory=67260 CPUtime=6.27 cores=4,6
/proc/119521/stat : 119521 (roundingsat) R 119518 119521 117307 0 -1 4194304 14179 0 0 0 579 48 0 0 20 0 1 0 12909297 108789760 16815 134679101440 4194304 8254037 140724795960752 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 35037184 140724795966300 140724795966562 140724795966562 140724795973577 0
/proc/119521/statm: 26560 16815 1893 992 0 18418 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 106240 KiB
Current children cumulated memory: 67260 KiB

[startup+12.7003 s]
/proc/loadavg: 4.42 4.24 4.15 5/250 119524
/proc/meminfo: memFree=71531828/131655788 swapFree=131070400/131071996
[pid=119521] ppid=119518 vsize=159608 memory=113524 CPUtime=12.65 cores=4,6
/proc/119521/stat : 119521 (roundingsat) R 119518 119521 117307 0 -1 4194304 23322 0 0 0 1194 71 0 0 20 0 1 0 12909297 163438592 28381 134679101440 4194304 8254037 140724795960752 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 35037184 140724795966300 140724795966562 140724795966562 140724795973577 0
/proc/119521/statm: 39902 28381 1909 992 0 31760 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 159608 KiB
Current children cumulated memory: 113524 KiB

[startup+25.5004 s]
/proc/loadavg: 4.63 4.30 4.17 5/250 119527
/proc/meminfo: memFree=71296976/131655788 swapFree=131070400/131071996
[pid=119521] ppid=119518 vsize=179620 memory=135244 CPUtime=25.42 cores=4,6
/proc/119521/stat : 119521 (roundingsat) R 119518 119521 117307 0 -1 4194304 27788 0 0 0 2441 101 0 0 20 0 1 0 12909297 183930880 33811 134679101440 4194304 8254037 140724795960752 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 35037184 140724795966300 140724795966562 140724795966562 140724795973577 0
/proc/119521/statm: 44905 33811 1909 992 0 36763 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 179620 KiB
Current children cumulated memory: 135244 KiB

[startup+51.1142 s]
/proc/loadavg: 4.47 4.29 4.17 5/249 119622
/proc/meminfo: memFree=69824740/131655788 swapFree=131070400/131071996
[pid=119521] ppid=119518 vsize=236504 memory=174800 CPUtime=50.96 cores=4,6
/proc/119521/stat : 119521 (roundingsat) R 119518 119521 117307 0 -1 4194304 34141 0 0 0 4945 151 0 0 20 0 1 0 12909297 242180096 43700 134679101440 4194304 8254037 140724795960752 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 35037184 140724795966300 140724795966562 140724795966562 140724795973577 0
/proc/119521/statm: 59126 43700 1909 992 0 50984 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 236504 KiB
Current children cumulated memory: 174800 KiB

[startup+102.3 s]
/proc/loadavg: 4.30 4.27 4.17 5/264 119691
/proc/meminfo: memFree=67388984/131655788 swapFree=131070400/131071996
[pid=119521] ppid=119518 vsize=239920 memory=183580 CPUtime=102.01 cores=4,6
/proc/119521/stat : 119521 (roundingsat) R 119518 119521 117307 0 -1 4194304 34934 0 0 0 9961 240 0 0 20 0 1 0 12909297 245678080 45895 134679101440 4194304 8254037 140724795960752 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 35037184 140724795966300 140724795966562 140724795966562 140724795973577 0
/proc/119521/statm: 59980 45895 1909 992 0 51838 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 239920 KiB
Current children cumulated memory: 183580 KiB

[startup+162.3 s]
/proc/loadavg: 4.20 4.25 4.17 9/264 119703
/proc/meminfo: memFree=62461824/131655788 swapFree=131070400/131071996
[pid=119521] ppid=119518 vsize=297504 memory=224804 CPUtime=161.81 cores=4,6
/proc/119521/stat : 119521 (roundingsat) R 119518 119521 117307 0 -1 4194304 37263 0 0 0 15858 323 0 0 20 0 1 0 12909297 304644096 56201 134679101440 4194304 8254037 140724795960752 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 35037184 140724795966300 140724795966562 140724795966562 140724795973577 0
/proc/119521/statm: 74376 56201 1909 992 0 66234 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 297504 KiB
Current children cumulated memory: 224804 KiB

[startup+222.3 s]
/proc/loadavg: 4.23 4.25 4.18 5/274 119724
/proc/meminfo: memFree=57416656/131655788 swapFree=131070400/131071996
[pid=119521] ppid=119518 vsize=304124 memory=230716 CPUtime=221.65 cores=4,6
/proc/119521/stat : 119521 (roundingsat) R 119518 119521 117307 0 -1 4194304 38745 0 0 0 21773 392 0 0 20 0 1 0 12909297 311422976 57679 134679101440 4194304 8254037 140724795960752 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 35037184 140724795966300 140724795966562 140724795966562 140724795973577 0
/proc/119521/statm: 76031 57679 1909 992 0 67889 0
Current children cumulated CPU time: 221.65 s
Current children cumulated vsize: 304124 KiB
Current children cumulated memory: 230716 KiB

[startup+282.3 s]
/proc/loadavg: 4.23 4.25 4.18 5/275 119735
/proc/meminfo: memFree=52503380/131655788 swapFree=131070400/131071996
[pid=119521] ppid=119518 vsize=307780 memory=233848 CPUtime=281.51 cores=4,6
/proc/119521/stat : 119521 (roundingsat) R 119518 119521 117307 0 -1 4194304 39643 0 0 0 27697 454 0 0 20 0 1 0 12909297 315166720 58462 134679101440 4194304 8254037 140724795960752 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 35037184 140724795966300 140724795966562 140724795966562 140724795973577 0
/proc/119521/statm: 76945 58462 1909 992 0 68803 0
Current children cumulated CPU time: 281.51 s
Current children cumulated vsize: 307780 KiB
Current children cumulated memory: 233848 KiB

[startup+342.3 s]
/proc/loadavg: 4.47 4.31 4.20 5/275 119746
/proc/meminfo: memFree=47614764/131655788 swapFree=131070400/131071996
[pid=119521] ppid=119518 vsize=312536 memory=238520 CPUtime=341.36 cores=4,6
/proc/119521/stat : 119521 (roundingsat) R 119518 119521 117307 0 -1 4194304 40815 0 0 0 33621 515 0 0 20 0 1 0 12909297 320036864 59630 134679101440 4194304 8254037 140724795960752 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 35037184 140724795966300 140724795966562 140724795966562 140724795973577 0
/proc/119521/statm: 78134 59630 1909 992 0 69992 0
Current children cumulated CPU time: 341.36 s
Current children cumulated vsize: 312536 KiB
Current children cumulated memory: 238520 KiB

[startup+402.3 s]
/proc/loadavg: 4.23 4.26 4.19 5/273 119761
/proc/meminfo: memFree=42921476/131655788 swapFree=131070400/131071996
[pid=119521] ppid=119518 vsize=314708 memory=240764 CPUtime=401.21 cores=4,6
/proc/119521/stat : 119521 (roundingsat) R 119518 119521 117307 0 -1 4194304 41463 0 0 0 39551 570 0 0 20 0 1 0 12909297 322260992 60191 134679101440 4194304 8254037 140724795960752 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 35037184 140724795966300 140724795966562 140724795966562 140724795973577 0
/proc/119521/statm: 78677 60191 1909 992 0 70535 0
Current children cumulated CPU time: 401.21 s
Current children cumulated vsize: 314708 KiB
Current children cumulated memory: 240764 KiB

[startup+462.3 s]
/proc/loadavg: 4.27 4.27 4.20 5/273 119773
/proc/meminfo: memFree=38381040/131655788 swapFree=131070400/131071996
[pid=119521] ppid=119518 vsize=315152 memory=241292 CPUtime=461.06 cores=4,6
/proc/119521/stat : 119521 (roundingsat) R 119518 119521 117307 0 -1 4194304 41583 0 0 0 45481 625 0 0 20 0 1 0 12909297 322715648 60323 134679101440 4194304 8254037 140724795960752 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 35037184 140724795966300 140724795966562 140724795966562 140724795973577 0

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

Current children cumulated memory: 407040 KiB

[startup+2862.3 s]
/proc/loadavg: 4.44 4.31 4.29 5/272 121475
/proc/meminfo: memFree=1715932/131655788 swapFree=131056832/131071996
[pid=119521] ppid=119518 vsize=584720 memory=446416 CPUtime=2855.16 cores=4,6
/proc/119521/stat : 119521 (roundingsat) R 119518 119521 117307 0 -1 4194304 60594 0 0 0 283359 2157 0 0 20 0 1 0 12909297 598753280 111604 134679101440 4194304 8254037 140724795960752 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 35037184 140724795966300 140724795966562 140724795966562 140724795973577 0
/proc/119521/statm: 146180 111604 1909 992 0 138038 0
Current children cumulated CPU time: 2855.16 s
Current children cumulated vsize: 584720 KiB
Current children cumulated memory: 446416 KiB

[startup+2922.3 s]
/proc/loadavg: 4.26 4.28 4.28 5/272 121486
/proc/meminfo: memFree=598072/131655788 swapFree=131056832/131071996
[pid=119521] ppid=119518 vsize=590044 memory=471904 CPUtime=2915 cores=4,6
/proc/119521/stat : 119521 (roundingsat) R 119518 119521 117307 0 -1 4194304 61932 0 0 0 289312 2188 0 0 20 0 1 0 12909297 604205056 117976 134679101440 4194304 8254037 140724795960752 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 35037184 140724795966300 140724795966562 140724795966562 140724795973577 0
/proc/119521/statm: 147511 117976 1909 992 0 139369 0
Current children cumulated CPU time: 2915 s
Current children cumulated vsize: 590044 KiB
Current children cumulated memory: 471904 KiB

[startup+2982.3 s]
/proc/loadavg: 4.15 4.24 4.27 5/272 121496
/proc/meminfo: memFree=609176/131655788 swapFree=131056832/131071996
[pid=119521] ppid=119518 vsize=590044 memory=471916 CPUtime=2974.83 cores=4,6
/proc/119521/stat : 119521 (roundingsat) R 119518 119521 117307 0 -1 4194304 62013 0 0 0 295262 2221 0 0 20 0 1 0 12909297 604205056 117979 134679101440 4194304 8254037 140724795960752 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 35037184 140724795966300 140724795966562 140724795966562 140724795973577 0
/proc/119521/statm: 147511 117979 1909 992 0 139369 0
Current children cumulated CPU time: 2974.83 s
Current children cumulated vsize: 590044 KiB
Current children cumulated memory: 471916 KiB

[startup+3042.3 s]
/proc/loadavg: 4.13 4.21 4.26 5/260 121508
/proc/meminfo: memFree=524652/131655788 swapFree=131056832/131071996
[pid=119521] ppid=119518 vsize=590880 memory=472636 CPUtime=3034.66 cores=4,6
/proc/119521/stat : 119521 (roundingsat) R 119518 119521 117307 0 -1 4194304 62402 0 0 0 301213 2253 0 0 20 0 1 0 12909297 605061120 118159 134679101440 4194304 8254037 140724795960752 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 35037184 140724795966300 140724795966562 140724795966562 140724795973577 0
/proc/119521/statm: 147720 118159 1909 992 0 139578 0
Current children cumulated CPU time: 3034.66 s
Current children cumulated vsize: 590880 KiB
Current children cumulated memory: 472636 KiB

[startup+3102.3 s]
/proc/loadavg: 4.10 4.19 4.24 5/255 121518
/proc/meminfo: memFree=710688/131655788 swapFree=131056832/131071996
[pid=119521] ppid=119518 vsize=590880 memory=472812 CPUtime=3094.49 cores=4,6
/proc/119521/stat : 119521 (roundingsat) R 119518 119521 117307 0 -1 4194304 62566 0 0 0 307160 2289 0 0 20 0 1 0 12909297 605061120 118203 134679101440 4194304 8254037 140724795960752 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 35037184 140724795966300 140724795966562 140724795966562 140724795973577 0
/proc/119521/statm: 147720 118203 1909 992 0 139578 0
Current children cumulated CPU time: 3094.49 s
Current children cumulated vsize: 590880 KiB
Current children cumulated memory: 472812 KiB

[startup+3162.3 s]
/proc/loadavg: 4.08 4.16 4.23 5/250 121528
/proc/meminfo: memFree=561320/131655788 swapFree=131056832/131071996
[pid=119521] ppid=119518 vsize=590880 memory=472812 CPUtime=3154.33 cores=4,6
/proc/119521/stat : 119521 (roundingsat) R 119518 119521 117307 0 -1 4194304 62730 0 0 0 313110 2323 0 0 20 0 1 0 12909297 605061120 118203 134679101440 4194304 8254037 140724795960752 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 35037184 140724795966300 140724795966562 140724795966562 140724795973577 0
/proc/119521/statm: 147720 118203 1909 992 0 139578 0
Current children cumulated CPU time: 3154.33 s
Current children cumulated vsize: 590880 KiB
Current children cumulated memory: 472812 KiB

[startup+3222.3 s]
/proc/loadavg: 4.06 4.15 4.22 5/253 121548
/proc/meminfo: memFree=502240/131655788 swapFree=131056832/131071996
[pid=119521] ppid=119518 vsize=590880 memory=472812 CPUtime=3214.16 cores=4,6
/proc/119521/stat : 119521 (roundingsat) R 119518 119521 117307 0 -1 4194304 62894 0 0 0 319063 2353 0 0 20 0 1 0 12909297 605061120 118203 134679101440 4194304 8254037 140724795960752 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 35037184 140724795966300 140724795966562 140724795966562 140724795973577 0
/proc/119521/statm: 147720 118203 1909 992 0 139578 0
Current children cumulated CPU time: 3214.16 s
Current children cumulated vsize: 590880 KiB
Current children cumulated memory: 472812 KiB

[startup+3282.3 s]
/proc/loadavg: 4.19 4.17 4.22 5/256 121594
/proc/meminfo: memFree=665676/131655788 swapFree=131056576/131071996
[pid=119521] ppid=119518 vsize=590880 memory=472812 CPUtime=3274 cores=4,6
/proc/119521/stat : 119521 (roundingsat) R 119518 119521 117307 0 -1 4194304 63058 0 0 0 325017 2383 0 0 20 0 1 0 12909297 605061120 118203 134679101440 4194304 8254037 140724795960752 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 35037184 140724795966300 140724795966562 140724795966562 140724795973577 0
/proc/119521/statm: 147720 118203 1909 992 0 139578 0
Current children cumulated CPU time: 3274 s
Current children cumulated vsize: 590880 KiB
Current children cumulated memory: 472812 KiB

[startup+3342.3 s]
/proc/loadavg: 4.40 4.23 4.24 5/267 121861
/proc/meminfo: memFree=19137296/131655788 swapFree=131047360/131071996
[pid=119521] ppid=119518 vsize=591104 memory=472812 CPUtime=3333.82 cores=4,6
/proc/119521/stat : 119521 (roundingsat) R 119518 119521 117307 0 -1 4194304 63273 0 0 0 330972 2410 0 0 20 0 1 0 12909297 605290496 118203 134679101440 4194304 8254037 140724795960752 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 35037184 140724795966300 140724795966562 140724795966562 140724795973577 0
/proc/119521/statm: 147776 118203 1909 992 0 139634 0
Current children cumulated CPU time: 3333.82 s
Current children cumulated vsize: 591104 KiB
Current children cumulated memory: 472812 KiB

[startup+3402.3 s]
/proc/loadavg: 4.21 4.20 4.22 6/268 121903
/proc/meminfo: memFree=17906980/131655788 swapFree=131047360/131071996
[pid=119521] ppid=119518 vsize=593556 memory=475036 CPUtime=3393.66 cores=4,6
/proc/119521/stat : 119521 (roundingsat) R 119518 119521 117307 0 -1 4194304 63965 0 0 0 336932 2434 0 0 20 0 1 0 12909297 607801344 118759 134679101440 4194304 8254037 140724795960752 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 35037184 140724795966300 140724795966562 140724795966562 140724795973577 0
/proc/119521/statm: 148389 118759 1909 992 0 140247 0
Current children cumulated CPU time: 3393.66 s
Current children cumulated vsize: 593556 KiB
Current children cumulated memory: 475036 KiB

[startup+3462.3 s]
/proc/loadavg: 4.14 4.19 4.22 5/267 122172
/proc/meminfo: memFree=17266752/131655788 swapFree=131047360/131071996
[pid=119521] ppid=119518 vsize=596020 memory=477728 CPUtime=3453.49 cores=4,6
/proc/119521/stat : 119521 (roundingsat) R 119518 119521 117307 0 -1 4194304 64779 0 0 0 342880 2469 0 0 20 0 1 0 12909297 610324480 119432 134679101440 4194304 8254037 140724795960752 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 35037184 140724795966300 140724795966562 140724795966562 140724795973577 0
/proc/119521/statm: 149005 119432 1909 992 0 140863 0
Current children cumulated CPU time: 3453.49 s
Current children cumulated vsize: 596020 KiB
Current children cumulated memory: 477728 KiB

[startup+3522.3 s]
/proc/loadavg: 4.15 4.18 4.21 5/266 122183
/proc/meminfo: memFree=16912528/131655788 swapFree=131047360/131071996
[pid=119521] ppid=119518 vsize=596020 memory=477728 CPUtime=3513.33 cores=4,6
/proc/119521/stat : 119521 (roundingsat) R 119518 119521 117307 0 -1 4194304 64943 0 0 0 348834 2499 0 0 20 0 1 0 12909297 610324480 119432 134679101440 4194304 8254037 140724795960752 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 35037184 140724795966300 140724795966562 140724795966562 140724795973577 0
/proc/119521/statm: 149005 119432 1909 992 0 140863 0
Current children cumulated CPU time: 3513.33 s
Current children cumulated vsize: 596020 KiB
Current children cumulated memory: 477728 KiB

[startup+3582.3 s]
/proc/loadavg: 4.11 4.16 4.20 5/265 122193
/proc/meminfo: memFree=16419988/131655788 swapFree=131047360/131071996
[pid=119521] ppid=119518 vsize=596020 memory=477784 CPUtime=3573.18 cores=4,6
/proc/119521/stat : 119521 (roundingsat) R 119518 119521 117307 0 -1 4194304 65121 0 0 0 354769 2549 0 0 20 0 1 0 12909297 610324480 119446 134679101440 4194304 8254037 140724795960752 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 35037184 140724795966300 140724795966562 140724795966562 140724795973577 0
/proc/119521/statm: 149005 119446 1909 992 0 140863 0
Current children cumulated CPU time: 3573.18 s
Current children cumulated vsize: 596020 KiB
Current children cumulated memory: 477784 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.2 s]
/proc/loadavg: 4.13 4.16 4.20 5/259 122198
/proc/meminfo: memFree=16236028/131655788 swapFree=131047360/131071996
[pid=119521] ppid=119518 vsize=596020 memory=477784 CPUtime=3600.01 cores=4,6
/proc/119521/stat : 119521 (roundingsat) R 119518 119521 117307 0 -1 4194304 65203 0 0 0 357436 2565 0 0 20 0 1 0 12909297 610324480 119446 134679101440 4194304 8254037 140724795960752 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 35037184 140724795966300 140724795966562 140724795966562 140724795973577 0
/proc/119521/statm: 149005 119446 1909 992 0 140863 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 596020 KiB
Current children cumulated memory: 477784 KiB

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

[startup+3609.23 s]
# the end of solver process 119521 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=3574.36 s, system=25.6688 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 0

Real time (s): 3609.23
CPU time (s): 3600.03
CPU user time (s): 3574.36
CPU system time (s): 25.6688
CPU usage (%): 99.7451
Max. virtual memory (cumulated for all children) (KiB): 596020
Max. memory (cumulated for all children) (KiB): 477784

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3574.36
system time used= 25.6688
maximum resident set size= 478420
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 65217
page faults= 0
swaps= 0
block input operations= 0
block output operations= 16559432
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 843
involuntary context switches= 5047


# summary of solver processes directly reported to runsolver:
#   pid: 119521
#   total CPU time (s): 3600.03
#   total CPU user time (s): 3574.36
#   total CPU system time (s): 25.6688

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.7961 second user time and 41.4447 second system time

The end

Begin job on nodeC006 at 2024-07-23 23:13:20
IDJOB=4456701
IDBENCH=147037
IDSOLVER=3085
FILE ID=nodeC006/4456701-1721769200
RUNJOBID= nodeC006-1721765589-117318
SLURM_JOB_ID= 7770663
Free space on /tmp= 723752 MiB

SOLVER NAME= RoundingSat log
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii16d1.opb
COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=CERTNAME --lp-cut-gomory=0 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4456701-1721769200/watcher-4456701-1721769200 -o /tmp/evaluation-result-4456701-1721769200/solver-4456701-1721769200 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721765589-117318 --watchdog 3760  roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4456701-1721769200 --lp-cut-gomory=0 HOME/instance-4456701-1721769200.opb

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

MD5SUM BENCH= 0fb7b9dc188f1b53ec311352ea5d5560
RANDOM SEED=1498313435

nodeC006.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		: 3589.999
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.06
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		: 1197.097
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.40
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.229
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.06
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.152
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.40
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		: 1795.677
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.06
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		: 3653.302
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.40
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.097
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.06
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.308
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.40
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        72011836 kB
MemAvailable:   127406724 kB
Buffers:          181116 kB
Cached:         55948036 kB
SwapCached:          108 kB
Active:          1099604 kB
Inactive:       57832348 kB
Active(anon):       1492 kB
Inactive(anon):  2838932 kB
Active(file):    1098112 kB
Inactive(file): 54993416 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131070400 kB
Dirty:             86320 kB
Writeback:             0 kB
AnonPages:       2802824 kB
Mapped:           108904 kB
Shmem:             37584 kB
KReclaimable:     287116 kB
Slab:             388932 kB
SReclaimable:     287116 kB
SUnreclaim:       101816 kB
KernelStack:        3984 kB
PageTables:        15176 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    3246592 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            16576 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2039808 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:      357192 kB
DirectMap2M:    45684736 kB
DirectMap1G:    90177536 kB

Free space on /tmp at the end= 723736 MiB
End job on nodeC006 at 2024-07-24 00:13:30