0.00/0.00	c RoundingSat 2
0.00/0.00	c branch 
0.00/0.00	c commit 
0.10/0.17	c #variables 2460 #constraints 17131
0.88/0.96	c bounds - >= 0 @ 0.130495
0.88/0.96	c bounds 1164 >= 0 @ 0.648051
0.88/0.96	c bounds 1164 >= 1 @ 0.649961
0.88/0.96	c bounds 1164 >= 2 @ 0.651651
0.88/0.96	c bounds 1164 >= 3 @ 0.653334
0.88/0.96	c bounds 1164 >= 4 @ 0.654998
0.88/0.96	c bounds 1164 >= 5 @ 0.65666
0.88/0.96	c bounds 1164 >= 6 @ 0.65733
0.88/0.96	c bounds 1164 >= 7 @ 0.659002
0.88/0.96	c bounds 1164 >= 8 @ 0.660673
0.88/0.96	c bounds 1164 >= 9 @ 0.662342
0.88/0.96	c bounds 1164 >= 10 @ 0.664025
0.88/0.96	c bounds 1164 >= 11 @ 0.665719
0.88/0.96	c bounds 1164 >= 12 @ 0.667438
0.88/0.96	c bounds 1164 >= 13 @ 0.66907
0.88/0.96	c bounds 1164 >= 14 @ 0.670699
0.88/0.96	c bounds 1164 >= 15 @ 0.672335
0.88/0.96	c bounds 1164 >= 16 @ 0.673968
0.88/0.96	c bounds 1164 >= 17 @ 0.675615
0.88/0.96	c bounds 1164 >= 18 @ 0.677287
0.88/0.96	c bounds 1164 >= 19 @ 0.678939
0.88/0.96	c bounds 1164 >= 20 @ 0.680586
0.88/0.96	c bounds 1164 >= 21 @ 0.682267
0.88/0.96	c bounds 1164 >= 22 @ 0.683944
0.88/0.96	c bounds 1164 >= 23 @ 0.685614
0.88/0.96	c bounds 1164 >= 24 @ 0.687306
0.88/0.96	c bounds 1164 >= 25 @ 0.688986
0.88/0.96	c bounds 1164 >= 26 @ 0.689722
0.88/0.96	c bounds 1164 >= 27 @ 0.69138
0.88/0.96	c bounds 1164 >= 28 @ 0.693081
0.88/0.96	c bounds 1164 >= 29 @ 0.694807
0.88/0.96	c bounds 1164 >= 30 @ 0.696456
0.88/0.96	c bounds 1164 >= 31 @ 0.698114
0.88/0.96	c bounds 1164 >= 32 @ 0.699769
0.88/0.96	c bounds 1164 >= 33 @ 0.70144
0.88/0.96	c bounds 1164 >= 34 @ 0.703127
0.88/0.96	c bounds 1164 >= 35 @ 0.704803
0.88/0.96	c bounds 1164 >= 36 @ 0.706479
0.88/0.96	c bounds 1164 >= 37 @ 0.708177
0.88/0.96	c bounds 1164 >= 38 @ 0.708888
0.88/0.96	c bounds 1164 >= 39 @ 0.710582
0.88/0.96	c bounds 1164 >= 40 @ 0.712266
0.88/0.96	c bounds 1164 >= 41 @ 0.713974
0.88/0.96	c bounds 1164 >= 42 @ 0.71568
0.88/0.96	c bounds 1164 >= 43 @ 0.716463
0.88/0.96	c bounds 1164 >= 44 @ 0.718153
0.88/0.96	c bounds 1164 >= 45 @ 0.719105
0.88/0.96	c bounds 1164 >= 46 @ 0.720955
0.88/0.96	c bounds 1164 >= 47 @ 0.722782
0.88/0.96	c bounds 1164 >= 48 @ 0.724594
0.88/0.96	c bounds 1164 >= 49 @ 0.726435
0.88/0.96	c bounds 1164 >= 50 @ 0.728271
0.88/0.96	c bounds 1164 >= 51 @ 0.730111
0.88/0.96	c bounds 1164 >= 52 @ 0.731968
0.88/0.96	c bounds 1164 >= 53 @ 0.733821
0.88/0.96	c bounds 1164 >= 54 @ 0.735674
0.88/0.96	c bounds 1164 >= 55 @ 0.73753
0.88/0.96	c bounds 1164 >= 56 @ 0.738438
0.88/0.96	c bounds 1164 >= 57 @ 0.740283
0.88/0.96	c bounds 1164 >= 58 @ 0.742162
0.88/0.96	c bounds 1164 >= 59 @ 0.744048
0.88/0.96	c bounds 1164 >= 60 @ 0.745918
0.88/0.96	c bounds 1164 >= 61 @ 0.747801
0.88/0.96	c bounds 1164 >= 62 @ 0.749709
0.88/0.96	c bounds 1164 >= 63 @ 0.750661
0.88/0.96	c bounds 1164 >= 64 @ 0.752494
0.88/0.96	c bounds 1164 >= 65 @ 0.754329
0.88/0.96	c bounds 1164 >= 66 @ 0.755232
0.88/0.96	c bounds 1164 >= 67 @ 0.757053
0.88/0.96	c bounds 1164 >= 68 @ 0.758928
0.88/0.96	c bounds 1164 >= 69 @ 0.7608
0.88/0.96	c bounds 1164 >= 70 @ 0.762664
0.88/0.96	c bounds 1164 >= 71 @ 0.764537
0.88/0.96	c bounds 1164 >= 72 @ 0.766434
0.88/0.96	c bounds 1164 >= 73 @ 0.768333
0.88/0.96	c bounds 1164 >= 74 @ 0.769277
0.88/0.96	c bounds 1164 >= 75 @ 0.770199
0.88/0.96	c bounds 1164 >= 76 @ 0.772078
0.88/0.96	c bounds 1164 >= 77 @ 0.773986
0.88/0.96	c bounds 1164 >= 78 @ 0.775899
0.88/0.96	c bounds 1164 >= 79 @ 0.777815
0.88/0.96	c bounds 1164 >= 80 @ 0.77882
0.88/0.96	c bounds 1164 >= 81 @ 0.779611
0.88/0.96	c bounds 1164 >= 82 @ 0.781282
0.88/0.96	c bounds 1164 >= 83 @ 0.783003
0.88/0.96	c bounds 1164 >= 84 @ 0.784717
0.88/0.96	c bounds 1164 >= 85 @ 0.78645
0.88/0.96	c bounds 1164 >= 86 @ 0.78819
0.88/0.96	c bounds 1164 >= 87 @ 0.789937
0.88/0.96	c bounds 1164 >= 88 @ 0.791833
0.88/0.96	c bounds 1164 >= 89 @ 0.793721
0.88/0.96	c bounds 1164 >= 90 @ 0.795641
0.88/0.96	c bounds 1164 >= 91 @ 0.797566
0.88/0.96	c bounds 1164 >= 92 @ 0.799484
0.88/0.96	c bounds 1164 >= 93 @ 0.801407
0.88/0.96	c bounds 1164 >= 94 @ 0.803335
0.88/0.96	c bounds 1164 >= 95 @ 0.805266
0.88/0.96	c bounds 1164 >= 96 @ 0.807203
0.88/0.96	c bounds 1164 >= 97 @ 0.809186
0.88/0.96	c bounds 1164 >= 98 @ 0.811081
0.88/0.96	c bounds 1164 >= 99 @ 0.812837
0.88/0.96	c bounds 1164 >= 100 @ 0.814584
0.88/0.96	c bounds 1164 >= 101 @ 0.816337
0.88/0.96	c bounds 1164 >= 102 @ 0.81808
0.88/0.96	c bounds 1164 >= 103 @ 0.819855
0.88/0.96	c bounds 1164 >= 104 @ 0.820686
0.88/0.96	c bounds 1164 >= 105 @ 0.82241
0.88/0.96	c bounds 1164 >= 106 @ 0.824189
0.88/0.96	c bounds 1164 >= 107 @ 0.825969
0.88/0.96	c bounds 1164 >= 108 @ 0.827756
0.88/0.96	c bounds 1164 >= 109 @ 0.828596
0.88/0.96	c bounds 1164 >= 110 @ 0.830366
0.88/0.96	c bounds 1164 >= 111 @ 0.832169
0.88/0.96	c bounds 1164 >= 112 @ 0.833969
0.88/0.96	c bounds 1164 >= 113 @ 0.835788
0.88/0.96	c bounds 1164 >= 114 @ 0.83762
0.88/0.96	c bounds 1164 >= 115 @ 0.838435
0.88/0.96	c bounds 1164 >= 116 @ 0.840166
0.88/0.96	c bounds 1164 >= 117 @ 0.841016
0.88/0.96	c bounds 1164 >= 118 @ 0.842698
0.88/0.96	c bounds 1164 >= 119 @ 0.844468
0.88/0.96	c bounds 1164 >= 120 @ 0.846245
0.88/0.96	c bounds 1164 >= 121 @ 0.84802
0.88/0.96	c bounds 1164 >= 122 @ 0.849805
0.88/0.96	c bounds 1164 >= 123 @ 0.851597
0.88/0.96	c bounds 1164 >= 124 @ 0.853405
0.88/0.96	c bounds 1164 >= 125 @ 0.855221
0.88/0.96	c bounds 1164 >= 126 @ 0.857035
0.88/0.96	c bounds 1164 >= 127 @ 0.858851
0.88/0.96	c bounds 1164 >= 128 @ 0.860688
0.88/0.96	c bounds 1164 >= 129 @ 0.862533
0.88/0.96	c bounds 1164 >= 130 @ 0.864379
0.88/0.96	c bounds 1164 >= 131 @ 0.865298
1.09/1.15	c bounds 1164 >= 132 @ 0.867047
1.09/1.15	c bounds 1164 >= 133 @ 0.868813
1.09/1.15	c bounds 1164 >= 134 @ 0.870604
1.09/1.15	c bounds 1164 >= 135 @ 0.872394
1.09/1.15	c bounds 1164 >= 136 @ 0.873228
1.09/1.15	c bounds 1164 >= 137 @ 0.875197
1.09/1.15	c bounds 1164 >= 138 @ 0.877175
1.09/1.15	c bounds 1164 >= 139 @ 0.879154
1.09/1.15	c bounds 1164 >= 140 @ 0.881151
1.09/1.15	c bounds 1164 >= 141 @ 0.883165
1.09/1.15	c bounds 1164 >= 142 @ 0.88517
1.09/1.15	c bounds 1164 >= 143 @ 0.886226
1.09/1.15	c bounds 1164 >= 144 @ 0.887246
1.09/1.15	c bounds 1164 >= 145 @ 0.888279
1.09/1.15	c bounds 1164 >= 146 @ 0.889158
1.09/1.15	c bounds 1164 >= 147 @ 0.890079
1.09/1.15	c bounds 1164 >= 148 @ 0.892079
1.09/1.15	c bounds 1164 >= 149 @ 0.893144
1.09/1.15	c bounds 1164 >= 150 @ 0.894167
1.09/1.15	c bounds 1164 >= 151 @ 0.89614
1.09/1.15	c bounds 1164 >= 152 @ 0.897431
1.09/1.15	c bounds 1164 >= 153 @ 0.898836
1.09/1.15	c bounds 1164 >= 154 @ 0.900266
1.09/1.15	c bounds 1164 >= 155 @ 0.901754
1.09/1.15	c bounds 1164 >= 156 @ 0.903238
1.09/1.15	c bounds 1164 >= 157 @ 0.903725
1.09/1.15	c bounds 1164 >= 158 @ 0.905086
1.09/1.15	c bounds 1164 >= 159 @ 0.906463
1.09/1.15	c bounds 1164 >= 160 @ 0.907876
1.09/1.15	c bounds 1164 >= 161 @ 0.909299
1.09/1.15	c bounds 1164 >= 162 @ 0.910731
1.09/1.15	c bounds 1164 >= 163 @ 0.912161
1.09/1.15	c bounds 1164 >= 164 @ 0.913597
1.09/1.15	c bounds 1164 >= 165 @ 0.915029
1.09/1.15	c bounds 1164 >= 166 @ 0.915545
1.09/1.15	c bounds 1164 >= 167 @ 0.916942
1.09/1.15	c bounds 1164 >= 168 @ 0.917482
1.09/1.15	c bounds 1164 >= 169 @ 0.918897
1.09/1.15	c bounds 1164 >= 170 @ 0.920269
1.09/1.15	c bounds 1164 >= 171 @ 0.92181
1.09/1.15	c bounds 1164 >= 172 @ 0.923276
1.09/1.15	c bounds 1164 >= 173 @ 0.924747
1.09/1.15	c bounds 1164 >= 174 @ 0.925222
1.09/1.15	c bounds 1164 >= 175 @ 0.926678
1.09/1.15	c bounds 1164 >= 176 @ 0.928099
1.09/1.15	c bounds 1164 >= 177 @ 0.929532
1.09/1.15	c bounds 1164 >= 178 @ 0.930963
1.09/1.15	c bounds 1164 >= 179 @ 0.931464
1.09/1.15	c bounds 1164 >= 180 @ 0.932856
1.09/1.15	c bounds 1164 >= 181 @ 0.933331
1.09/1.15	c bounds 1164 >= 182 @ 0.9347
1.09/1.15	c bounds 1164 >= 183 @ 0.936117
1.09/1.15	c bounds 1164 >= 184 @ 0.937532
1.09/1.15	c bounds 1164 >= 185 @ 0.93895
1.09/1.15	c bounds 1164 >= 186 @ 0.939056
1.09/1.15	c bounds 1164 >= 187 @ 0.939822
1.09/1.15	c bounds 1164 >= 188 @ 0.940283
1.09/1.15	c bounds 1164 >= 189 @ 0.941652
1.09/1.15	c bounds 1164 >= 190 @ 0.94201
1.09/1.15	c bounds 1164 >= 191 @ 0.943387
1.09/1.15	c bounds 1164 >= 192 @ 0.94479
1.09/1.15	c bounds 1164 >= 193 @ 0.94623
1.09/1.15	c bounds 1164 >= 194 @ 0.947595
1.09/1.15	c bounds 1164 >= 195 @ 0.948966
1.09/1.15	c bounds 1164 >= 196 @ 0.950412
1.09/1.15	c bounds 1164 >= 197 @ 0.951762
1.09/1.15	c bounds 1164 >= 198 @ 0.953124
1.09/1.15	c bounds 1164 >= 199 @ 0.954463
1.09/1.15	c bounds 1164 >= 200 @ 0.955804
1.09/1.15	c bounds 1164 >= 201 @ 0.957135
1.09/1.15	c bounds 1164 >= 202 @ 0.958472
1.09/1.15	c bounds 1164 >= 203 @ 0.95981
1.09/1.15	c bounds 1164 >= 204 @ 0.961115
1.09/1.15	c bounds 1164 >= 205 @ 0.962517
1.09/1.15	c bounds 1164 >= 206 @ 0.963866
1.09/1.15	c bounds 1164 >= 207 @ 0.965195
1.09/1.15	c bounds 1164 >= 208 @ 0.966544
1.09/1.15	c bounds 1164 >= 209 @ 0.967858
1.09/1.15	c bounds 1164 >= 210 @ 0.969211
1.09/1.15	c bounds 1164 >= 211 @ 0.970527
1.09/1.15	c bounds 1164 >= 212 @ 0.971851
1.09/1.15	c bounds 1164 >= 213 @ 0.973162
1.09/1.15	c bounds 1164 >= 214 @ 0.974463
1.09/1.15	c bounds 1164 >= 215 @ 0.975755
1.09/1.15	c bounds 1164 >= 216 @ 0.977165
1.09/1.15	c bounds 1164 >= 217 @ 0.978512
1.09/1.15	c bounds 1164 >= 218 @ 0.979854
1.09/1.15	c bounds 1164 >= 219 @ 0.98118
1.09/1.15	c bounds 1164 >= 220 @ 0.982485
1.09/1.15	c bounds 1164 >= 221 @ 0.983787
1.09/1.15	c bounds 1164 >= 222 @ 0.985075
1.09/1.15	c bounds 1164 >= 223 @ 0.98635
1.09/1.15	c bounds 1164 >= 224 @ 0.987603
1.09/1.15	c bounds 1164 >= 225 @ 0.988872
1.09/1.15	c bounds 1164 >= 226 @ 0.990124
1.09/1.15	c bounds 1164 >= 227 @ 0.991358
1.09/1.15	c bounds 1164 >= 228 @ 0.992692
1.09/1.15	c bounds 1164 >= 229 @ 0.993952
1.09/1.15	c bounds 1163 >= 229 @ 0.996056
1.09/1.15	c bounds 1163 >= 230 @ 0.997392
1.09/1.15	c bounds 1163 >= 231 @ 0.998684
1.09/1.15	c bounds 1163 >= 232 @ 0.99994
1.09/1.15	c bounds 1163 >= 233 @ 1.00119
1.09/1.15	c bounds 1163 >= 234 @ 1.00245
1.09/1.15	c bounds 1163 >= 235 @ 1.0037
1.09/1.15	c bounds 1163 >= 236 @ 1.00496
1.09/1.15	c bounds 1163 >= 237 @ 1.00619
1.09/1.15	c bounds 1163 >= 238 @ 1.00742
1.09/1.15	c bounds 1163 >= 239 @ 1.00862
1.09/1.15	c bounds 1163 >= 240 @ 1.00985
1.09/1.15	c bounds 1163 >= 241 @ 1.01107
1.09/1.15	c bounds 1163 >= 242 @ 1.01238
1.09/1.15	c bounds 1163 >= 243 @ 1.01273
1.09/1.15	c bounds 1162 >= 243 @ 1.01349
1.09/1.15	c bounds 1162 >= 244 @ 1.01438
1.09/1.15	c bounds 1162 >= 245 @ 1.01473
1.09/1.15	c bounds 1162 >= 246 @ 1.01598
1.09/1.15	c bounds 1162 >= 247 @ 1.01719
1.09/1.15	c bounds 1162 >= 248 @ 1.01841
1.09/1.15	c bounds 1162 >= 249 @ 1.01967
1.09/1.15	c bounds 1162 >= 250 @ 1.02089
1.09/1.15	c bounds 1162 >= 251 @ 1.02212
1.09/1.15	c bounds 1162 >= 252 @ 1.02335
1.09/1.15	c bounds 1162 >= 253 @ 1.02377
1.09/1.15	c bounds 1161 >= 253 @ 1.02557
1.09/1.15	c bounds 1161 >= 254 @ 1.02689
1.09/1.15	c bounds 1161 >= 255 @ 1.02814
1.09/1.15	c bounds 1161 >= 256 @ 1.02934
1.09/1.15	c bounds 1161 >= 257 @ 1.02967
1.28/1.36	c bounds 1161 >= 258 @ 1.03088
1.28/1.36	c bounds 1161 >= 259 @ 1.03207
1.28/1.36	c bounds 1161 >= 260 @ 1.03327
1.28/1.36	c bounds 1160 >= 260 @ 1.03424
1.28/1.36	c bounds 1160 >= 261 @ 1.03549
1.28/1.36	c bounds 1160 >= 262 @ 1.03672
1.28/1.36	c bounds 1160 >= 263 @ 1.03793
1.28/1.36	c bounds 1160 >= 264 @ 1.03913
1.28/1.36	c bounds 1160 >= 265 @ 1.04042
1.28/1.36	c bounds 1160 >= 266 @ 1.04164
1.28/1.36	c bounds 1160 >= 267 @ 1.04286
1.28/1.36	c bounds 1160 >= 268 @ 1.04407
1.28/1.36	c bounds 1160 >= 269 @ 1.04536
1.28/1.36	c bounds 1160 >= 270 @ 1.04667
1.28/1.36	c bounds 1160 >= 271 @ 1.04789
1.28/1.36	c bounds 1160 >= 272 @ 1.04909
1.28/1.36	c bounds 1160 >= 273 @ 1.05028
1.28/1.36	c bounds 1160 >= 274 @ 1.05148
1.28/1.36	c bounds 1160 >= 275 @ 1.05266
1.28/1.36	c bounds 1159 >= 275 @ 1.0532
1.28/1.36	c bounds 1159 >= 276 @ 1.05423
1.28/1.36	c bounds 1159 >= 277 @ 1.05557
1.28/1.36	c bounds 1159 >= 278 @ 1.05679
1.28/1.36	c bounds 1159 >= 279 @ 1.05803
1.28/1.36	c bounds 1159 >= 280 @ 1.05835
1.28/1.36	c bounds 1159 >= 281 @ 1.05956
1.28/1.36	c bounds 1159 >= 282 @ 1.06075
1.28/1.36	c bounds 1159 >= 283 @ 1.06204
1.28/1.36	c bounds 1159 >= 284 @ 1.06326
1.28/1.36	c bounds 1159 >= 285 @ 1.06448
1.28/1.36	c bounds 1158 >= 285 @ 1.06635
1.28/1.36	c bounds 1158 >= 286 @ 1.06758
1.28/1.36	c bounds 1158 >= 287 @ 1.0688
1.28/1.36	c bounds 1158 >= 288 @ 1.07013
1.28/1.36	c bounds 1158 >= 289 @ 1.07136
1.28/1.36	c bounds 1158 >= 290 @ 1.07264
1.28/1.36	c bounds 1158 >= 291 @ 1.0739
1.28/1.36	c bounds 1158 >= 292 @ 1.07429
1.28/1.36	c bounds 1158 >= 293 @ 1.07452
1.28/1.36	c bounds 1158 >= 294 @ 1.07573
1.28/1.36	c bounds 1157 >= 294 @ 1.0798
1.28/1.36	c bounds 1157 >= 295 @ 1.08022
1.28/1.36	c bounds 1157 >= 296 @ 1.08143
1.28/1.36	c bounds 1157 >= 297 @ 1.08265
1.28/1.36	c bounds 1157 >= 298 @ 1.08386
1.28/1.36	c bounds 1157 >= 299 @ 1.08507
1.28/1.36	c bounds 1157 >= 300 @ 1.08636
1.28/1.36	c bounds 1157 >= 301 @ 1.08763
1.28/1.36	c bounds 1157 >= 302 @ 1.08794
1.28/1.36	c bounds 1157 >= 303 @ 1.08919
1.28/1.36	c bounds 1157 >= 304 @ 1.09044
1.28/1.36	c bounds 1156 >= 304 @ 1.09762
1.28/1.36	c bounds 1156 >= 305 @ 1.09895
1.28/1.36	c bounds 1156 >= 306 @ 1.10022
1.28/1.36	c bounds 1156 >= 307 @ 1.10146
1.28/1.36	c bounds 1156 >= 308 @ 1.1027
1.28/1.36	c bounds 1156 >= 309 @ 1.10398
1.28/1.36	c bounds 1156 >= 310 @ 1.10521
1.28/1.36	c bounds 1156 >= 311 @ 1.10641
1.28/1.36	c bounds 1156 >= 312 @ 1.10774
1.28/1.36	c bounds 1156 >= 313 @ 1.10896
1.28/1.36	c bounds 1156 >= 314 @ 1.11019
1.28/1.36	c bounds 1156 >= 315 @ 1.11142
1.28/1.36	c bounds 1156 >= 316 @ 1.11166
1.28/1.36	c bounds 1156 >= 317 @ 1.11287
1.28/1.36	c bounds 1156 >= 318 @ 1.11409
1.28/1.36	c bounds 1156 >= 319 @ 1.11539
1.28/1.36	c bounds 1156 >= 320 @ 1.11661
1.28/1.36	c bounds 1156 >= 321 @ 1.11783
1.28/1.36	c bounds 1156 >= 322 @ 1.11812
1.28/1.36	c bounds 1156 >= 323 @ 1.11928
1.28/1.36	c bounds 1156 >= 324 @ 1.12055
1.28/1.36	c bounds 1156 >= 325 @ 1.12089
1.28/1.36	c bounds 1156 >= 326 @ 1.12209
1.28/1.36	c bounds 1156 >= 327 @ 1.12329
1.28/1.36	c bounds 1156 >= 328 @ 1.12448
1.28/1.36	c bounds 1156 >= 329 @ 1.12568
1.28/1.36	c bounds 1156 >= 330 @ 1.12688
1.28/1.36	c bounds 1156 >= 331 @ 1.12809
1.28/1.36	c bounds 1156 >= 332 @ 1.1293
1.28/1.36	c bounds 1156 >= 333 @ 1.1305
1.28/1.36	c bounds 1156 >= 334 @ 1.1317
1.28/1.36	c bounds 1156 >= 335 @ 1.13298
1.28/1.36	c bounds 1155 >= 335 @ 1.14662
1.28/1.36	c bounds 1155 >= 336 @ 1.14803
1.28/1.36	c bounds 1155 >= 337 @ 1.14922
1.28/1.36	c bounds 1155 >= 338 @ 1.1505
1.28/1.36	c bounds 1155 >= 339 @ 1.15172
1.28/1.36	c bounds 1155 >= 340 @ 1.15296
1.28/1.36	c bounds 1155 >= 341 @ 1.15321
1.28/1.36	c bounds 1155 >= 342 @ 1.15441
1.28/1.36	c bounds 1155 >= 343 @ 1.15561
1.28/1.36	c bounds 1155 >= 344 @ 1.15684
1.28/1.36	c bounds 1155 >= 345 @ 1.15808
1.28/1.36	c bounds 1155 >= 346 @ 1.15925
1.28/1.36	c bounds 1155 >= 347 @ 1.1607
1.28/1.36	c bounds 1155 >= 348 @ 1.16192
1.28/1.36	c bounds 1155 >= 349 @ 1.16214
1.28/1.36	c bounds 1155 >= 350 @ 1.1633
1.28/1.37	c bounds 1155 >= 351 @ 1.1645
1.28/1.37	c bounds 1155 >= 352 @ 1.16567
1.28/1.37	c bounds 1155 >= 353 @ 1.16683
1.28/1.37	c bounds 1155 >= 354 @ 1.168
1.28/1.37	c bounds 1155 >= 355 @ 1.16917
1.28/1.37	c bounds 1155 >= 356 @ 1.17031
1.28/1.37	c bounds 1155 >= 357 @ 1.17148
1.28/1.37	c bounds 1155 >= 358 @ 1.17263
1.28/1.37	c bounds 1155 >= 359 @ 1.17394
1.28/1.37	c bounds 1155 >= 360 @ 1.17528
1.28/1.37	c bounds 1155 >= 361 @ 1.17652
1.28/1.37	c bounds 1155 >= 362 @ 1.17776
1.28/1.37	c bounds 1155 >= 363 @ 1.17899
1.28/1.37	c bounds 1155 >= 364 @ 1.18023
1.28/1.37	c bounds 1155 >= 365 @ 1.18145
1.28/1.37	c bounds 1155 >= 366 @ 1.18267
1.28/1.37	c bounds 1155 >= 367 @ 1.1839
1.28/1.37	c bounds 1155 >= 368 @ 1.18509
1.28/1.37	c bounds 1155 >= 369 @ 1.18631
1.28/1.37	c bounds 1155 >= 370 @ 1.18748
1.28/1.37	c bounds 1155 >= 371 @ 1.18878
1.28/1.37	c bounds 1155 >= 372 @ 1.18999
1.28/1.37	c bounds 1155 >= 373 @ 1.19122
1.28/1.37	c bounds 1155 >= 374 @ 1.19245
1.28/1.37	c bounds 1155 >= 375 @ 1.19366
1.28/1.37	c bounds 1155 >= 376 @ 1.19487
1.28/1.37	c bounds 1155 >= 377 @ 1.19608
1.28/1.37	c bounds 1155 >= 378 @ 1.19728
1.28/1.37	c bounds 1154 >= 378 @ 1.2147
1.28/1.37	c bounds 1154 >= 379 @ 1.21494
1.28/1.37	c bounds 1154 >= 380 @ 1.21527
1.28/1.37	c bounds 1154 >= 381 @ 1.21647
1.28/1.37	c bounds 1154 >= 382 @ 1.21762
1.48/1.56	c bounds 1154 >= 383 @ 1.21897
1.48/1.56	c bounds 1154 >= 384 @ 1.22033
1.48/1.56	c bounds 1154 >= 385 @ 1.22158
1.48/1.56	c bounds 1154 >= 386 @ 1.22282
1.48/1.56	c bounds 1154 >= 387 @ 1.22406
1.48/1.56	c bounds 1154 >= 388 @ 1.2253
1.48/1.56	c bounds 1154 >= 389 @ 1.22652
1.48/1.56	c bounds 1154 >= 390 @ 1.22774
1.48/1.56	c bounds 1154 >= 391 @ 1.229
1.48/1.56	c bounds 1154 >= 392 @ 1.23025
1.48/1.56	c bounds 1154 >= 393 @ 1.23145
1.48/1.56	c bounds 1154 >= 394 @ 1.23263
1.48/1.56	c bounds 1154 >= 395 @ 1.23391
1.48/1.56	c bounds 1154 >= 396 @ 1.23509
1.48/1.56	c bounds 1154 >= 397 @ 1.23632
1.48/1.56	c bounds 1154 >= 398 @ 1.23758
1.48/1.56	c bounds 1154 >= 399 @ 1.23881
1.48/1.56	c bounds 1154 >= 400 @ 1.23911
1.48/1.56	c bounds 1154 >= 401 @ 1.24029
1.48/1.56	c bounds 1154 >= 402 @ 1.24148
1.48/1.56	c bounds 1154 >= 403 @ 1.24168
1.48/1.56	c bounds 1154 >= 404 @ 1.24193
1.48/1.56	c bounds 1154 >= 405 @ 1.24309
1.48/1.56	c bounds 1154 >= 406 @ 1.24426
1.48/1.56	c bounds 1154 >= 407 @ 1.24538
1.48/1.56	c bounds 1154 >= 408 @ 1.24651
1.48/1.56	c bounds 1154 >= 409 @ 1.24775
1.48/1.56	c bounds 1154 >= 410 @ 1.24807
1.48/1.56	c bounds 1154 >= 411 @ 1.24927
1.48/1.56	c bounds 1154 >= 412 @ 1.25045
1.48/1.56	c bounds 1154 >= 413 @ 1.25166
1.48/1.56	c bounds 1154 >= 414 @ 1.25285
1.48/1.56	c bounds 1154 >= 415 @ 1.25404
1.48/1.56	c bounds 1154 >= 416 @ 1.25525
1.48/1.56	c bounds 1154 >= 417 @ 1.25646
1.48/1.56	c bounds 1154 >= 418 @ 1.25763
1.48/1.56	c bounds 1154 >= 419 @ 1.25877
1.48/1.56	c bounds 1154 >= 420 @ 1.25902
1.48/1.56	c bounds 1154 >= 421 @ 1.26023
1.48/1.56	c bounds 1154 >= 422 @ 1.26143
1.48/1.56	c bounds 1154 >= 423 @ 1.26164
1.48/1.56	c bounds 1154 >= 424 @ 1.26287
1.48/1.56	c bounds 1154 >= 425 @ 1.26406
1.48/1.56	c bounds 1154 >= 426 @ 1.26525
1.48/1.56	c bounds 1153 >= 426 @ 1.31515
1.48/1.56	c bounds 1153 >= 427 @ 1.31645
1.48/1.56	c bounds 1153 >= 428 @ 1.31766
1.48/1.56	c bounds 1153 >= 429 @ 1.3189
1.48/1.56	c bounds 1153 >= 430 @ 1.32009
1.48/1.56	c bounds 1153 >= 431 @ 1.32139
1.48/1.56	c bounds 1153 >= 432 @ 1.32253
1.48/1.56	c bounds 1153 >= 433 @ 1.32367
1.48/1.56	c bounds 1153 >= 434 @ 1.32511
1.48/1.56	c bounds 1153 >= 435 @ 1.32668
1.48/1.56	c bounds 1153 >= 436 @ 1.3279
1.48/1.56	c bounds 1153 >= 437 @ 1.3291
1.48/1.56	c bounds 1153 >= 438 @ 1.3303
1.48/1.56	c bounds 1153 >= 439 @ 1.3315
1.48/1.56	c bounds 1153 >= 440 @ 1.33267
1.48/1.56	c bounds 1153 >= 441 @ 1.33387
1.48/1.56	c bounds 1153 >= 442 @ 1.33502
1.48/1.56	c bounds 1153 >= 443 @ 1.33619
1.48/1.56	c bounds 1153 >= 444 @ 1.33736
1.48/1.56	c bounds 1153 >= 445 @ 1.33885
1.48/1.56	c bounds 1153 >= 446 @ 1.34004
1.48/1.56	c bounds 1153 >= 447 @ 1.34128
1.48/1.56	c bounds 1153 >= 448 @ 1.34252
1.48/1.56	c bounds 1153 >= 449 @ 1.34373
1.48/1.56	c bounds 1153 >= 450 @ 1.34496
1.48/1.56	c bounds 1153 >= 451 @ 1.34616
1.48/1.56	c bounds 1153 >= 452 @ 1.34754
1.48/1.56	c bounds 1153 >= 453 @ 1.34856
1.48/1.56	c bounds 1153 >= 454 @ 1.34955
1.48/1.56	c bounds 1153 >= 455 @ 1.35048
1.48/1.56	c bounds 1153 >= 456 @ 1.35152
1.48/1.56	c bounds 1153 >= 457 @ 1.35258
1.48/1.56	c bounds 1153 >= 458 @ 1.35359
1.48/1.56	c bounds 1153 >= 459 @ 1.35456
1.48/1.56	c bounds 1153 >= 460 @ 1.35553
1.48/1.56	c bounds 1153 >= 461 @ 1.35648
1.48/1.56	c bounds 1153 >= 462 @ 1.35744
1.48/1.56	c bounds 1153 >= 463 @ 1.35837
1.48/1.56	c bounds 1153 >= 464 @ 1.35929
1.48/1.56	c bounds 1153 >= 465 @ 1.36022
1.48/1.56	c bounds 1153 >= 466 @ 1.36114
1.48/1.56	c bounds 1153 >= 467 @ 1.36206
1.48/1.56	c bounds 1153 >= 468 @ 1.36301
1.48/1.56	c bounds 1153 >= 469 @ 1.36408
1.48/1.56	c bounds 1153 >= 470 @ 1.36515
1.48/1.56	c bounds 1153 >= 471 @ 1.36621
1.48/1.56	c bounds 1153 >= 472 @ 1.36725
1.48/1.56	c bounds 1153 >= 473 @ 1.36828
1.48/1.56	c bounds 1153 >= 474 @ 1.36851
1.48/1.56	c bounds 1153 >= 475 @ 1.36938
1.48/1.56	c bounds 1153 >= 476 @ 1.37041
1.48/1.56	c bounds 1153 >= 477 @ 1.37148
1.48/1.56	c bounds 1153 >= 478 @ 1.37244
1.48/1.56	c bounds 1153 >= 479 @ 1.37341
1.48/1.56	c bounds 1153 >= 480 @ 1.37437
1.48/1.56	c bounds 1153 >= 481 @ 1.37544
1.48/1.56	c bounds 1153 >= 482 @ 1.37662
1.48/1.56	c bounds 1153 >= 483 @ 1.37763
1.48/1.56	c bounds 1153 >= 484 @ 1.37863
1.48/1.56	c bounds 1153 >= 485 @ 1.37962
1.48/1.56	c bounds 1153 >= 486 @ 1.3806
1.48/1.56	c bounds 1153 >= 487 @ 1.38157
1.48/1.56	c bounds 1153 >= 488 @ 1.38253
1.48/1.56	c bounds 1153 >= 489 @ 1.3835
1.48/1.56	c bounds 1153 >= 490 @ 1.38444
1.48/1.56	c bounds 1153 >= 491 @ 1.38538
1.48/1.56	c bounds 1153 >= 492 @ 1.3863
1.48/1.56	c bounds 1153 >= 493 @ 1.38734
1.48/1.56	c bounds 1153 >= 494 @ 1.38829
1.48/1.56	c bounds 1153 >= 495 @ 1.38927
1.48/1.56	c bounds 1153 >= 496 @ 1.39025
1.48/1.56	c bounds 1153 >= 497 @ 1.39121
1.48/1.56	c bounds 1153 >= 498 @ 1.39218
1.48/1.56	c bounds 1153 >= 499 @ 1.39313
1.48/1.56	c bounds 1153 >= 500 @ 1.39408
1.48/1.56	c bounds 1153 >= 501 @ 1.39502
1.48/1.56	c bounds 1153 >= 502 @ 1.39601
1.48/1.56	c bounds 1153 >= 503 @ 1.39615
1.48/1.56	c bounds 1153 >= 504 @ 1.39692
1.48/1.56	c bounds 1153 >= 505 @ 1.39796
1.48/1.56	c bounds 1153 >= 506 @ 1.39912
1.48/1.56	c bounds 1153 >= 507 @ 1.40013
1.48/1.56	c bounds 1153 >= 508 @ 1.40109
1.48/1.56	c bounds 1153 >= 509 @ 1.40202
1.48/1.56	c bounds 1153 >= 510 @ 1.40295
1.48/1.56	c bounds 1153 >= 511 @ 1.40388
1.48/1.56	c bounds 1153 >= 512 @ 1.4048
1.48/1.56	c bounds 1153 >= 513 @ 1.40569
1.48/1.56	c bounds 1153 >= 514 @ 1.40661
1.68/1.77	c bounds 1153 >= 515 @ 1.40754
1.68/1.77	c bounds 1153 >= 516 @ 1.40867
1.68/1.77	c bounds 1153 >= 517 @ 1.41028
1.68/1.77	c bounds 1153 >= 518 @ 1.41128
1.68/1.77	c bounds 1153 >= 519 @ 1.41221
1.68/1.77	c bounds 1153 >= 520 @ 1.41326
1.68/1.77	c bounds 1153 >= 521 @ 1.4143
1.68/1.77	c bounds 1153 >= 522 @ 1.41533
1.68/1.77	c bounds 1153 >= 523 @ 1.41636
1.68/1.77	c bounds 1153 >= 524 @ 1.41737
1.68/1.77	c bounds 1153 >= 525 @ 1.41839
1.68/1.77	c bounds 1153 >= 526 @ 1.41945
1.68/1.77	c bounds 1153 >= 527 @ 1.42053
1.68/1.77	c bounds 1153 >= 528 @ 1.42144
1.68/1.77	c bounds 1153 >= 529 @ 1.42252
1.68/1.77	c bounds 1153 >= 530 @ 1.42354
1.68/1.77	c bounds 1153 >= 531 @ 1.42453
1.68/1.77	c bounds 1153 >= 532 @ 1.42552
1.68/1.77	c bounds 1153 >= 533 @ 1.4265
1.68/1.77	c bounds 1153 >= 534 @ 1.42747
1.68/1.77	c bounds 1153 >= 535 @ 1.42843
1.68/1.77	c bounds 1153 >= 536 @ 1.42848
1.68/1.77	c bounds 1153 >= 537 @ 1.42937
1.68/1.77	c bounds 1153 >= 538 @ 1.43032
1.68/1.77	c bounds 1153 >= 539 @ 1.43121
1.68/1.77	c bounds 1153 >= 540 @ 1.43233
1.68/1.77	c bounds 1153 >= 541 @ 1.43328
1.68/1.77	c bounds 1153 >= 542 @ 1.43421
1.68/1.77	c bounds 1153 >= 543 @ 1.43525
1.68/1.77	c bounds 1153 >= 544 @ 1.43625
1.68/1.77	c bounds 1153 >= 545 @ 1.43724
1.68/1.77	c bounds 1153 >= 546 @ 1.43823
1.68/1.77	c bounds 1153 >= 547 @ 1.4392
1.68/1.77	c bounds 1153 >= 548 @ 1.44016
1.68/1.77	c bounds 1153 >= 549 @ 1.44111
1.68/1.77	c bounds 1153 >= 550 @ 1.4421
1.68/1.77	c bounds 1153 >= 551 @ 1.4431
1.68/1.77	c bounds 1153 >= 552 @ 1.444
1.68/1.77	c bounds 1153 >= 553 @ 1.44416
1.68/1.77	c bounds 1153 >= 554 @ 1.4449
1.68/1.77	c bounds 1153 >= 555 @ 1.44598
1.68/1.77	c bounds 1153 >= 556 @ 1.4471
1.68/1.77	c bounds 1153 >= 557 @ 1.44816
1.68/1.77	c bounds 1153 >= 558 @ 1.44922
1.68/1.77	c bounds 1153 >= 559 @ 1.44934
1.68/1.77	c bounds 1153 >= 560 @ 1.45029
1.68/1.77	c bounds 1153 >= 561 @ 1.45033
1.68/1.77	c bounds 1153 >= 562 @ 1.45132
1.68/1.77	c bounds 1153 >= 563 @ 1.45231
1.68/1.77	c bounds 1153 >= 564 @ 1.45331
1.68/1.77	c bounds 1153 >= 565 @ 1.45426
1.68/1.77	c bounds 1153 >= 566 @ 1.45431
1.68/1.77	c bounds 1153 >= 567 @ 1.45523
1.68/1.77	c bounds 1153 >= 568 @ 1.45623
1.68/1.77	c bounds 1153 >= 569 @ 1.45721
1.68/1.77	c bounds 1153 >= 570 @ 1.45819
1.68/1.77	c bounds 1153 >= 571 @ 1.45917
1.68/1.77	c bounds 1153 >= 572 @ 1.46013
1.68/1.77	c bounds 1152 >= 572 @ 1.48517
1.68/1.77	c bounds 1152 >= 573 @ 1.48595
1.68/1.77	c bounds 1152 >= 574 @ 1.48696
1.68/1.77	c bounds 1152 >= 575 @ 1.48795
1.68/1.77	c bounds 1152 >= 576 @ 1.48888
1.68/1.77	c bounds 1152 >= 577 @ 1.48989
1.68/1.77	c bounds 1152 >= 578 @ 1.49096
1.68/1.77	c bounds 1152 >= 579 @ 1.49196
1.68/1.77	c bounds 1152 >= 580 @ 1.49296
1.68/1.77	c bounds 1152 >= 581 @ 1.49394
1.68/1.77	c bounds 1152 >= 582 @ 1.49493
1.68/1.77	c bounds 1152 >= 583 @ 1.49589
1.68/1.77	c bounds 1152 >= 584 @ 1.49684
1.68/1.77	c bounds 1152 >= 585 @ 1.49785
1.68/1.77	c bounds 1152 >= 586 @ 1.49887
1.68/1.77	c bounds 1152 >= 587 @ 1.49983
1.68/1.77	c bounds 1152 >= 588 @ 1.50078
1.68/1.77	c bounds 1152 >= 589 @ 1.50183
1.68/1.77	c bounds 1152 >= 590 @ 1.50304
1.68/1.77	c bounds 1152 >= 591 @ 1.50436
1.68/1.77	c bounds 1152 >= 592 @ 1.50539
1.68/1.77	c bounds 1152 >= 593 @ 1.50635
1.68/1.77	c bounds 1152 >= 594 @ 1.50743
1.68/1.77	c bounds 1152 >= 595 @ 1.5085
1.68/1.77	c bounds 1152 >= 596 @ 1.50955
1.68/1.77	c bounds 1152 >= 597 @ 1.50982
1.68/1.77	c bounds 1152 >= 598 @ 1.51061
1.68/1.77	c bounds 1152 >= 599 @ 1.51161
1.68/1.77	c bounds 1152 >= 600 @ 1.51265
1.68/1.77	c bounds 1152 >= 601 @ 1.51369
1.68/1.77	c bounds 1152 >= 602 @ 1.51466
1.68/1.77	c bounds 1152 >= 603 @ 1.51559
1.68/1.77	c bounds 1152 >= 604 @ 1.51649
1.68/1.77	c bounds 1152 >= 605 @ 1.51737
1.68/1.77	c bounds 1152 >= 606 @ 1.51842
1.68/1.77	c bounds 1152 >= 607 @ 1.51939
1.68/1.77	c bounds 1152 >= 608 @ 1.52036
1.68/1.77	c bounds 1152 >= 609 @ 1.52131
1.68/1.77	c bounds 1152 >= 610 @ 1.52226
1.68/1.77	c bounds 1152 >= 611 @ 1.52319
1.68/1.77	c bounds 1152 >= 612 @ 1.52414
1.68/1.77	c bounds 1152 >= 613 @ 1.52505
1.68/1.77	c bounds 1152 >= 614 @ 1.52604
1.68/1.77	c bounds 1152 >= 615 @ 1.52695
1.68/1.77	c bounds 1152 >= 616 @ 1.52786
1.68/1.77	c bounds 1152 >= 617 @ 1.52788
1.68/1.77	c bounds 1152 >= 618 @ 1.52879
1.68/1.77	c bounds 1152 >= 619 @ 1.52978
1.68/1.77	c bounds 1152 >= 620 @ 1.53076
1.68/1.77	c bounds 1152 >= 621 @ 1.53172
1.68/1.77	c bounds 1152 >= 622 @ 1.53267
1.68/1.77	c bounds 1152 >= 623 @ 1.5336
1.68/1.77	c bounds 1152 >= 624 @ 1.53455
1.68/1.77	c bounds 1152 >= 625 @ 1.53548
1.68/1.77	c bounds 1152 >= 626 @ 1.53648
1.68/1.77	c bounds 1152 >= 627 @ 1.5374
1.68/1.77	c bounds 1152 >= 628 @ 1.5383
1.68/1.77	c bounds 1152 >= 629 @ 1.53919
1.68/1.77	c bounds 1152 >= 630 @ 1.54005
1.68/1.77	c bounds 1152 >= 631 @ 1.54107
1.68/1.77	c bounds 1152 >= 632 @ 1.54203
1.68/1.77	c bounds 1152 >= 633 @ 1.54287
1.68/1.77	c bounds 1152 >= 634 @ 1.54612
1.68/1.77	c bounds 1151 >= 634 @ 1.56385
1.68/1.77	c bounds 1151 >= 635 @ 1.56595
1.68/1.77	c bounds 1151 >= 636 @ 1.56923
1.68/1.77	c bounds 1151 >= 637 @ 1.57051
1.68/1.77	c bounds 1151 >= 638 @ 1.57199
1.68/1.77	c bounds 1151 >= 639 @ 1.57383
1.68/1.77	c bounds 1151 >= 640 @ 1.57668
1.68/1.77	c bounds 1151 >= 641 @ 1.57852
1.68/1.77	c bounds 1151 >= 642 @ 1.58049
1.68/1.77	c bounds 1151 >= 643 @ 1.58287
1.68/1.77	c bounds 1151 >= 644 @ 1.58452
1.68/1.77	c bounds 1151 >= 645 @ 1.58691
2.57/2.69	c bounds 1151 >= 646 @ 1.58941
2.57/2.69	c bounds 1151 >= 647 @ 1.59268
2.57/2.69	c bounds 1150 >= 647 @ 1.61897
2.57/2.69	c bounds 1150 >= 648 @ 1.62035
2.57/2.69	c bounds 1150 >= 649 @ 1.62199
2.57/2.69	c bounds 1150 >= 650 @ 1.62511
2.57/2.69	c bounds 1150 >= 651 @ 1.62701
2.57/2.69	c bounds 1150 >= 652 @ 1.63025
2.57/2.69	c bounds 1150 >= 653 @ 1.63262
2.57/2.69	c bounds 1150 >= 654 @ 1.63433
2.57/2.69	c bounds 1150 >= 655 @ 1.63692
2.57/2.69	c bounds 1150 >= 656 @ 1.63992
2.57/2.69	c bounds 1150 >= 657 @ 1.64117
2.57/2.69	c bounds 1150 >= 658 @ 1.64476
2.57/2.69	c bounds 1149 >= 658 @ 1.65904
2.57/2.69	c #Conflicts:       1000 | #Constraints:      20817
2.57/2.69	c bounds 1149 >= 659 @ 1.66602
2.57/2.69	c bounds 1148 >= 659 @ 1.6743
2.57/2.69	c bounds 1148 >= 660 @ 1.67636
2.57/2.69	c bounds 1148 >= 661 @ 1.67926
2.57/2.69	c bounds 1148 >= 662 @ 1.6805
2.57/2.69	c bounds 1148 >= 663 @ 1.68233
2.57/2.69	c bounds 1148 >= 664 @ 1.68441
2.57/2.69	c bounds 1148 >= 665 @ 1.68656
2.57/2.69	c bounds 1147 >= 665 @ 1.70226
2.57/2.69	c bounds 1147 >= 666 @ 1.70337
2.57/2.69	c bounds 1147 >= 667 @ 1.7055
2.57/2.69	c bounds 1147 >= 668 @ 1.70738
2.57/2.69	c bounds 1147 >= 669 @ 1.71032
2.57/2.69	c bounds 1147 >= 670 @ 1.7108
2.57/2.69	c bounds 1147 >= 671 @ 1.71426
2.57/2.69	c bounds 1147 >= 672 @ 1.71532
2.57/2.69	c bounds 1147 >= 673 @ 1.71729
2.57/2.69	c bounds 1147 >= 674 @ 1.71923
2.57/2.69	c bounds 1147 >= 675 @ 1.72154
2.57/2.69	c bounds 1146 >= 675 @ 1.73325
2.57/2.69	c bounds 1146 >= 676 @ 1.73541
2.57/2.69	c bounds 1146 >= 677 @ 1.73853
2.57/2.69	c bounds 1146 >= 678 @ 1.74038
2.57/2.69	c bounds 1146 >= 679 @ 1.7414
2.57/2.69	c bounds 1146 >= 680 @ 1.74394
2.57/2.69	c bounds 1146 >= 681 @ 1.74548
2.57/2.69	c bounds 1145 >= 681 @ 1.76722
2.57/2.69	c bounds 1145 >= 682 @ 1.7737
2.57/2.69	c bounds 1145 >= 683 @ 1.78464
2.57/2.69	c bounds 1144 >= 683 @ 1.81661
2.57/2.69	c bounds 1144 >= 684 @ 1.81998
2.57/2.69	c bounds 1144 >= 685 @ 1.8228
2.57/2.69	c bounds 1144 >= 686 @ 1.82338
2.57/2.69	c bounds 1144 >= 687 @ 1.82434
2.57/2.69	c bounds 1144 >= 688 @ 1.8283
2.57/2.69	c bounds 1144 >= 689 @ 1.82944
2.57/2.69	c bounds 1144 >= 690 @ 1.83032
2.57/2.69	c bounds 1144 >= 691 @ 1.8318
2.57/2.69	c bounds 1144 >= 692 @ 1.83324
2.57/2.69	c bounds 1144 >= 693 @ 1.83618
2.57/2.69	c bounds 1144 >= 694 @ 1.83837
2.57/2.69	c bounds 1144 >= 695 @ 1.84197
2.57/2.69	c bounds 1143 >= 695 @ 1.9231
2.57/2.69	c bounds 1143 >= 696 @ 1.92462
2.57/2.69	c bounds 1143 >= 697 @ 1.92662
2.57/2.69	c bounds 1143 >= 698 @ 1.92746
2.57/2.69	c bounds 1143 >= 699 @ 1.92949
2.57/2.69	c bounds 1143 >= 700 @ 1.93166
2.57/2.69	c bounds 1143 >= 701 @ 1.93179
2.57/2.69	c bounds 1143 >= 702 @ 1.93179
2.57/2.69	c #Conflicts:       2000 | #Constraints:      22439
2.57/2.69	c INPROCESSING
2.57/2.69	c GARBAGE COLLECT
2.57/2.69	c rational objective 702
5.66/5.74	c bounds 1143 >= 703 @ 2.38973
5.66/5.74	c bounds 1143 >= 704 @ 2.39122
5.66/5.74	c bounds 1143 >= 705 @ 2.39205
5.66/5.74	c bounds 1143 >= 706 @ 2.39538
5.66/5.74	c bounds 1143 >= 707 @ 2.39565
5.66/5.74	c bounds 1143 >= 708 @ 2.39681
5.66/5.74	c bounds 1143 >= 709 @ 2.39848
5.66/5.74	c bounds 1143 >= 710 @ 2.40174
5.66/5.74	c bounds 1143 >= 711 @ 2.40369
5.66/5.74	c bounds 1143 >= 712 @ 2.40572
5.66/5.74	c bounds 1143 >= 713 @ 2.40835
5.66/5.74	c bounds 1143 >= 714 @ 2.41102
5.66/5.74	c bounds 1143 >= 715 @ 2.41248
5.66/5.74	c bounds 1143 >= 716 @ 2.41645
5.66/5.74	c bounds 1143 >= 717 @ 2.41949
5.66/5.74	c bounds 1143 >= 718 @ 2.4228
5.66/5.74	c bounds 1143 >= 719 @ 2.42612
5.66/5.74	c bounds 1143 >= 720 @ 2.4267
5.66/5.74	c bounds 1143 >= 721 @ 2.42808
5.66/5.74	c bounds 1143 >= 722 @ 2.42906
5.66/5.74	c bounds 1143 >= 723 @ 2.43152
5.66/5.74	c bounds 1143 >= 724 @ 2.43225
5.66/5.74	c bounds 1143 >= 725 @ 2.43443
5.66/5.74	c bounds 1143 >= 726 @ 2.43549
5.66/5.74	c bounds 1143 >= 727 @ 2.43659
5.66/5.74	c bounds 1143 >= 728 @ 2.4379
5.66/5.74	c bounds 1143 >= 729 @ 2.43843
5.66/5.74	c bounds 1143 >= 730 @ 2.43939
5.66/5.74	c bounds 1143 >= 731 @ 2.44173
5.66/5.74	c bounds 1143 >= 732 @ 2.44361
5.66/5.74	c bounds 1143 >= 733 @ 2.44588
5.66/5.74	c bounds 1143 >= 734 @ 2.44651
5.66/5.74	c bounds 1143 >= 735 @ 2.44849
5.66/5.74	c bounds 1143 >= 736 @ 2.44955
5.66/5.74	c bounds 1143 >= 737 @ 2.45156
5.66/5.74	c bounds 1143 >= 738 @ 2.45241
5.66/5.74	c bounds 1143 >= 739 @ 2.45332
5.66/5.74	c bounds 1143 >= 740 @ 2.45433
5.66/5.74	c bounds 1143 >= 741 @ 2.45691
5.66/5.74	c bounds 1143 >= 742 @ 2.45922
5.66/5.74	c bounds 1143 >= 743 @ 2.4618
5.66/5.74	c bounds 1143 >= 744 @ 2.46568
5.66/5.74	c bounds 1143 >= 745 @ 2.46777
5.66/5.74	c bounds 1143 >= 746 @ 2.47018
5.66/5.74	c bounds 1143 >= 747 @ 2.47056
5.66/5.74	c bounds 1143 >= 748 @ 2.47056
5.66/5.74	c bounds 1143 >= 749 @ 2.47308
5.66/5.74	c bounds 1143 >= 750 @ 2.47378
5.66/5.74	c bounds 1143 >= 751 @ 2.47517
5.66/5.74	c bounds 1143 >= 752 @ 2.47652
5.66/5.74	c bounds 1143 >= 753 @ 2.47891
5.66/5.74	c bounds 1143 >= 754 @ 2.47942
5.66/5.74	c #Conflicts:       3000 | #Constraints:      22388
5.66/5.74	c bounds 1143 >= 755 @ 2.4809
5.66/5.74	c bounds 1143 >= 756 @ 2.48351
5.66/5.74	c bounds 1143 >= 757 @ 2.48687
5.66/5.74	c bounds 1143 >= 758 @ 2.49074
5.66/5.74	c bounds 1143 >= 759 @ 2.49484
5.66/5.74	c bounds 1143 >= 760 @ 2.49628
5.66/5.74	c bounds 1143 >= 761 @ 2.4992
5.66/5.74	c bounds 1143 >= 762 @ 2.50061
5.66/5.74	c bounds 1143 >= 763 @ 2.50273
5.66/5.74	c bounds 1143 >= 764 @ 2.50612
5.66/5.74	c bounds 1143 >= 765 @ 2.50995
5.66/5.74	c bounds 1143 >= 766 @ 2.51245
5.66/5.74	c bounds 1143 >= 767 @ 2.51756
5.66/5.74	c bounds 1143 >= 768 @ 2.52149
5.66/5.74	c bounds 1143 >= 769 @ 2.52315
5.66/5.74	c bounds 1143 >= 770 @ 2.52588
5.66/5.74	c bounds 1143 >= 771 @ 2.5273
5.66/5.74	c bounds 1143 >= 772 @ 2.52918
5.66/5.74	c bounds 1143 >= 773 @ 2.5308
5.66/5.74	c bounds 1143 >= 774 @ 2.53084
5.66/5.74	c bounds 1143 >= 775 @ 2.53512
5.66/5.74	c bounds 1143 >= 776 @ 2.54387
5.66/5.74	c bounds 1143 >= 777 @ 2.54489
5.66/5.74	c bounds 1143 >= 778 @ 2.5465
5.66/5.74	c bounds 1143 >= 779 @ 2.54728
5.66/5.74	c #Conflicts:       4000 | #Constraints:      23802
5.66/5.74	c bounds 1143 >= 780 @ 2.54938
5.66/5.74	c bounds 1143 >= 781 @ 2.55157
5.66/5.74	c bounds 1143 >= 782 @ 2.55223
5.66/5.74	c bounds 1143 >= 783 @ 2.55408
5.66/5.74	c bounds 1143 >= 784 @ 2.55706
5.66/5.74	c bounds 1143 >= 785 @ 2.55896
5.66/5.74	c bounds 1143 >= 786 @ 2.56069
5.66/5.74	c bounds 1143 >= 787 @ 2.56176
5.66/5.74	c bounds 1143 >= 788 @ 2.56419
5.66/5.74	c bounds 1143 >= 789 @ 2.56711
5.66/5.74	c INPROCESSING
5.66/5.74	c GARBAGE COLLECT
5.66/5.74	c bounds 1143 >= 790 @ 2.98961
5.66/5.74	c bounds 1141 >= 790 @ 3.00674
5.66/5.74	c bounds 1141 >= 791 @ 3.01638
5.66/5.74	c bounds 1140 >= 791 @ 3.02314
5.66/5.74	c #Conflicts:       5000 | #Constraints:      23336
5.66/5.74	c bounds 1140 >= 792 @ 3.06913
5.66/5.74	c bounds 1139 >= 792 @ 3.07951
5.66/5.74	c bounds 1138 >= 792 @ 3.08767
5.66/5.74	c bounds 1137 >= 792 @ 3.10276
5.66/5.74	c bounds 1136 >= 792 @ 3.11678
5.66/5.74	c bounds 1135 >= 792 @ 3.14208
5.66/5.74	c bounds 1134 >= 792 @ 3.15703
5.66/5.74	c bounds 1134 >= 793 @ 3.6125
5.66/5.74	c bounds 1133 >= 793 @ 3.62182
5.66/5.74	c bounds 1132 >= 793 @ 3.62882
5.66/5.74	c bounds 1131 >= 793 @ 3.63636
5.66/5.74	c #Conflicts:       6000 | #Constraints:      24615
5.66/5.74	c bounds 1130 >= 793 @ 3.6882
5.66/5.74	c #Conflicts:       7000 | #Constraints:      25616
5.66/5.74	c bounds 1129 >= 793 @ 4.42047
5.66/5.74	c #Conflicts:       8000 | #Constraints:      26617
5.66/5.74	c bounds 1129 >= 794 @ 4.87817
5.66/5.74	c bounds 1128 >= 794 @ 4.89539
5.66/5.74	c bounds 1127 >= 794 @ 4.90758
5.66/5.74	c bounds 1126 >= 794 @ 4.91954
5.66/5.74	c bounds 1125 >= 794 @ 4.99938
5.66/5.74	c bounds 1124 >= 794 @ 5.02633
5.66/5.74	c bounds 1123 >= 794 @ 5.04784
5.66/5.74	c bounds 1122 >= 794 @ 5.06415
5.66/5.74	c bounds 1121 >= 794 @ 5.08058
5.66/5.74	c bounds 1120 >= 794 @ 5.09668
5.66/5.74	c bounds 1119 >= 794 @ 5.11001
5.66/5.74	c bounds 1118 >= 794 @ 5.12436
5.66/5.74	c bounds 1117 >= 794 @ 5.13963
5.66/5.74	c #Conflicts:       9000 | #Constraints:      27743
5.66/5.74	c bounds 1116 >= 794 @ 5.15607
5.66/5.74	c bounds 1115 >= 794 @ 5.1685
5.66/5.74	c bounds 1114 >= 794 @ 5.18257
6.07/6.19	c bounds 1113 >= 794 @ 5.19684
6.07/6.19	c bounds 1112 >= 794 @ 5.2117
6.07/6.19	c INPROCESSING
6.07/6.19	c GARBAGE COLLECT
6.07/6.19	c rational objective 794
8.14/8.21	c bounds 1111 >= 794 @ 5.65455
8.14/8.21	c bounds 1110 >= 794 @ 5.67184
8.14/8.21	c bounds 1109 >= 794 @ 5.68845
8.14/8.21	c bounds 1108 >= 794 @ 5.78168
8.14/8.21	c bounds 1107 >= 794 @ 5.8374
8.14/8.21	c bounds 1106 >= 794 @ 5.86217
8.14/8.21	c bounds 1105 >= 794 @ 5.88476
8.14/8.21	c bounds 1104 >= 794 @ 5.9015
8.14/8.21	c bounds 1103 >= 794 @ 5.9178
8.14/8.21	c bounds 1102 >= 794 @ 5.93245
8.14/8.21	c bounds 1101 >= 794 @ 5.9505
8.14/8.21	c #Conflicts:      10000 | #Constraints:      25489
8.14/8.21	c #Conflicts:      11000 | #Constraints:      26489
8.14/8.21	c bounds 1101 >= 795 @ 6.594
8.14/8.21	c bounds 1100 >= 795 @ 6.62061
8.14/8.21	c bounds 1099 >= 795 @ 6.63943
8.14/8.21	c bounds 1098 >= 795 @ 6.66399
8.14/8.21	c bounds 1097 >= 795 @ 6.6873
8.14/8.21	c bounds 1096 >= 795 @ 6.71026
8.14/8.21	c bounds 1095 >= 795 @ 6.73103
8.14/8.21	c bounds 1094 >= 795 @ 6.75442
8.14/8.21	c bounds 1093 >= 795 @ 6.7773
8.14/8.21	c bounds 1092 >= 795 @ 6.80173
8.14/8.21	c bounds 1091 >= 795 @ 6.82787
8.14/8.21	c #Conflicts:      12000 | #Constraints:      27601
8.14/8.21	c bounds 1090 >= 795 @ 6.852
8.14/8.21	c bounds 1089 >= 795 @ 6.87315
8.14/8.21	c bounds 1088 >= 795 @ 6.89461
8.14/8.21	c bounds 1087 >= 795 @ 6.91518
8.14/8.21	c bounds 1086 >= 795 @ 6.96323
8.14/8.21	c bounds 1085 >= 795 @ 6.99073
8.14/8.21	c bounds 1084 >= 795 @ 7.04818
8.14/8.21	c INPROCESSING
8.14/8.21	c GARBAGE COLLECT
8.14/8.21	c rational objective 795
13.13/13.26	c #Conflicts:      13000 | #Constraints:      25085
13.13/13.26	c #Conflicts:      14000 | #Constraints:      26114
13.13/13.26	c bounds 1083 >= 795 @ 8.44514
13.13/13.26	c #Conflicts:      15000 | #Constraints:      27117
13.13/13.26	c bounds 1083 >= 796 @ 8.9366
13.13/13.26	c bounds 1082 >= 796 @ 8.96309
13.13/13.26	c bounds 1081 >= 796 @ 8.98766
13.13/13.26	c bounds 1080 >= 796 @ 9.01254
13.13/13.26	c bounds 1079 >= 796 @ 9.0378
13.13/13.26	c #Conflicts:      16000 | #Constraints:      28196
13.13/13.26	c bounds 1078 >= 796 @ 9.06167
13.13/13.26	c bounds 1077 >= 796 @ 9.08756
13.13/13.26	c bounds 1076 >= 796 @ 9.11083
13.13/13.26	c bounds 1075 >= 796 @ 9.1334
13.13/13.26	c bounds 1074 >= 796 @ 9.15488
13.13/13.26	c bounds 1073 >= 796 @ 9.18648
13.13/13.26	c bounds 1072 >= 796 @ 9.21375
13.13/13.26	c bounds 1071 >= 796 @ 9.23824
13.13/13.26	c bounds 1070 >= 796 @ 9.2651
13.13/13.26	c bounds 1069 >= 796 @ 9.29087
13.13/13.26	c #Conflicts:      17000 | #Constraints:      29206
13.13/13.26	c #Conflicts:      18000 | #Constraints:      30206
13.13/13.26	c bounds 1069 >= 797 @ 10.2289
13.13/13.26	c bounds 1068 >= 797 @ 10.272
13.13/13.26	c bounds 1067 >= 797 @ 10.2967
13.13/13.26	c bounds 1066 >= 797 @ 10.3173
13.13/13.26	c bounds 1065 >= 797 @ 10.3376
13.13/13.26	c #Conflicts:      19000 | #Constraints:      31279
13.13/13.26	c bounds 1064 >= 797 @ 11.1231
13.13/13.26	c bounds 1063 >= 797 @ 11.165
13.13/13.26	c bounds 1062 >= 797 @ 11.1981
13.13/13.26	c bounds 1061 >= 797 @ 11.2754
13.13/13.26	c bounds 1060 >= 797 @ 11.3132
13.13/13.26	c bounds 1059 >= 797 @ 11.356
13.13/13.26	c #Conflicts:      20000 | #Constraints:      32298
13.13/13.26	c bounds 1058 >= 797 @ 11.3907
13.13/13.26	c bounds 1057 >= 797 @ 11.427
13.13/13.26	c bounds 1056 >= 797 @ 11.4599
13.13/13.26	c bounds 1055 >= 797 @ 11.5576
13.13/13.26	c bounds 1054 >= 797 @ 11.6548
13.13/13.26	c bounds 1053 >= 797 @ 11.7106
13.13/13.26	c bounds 1052 >= 797 @ 11.7388
13.13/13.26	c bounds 1051 >= 797 @ 11.7681
13.13/13.26	c bounds 1050 >= 797 @ 11.7969
13.13/13.26	c bounds 1049 >= 797 @ 11.8233
13.13/13.26	c #Conflicts:      21000 | #Constraints:      33311
13.13/13.26	c INPROCESSING
13.13/13.26	c GARBAGE COLLECT
13.13/13.26	c rational objective 797
16.61/16.72	c bounds 1048 >= 797 @ 12.4335
16.61/16.72	c bounds 1047 >= 797 @ 12.4539
16.61/16.72	c bounds 1046 >= 797 @ 12.4729
16.61/16.72	c bounds 1045 >= 797 @ 12.494
16.61/16.72	c bounds 1044 >= 797 @ 12.5123
16.61/16.72	c bounds 1043 >= 797 @ 12.5296
16.61/16.72	c bounds 1042 >= 797 @ 12.5512
16.61/16.72	c bounds 1041 >= 797 @ 12.567
16.61/16.72	c bounds 1040 >= 797 @ 12.5839
16.61/16.72	c bounds 1039 >= 797 @ 12.6096
16.61/16.72	c bounds 1038 >= 797 @ 12.6368
16.61/16.72	c bounds 1037 >= 797 @ 12.6709
16.61/16.72	c bounds 1036 >= 797 @ 12.6934
16.61/16.72	c bounds 1035 >= 797 @ 12.7106
16.61/16.72	c bounds 1034 >= 797 @ 12.7306
16.61/16.72	c bounds 1033 >= 797 @ 12.7487
16.61/16.72	c bounds 1032 >= 797 @ 12.7669
16.61/16.72	c bounds 1031 >= 797 @ 12.7857
16.61/16.72	c #Conflicts:      22000 | #Constraints:      28561
16.61/16.72	c #Conflicts:      23000 | #Constraints:      29561
16.61/16.72	c bounds 1030 >= 797 @ 13.4869
16.61/16.72	c #Conflicts:      24000 | #Constraints:      30562
16.61/16.72	c bounds 1030 >= 798 @ 14.5594
16.61/16.72	c bounds 1029 >= 798 @ 14.6247
16.61/16.72	c bounds 1028 >= 798 @ 14.6591
16.61/16.72	c bounds 1027 >= 798 @ 14.6993
16.61/16.72	c bounds 1026 >= 798 @ 14.7305
16.61/16.72	c bounds 1025 >= 798 @ 14.9215
16.61/16.72	c bounds 1024 >= 798 @ 14.9481
16.61/16.72	c #Conflicts:      25000 | #Constraints:      31697
16.61/16.72	c bounds 1023 >= 798 @ 14.9864
16.61/16.72	c bounds 1022 >= 798 @ 15.0131
16.61/16.72	c bounds 1021 >= 798 @ 15.0962
16.61/16.72	c bounds 1020 >= 798 @ 15.1353
16.61/16.72	c bounds 1019 >= 798 @ 15.183
16.61/16.72	c bounds 1018 >= 798 @ 15.2076
16.61/16.72	c bounds 1017 >= 798 @ 15.233
16.61/16.72	c bounds 1016 >= 798 @ 15.2575
16.61/16.72	c bounds 1015 >= 798 @ 15.2809
16.61/16.72	c bounds 1014 >= 798 @ 15.3019
16.61/16.72	c bounds 1013 >= 798 @ 15.3246
16.61/16.72	c INPROCESSING
16.61/16.72	c GARBAGE COLLECT
16.61/16.72	c rational objective 798
27.78/27.99	c bounds 1012 >= 798 @ 15.7733
27.78/27.99	c bounds 1011 >= 798 @ 15.7923
27.78/27.99	c bounds 1010 >= 798 @ 15.8094
27.78/27.99	c #Conflicts:      26000 | #Constraints:      27436
27.78/27.99	c bounds 1009 >= 798 @ 15.8274
27.78/27.99	c bounds 1008 >= 798 @ 15.8468
27.78/27.99	c bounds 1007 >= 798 @ 15.8971
27.78/27.99	c #Conflicts:      27000 | #Constraints:      28439
27.78/27.99	c #Conflicts:      28000 | #Constraints:      29439
27.78/27.99	c #Conflicts:      29000 | #Constraints:      30439
27.78/27.99	c bounds 1007 >= 799 @ 17.1443
27.78/27.99	c bounds 1006 >= 799 @ 17.1738
27.78/27.99	c bounds 1005 >= 799 @ 17.1944
27.78/27.99	c bounds 1004 >= 799 @ 17.2142
27.78/27.99	c bounds 1003 >= 799 @ 17.2368
27.78/27.99	c bounds 1002 >= 799 @ 17.2558
27.78/27.99	c bounds 1001 >= 799 @ 17.2751
27.78/27.99	c bounds 1000 >= 799 @ 17.329
27.78/27.99	c bounds 999 >= 799 @ 17.3484
27.78/27.99	c bounds 998 >= 799 @ 17.3689
27.78/27.99	c bounds 997 >= 799 @ 17.3916
27.78/27.99	c bounds 996 >= 799 @ 17.4145
27.78/27.99	c bounds 995 >= 799 @ 17.4402
27.78/27.99	c bounds 994 >= 799 @ 17.4664
27.78/27.99	c bounds 993 >= 799 @ 17.6376
27.78/27.99	c bounds 992 >= 799 @ 17.6617
27.78/27.99	c bounds 991 >= 799 @ 17.682
27.78/27.99	c #Conflicts:      30000 | #Constraints:      31545
27.78/27.99	c bounds 990 >= 799 @ 17.7046
27.78/27.99	c bounds 989 >= 799 @ 17.7262
27.78/27.99	c bounds 988 >= 799 @ 17.75
27.78/27.99	c bounds 987 >= 799 @ 17.774
27.78/27.99	c bounds 986 >= 799 @ 17.795
27.78/27.99	c bounds 985 >= 799 @ 17.8184
27.78/27.99	c bounds 984 >= 799 @ 17.8466
27.78/27.99	c bounds 983 >= 799 @ 17.8693
27.78/27.99	c #Conflicts:      31000 | #Constraints:      32567
27.78/27.99	c bounds 982 >= 799 @ 18.5402
27.78/27.99	c bounds 981 >= 799 @ 18.5698
27.78/27.99	c bounds 980 >= 799 @ 18.598
27.78/27.99	c bounds 979 >= 799 @ 18.6295
27.78/27.99	c bounds 978 >= 799 @ 18.6629
27.78/27.99	c bounds 977 >= 799 @ 18.6872
27.78/27.99	c bounds 976 >= 799 @ 18.7093
27.78/27.99	c bounds 975 >= 799 @ 18.7313
27.78/27.99	c bounds 974 >= 799 @ 18.7542
27.78/27.99	c bounds 973 >= 799 @ 18.7844
27.78/27.99	c bounds 972 >= 799 @ 18.8074
27.78/27.99	c bounds 971 >= 799 @ 18.8292
27.78/27.99	c bounds 970 >= 799 @ 18.8567
27.78/27.99	c bounds 969 >= 799 @ 18.9378
27.78/27.99	c bounds 968 >= 799 @ 18.9621
27.78/27.99	c bounds 967 >= 799 @ 18.9864
27.78/27.99	c bounds 966 >= 799 @ 19.012
27.78/27.99	c bounds 965 >= 799 @ 19.0389
27.78/27.99	c #Conflicts:      32000 | #Constraints:      33592
27.78/27.99	c bounds 964 >= 799 @ 19.0689
27.78/27.99	c bounds 963 >= 799 @ 19.0932
27.78/27.99	c #Conflicts:      33000 | #Constraints:      34594
27.78/27.99	c #Conflicts:      34000 | #Constraints:      35594
27.78/27.99	c bounds 963 >= 800 @ 23.5673
27.78/27.99	c bounds 962 >= 800 @ 23.7214
27.78/27.99	c bounds 961 >= 800 @ 23.7698
27.78/27.99	c bounds 960 >= 800 @ 23.8178
27.78/27.99	c #Conflicts:      35000 | #Constraints:      36654
27.78/27.99	c bounds 959 >= 800 @ 23.8864
27.78/27.99	c bounds 958 >= 800 @ 24.0157
27.78/27.99	c bounds 957 >= 800 @ 24.0468
27.78/27.99	c bounds 956 >= 800 @ 24.0762
27.78/27.99	c #Conflicts:      36000 | #Constraints:      37658
27.78/27.99	c bounds 955 >= 800 @ 24.8234
27.78/27.99	c bounds 954 >= 800 @ 24.8725
27.78/27.99	c #Conflicts:      37000 | #Constraints:      38660
27.78/27.99	c INPROCESSING
27.78/27.99	c GARBAGE COLLECT
27.78/27.99	c rational objective 800
35.46/35.60	c bounds 953 >= 800 @ 26.8958
35.46/35.60	c bounds 952 >= 800 @ 26.967
35.46/35.60	c bounds 951 >= 800 @ 27.0281
35.46/35.60	c bounds 950 >= 800 @ 27.0553
35.46/35.60	c bounds 949 >= 800 @ 27.0807
35.46/35.60	c #Conflicts:      38000 | #Constraints:      31169
35.46/35.60	c bounds 948 >= 800 @ 27.3768
35.46/35.60	c #Conflicts:      39000 | #Constraints:      32179
35.46/35.60	c bounds 947 >= 800 @ 28.327
35.46/35.60	c bounds 946 >= 800 @ 28.4376
35.46/35.60	c #Conflicts:      40000 | #Constraints:      33187
35.46/35.60	c #Conflicts:      41000 | #Constraints:      34187
35.46/35.60	c bounds 946 >= 801 @ 29.9306
35.46/35.60	c #Conflicts:      42000 | #Constraints:      35226
35.46/35.60	c #Conflicts:      43000 | #Constraints:      36226
35.46/35.60	c INPROCESSING
35.46/35.60	c GARBAGE COLLECT
35.46/35.60	c rational objective 801
52.19/52.44	c #Conflicts:      44000 | #Constraints:      30054
52.19/52.44	c #Conflicts:      45000 | #Constraints:      31054
52.19/52.44	c bounds 946 >= 802 @ 35.5635
52.19/52.44	c #Conflicts:      46000 | #Constraints:      32138
52.19/52.44	c #Conflicts:      47000 | #Constraints:      33138
52.19/52.44	c #Conflicts:      48000 | #Constraints:      34138
52.19/52.44	c bounds 946 >= 803 @ 37.0526
52.19/52.44	c bounds 945 >= 803 @ 37.2481
52.19/52.44	c bounds 944 >= 803 @ 37.2762
52.19/52.44	c #Conflicts:      49000 | #Constraints:      35200
52.19/52.44	c bounds 943 >= 803 @ 37.3063
52.19/52.44	c bounds 942 >= 803 @ 37.3306
52.19/52.44	c bounds 941 >= 803 @ 37.4216
52.19/52.44	c bounds 940 >= 803 @ 37.4461
52.19/52.44	c bounds 939 >= 803 @ 37.4727
52.19/52.44	c bounds 938 >= 803 @ 37.4961
52.19/52.44	c bounds 937 >= 803 @ 37.5268
52.19/52.44	c bounds 936 >= 803 @ 37.5502
52.19/52.44	c bounds 935 >= 803 @ 37.5729
52.19/52.44	c bounds 934 >= 803 @ 37.5959
52.19/52.44	c bounds 933 >= 803 @ 37.624
52.19/52.44	c bounds 932 >= 803 @ 37.6443
52.19/52.44	c bounds 931 >= 803 @ 37.6663
52.19/52.44	c bounds 930 >= 803 @ 37.6883
52.19/52.44	c bounds 929 >= 803 @ 37.7121
52.19/52.44	c bounds 928 >= 803 @ 37.7374
52.19/52.44	c #Conflicts:      50000 | #Constraints:      36216
52.19/52.44	c bounds 927 >= 803 @ 37.763
52.19/52.44	c bounds 926 >= 803 @ 37.7887
52.19/52.44	c bounds 925 >= 803 @ 37.8131
52.19/52.44	c bounds 924 >= 803 @ 37.844
52.19/52.44	c bounds 923 >= 803 @ 37.8682
52.19/52.44	c bounds 922 >= 803 @ 37.8948
52.19/52.44	c bounds 921 >= 803 @ 37.9255
52.19/52.44	c bounds 920 >= 803 @ 37.9505
52.19/52.44	c bounds 919 >= 803 @ 37.9761
52.19/52.44	c bounds 918 >= 803 @ 38.0075
52.19/52.44	c bounds 917 >= 803 @ 38.0326
52.19/52.44	c bounds 916 >= 803 @ 38.058
52.19/52.44	c bounds 915 >= 803 @ 38.0838
52.19/52.44	c bounds 914 >= 803 @ 38.1104
52.19/52.44	c bounds 913 >= 803 @ 38.1403
52.19/52.44	c bounds 912 >= 803 @ 38.1654
52.19/52.44	c bounds 911 >= 803 @ 38.1889
52.19/52.44	c bounds 910 >= 803 @ 38.2155
52.19/52.44	c bounds 909 >= 803 @ 38.2428
52.19/52.44	c bounds 908 >= 803 @ 38.2749
52.19/52.44	c bounds 907 >= 803 @ 38.3002
52.19/52.44	c #Conflicts:      51000 | #Constraints:      37237
52.19/52.44	c bounds 906 >= 803 @ 38.3272
52.19/52.44	c bounds 905 >= 803 @ 38.3527
52.19/52.44	c bounds 904 >= 803 @ 38.3785
52.19/52.44	c bounds 903 >= 803 @ 38.4088
52.19/52.44	c bounds 902 >= 803 @ 38.4305
52.19/52.44	c bounds 901 >= 803 @ 38.4533
52.19/52.44	c bounds 900 >= 803 @ 38.4793
52.19/52.44	c bounds 899 >= 803 @ 38.5048
52.19/52.44	c bounds 898 >= 803 @ 38.5262
52.19/52.44	c bounds 897 >= 803 @ 38.5529
52.19/52.44	c bounds 896 >= 803 @ 38.5801
52.19/52.44	c bounds 895 >= 803 @ 38.6045
52.19/52.44	c bounds 894 >= 803 @ 38.6402
52.19/52.44	c bounds 893 >= 803 @ 38.6674
52.19/52.44	c bounds 892 >= 803 @ 38.8122
52.19/52.44	c bounds 891 >= 803 @ 39.1375
52.19/52.44	c #Conflicts:      52000 | #Constraints:      38253
52.19/52.44	c #Conflicts:      53000 | #Constraints:      39253
52.19/52.44	c #Conflicts:      54000 | #Constraints:      40253
52.19/52.44	c bounds 891 >= 804 @ 45.3975
52.19/52.44	c bounds 890 >= 804 @ 45.4641
52.19/52.44	c #Conflicts:      55000 | #Constraints:      41314
52.19/52.44	c #Conflicts:      56000 | #Constraints:      42314
52.19/52.44	c #Conflicts:      57000 | #Constraints:      43314
52.19/52.44	c INPROCESSING
52.19/52.44	c GARBAGE COLLECT
52.19/52.44	c rational objective 804
59.06/59.37	c #Conflicts:      58000 | #Constraints:      33321
59.06/59.37	c #Conflicts:      59000 | #Constraints:      34326
59.06/59.37	c #Conflicts:      60000 | #Constraints:      35333
59.06/59.37	c #Conflicts:      61000 | #Constraints:      36337
59.06/59.37	c #Conflicts:      62000 | #Constraints:      37344
59.06/59.37	c #Conflicts:      63000 | #Constraints:      38348
59.06/59.37	c #Conflicts:      64000 | #Constraints:      39350
59.06/59.37	c #Conflicts:      65000 | #Constraints:      40358
59.06/59.37	c INPROCESSING
59.06/59.37	c GARBAGE COLLECT
59.06/59.37	c rational objective 804
71.92/72.28	c #Conflicts:      66000 | #Constraints:      32274
71.92/72.28	c #Conflicts:      67000 | #Constraints:      33274
71.92/72.28	c bounds 890 >= 805 @ 59.2061
71.92/72.28	c #Conflicts:      68000 | #Constraints:      34307
71.92/72.28	c #Conflicts:      69000 | #Constraints:      35307
71.92/72.28	c #Conflicts:      70000 | #Constraints:      36307
71.92/72.28	c bounds 890 >= 806 @ 60.512
71.92/72.28	c #Conflicts:      71000 | #Constraints:      37337
71.92/72.28	c #Conflicts:      72000 | #Constraints:      38337
71.92/72.28	c #Conflicts:      73000 | #Constraints:      39337
71.92/72.28	c bounds 890 >= 807 @ 62.4831
71.92/72.28	c #Conflicts:      74000 | #Constraints:      40409
71.92/72.28	c #Conflicts:      75000 | #Constraints:      41409
71.92/72.28	c #Conflicts:      76000 | #Constraints:      42409
71.92/72.28	c bounds 890 >= 808 @ 65.2297
71.92/72.28	c #Conflicts:      77000 | #Constraints:      43475
71.92/72.28	c #Conflicts:      78000 | #Constraints:      44475
71.92/72.28	c #Conflicts:      79000 | #Constraints:      45476
71.92/72.28	c #Conflicts:      80000 | #Constraints:      46486
71.92/72.28	c #Conflicts:      81000 | #Constraints:      47489
71.92/72.28	c #Conflicts:      82000 | #Constraints:      48496
71.92/72.28	c INPROCESSING
71.92/72.28	c GARBAGE COLLECT
71.92/72.28	c rational objective 808
78.71/79.09	c #Conflicts:      83000 | #Constraints:      35712
78.71/79.09	c #Conflicts:      84000 | #Constraints:      36712
78.71/79.09	c #Conflicts:      85000 | #Constraints:      37712
78.71/79.09	c #Conflicts:      86000 | #Constraints:      38712
78.71/79.09	c bounds 890 >= 809 @ 72.7037
78.71/79.09	c #Conflicts:      87000 | #Constraints:      39775
78.71/79.09	c #Conflicts:      88000 | #Constraints:      40775
78.71/79.09	c #Conflicts:      89000 | #Constraints:      41775
78.71/79.09	c #Conflicts:      90000 | #Constraints:      42775
78.71/79.09	c bounds 890 >= 810 @ 75.4992
78.71/79.09	c #Conflicts:      91000 | #Constraints:      43814
78.71/79.09	c INPROCESSING
78.71/79.09	c GARBAGE COLLECT
78.71/79.09	c rational objective 810
111.87/112.34	c #Conflicts:      92000 | #Constraints:      35491
111.87/112.34	c #Conflicts:      93000 | #Constraints:      36491
111.87/112.34	c #Conflicts:      94000 | #Constraints:      37492
111.87/112.34	c #Conflicts:      95000 | #Constraints:      38497
111.87/112.34	c #Conflicts:      96000 | #Constraints:      39500
111.87/112.34	c #Conflicts:      97000 | #Constraints:      40507
111.87/112.34	c #Conflicts:      98000 | #Constraints:      41514
111.87/112.34	c #Conflicts:      99000 | #Constraints:      42524
111.87/112.34	c #Conflicts:     100000 | #Constraints:      43531
111.87/112.34	c #Conflicts:     101000 | #Constraints:      44540
111.87/112.34	c #Conflicts:     102000 | #Constraints:      45546
111.87/112.34	c #Conflicts:     103000 | #Constraints:      46553
111.87/112.34	c #Conflicts:     104000 | #Constraints:      47560
111.87/112.34	c #Conflicts:     105000 | #Constraints:      48562
111.87/112.34	c #Conflicts:     106000 | #Constraints:      49570
111.87/112.34	c #Conflicts:     107000 | #Constraints:      50579
111.87/112.34	c #Conflicts:     108000 | #Constraints:      51581
111.87/112.34	c #Conflicts:     109000 | #Constraints:      52582
111.87/112.34	c #Conflicts:     110000 | #Constraints:      53587
111.87/112.34	c #Conflicts:     111000 | #Constraints:      54594
111.87/112.34	c INPROCESSING
111.87/112.34	c GARBAGE COLLECT
111.87/112.34	c rational objective 810
123.03/123.57	c #Conflicts:     112000 | #Constraints:      39204
123.03/123.57	c #Conflicts:     113000 | #Constraints:      40204
123.03/123.57	c #Conflicts:     114000 | #Constraints:      41204
123.03/123.57	c #Conflicts:     115000 | #Constraints:      42204
123.03/123.57	c #Conflicts:     116000 | #Constraints:      43204
123.03/123.57	c bounds 890 >= 811 @ 114.24
123.03/123.57	c #Conflicts:     117000 | #Constraints:      44267
123.03/123.57	c #Conflicts:     118000 | #Constraints:      45267
123.03/123.57	c #Conflicts:     119000 | #Constraints:      46267
123.03/123.57	c #Conflicts:     120000 | #Constraints:      47267
123.03/123.57	c #Conflicts:     121000 | #Constraints:      48267
123.03/123.57	c INPROCESSING
123.03/123.57	c GARBAGE COLLECT
123.03/123.57	c rational objective 811
140.47/141.01	c #Conflicts:     122000 | #Constraints:      36065
140.47/141.01	c #Conflicts:     123000 | #Constraints:      37065
140.47/141.01	c #Conflicts:     124000 | #Constraints:      38065
140.47/141.01	c bounds 890 >= 812 @ 122.405
140.47/141.01	c #Conflicts:     125000 | #Constraints:      39137
140.47/141.01	c #Conflicts:     126000 | #Constraints:      40137
140.47/141.01	c #Conflicts:     127000 | #Constraints:      41137
140.47/141.01	c #Conflicts:     128000 | #Constraints:      42137
140.47/141.01	c #Conflicts:     129000 | #Constraints:      43137
140.47/141.01	c #Conflicts:     130000 | #Constraints:      44137
140.47/141.01	c #Conflicts:     131000 | #Constraints:      45137
140.47/141.01	c bounds 890 >= 813 @ 128.091
140.47/141.01	c #Conflicts:     132000 | #Constraints:      46203
140.47/141.01	c #Conflicts:     133000 | #Constraints:      47203
140.47/141.01	c #Conflicts:     134000 | #Constraints:      48203
140.47/141.01	c #Conflicts:     135000 | #Constraints:      49203
140.47/141.01	c bounds 890 >= 814 @ 132.486
140.47/141.01	c #Conflicts:     136000 | #Constraints:      50251
140.47/141.01	c #Conflicts:     137000 | #Constraints:      51251
140.47/141.01	c #Conflicts:     138000 | #Constraints:      52251
140.47/141.01	c #Conflicts:     139000 | #Constraints:      53251
140.47/141.01	c bounds 890 >= 815 @ 136.819
140.47/141.01	WSVECS04 Frhs2[2444]: 6 -1.00005 0 shouldn't be
140.47/141.01	WSVECS04 Frhs2[2454]: 6 -1.00005 0 shouldn't be
140.47/141.01	WSVECS04 Frhs2[2458]: 6 -1.00001 0 shouldn't be
148.62/149.28	c #Conflicts:     140000 | #Constraints:      54296
148.62/149.28	c #Conflicts:     141000 | #Constraints:      55296
148.62/149.28	c #Conflicts:     142000 | #Constraints:      56296
148.62/149.28	c #Conflicts:     143000 | #Constraints:      57296
148.62/149.28	c bounds 890 >= 816 @ 143.05
148.62/149.28	c #Conflicts:     144000 | #Constraints:      58326
148.62/149.28	c #Conflicts:     145000 | #Constraints:      59326
148.62/149.28	c INPROCESSING
148.62/149.28	c GARBAGE COLLECT
148.62/149.28	c rational objective 816
160.79/161.45	c #Conflicts:     146000 | #Constraints:      41622
160.79/161.45	c #Conflicts:     147000 | #Constraints:      42622
160.79/161.45	c #Conflicts:     148000 | #Constraints:      43622
160.79/161.45	c #Conflicts:     149000 | #Constraints:      44622
160.79/161.45	c #Conflicts:     150000 | #Constraints:      45622
160.79/161.45	c #Conflicts:     151000 | #Constraints:      46622
160.79/161.45	c bounds 890 >= 817 @ 150.579
160.79/161.45	c #Conflicts:     152000 | #Constraints:      47688
160.79/161.45	c #Conflicts:     153000 | #Constraints:      48688
160.79/161.45	c #Conflicts:     154000 | #Constraints:      49688
160.79/161.45	c #Conflicts:     155000 | #Constraints:      50688
160.79/161.45	c #Conflicts:     156000 | #Constraints:      51688
160.79/161.45	c INPROCESSING
160.79/161.45	c GARBAGE COLLECT
160.79/161.45	c rational objective 817
216.69/217.60	c #Conflicts:     157000 | #Constraints:      40630
216.69/217.60	c #Conflicts:     158000 | #Constraints:      41630
216.69/217.60	c #Conflicts:     159000 | #Constraints:      42630
216.69/217.60	c #Conflicts:     160000 | #Constraints:      43630
216.69/217.60	c #Conflicts:     161000 | #Constraints:      44630
216.69/217.60	c bounds 890 >= 818 @ 161.734
216.69/217.60	c #Conflicts:     162000 | #Constraints:      45687
216.69/217.60	c #Conflicts:     163000 | #Constraints:      46687
216.69/217.60	c #Conflicts:     164000 | #Constraints:      47687
216.69/217.60	c #Conflicts:     165000 | #Constraints:      48687
216.69/217.60	c #Conflicts:     166000 | #Constraints:      49687
216.69/217.60	c #Conflicts:     167000 | #Constraints:      50687
216.69/217.60	c #Conflicts:     168000 | #Constraints:      51687
216.69/217.60	c #Conflicts:     169000 | #Constraints:      52687
216.69/217.60	c bounds 890 >= 819 @ 170.479
216.69/217.60	c #Conflicts:     170000 | #Constraints:      53735
216.69/217.60	c #Conflicts:     171000 | #Constraints:      54738
216.69/217.60	c #Conflicts:     172000 | #Constraints:      55740
216.69/217.60	c #Conflicts:     173000 | #Constraints:      56744
216.69/217.60	c #Conflicts:     174000 | #Constraints:      57754
216.69/217.60	c #Conflicts:     175000 | #Constraints:      58761
216.69/217.60	c #Conflicts:     176000 | #Constraints:      59764
216.69/217.60	c #Conflicts:     177000 | #Constraints:      60768
216.69/217.60	c #Conflicts:     178000 | #Constraints:      61773
216.69/217.60	c #Conflicts:     179000 | #Constraints:      62775
216.69/217.60	c #Conflicts:     180000 | #Constraints:      63779
216.69/217.60	c #Conflicts:     181000 | #Constraints:      64782
216.69/217.60	c #Conflicts:     182000 | #Constraints:      65784
216.69/217.60	c #Conflicts:     183000 | #Constraints:      66789
216.69/217.60	c INPROCESSING
216.69/217.60	c GARBAGE COLLECT
216.69/217.60	c rational objective 819
233.83/234.74	c #Conflicts:     184000 | #Constraints:      45574
233.83/234.74	c #Conflicts:     185000 | #Constraints:      46574
233.83/234.74	c #Conflicts:     186000 | #Constraints:      47574
233.83/234.74	c #Conflicts:     187000 | #Constraints:      48574
233.83/234.74	c #Conflicts:     188000 | #Constraints:      49574
233.83/234.74	c #Conflicts:     189000 | #Constraints:      50574
233.83/234.74	c #Conflicts:     190000 | #Constraints:      51574
233.83/234.74	c #Conflicts:     191000 | #Constraints:      52574
233.83/234.74	c bounds 890 >= 820 @ 222.994
233.83/234.74	c #Conflicts:     192000 | #Constraints:      53607
233.83/234.74	c #Conflicts:     193000 | #Constraints:      54607
233.83/234.74	c #Conflicts:     194000 | #Constraints:      55607
233.83/234.74	c #Conflicts:     195000 | #Constraints:      56607
233.83/234.74	c #Conflicts:     196000 | #Constraints:      57607
233.83/234.74	c INPROCESSING
233.83/234.74	c GARBAGE COLLECT
233.83/234.74	c rational objective 820
280.50/281.57	c #Conflicts:     197000 | #Constraints:      44067
280.50/281.57	c #Conflicts:     198000 | #Constraints:      45067
280.50/281.57	c #Conflicts:     199000 | #Constraints:      46067
280.50/281.57	c #Conflicts:     200000 | #Constraints:      47067
280.50/281.57	c #Conflicts:     201000 | #Constraints:      48067
280.50/281.57	c bounds 890 >= 821 @ 235.659
280.50/281.57	c #Conflicts:     202000 | #Constraints:      49103
280.50/281.57	c #Conflicts:     203000 | #Constraints:      50103
280.50/281.57	c #Conflicts:     204000 | #Constraints:      51103
280.50/281.57	c #Conflicts:     205000 | #Constraints:      52103
280.50/281.57	c #Conflicts:     206000 | #Constraints:      53103
280.50/281.57	c #Conflicts:     207000 | #Constraints:      54103
280.50/281.57	c #Conflicts:     208000 | #Constraints:      55103
280.50/281.57	c #Conflicts:     209000 | #Constraints:      56103
280.50/281.57	c #Conflicts:     210000 | #Constraints:      57103
280.50/281.57	c bounds 890 >= 822 @ 248.231
280.50/281.57	c #Conflicts:     211000 | #Constraints:      58136
280.50/281.57	c #Conflicts:     212000 | #Constraints:      59136
280.50/281.57	c #Conflicts:     213000 | #Constraints:      60136
280.50/281.57	c #Conflicts:     214000 | #Constraints:      61136
280.50/281.57	c #Conflicts:     215000 | #Constraints:      62136
280.50/281.57	c #Conflicts:     216000 | #Constraints:      63136
280.50/281.57	c #Conflicts:     217000 | #Constraints:      64136
280.50/281.57	c #Conflicts:     218000 | #Constraints:      65136
280.50/281.57	c #Conflicts:     219000 | #Constraints:      66136
280.50/281.57	c #Conflicts:     220000 | #Constraints:      67136
280.50/281.57	c bounds 890 >= 823 @ 265.813
280.50/281.57	c #Conflicts:     221000 | #Constraints:      68175
280.50/281.57	c #Conflicts:     222000 | #Constraints:      69175
280.50/281.57	c #Conflicts:     223000 | #Constraints:      70175
280.50/281.57	c #Conflicts:     224000 | #Constraints:      71175
280.50/281.57	c #Conflicts:     225000 | #Constraints:      72175
280.50/281.57	c #Conflicts:     226000 | #Constraints:      73175
280.50/281.57	c INPROCESSING
280.50/281.57	c GARBAGE COLLECT
280.50/281.57	c rational objective 823
300.66/301.78	c #Conflicts:     227000 | #Constraints:      49020
300.66/301.78	c #Conflicts:     228000 | #Constraints:      50020
300.66/301.78	c #Conflicts:     229000 | #Constraints:      51020
300.66/301.78	c #Conflicts:     230000 | #Constraints:      52021
300.66/301.78	c #Conflicts:     231000 | #Constraints:      53027
300.66/301.78	c #Conflicts:     232000 | #Constraints:      54032
300.66/301.78	c #Conflicts:     233000 | #Constraints:      55047
300.66/301.78	c #Conflicts:     234000 | #Constraints:      56053
300.66/301.78	c #Conflicts:     235000 | #Constraints:      57054
300.66/301.78	c #Conflicts:     236000 | #Constraints:      58058
300.66/301.78	c #Conflicts:     237000 | #Constraints:      59063
300.66/301.78	c #Conflicts:     238000 | #Constraints:      60070
300.66/301.78	c #Conflicts:     239000 | #Constraints:      61079
300.66/301.78	c #Conflicts:     240000 | #Constraints:      62085
300.66/301.78	c INPROCESSING
300.66/301.78	c GARBAGE COLLECT
300.66/301.78	c rational objective 823
361.99/363.22	c #Conflicts:     241000 | #Constraints:      46971
361.99/363.22	c #Conflicts:     242000 | #Constraints:      47971
361.99/363.22	c #Conflicts:     243000 | #Constraints:      48971
361.99/363.22	c #Conflicts:     244000 | #Constraints:      49971
361.99/363.22	c #Conflicts:     245000 | #Constraints:      50971
361.99/363.22	c #Conflicts:     246000 | #Constraints:      51971
361.99/363.22	c #Conflicts:     247000 | #Constraints:      52971
361.99/363.22	c #Conflicts:     248000 | #Constraints:      53971
361.99/363.22	c #Conflicts:     249000 | #Constraints:      54971
361.99/363.22	c bounds 890 >= 824 @ 306.08
361.99/363.22	c #Conflicts:     250000 | #Constraints:      56016
361.99/363.22	c #Conflicts:     251000 | #Constraints:      57016
361.99/363.22	c #Conflicts:     252000 | #Constraints:      58016
361.99/363.22	c #Conflicts:     253000 | #Constraints:      59016
361.99/363.22	c #Conflicts:     254000 | #Constraints:      60016
361.99/363.22	c #Conflicts:     255000 | #Constraints:      61016
361.99/363.22	c #Conflicts:     256000 | #Constraints:      62016
361.99/363.22	c bounds 890 >= 825 @ 317.508
361.99/363.22	c #Conflicts:     257000 | #Constraints:      63058
361.99/363.22	c #Conflicts:     258000 | #Constraints:      64058
361.99/363.22	c #Conflicts:     259000 | #Constraints:      65058
361.99/363.23	c #Conflicts:     260000 | #Constraints:      66059
361.99/363.23	c #Conflicts:     261000 | #Constraints:      67064
361.99/363.23	c #Conflicts:     262000 | #Constraints:      68065
361.99/363.23	c #Conflicts:     263000 | #Constraints:      69072
361.99/363.23	c #Conflicts:     264000 | #Constraints:      70078
361.99/363.23	c #Conflicts:     265000 | #Constraints:      71081
361.99/363.23	c #Conflicts:     266000 | #Constraints:      72084
361.99/363.23	c #Conflicts:     267000 | #Constraints:      73089
361.99/363.23	c #Conflicts:     268000 | #Constraints:      74092
361.99/363.23	c #Conflicts:     269000 | #Constraints:      75096
361.99/363.23	c #Conflicts:     270000 | #Constraints:      76099
361.99/363.23	c #Conflicts:     271000 | #Constraints:      77102
361.99/363.23	c #Conflicts:     272000 | #Constraints:      78105
361.99/363.23	c #Conflicts:     273000 | #Constraints:      79108
361.99/363.23	c INPROCESSING
361.99/363.23	c GARBAGE COLLECT
361.99/363.23	c rational objective 825
384.41/385.77	c #Conflicts:     274000 | #Constraints:      51849
384.41/385.77	c #Conflicts:     275000 | #Constraints:      52849
384.41/385.77	c #Conflicts:     276000 | #Constraints:      53849
384.41/385.77	c #Conflicts:     277000 | #Constraints:      54849
384.41/385.77	c #Conflicts:     278000 | #Constraints:      55849
384.41/385.77	c #Conflicts:     279000 | #Constraints:      56849
384.41/385.77	c #Conflicts:     280000 | #Constraints:      57849
384.41/385.77	c #Conflicts:     281000 | #Constraints:      58849
384.41/385.77	c #Conflicts:     282000 | #Constraints:      59849
384.41/385.77	c #Conflicts:     283000 | #Constraints:      60849
384.41/385.77	c #Conflicts:     284000 | #Constraints:      61849
384.41/385.77	c bounds 890 >= 826 @ 372.949
384.41/385.77	c #Conflicts:     285000 | #Constraints:      62915
384.41/385.77	c #Conflicts:     286000 | #Constraints:      63915
384.41/385.77	c #Conflicts:     287000 | #Constraints:      64915
384.41/385.77	c #Conflicts:     288000 | #Constraints:      65915
384.41/385.77	c INPROCESSING
384.41/385.77	c GARBAGE COLLECT
384.41/385.77	c rational objective 826
442.84/444.31	c #Conflicts:     289000 | #Constraints:      49046
442.84/444.31	c #Conflicts:     290000 | #Constraints:      50046
442.84/444.31	c #Conflicts:     291000 | #Constraints:      51046
442.84/444.31	c #Conflicts:     292000 | #Constraints:      52046
442.84/444.31	c #Conflicts:     293000 | #Constraints:      53046
442.84/444.31	c #Conflicts:     294000 | #Constraints:      54046
442.84/444.31	c #Conflicts:     295000 | #Constraints:      55046
442.84/444.31	c #Conflicts:     296000 | #Constraints:      56046
442.84/444.31	c #Conflicts:     297000 | #Constraints:      57046
442.84/444.31	c #Conflicts:     298000 | #Constraints:      58046
442.84/444.31	c bounds 890 >= 827 @ 393.411
442.84/444.31	c #Conflicts:     299000 | #Constraints:      59100
442.84/444.31	c #Conflicts:     300000 | #Constraints:      60100
442.84/444.31	c #Conflicts:     301000 | #Constraints:      61100
442.84/444.31	c #Conflicts:     302000 | #Constraints:      62100
442.84/444.31	c #Conflicts:     303000 | #Constraints:      63100
442.84/444.31	c #Conflicts:     304000 | #Constraints:      64100
442.84/444.31	c #Conflicts:     305000 | #Constraints:      65100
442.84/444.31	c #Conflicts:     306000 | #Constraints:      66100
442.84/444.31	c #Conflicts:     307000 | #Constraints:      67100
442.84/444.31	c #Conflicts:     308000 | #Constraints:      68100
442.84/444.31	c #Conflicts:     309000 | #Constraints:      69100
442.84/444.31	c #Conflicts:     310000 | #Constraints:      70100
442.84/444.31	c #Conflicts:     311000 | #Constraints:      71100
442.84/444.31	c #Conflicts:     312000 | #Constraints:      72100
442.84/444.31	c #Conflicts:     313000 | #Constraints:      73100
442.84/444.31	c #Conflicts:     314000 | #Constraints:      74100
442.84/444.31	c bounds 890 >= 828 @ 422.738
442.84/444.31	c #Conflicts:     315000 | #Constraints:      75145
442.84/444.31	c #Conflicts:     316000 | #Constraints:      76145
442.84/444.31	c #Conflicts:     317000 | #Constraints:      77145
442.84/444.31	c #Conflicts:     318000 | #Constraints:      78145
442.84/444.31	c #Conflicts:     319000 | #Constraints:      79146
442.84/444.31	c #Conflicts:     320000 | #Constraints:      80150
442.84/444.31	c #Conflicts:     321000 | #Constraints:      81156
442.84/444.31	c #Conflicts:     322000 | #Constraints:      82157
442.84/444.31	c #Conflicts:     323000 | #Constraints:      83160
442.84/444.31	c #Conflicts:     324000 | #Constraints:      84168
442.84/444.31	c INPROCESSING
442.84/444.31	c GARBAGE COLLECT
442.84/444.31	c rational objective 828
472.24/473.85	c #Conflicts:     325000 | #Constraints:      54188
472.24/473.85	c #Conflicts:     326000 | #Constraints:      55188
472.24/473.85	c #Conflicts:     327000 | #Constraints:      56188
472.24/473.85	c #Conflicts:     328000 | #Constraints:      57188
472.24/473.85	c #Conflicts:     329000 | #Constraints:      58188
472.24/473.85	c #Conflicts:     330000 | #Constraints:      59188
472.24/473.85	c #Conflicts:     331000 | #Constraints:      60188
472.24/473.85	c #Conflicts:     332000 | #Constraints:      61188
472.24/473.85	c #Conflicts:     333000 | #Constraints:      62188
472.24/473.85	c #Conflicts:     334000 | #Constraints:      63188
472.24/473.85	c #Conflicts:     335000 | #Constraints:      64188
472.24/473.85	c #Conflicts:     336000 | #Constraints:      65188
472.24/473.85	c #Conflicts:     337000 | #Constraints:      66188
472.24/473.85	c #Conflicts:     338000 | #Constraints:      67188
472.24/473.85	c #Conflicts:     339000 | #Constraints:      68188
472.24/473.85	c #Conflicts:     340000 | #Constraints:      69188
472.24/473.85	c INPROCESSING
472.24/473.85	c GARBAGE COLLECT
472.24/473.85	c rational objective 828
564.06/566.01	c #Conflicts:     341000 | #Constraints:      50866
564.06/566.01	c #Conflicts:     342000 | #Constraints:      51866
564.06/566.01	c #Conflicts:     343000 | #Constraints:      52866
564.06/566.01	c #Conflicts:     344000 | #Constraints:      53866
564.06/566.01	c #Conflicts:     345000 | #Constraints:      54867
564.06/566.01	c #Conflicts:     346000 | #Constraints:      55867
564.06/566.01	c #Conflicts:     347000 | #Constraints:      56877
564.06/566.01	c #Conflicts:     348000 | #Constraints:      57883
564.06/566.01	c #Conflicts:     349000 | #Constraints:      58886
564.06/566.01	c #Conflicts:     350000 | #Constraints:      59886
564.06/566.01	c #Conflicts:     351000 | #Constraints:      60894
564.06/566.01	c #Conflicts:     352000 | #Constraints:      61904
564.06/566.01	c #Conflicts:     353000 | #Constraints:      62912
564.06/566.01	c #Conflicts:     354000 | #Constraints:      63922
564.06/566.01	c #Conflicts:     355000 | #Constraints:      64928
564.06/566.01	c #Conflicts:     356000 | #Constraints:      65932
564.06/566.01	c #Conflicts:     357000 | #Constraints:      66940
564.06/566.01	c #Conflicts:     358000 | #Constraints:      67944
564.06/566.01	c #Conflicts:     359000 | #Constraints:      68950
564.06/566.01	c #Conflicts:     360000 | #Constraints:      69953
564.06/566.01	c #Conflicts:     361000 | #Constraints:      70957
564.06/566.01	c #Conflicts:     362000 | #Constraints:      71964
564.06/566.01	c #Conflicts:     363000 | #Constraints:      72968
564.06/566.01	c #Conflicts:     364000 | #Constraints:      73970
564.06/566.01	c #Conflicts:     365000 | #Constraints:      74973
564.06/566.01	c #Conflicts:     366000 | #Constraints:      75981
564.06/566.01	c #Conflicts:     367000 | #Constraints:      76986
564.06/566.01	c #Conflicts:     368000 | #Constraints:      77990
564.06/566.01	c #Conflicts:     369000 | #Constraints:      78994
564.06/566.01	c #Conflicts:     370000 | #Constraints:      79998
564.06/566.01	c #Conflicts:     371000 | #Constraints:      81002
564.06/566.01	c #Conflicts:     372000 | #Constraints:      82007
564.06/566.01	c #Conflicts:     373000 | #Constraints:      83010
564.06/566.01	c #Conflicts:     374000 | #Constraints:      84012
564.06/566.01	c #Conflicts:     375000 | #Constraints:      85018
564.06/566.01	c #Conflicts:     376000 | #Constraints:      86022
564.06/566.01	c #Conflicts:     377000 | #Constraints:      87027
564.06/566.01	c #Conflicts:     378000 | #Constraints:      88031
564.06/566.01	c #Conflicts:     379000 | #Constraints:      89036
564.06/566.01	c #Conflicts:     380000 | #Constraints:      90038
564.06/566.01	c INPROCESSING
564.06/566.01	c GARBAGE COLLECT
564.06/566.01	c rational objective 828
602.84/604.82	c #Conflicts:     381000 | #Constraints:      57731
602.84/604.82	c #Conflicts:     382000 | #Constraints:      58731
602.84/604.82	c #Conflicts:     383000 | #Constraints:      59731
602.84/604.82	c #Conflicts:     384000 | #Constraints:      60731
602.84/604.82	c #Conflicts:     385000 | #Constraints:      61731
602.84/604.82	c #Conflicts:     386000 | #Constraints:      62731
602.84/604.82	c #Conflicts:     387000 | #Constraints:      63731
602.84/604.82	c #Conflicts:     388000 | #Constraints:      64731
602.84/604.82	c #Conflicts:     389000 | #Constraints:      65731
602.84/604.82	c bounds 890 >= 829 @ 575.281
602.84/604.82	c #Conflicts:     390000 | #Constraints:      66767
602.84/604.82	c #Conflicts:     391000 | #Constraints:      67767
602.84/604.82	c #Conflicts:     392000 | #Constraints:      68767
602.84/604.82	c #Conflicts:     393000 | #Constraints:      69767
602.84/604.82	c #Conflicts:     394000 | #Constraints:      70767
602.84/604.82	c #Conflicts:     395000 | #Constraints:      71767
602.84/604.82	c #Conflicts:     396000 | #Constraints:      72767
602.84/604.82	c #Conflicts:     397000 | #Constraints:      73767
602.84/604.82	c INPROCESSING
602.84/604.82	c GARBAGE COLLECT
602.84/604.82	c rational objective 829
701.14/703.46	c #Conflicts:     398000 | #Constraints:      52156
701.14/703.46	c #Conflicts:     399000 | #Constraints:      53156
701.14/703.46	c #Conflicts:     400000 | #Constraints:      54156
701.14/703.46	c #Conflicts:     401000 | #Constraints:      55156
701.14/703.46	c #Conflicts:     402000 | #Constraints:      56156
701.14/703.46	c #Conflicts:     403000 | #Constraints:      57156
701.14/703.46	c #Conflicts:     404000 | #Constraints:      58156
701.14/703.46	c #Conflicts:     405000 | #Constraints:      59156
701.14/703.46	c #Conflicts:     406000 | #Constraints:      60156
701.14/703.46	c #Conflicts:     407000 | #Constraints:      61156
701.14/703.46	c #Conflicts:     408000 | #Constraints:      62156
701.14/703.46	c #Conflicts:     409000 | #Constraints:      63156
701.14/703.46	c #Conflicts:     410000 | #Constraints:      64156
701.14/703.46	c #Conflicts:     411000 | #Constraints:      65156
701.14/703.46	c #Conflicts:     412000 | #Constraints:      66156
701.14/703.46	c #Conflicts:     413000 | #Constraints:      67156
701.14/703.46	c bounds 890 >= 830 @ 622
701.14/703.46	c #Conflicts:     414000 | #Constraints:      68216
701.14/703.46	c #Conflicts:     415000 | #Constraints:      69216
701.14/703.46	c #Conflicts:     416000 | #Constraints:      70216
701.14/703.46	c #Conflicts:     417000 | #Constraints:      71216
701.14/703.46	c #Conflicts:     418000 | #Constraints:      72216
701.14/703.46	c #Conflicts:     419000 | #Constraints:      73216
701.14/703.46	c #Conflicts:     420000 | #Constraints:      74216
701.14/703.46	c #Conflicts:     421000 | #Constraints:      75216
701.14/703.46	c #Conflicts:     422000 | #Constraints:      76216
701.14/703.46	c #Conflicts:     423000 | #Constraints:      77216
701.14/703.46	c #Conflicts:     424000 | #Constraints:      78216
701.14/703.46	c #Conflicts:     425000 | #Constraints:      79216
701.14/703.46	c #Conflicts:     426000 | #Constraints:      80216
701.14/703.46	c #Conflicts:     427000 | #Constraints:      81216
701.14/703.46	c #Conflicts:     428000 | #Constraints:      82216
701.14/703.46	c #Conflicts:     429000 | #Constraints:      83216
701.14/703.46	c #Conflicts:     430000 | #Constraints:      84216
701.14/703.46	c bounds 890 >= 831 @ 664.977
701.14/703.46	c #Conflicts:     431000 | #Constraints:      85255
701.14/703.46	c #Conflicts:     432000 | #Constraints:      86255
701.14/703.46	c #Conflicts:     433000 | #Constraints:      87255
701.14/703.46	c #Conflicts:     434000 | #Constraints:      88255
701.14/703.46	c #Conflicts:     435000 | #Constraints:      89255
701.14/703.46	c #Conflicts:     436000 | #Constraints:      90255
701.14/703.46	c #Conflicts:     437000 | #Constraints:      91255
701.14/703.46	c #Conflicts:     438000 | #Constraints:      92255
701.14/703.46	c #Conflicts:     439000 | #Constraints:      93255
701.14/703.46	c #Conflicts:     440000 | #Constraints:      94255
701.14/703.46	c INPROCESSING
701.14/703.46	c GARBAGE COLLECT
701.14/703.46	c rational objective 831
754.51/756.93	c #Conflicts:     441000 | #Constraints:      59866
754.51/756.93	c #Conflicts:     442000 | #Constraints:      60866
754.51/756.93	c #Conflicts:     443000 | #Constraints:      61866
754.51/756.93	c #Conflicts:     444000 | #Constraints:      62866
754.51/756.93	c #Conflicts:     445000 | #Constraints:      63866
754.51/756.93	c #Conflicts:     446000 | #Constraints:      64866
754.51/756.93	c #Conflicts:     447000 | #Constraints:      65866
754.51/756.93	c #Conflicts:     448000 | #Constraints:      66866
754.51/756.93	c #Conflicts:     449000 | #Constraints:      67866
754.51/756.93	c #Conflicts:     450000 | #Constraints:      68866
754.51/756.93	c #Conflicts:     451000 | #Constraints:      69866
754.51/756.93	c #Conflicts:     452000 | #Constraints:      70866
754.51/756.93	c #Conflicts:     453000 | #Constraints:      71866
754.51/756.93	c #Conflicts:     454000 | #Constraints:      72866
754.51/756.93	c #Conflicts:     455000 | #Constraints:      73866
754.51/756.93	c #Conflicts:     456000 | #Constraints:      74866
754.51/756.93	c #Conflicts:     457000 | #Constraints:      75866
754.51/756.93	c #Conflicts:     458000 | #Constraints:      76866
754.51/756.93	c #Conflicts:     459000 | #Constraints:      77866
754.51/756.93	c INPROCESSING
754.51/756.93	c GARBAGE COLLECT
754.51/756.93	c rational objective 831
844.67/847.36	c #Conflicts:     460000 | #Constraints:      55709
844.67/847.36	c #Conflicts:     461000 | #Constraints:      56709
844.67/847.36	c #Conflicts:     462000 | #Constraints:      57709
844.67/847.36	c #Conflicts:     463000 | #Constraints:      58709
844.67/847.36	c #Conflicts:     464000 | #Constraints:      59709
844.67/847.36	c #Conflicts:     465000 | #Constraints:      60709
844.67/847.36	c #Conflicts:     466000 | #Constraints:      61709
844.67/847.36	c #Conflicts:     467000 | #Constraints:      62709
844.67/847.36	c #Conflicts:     468000 | #Constraints:      63709
844.67/847.36	c #Conflicts:     469000 | #Constraints:      64709
844.67/847.36	c #Conflicts:     470000 | #Constraints:      65709
844.67/847.36	c #Conflicts:     471000 | #Constraints:      66709
844.67/847.36	c #Conflicts:     472000 | #Constraints:      67709
844.67/847.36	c #Conflicts:     473000 | #Constraints:      68709
844.67/847.36	c #Conflicts:     474000 | #Constraints:      69709
844.67/847.36	c #Conflicts:     475000 | #Constraints:      70709
844.67/847.36	c bounds 890 >= 832 @ 779.595
844.67/847.36	c #Conflicts:     476000 | #Constraints:      71742
844.67/847.36	c #Conflicts:     477000 | #Constraints:      72742
844.67/847.36	c #Conflicts:     478000 | #Constraints:      73742
844.67/847.36	c #Conflicts:     479000 | #Constraints:      74742
844.67/847.36	c #Conflicts:     480000 | #Constraints:      75742
844.67/847.36	c #Conflicts:     481000 | #Constraints:      76742
844.67/847.36	c #Conflicts:     482000 | #Constraints:      77742
844.67/847.36	c #Conflicts:     483000 | #Constraints:      78742
844.67/847.36	c #Conflicts:     484000 | #Constraints:      79742
844.67/847.36	c #Conflicts:     485000 | #Constraints:      80742
844.67/847.36	c #Conflicts:     486000 | #Constraints:      81742
844.67/847.36	c #Conflicts:     487000 | #Constraints:      82742
844.67/847.36	c #Conflicts:     488000 | #Constraints:      83742
844.67/847.36	c #Conflicts:     489000 | #Constraints:      84742
844.67/847.36	c #Conflicts:     490000 | #Constraints:      85742
844.67/847.36	c #Conflicts:     491000 | #Constraints:      86742
844.67/847.36	c #Conflicts:     492000 | #Constraints:      87742
844.67/847.36	c #Conflicts:     493000 | #Constraints:      88742
844.67/847.36	c #Conflicts:     494000 | #Constraints:      89742
844.67/847.36	c #Conflicts:     495000 | #Constraints:      90742
844.67/847.36	c #Conflicts:     496000 | #Constraints:      91742
844.67/847.36	c bounds 890 >= 833 @ 835.199
844.67/847.36	WSVECS04 Frhs2[1822]: 6 -1.00003 0 shouldn't be
869.59/872.36	c #Conflicts:     497000 | #Constraints:      92763
869.59/872.36	c #Conflicts:     498000 | #Constraints:      93763
869.59/872.36	c #Conflicts:     499000 | #Constraints:      94763
869.59/872.36	c #Conflicts:     500000 | #Constraints:      95763
869.59/872.36	c #Conflicts:     501000 | #Constraints:      96763
869.59/872.36	c #Conflicts:     502000 | #Constraints:      97763
869.59/872.36	c #Conflicts:     503000 | #Constraints:      98763
869.59/872.36	c #Conflicts:     504000 | #Constraints:      99763
869.59/872.36	c INPROCESSING
869.59/872.36	c GARBAGE COLLECT
869.59/872.36	c rational objective 833
911.87/914.71	c #Conflicts:     505000 | #Constraints:      62591
911.87/914.71	c #Conflicts:     506000 | #Constraints:      63591
911.87/914.71	c #Conflicts:     507000 | #Constraints:      64591
911.87/914.71	c #Conflicts:     508000 | #Constraints:      65591
911.87/914.71	c #Conflicts:     509000 | #Constraints:      66591
911.87/914.71	c #Conflicts:     510000 | #Constraints:      67594
911.87/914.71	c #Conflicts:     511000 | #Constraints:      68597
911.87/914.71	c #Conflicts:     512000 | #Constraints:      69601
911.87/914.71	c #Conflicts:     513000 | #Constraints:      70606
911.87/914.71	c #Conflicts:     514000 | #Constraints:      71613
911.87/914.71	c #Conflicts:     515000 | #Constraints:      72623
911.87/914.71	c #Conflicts:     516000 | #Constraints:      73638
911.87/914.71	c #Conflicts:     517000 | #Constraints:      74647
911.87/914.71	c #Conflicts:     518000 | #Constraints:      75653
911.87/914.71	c #Conflicts:     519000 | #Constraints:      76662
911.87/914.71	c #Conflicts:     520000 | #Constraints:      77666
911.87/914.71	c #Conflicts:     521000 | #Constraints:      78678
911.87/914.71	c #Conflicts:     522000 | #Constraints:      79681
911.87/914.71	c #Conflicts:     523000 | #Constraints:      80684
911.87/914.71	c #Conflicts:     524000 | #Constraints:      81689
911.87/914.71	c #Conflicts:     525000 | #Constraints:      82692
911.87/914.71	c INPROCESSING
911.87/914.71	c GARBAGE COLLECT
911.87/914.71	c rational objective 833
1030.29/1033.50	c #Conflicts:     526000 | #Constraints:      58944
1030.29/1033.50	c #Conflicts:     527000 | #Constraints:      59944
1030.29/1033.50	c #Conflicts:     528000 | #Constraints:      60944
1030.29/1033.50	c #Conflicts:     529000 | #Constraints:      61944
1030.29/1033.50	c #Conflicts:     530000 | #Constraints:      62944
1030.29/1033.50	c #Conflicts:     531000 | #Constraints:      63944
1030.29/1033.50	c #Conflicts:     532000 | #Constraints:      64944
1030.29/1033.50	c #Conflicts:     533000 | #Constraints:      65944
1030.29/1033.50	c #Conflicts:     534000 | #Constraints:      66944
1030.29/1033.50	c #Conflicts:     535000 | #Constraints:      67944
1030.29/1033.50	c #Conflicts:     536000 | #Constraints:      68944
1030.29/1033.50	c #Conflicts:     537000 | #Constraints:      69944
1030.29/1033.50	c #Conflicts:     538000 | #Constraints:      70944
1030.29/1033.50	c #Conflicts:     539000 | #Constraints:      71944
1030.29/1033.50	c #Conflicts:     540000 | #Constraints:      72944
1030.29/1033.50	c #Conflicts:     541000 | #Constraints:      73944
1030.29/1033.50	c #Conflicts:     542000 | #Constraints:      74944
1030.29/1033.50	c #Conflicts:     543000 | #Constraints:      75944
1030.29/1033.50	c #Conflicts:     544000 | #Constraints:      76944
1030.29/1033.50	c #Conflicts:     545000 | #Constraints:      77944
1030.29/1033.50	c #Conflicts:     546000 | #Constraints:      78944
1030.29/1033.50	c #Conflicts:     547000 | #Constraints:      79944
1030.29/1033.50	c #Conflicts:     548000 | #Constraints:      80944
1030.29/1033.50	c #Conflicts:     549000 | #Constraints:      81944
1030.29/1033.50	c #Conflicts:     550000 | #Constraints:      82944
1030.29/1033.50	c #Conflicts:     551000 | #Constraints:      83944
1030.29/1033.50	c #Conflicts:     552000 | #Constraints:      84944
1030.29/1033.50	c #Conflicts:     553000 | #Constraints:      85944
1030.29/1033.50	c bounds 890 >= 834 @ 977.177
1030.29/1033.50	c #Conflicts:     554000 | #Constraints:      87016
1030.29/1033.50	c #Conflicts:     555000 | #Constraints:      88016
1030.29/1033.50	c #Conflicts:     556000 | #Constraints:      89016
1030.29/1033.50	c #Conflicts:     557000 | #Constraints:      90016
1030.29/1033.50	c #Conflicts:     558000 | #Constraints:      91016
1030.29/1033.50	c #Conflicts:     559000 | #Constraints:      92016
1030.29/1033.50	c #Conflicts:     560000 | #Constraints:      93017
1030.29/1033.50	c #Conflicts:     561000 | #Constraints:      94022
1030.29/1033.50	c #Conflicts:     562000 | #Constraints:      95028
1030.29/1033.50	c #Conflicts:     563000 | #Constraints:      96038
1030.29/1033.50	c #Conflicts:     564000 | #Constraints:      97041
1030.29/1033.50	c #Conflicts:     565000 | #Constraints:      98048
1030.29/1033.50	c #Conflicts:     566000 | #Constraints:      99054
1030.29/1033.50	c #Conflicts:     567000 | #Constraints:     100055
1030.29/1033.50	c #Conflicts:     568000 | #Constraints:     101063
1030.29/1033.50	c #Conflicts:     569000 | #Constraints:     102066
1030.29/1033.50	c #Conflicts:     570000 | #Constraints:     103073
1030.29/1033.50	c #Conflicts:     571000 | #Constraints:     104081
1030.29/1033.50	c #Conflicts:     572000 | #Constraints:     105083
1030.29/1033.50	c #Conflicts:     573000 | #Constraints:     106094
1030.29/1033.50	c INPROCESSING
1030.29/1033.50	c GARBAGE COLLECT
1030.29/1033.50	c rational objective 834
1066.79/1070.13	c #Conflicts:     574000 | #Constraints:      65702
1066.79/1070.13	c #Conflicts:     575000 | #Constraints:      66705
1066.79/1070.13	c #Conflicts:     576000 | #Constraints:      67709
1066.79/1070.13	c #Conflicts:     577000 | #Constraints:      68713
1066.79/1070.13	c #Conflicts:     578000 | #Constraints:      69722
1066.79/1070.13	c #Conflicts:     579000 | #Constraints:      70729
1066.79/1070.13	c #Conflicts:     580000 | #Constraints:      71734
1066.79/1070.13	c #Conflicts:     581000 | #Constraints:      72739
1066.79/1070.13	c #Conflicts:     582000 | #Constraints:      73743
1066.79/1070.13	c #Conflicts:     583000 | #Constraints:      74748
1066.79/1070.13	c #Conflicts:     584000 | #Constraints:      75756
1066.79/1070.13	c #Conflicts:     585000 | #Constraints:      76759
1066.79/1070.13	c #Conflicts:     586000 | #Constraints:      77762
1066.79/1070.13	c #Conflicts:     587000 | #Constraints:      78769
1066.79/1070.13	c #Conflicts:     588000 | #Constraints:      79776
1066.79/1070.13	c #Conflicts:     589000 | #Constraints:      80780
1066.79/1070.13	c #Conflicts:     590000 | #Constraints:      81783
1066.79/1070.13	c #Conflicts:     591000 | #Constraints:      82789
1066.79/1070.13	c #Conflicts:     592000 | #Constraints:      83797
1066.79/1070.13	c #Conflicts:     593000 | #Constraints:      84804
1066.79/1070.13	c #Conflicts:     594000 | #Constraints:      85809
1066.79/1070.13	c #Conflicts:     595000 | #Constraints:      86815
1066.79/1070.13	c INPROCESSING
1066.79/1070.13	c GARBAGE COLLECT
1066.79/1070.13	c rational objective 834
1213.25/1217.10	c #Conflicts:     596000 | #Constraints:      60980
1213.25/1217.10	c #Conflicts:     597000 | #Constraints:      61980
1213.25/1217.10	c #Conflicts:     598000 | #Constraints:      62980
1213.25/1217.10	c #Conflicts:     599000 | #Constraints:      63980
1213.25/1217.10	c #Conflicts:     600000 | #Constraints:      64980
1213.25/1217.10	c #Conflicts:     601000 | #Constraints:      65980
1213.25/1217.10	c #Conflicts:     602000 | #Constraints:      66980
1213.25/1217.10	c #Conflicts:     603000 | #Constraints:      67980
1213.25/1217.10	c #Conflicts:     604000 | #Constraints:      68980
1213.25/1217.10	c #Conflicts:     605000 | #Constraints:      69980
1213.25/1217.10	c #Conflicts:     606000 | #Constraints:      70980
1213.25/1217.10	c #Conflicts:     607000 | #Constraints:      71980
1213.25/1217.10	c #Conflicts:     608000 | #Constraints:      72980
1213.25/1217.10	c #Conflicts:     609000 | #Constraints:      73980
1213.25/1217.10	c #Conflicts:     610000 | #Constraints:      74980
1213.25/1217.10	c #Conflicts:     611000 | #Constraints:      75980
1213.25/1217.10	c #Conflicts:     612000 | #Constraints:      76980
1213.25/1217.10	c #Conflicts:     613000 | #Constraints:      77980
1213.25/1217.10	c #Conflicts:     614000 | #Constraints:      78980
1213.25/1217.10	c #Conflicts:     615000 | #Constraints:      79980
1213.25/1217.10	c #Conflicts:     616000 | #Constraints:      80980
1213.25/1217.10	c #Conflicts:     617000 | #Constraints:      81980
1213.25/1217.10	c #Conflicts:     618000 | #Constraints:      82980
1213.25/1217.10	c #Conflicts:     619000 | #Constraints:      83980
1213.25/1217.10	c #Conflicts:     620000 | #Constraints:      84980
1213.25/1217.10	c #Conflicts:     621000 | #Constraints:      85980
1213.25/1217.10	c #Conflicts:     622000 | #Constraints:      86980
1213.25/1217.10	c #Conflicts:     623000 | #Constraints:      87980
1213.25/1217.10	c #Conflicts:     624000 | #Constraints:      88980
1213.25/1217.10	c #Conflicts:     625000 | #Constraints:      89980
1213.25/1217.10	c #Conflicts:     626000 | #Constraints:      90980
1213.25/1217.10	c #Conflicts:     627000 | #Constraints:      91980
1213.25/1217.10	c #Conflicts:     628000 | #Constraints:      92980
1213.25/1217.10	c #Conflicts:     629000 | #Constraints:      93980
1213.25/1217.10	c #Conflicts:     630000 | #Constraints:      94980
1213.25/1217.10	c #Conflicts:     631000 | #Constraints:      95980
1213.25/1217.10	c #Conflicts:     632000 | #Constraints:      96980
1213.25/1217.10	c #Conflicts:     633000 | #Constraints:      97980
1213.25/1217.10	c #Conflicts:     634000 | #Constraints:      98980
1213.25/1217.10	c bounds 890 >= 835 @ 1176.79
1213.25/1217.10	c #Conflicts:     635000 | #Constraints:     100019
1213.25/1217.10	c #Conflicts:     636000 | #Constraints:     101019
1213.25/1217.10	c #Conflicts:     637000 | #Constraints:     102019
1213.25/1217.10	c #Conflicts:     638000 | #Constraints:     103019
1213.25/1217.10	c #Conflicts:     639000 | #Constraints:     104023
1213.25/1217.10	c #Conflicts:     640000 | #Constraints:     105028
1213.25/1217.10	c #Conflicts:     641000 | #Constraints:     106031
1213.25/1217.10	c #Conflicts:     642000 | #Constraints:     107035
1213.25/1217.10	c #Conflicts:     643000 | #Constraints:     108041
1213.25/1217.10	c #Conflicts:     644000 | #Constraints:     109045
1213.25/1217.10	c #Conflicts:     645000 | #Constraints:     110046
1213.25/1217.10	c #Conflicts:     646000 | #Constraints:     111046
1213.25/1217.10	c INPROCESSING
1213.25/1217.10	c GARBAGE COLLECT
1213.25/1217.10	c rational objective 835
1266.40/1270.37	c #Conflicts:     647000 | #Constraints:      67853
1266.40/1270.37	c #Conflicts:     648000 | #Constraints:      68853
1266.40/1270.37	c #Conflicts:     649000 | #Constraints:      69854
1266.40/1270.37	c #Conflicts:     650000 | #Constraints:      70860
1266.40/1270.37	c #Conflicts:     651000 | #Constraints:      71862
1266.40/1270.37	c #Conflicts:     652000 | #Constraints:      72865
1266.40/1270.37	c #Conflicts:     653000 | #Constraints:      73870
1266.40/1270.37	c #Conflicts:     654000 | #Constraints:      74875
1266.40/1270.37	c #Conflicts:     655000 | #Constraints:      75880
1266.40/1270.37	c #Conflicts:     656000 | #Constraints:      76884
1266.40/1270.37	c #Conflicts:     657000 | #Constraints:      77887
1266.40/1270.37	c #Conflicts:     658000 | #Constraints:      78890
1266.40/1270.37	c #Conflicts:     659000 | #Constraints:      79891
1266.40/1270.37	c #Conflicts:     660000 | #Constraints:      80892
1266.40/1270.37	c #Conflicts:     661000 | #Constraints:      81898
1266.40/1270.37	c #Conflicts:     662000 | #Constraints:      82900
1266.40/1270.37	c #Conflicts:     663000 | #Constraints:      83903
1266.40/1270.37	c #Conflicts:     664000 | #Constraints:      84906
1266.40/1270.37	c #Conflicts:     665000 | #Constraints:      85906
1266.40/1270.37	c #Conflicts:     666000 | #Constraints:      86908
1266.40/1270.37	c #Conflicts:     667000 | #Constraints:      87910
1266.40/1270.37	c #Conflicts:     668000 | #Constraints:      88914
1266.40/1270.37	c #Conflicts:     669000 | #Constraints:      89915
1266.40/1270.37	c INPROCESSING
1266.40/1270.37	c GARBAGE COLLECT
1266.40/1270.37	c rational objective 835
1420.91/1425.28	c #Conflicts:     670000 | #Constraints:      62095
1420.91/1425.28	c #Conflicts:     671000 | #Constraints:      63095
1420.91/1425.28	c #Conflicts:     672000 | #Constraints:      64095
1420.91/1425.28	c #Conflicts:     673000 | #Constraints:      65095
1420.91/1425.28	c #Conflicts:     674000 | #Constraints:      66095
1420.91/1425.28	c #Conflicts:     675000 | #Constraints:      67095
1420.91/1425.28	c #Conflicts:     676000 | #Constraints:      68095
1420.91/1425.28	c #Conflicts:     677000 | #Constraints:      69095
1420.91/1425.28	c #Conflicts:     678000 | #Constraints:      70095
1420.91/1425.28	c #Conflicts:     679000 | #Constraints:      71095
1420.91/1425.28	c #Conflicts:     680000 | #Constraints:      72095
1420.91/1425.28	c #Conflicts:     681000 | #Constraints:      73095
1420.91/1425.28	c #Conflicts:     682000 | #Constraints:      74095
1420.91/1425.28	c #Conflicts:     683000 | #Constraints:      75095
1420.91/1425.28	c #Conflicts:     684000 | #Constraints:      76095
1420.91/1425.28	c #Conflicts:     685000 | #Constraints:      77095
1420.91/1425.28	c #Conflicts:     686000 | #Constraints:      78095
1420.91/1425.28	c #Conflicts:     687000 | #Constraints:      79095
1420.91/1425.28	c #Conflicts:     688000 | #Constraints:      80095
1420.91/1425.28	c #Conflicts:     689000 | #Constraints:      81095
1420.91/1425.28	c #Conflicts:     690000 | #Constraints:      82095
1420.91/1425.28	c #Conflicts:     691000 | #Constraints:      83095
1420.91/1425.28	c #Conflicts:     692000 | #Constraints:      84095
1420.91/1425.28	c #Conflicts:     693000 | #Constraints:      85095
1420.91/1425.28	c #Conflicts:     694000 | #Constraints:      86095
1420.91/1425.28	c #Conflicts:     695000 | #Constraints:      87095
1420.91/1425.28	c #Conflicts:     696000 | #Constraints:      88095
1420.91/1425.28	c #Conflicts:     697000 | #Constraints:      89095
1420.91/1425.28	c #Conflicts:     698000 | #Constraints:      90095
1420.91/1425.28	c #Conflicts:     699000 | #Constraints:      91095
1420.91/1425.28	c #Conflicts:     700000 | #Constraints:      92095
1420.91/1425.28	c #Conflicts:     701000 | #Constraints:      93095
1420.91/1425.28	c #Conflicts:     702000 | #Constraints:      94095
1420.91/1425.28	c #Conflicts:     703000 | #Constraints:      95095
1420.91/1425.28	c #Conflicts:     704000 | #Constraints:      96095
1420.91/1425.28	c #Conflicts:     705000 | #Constraints:      97095
1420.91/1425.28	c #Conflicts:     706000 | #Constraints:      98095
1420.91/1425.28	c bounds 890 >= 836 @ 1372.24
1420.91/1425.28	c #Conflicts:     707000 | #Constraints:      99144
1420.91/1425.28	c #Conflicts:     708000 | #Constraints:     100144
1420.91/1425.28	c #Conflicts:     709000 | #Constraints:     101145
1420.91/1425.28	c #Conflicts:     710000 | #Constraints:     102147
1420.91/1425.28	c #Conflicts:     711000 | #Constraints:     103148
1420.91/1425.28	c #Conflicts:     712000 | #Constraints:     104149
1420.91/1425.28	c #Conflicts:     713000 | #Constraints:     105150
1420.91/1425.28	c #Conflicts:     714000 | #Constraints:     106151
1420.91/1425.28	c #Conflicts:     715000 | #Constraints:     107152
1420.91/1425.28	c #Conflicts:     716000 | #Constraints:     108153
1420.91/1425.28	c #Conflicts:     717000 | #Constraints:     109153
1420.91/1425.28	c #Conflicts:     718000 | #Constraints:     110160
1420.91/1425.28	c #Conflicts:     719000 | #Constraints:     111161
1420.91/1425.28	c #Conflicts:     720000 | #Constraints:     112167
1420.91/1425.28	c #Conflicts:     721000 | #Constraints:     113171
1420.91/1425.28	c #Conflicts:     722000 | #Constraints:     114176
1420.91/1425.28	c #Conflicts:     723000 | #Constraints:     115180
1420.91/1425.28	c #Conflicts:     724000 | #Constraints:     116189
1420.91/1425.28	c INPROCESSING
1420.91/1425.28	c GARBAGE COLLECT
1420.91/1425.28	c rational objective 836
1470.88/1475.38	c #Conflicts:     725000 | #Constraints:      70756
1470.88/1475.38	c #Conflicts:     726000 | #Constraints:      71758
1470.88/1475.38	c #Conflicts:     727000 | #Constraints:      72762
1470.88/1475.38	c #Conflicts:     728000 | #Constraints:      73766
1470.88/1475.38	c #Conflicts:     729000 | #Constraints:      74773
1470.88/1475.38	c #Conflicts:     730000 | #Constraints:      75776
1470.88/1475.38	c #Conflicts:     731000 | #Constraints:      76782
1470.88/1475.38	c #Conflicts:     732000 | #Constraints:      77790
1470.88/1475.38	c #Conflicts:     733000 | #Constraints:      78793
1470.88/1475.38	c #Conflicts:     734000 | #Constraints:      79795
1470.88/1475.38	c #Conflicts:     735000 | #Constraints:      80804
1470.88/1475.38	c #Conflicts:     736000 | #Constraints:      81808
1470.88/1475.38	c #Conflicts:     737000 | #Constraints:      82812
1470.88/1475.38	c #Conflicts:     738000 | #Constraints:      83818
1470.88/1475.38	c #Conflicts:     739000 | #Constraints:      84824
1470.88/1475.38	c #Conflicts:     740000 | #Constraints:      85829
1470.88/1475.38	c #Conflicts:     741000 | #Constraints:      86838
1470.88/1475.38	c #Conflicts:     742000 | #Constraints:      87842
1470.88/1475.38	c #Conflicts:     743000 | #Constraints:      88852
1470.88/1475.38	c #Conflicts:     744000 | #Constraints:      89859
1470.88/1475.38	c #Conflicts:     745000 | #Constraints:      90861
1470.88/1475.38	c #Conflicts:     746000 | #Constraints:      91865
1470.88/1475.38	c #Conflicts:     747000 | #Constraints:      92866
1470.88/1475.38	c #Conflicts:     748000 | #Constraints:      93873
1470.88/1475.38	c INPROCESSING
1470.88/1475.38	c GARBAGE COLLECT
1470.88/1475.38	c rational objective 836
1659.81/1664.75	c #Conflicts:     749000 | #Constraints:      64180
1659.81/1664.75	c #Conflicts:     750000 | #Constraints:      65180
1659.81/1664.75	c #Conflicts:     751000 | #Constraints:      66180
1659.81/1664.75	c #Conflicts:     752000 | #Constraints:      67180
1659.81/1664.75	c #Conflicts:     753000 | #Constraints:      68180
1659.81/1664.75	c #Conflicts:     754000 | #Constraints:      69180
1659.81/1664.75	c #Conflicts:     755000 | #Constraints:      70180
1659.81/1664.75	c #Conflicts:     756000 | #Constraints:      71180
1659.81/1664.75	c #Conflicts:     757000 | #Constraints:      72180
1659.81/1664.75	c #Conflicts:     758000 | #Constraints:      73180
1659.81/1664.75	c #Conflicts:     759000 | #Constraints:      74180
1659.81/1664.75	c #Conflicts:     760000 | #Constraints:      75180
1659.81/1664.75	c #Conflicts:     761000 | #Constraints:      76180
1659.81/1664.75	c #Conflicts:     762000 | #Constraints:      77180
1659.81/1664.75	c #Conflicts:     763000 | #Constraints:      78180
1659.81/1664.75	c #Conflicts:     764000 | #Constraints:      79180
1659.81/1664.75	c #Conflicts:     765000 | #Constraints:      80180
1659.81/1664.75	c #Conflicts:     766000 | #Constraints:      81180
1659.81/1664.75	c #Conflicts:     767000 | #Constraints:      82180
1659.81/1664.75	c #Conflicts:     768000 | #Constraints:      83180
1659.81/1664.75	c #Conflicts:     769000 | #Constraints:      84180
1659.81/1664.75	c #Conflicts:     770000 | #Constraints:      85180
1659.81/1664.75	c #Conflicts:     771000 | #Constraints:      86180
1659.81/1664.75	c #Conflicts:     772000 | #Constraints:      87180
1659.81/1664.75	c #Conflicts:     773000 | #Constraints:      88180
1659.81/1664.75	c #Conflicts:     774000 | #Constraints:      89180
1659.81/1664.75	c #Conflicts:     775000 | #Constraints:      90180
1659.81/1664.75	c #Conflicts:     776000 | #Constraints:      91180
1659.81/1664.75	c #Conflicts:     777000 | #Constraints:      92180
1659.81/1664.75	c #Conflicts:     778000 | #Constraints:      93180
1659.81/1664.75	c #Conflicts:     779000 | #Constraints:      94180
1659.81/1664.75	c #Conflicts:     780000 | #Constraints:      95180
1659.81/1664.75	c #Conflicts:     781000 | #Constraints:      96180
1659.81/1664.75	c #Conflicts:     782000 | #Constraints:      97180
1659.81/1664.75	c #Conflicts:     783000 | #Constraints:      98180
1659.81/1664.75	c #Conflicts:     784000 | #Constraints:      99180
1659.81/1664.75	c #Conflicts:     785000 | #Constraints:     100180
1659.81/1664.75	c #Conflicts:     786000 | #Constraints:     101180
1659.81/1664.75	c #Conflicts:     787000 | #Constraints:     102180
1659.81/1664.75	c bounds 890 >= 837 @ 1588.1
1659.81/1664.75	c #Conflicts:     788000 | #Constraints:     103225
1659.81/1664.75	c #Conflicts:     789000 | #Constraints:     104225
1659.81/1664.75	c #Conflicts:     790000 | #Constraints:     105225
1659.81/1664.75	c #Conflicts:     791000 | #Constraints:     106226
1659.81/1664.75	c #Conflicts:     792000 | #Constraints:     107230
1659.81/1664.75	c #Conflicts:     793000 | #Constraints:     108233
1659.81/1664.75	c #Conflicts:     794000 | #Constraints:     109237
1659.81/1664.75	c #Conflicts:     795000 | #Constraints:     110244
1659.81/1664.75	c #Conflicts:     796000 | #Constraints:     111247
1659.81/1664.75	c #Conflicts:     797000 | #Constraints:     112252
1659.81/1664.75	c #Conflicts:     798000 | #Constraints:     113255
1659.81/1664.75	c #Conflicts:     799000 | #Constraints:     114257
1659.81/1664.75	c #Conflicts:     800000 | #Constraints:     115257
1659.81/1664.75	c #Conflicts:     801000 | #Constraints:     116259
1659.81/1664.75	c #Conflicts:     802000 | #Constraints:     117261
1659.81/1664.75	c #Conflicts:     803000 | #Constraints:     118265
1659.81/1664.75	c #Conflicts:     804000 | #Constraints:     119265
1659.81/1664.75	c #Conflicts:     805000 | #Constraints:     120271
1659.81/1664.75	c #Conflicts:     806000 | #Constraints:     121274
1659.81/1664.75	c INPROCESSING
1659.81/1664.75	c GARBAGE COLLECT
1659.81/1664.75	c rational objective 837
1750.98/1756.14	c #Conflicts:     807000 | #Constraints:      73262
1750.98/1756.14	c #Conflicts:     808000 | #Constraints:      74262
1750.98/1756.14	c #Conflicts:     809000 | #Constraints:      75262
1750.98/1756.14	c #Conflicts:     810000 | #Constraints:      76262
1750.98/1756.14	c #Conflicts:     811000 | #Constraints:      77262
1750.98/1756.14	c #Conflicts:     812000 | #Constraints:      78262
1750.98/1756.14	c #Conflicts:     813000 | #Constraints:      79262
1750.98/1756.14	c #Conflicts:     814000 | #Constraints:      80262
1750.98/1756.14	c #Conflicts:     815000 | #Constraints:      81262
1750.98/1756.14	c #Conflicts:     816000 | #Constraints:      82262
1750.98/1756.14	c #Conflicts:     817000 | #Constraints:      83262
1750.98/1756.14	c #Conflicts:     818000 | #Constraints:      84262
1750.98/1756.14	c #Conflicts:     819000 | #Constraints:      85262
1750.98/1756.14	c #Conflicts:     820000 | #Constraints:      86262
1750.98/1756.14	c #Conflicts:     821000 | #Constraints:      87262
1750.98/1756.14	c #Conflicts:     822000 | #Constraints:      88262
1750.98/1756.14	c #Conflicts:     823000 | #Constraints:      89262
1750.98/1756.14	c #Conflicts:     824000 | #Constraints:      90262
1750.98/1756.14	c #Conflicts:     825000 | #Constraints:      91262
1750.98/1756.14	c #Conflicts:     826000 | #Constraints:      92262
1750.98/1756.14	c #Conflicts:     827000 | #Constraints:      93262
1750.98/1756.14	c #Conflicts:     828000 | #Constraints:      94262
1750.98/1756.14	c #Conflicts:     829000 | #Constraints:      95262
1750.98/1756.14	c #Conflicts:     830000 | #Constraints:      96262
1750.98/1756.14	c #Conflicts:     831000 | #Constraints:      97262
1750.98/1756.14	c #Conflicts:     832000 | #Constraints:      98262
1750.98/1756.14	c INPROCESSING
1750.98/1756.14	c GARBAGE COLLECT
1750.98/1756.14	c rational objective 837
1935.97/1941.62	c #Conflicts:     833000 | #Constraints:      67974
1935.97/1941.62	c #Conflicts:     834000 | #Constraints:      68974
1935.97/1941.62	c #Conflicts:     835000 | #Constraints:      69974
1935.97/1941.62	c #Conflicts:     836000 | #Constraints:      70974
1935.97/1941.62	c #Conflicts:     837000 | #Constraints:      71974
1935.97/1941.62	c #Conflicts:     838000 | #Constraints:      72974
1935.97/1941.62	c #Conflicts:     839000 | #Constraints:      73974
1935.97/1941.62	c #Conflicts:     840000 | #Constraints:      74974
1935.97/1941.62	c #Conflicts:     841000 | #Constraints:      75974
1935.97/1941.62	c #Conflicts:     842000 | #Constraints:      76974
1935.97/1941.62	c #Conflicts:     843000 | #Constraints:      77974
1935.97/1941.62	c #Conflicts:     844000 | #Constraints:      78974
1935.97/1941.62	c #Conflicts:     845000 | #Constraints:      79974
1935.97/1941.62	c #Conflicts:     846000 | #Constraints:      80974
1935.97/1941.62	c #Conflicts:     847000 | #Constraints:      81974
1935.97/1941.62	c #Conflicts:     848000 | #Constraints:      82975
1935.97/1941.62	c #Conflicts:     849000 | #Constraints:      83980
1935.97/1941.62	c #Conflicts:     850000 | #Constraints:      84990
1935.97/1941.62	c #Conflicts:     851000 | #Constraints:      85999
1935.97/1941.62	c #Conflicts:     852000 | #Constraints:      87001
1935.97/1941.62	c #Conflicts:     853000 | #Constraints:      88012
1935.97/1941.62	c #Conflicts:     854000 | #Constraints:      89016
1935.97/1941.62	c #Conflicts:     855000 | #Constraints:      90021
1935.97/1941.62	c #Conflicts:     856000 | #Constraints:      91024
1935.97/1941.62	c #Conflicts:     857000 | #Constraints:      92029
1935.97/1941.62	c #Conflicts:     858000 | #Constraints:      93035
1935.97/1941.62	c #Conflicts:     859000 | #Constraints:      94040
1935.97/1941.62	c #Conflicts:     860000 | #Constraints:      95044
1935.97/1941.62	c #Conflicts:     861000 | #Constraints:      96048
1935.97/1941.62	c #Conflicts:     862000 | #Constraints:      97053
1935.97/1941.62	c #Conflicts:     863000 | #Constraints:      98060
1935.97/1941.62	c #Conflicts:     864000 | #Constraints:      99064
1935.97/1941.62	c #Conflicts:     865000 | #Constraints:     100075
1935.97/1941.62	c #Conflicts:     866000 | #Constraints:     101079
1935.97/1941.62	c #Conflicts:     867000 | #Constraints:     102090
1935.97/1941.62	c #Conflicts:     868000 | #Constraints:     103093
1935.97/1941.62	c #Conflicts:     869000 | #Constraints:     104099
1935.97/1941.62	c #Conflicts:     870000 | #Constraints:     105107
1935.97/1941.62	c #Conflicts:     871000 | #Constraints:     106115
1935.97/1941.62	c #Conflicts:     872000 | #Constraints:     107123
1935.97/1941.62	c #Conflicts:     873000 | #Constraints:     108126
1935.97/1941.62	c #Conflicts:     874000 | #Constraints:     109130
1935.97/1941.62	c #Conflicts:     875000 | #Constraints:     110137
1935.97/1941.62	c #Conflicts:     876000 | #Constraints:     111140
1935.97/1941.62	c #Conflicts:     877000 | #Constraints:     112144
1935.97/1941.62	c #Conflicts:     878000 | #Constraints:     113152
1935.97/1941.62	c #Conflicts:     879000 | #Constraints:     114159
1935.97/1941.62	c #Conflicts:     880000 | #Constraints:     115162
1935.97/1941.62	c #Conflicts:     881000 | #Constraints:     116163
1935.97/1941.62	c #Conflicts:     882000 | #Constraints:     117167
1935.97/1941.62	c #Conflicts:     883000 | #Constraints:     118169
1935.97/1941.62	c #Conflicts:     884000 | #Constraints:     119175
1935.97/1941.62	c #Conflicts:     885000 | #Constraints:     120186
1935.97/1941.62	c #Conflicts:     886000 | #Constraints:     121190
1935.97/1941.62	c #Conflicts:     887000 | #Constraints:     122194
1935.97/1941.62	c #Conflicts:     888000 | #Constraints:     123202
1935.97/1941.62	c #Conflicts:     889000 | #Constraints:     124206
1935.97/1941.62	c #Conflicts:     890000 | #Constraints:     125212
1935.97/1941.62	c #Conflicts:     891000 | #Constraints:     126218
1935.97/1941.62	c #Conflicts:     892000 | #Constraints:     127225
1935.97/1941.62	c #Conflicts:     893000 | #Constraints:     128228
1935.97/1941.62	c INPROCESSING
1935.97/1941.62	c GARBAGE COLLECT
1935.97/1941.62	c rational objective 837
2031.47/2037.47	c #Conflicts:     894000 | #Constraints:      77044
2031.47/2037.47	c #Conflicts:     895000 | #Constraints:      78044
2031.47/2037.47	c #Conflicts:     896000 | #Constraints:      79044
2031.47/2037.47	c #Conflicts:     897000 | #Constraints:      80044
2031.47/2037.47	c #Conflicts:     898000 | #Constraints:      81044
2031.47/2037.47	c #Conflicts:     899000 | #Constraints:      82044
2031.47/2037.47	c #Conflicts:     900000 | #Constraints:      83044
2031.47/2037.47	c #Conflicts:     901000 | #Constraints:      84044
2031.47/2037.47	c #Conflicts:     902000 | #Constraints:      85044
2031.47/2037.47	c #Conflicts:     903000 | #Constraints:      86044
2031.47/2037.47	c #Conflicts:     904000 | #Constraints:      87044
2031.47/2037.47	c #Conflicts:     905000 | #Constraints:      88044
2031.47/2037.47	c #Conflicts:     906000 | #Constraints:      89044
2031.47/2037.47	c #Conflicts:     907000 | #Constraints:      90044
2031.47/2037.47	c #Conflicts:     908000 | #Constraints:      91044
2031.47/2037.47	c #Conflicts:     909000 | #Constraints:      92044
2031.47/2037.47	c #Conflicts:     910000 | #Constraints:      93044
2031.47/2037.47	c #Conflicts:     911000 | #Constraints:      94044
2031.47/2037.47	c #Conflicts:     912000 | #Constraints:      95044
2031.47/2037.47	c #Conflicts:     913000 | #Constraints:      96044
2031.47/2037.47	c #Conflicts:     914000 | #Constraints:      97044
2031.47/2037.47	c #Conflicts:     915000 | #Constraints:      98044
2031.47/2037.47	c #Conflicts:     916000 | #Constraints:      99044
2031.47/2037.47	c bounds 890 >= 838 @ 2001.93
2031.47/2037.47	c #Conflicts:     917000 | #Constraints:     100080
2031.47/2037.47	c #Conflicts:     918000 | #Constraints:     101080
2031.47/2037.47	c #Conflicts:     919000 | #Constraints:     102080
2031.47/2037.47	c #Conflicts:     920000 | #Constraints:     103080
2031.47/2037.47	c INPROCESSING
2031.47/2037.47	c GARBAGE COLLECT
2031.47/2037.47	c rational objective 838
2298.95/2305.77	c #Conflicts:     921000 | #Constraints:      70302
2298.95/2305.77	c #Conflicts:     922000 | #Constraints:      71302
2298.95/2305.77	c #Conflicts:     923000 | #Constraints:      72302
2298.95/2305.77	c #Conflicts:     924000 | #Constraints:      73302
2298.95/2305.77	c #Conflicts:     925000 | #Constraints:      74302
2298.95/2305.77	c #Conflicts:     926000 | #Constraints:      75302
2298.95/2305.77	c #Conflicts:     927000 | #Constraints:      76302
2298.95/2305.77	c #Conflicts:     928000 | #Constraints:      77302
2298.95/2305.77	c #Conflicts:     929000 | #Constraints:      78302
2298.95/2305.77	c #Conflicts:     930000 | #Constraints:      79302
2298.95/2305.77	c #Conflicts:     931000 | #Constraints:      80302
2298.95/2305.77	c #Conflicts:     932000 | #Constraints:      81302
2298.95/2305.77	c #Conflicts:     933000 | #Constraints:      82302
2298.95/2305.77	c #Conflicts:     934000 | #Constraints:      83302
2298.95/2305.77	c #Conflicts:     935000 | #Constraints:      84302
2298.95/2305.77	c #Conflicts:     936000 | #Constraints:      85302
2298.95/2305.77	c #Conflicts:     937000 | #Constraints:      86302
2298.95/2305.77	c #Conflicts:     938000 | #Constraints:      87302
2298.95/2305.77	c #Conflicts:     939000 | #Constraints:      88302
2298.95/2305.77	c #Conflicts:     940000 | #Constraints:      89302
2298.95/2305.77	c #Conflicts:     941000 | #Constraints:      90302
2298.95/2305.77	c #Conflicts:     942000 | #Constraints:      91302
2298.95/2305.77	c #Conflicts:     943000 | #Constraints:      92302
2298.95/2305.77	c #Conflicts:     944000 | #Constraints:      93302
2298.95/2305.77	c #Conflicts:     945000 | #Constraints:      94302
2298.95/2305.77	c #Conflicts:     946000 | #Constraints:      95302
2298.95/2305.77	c #Conflicts:     947000 | #Constraints:      96302
2298.95/2305.77	c #Conflicts:     948000 | #Constraints:      97302
2298.95/2305.77	c #Conflicts:     949000 | #Constraints:      98302
2298.95/2305.77	c #Conflicts:     950000 | #Constraints:      99302
2298.95/2305.77	c #Conflicts:     951000 | #Constraints:     100302
2298.95/2305.77	c #Conflicts:     952000 | #Constraints:     101302
2298.95/2305.77	c #Conflicts:     953000 | #Constraints:     102302
2298.95/2305.77	c #Conflicts:     954000 | #Constraints:     103302
2298.95/2305.77	c #Conflicts:     955000 | #Constraints:     104302
2298.95/2305.77	c #Conflicts:     956000 | #Constraints:     105302
2298.95/2305.77	c #Conflicts:     957000 | #Constraints:     106302
2298.95/2305.77	c #Conflicts:     958000 | #Constraints:     107302
2298.95/2305.77	c #Conflicts:     959000 | #Constraints:     108302
2298.95/2305.77	c bounds 890 >= 839 @ 2164.2
2298.95/2305.77	c #Conflicts:     960000 | #Constraints:     109353
2298.95/2305.77	c #Conflicts:     961000 | #Constraints:     110353
2298.95/2305.77	c #Conflicts:     962000 | #Constraints:     111353
2298.95/2305.77	c #Conflicts:     963000 | #Constraints:     112353
2298.95/2305.77	c #Conflicts:     964000 | #Constraints:     113353
2298.95/2305.77	c #Conflicts:     965000 | #Constraints:     114353
2298.95/2305.77	c #Conflicts:     966000 | #Constraints:     115353
2298.95/2305.77	c #Conflicts:     967000 | #Constraints:     116353
2298.95/2305.77	c #Conflicts:     968000 | #Constraints:     117353
2298.95/2305.77	c #Conflicts:     969000 | #Constraints:     118353
2298.95/2305.77	c #Conflicts:     970000 | #Constraints:     119353
2298.95/2305.77	c #Conflicts:     971000 | #Constraints:     120353
2298.95/2305.77	c #Conflicts:     972000 | #Constraints:     121353
2298.95/2305.77	c #Conflicts:     973000 | #Constraints:     122353
2298.95/2305.77	c #Conflicts:     974000 | #Constraints:     123353
2298.95/2305.77	c #Conflicts:     975000 | #Constraints:     124353
2298.95/2305.77	c #Conflicts:     976000 | #Constraints:     125353
2298.95/2305.77	c #Conflicts:     977000 | #Constraints:     126353
2298.95/2305.77	c #Conflicts:     978000 | #Constraints:     127353
2298.95/2305.77	c #Conflicts:     979000 | #Constraints:     128353
2298.95/2305.77	c #Conflicts:     980000 | #Constraints:     129353
2298.95/2305.77	c #Conflicts:     981000 | #Constraints:     130353
2298.95/2305.77	c #Conflicts:     982000 | #Constraints:     131353
2298.95/2305.77	c #Conflicts:     983000 | #Constraints:     132353
2298.95/2305.77	c #Conflicts:     984000 | #Constraints:     133353
2298.95/2305.77	c INPROCESSING
2298.95/2305.77	c GARBAGE COLLECT
2298.95/2305.77	c rational objective 839
2414.45/2421.53	c #Conflicts:     985000 | #Constraints:      79869
2414.45/2421.53	c #Conflicts:     986000 | #Constraints:      80869
2414.45/2421.53	c #Conflicts:     987000 | #Constraints:      81869
2414.45/2421.53	c #Conflicts:     988000 | #Constraints:      82869
2414.45/2421.53	c #Conflicts:     989000 | #Constraints:      83869
2414.45/2421.53	c #Conflicts:     990000 | #Constraints:      84869
2414.45/2421.53	c #Conflicts:     991000 | #Constraints:      85869
2414.45/2421.53	c #Conflicts:     992000 | #Constraints:      86869
2414.45/2421.53	c #Conflicts:     993000 | #Constraints:      87869
2414.45/2421.53	c #Conflicts:     994000 | #Constraints:      88869
2414.45/2421.53	c #Conflicts:     995000 | #Constraints:      89869
2414.45/2421.53	c #Conflicts:     996000 | #Constraints:      90869
2414.45/2421.53	c #Conflicts:     997000 | #Constraints:      91869
2414.45/2421.53	c #Conflicts:     998000 | #Constraints:      92869
2414.45/2421.53	c #Conflicts:     999000 | #Constraints:      93869
2414.45/2421.53	c #Conflicts:    1000000 | #Constraints:      94869
2414.45/2421.53	c #Conflicts:    1001000 | #Constraints:      95869
2414.45/2421.53	c #Conflicts:    1002000 | #Constraints:      96869
2414.45/2421.53	c #Conflicts:    1003000 | #Constraints:      97869
2414.45/2421.53	c #Conflicts:    1004000 | #Constraints:      98869
2414.45/2421.53	c #Conflicts:    1005000 | #Constraints:      99869
2414.45/2421.53	c #Conflicts:    1006000 | #Constraints:     100869
2414.45/2421.53	c #Conflicts:    1007000 | #Constraints:     101869
2414.45/2421.53	c #Conflicts:    1008000 | #Constraints:     102869
2414.45/2421.53	c #Conflicts:    1009000 | #Constraints:     103869
2414.45/2421.53	c #Conflicts:    1010000 | #Constraints:     104869
2414.45/2421.53	c #Conflicts:    1011000 | #Constraints:     105869
2414.45/2421.53	c #Conflicts:    1012000 | #Constraints:     106869
2414.45/2421.53	c INPROCESSING
2414.45/2421.53	c GARBAGE COLLECT
2414.45/2421.53	c rational objective 839
2757.28/2765.24	c #Conflicts:    1013000 | #Constraints:      73719
2757.28/2765.24	c #Conflicts:    1014000 | #Constraints:      74719
2757.28/2765.24	c #Conflicts:    1015000 | #Constraints:      75719
2757.28/2765.24	c #Conflicts:    1016000 | #Constraints:      76719
2757.28/2765.24	c #Conflicts:    1017000 | #Constraints:      77719
2757.28/2765.24	c #Conflicts:    1018000 | #Constraints:      78719
2757.28/2765.24	c #Conflicts:    1019000 | #Constraints:      79721
2757.28/2765.24	c #Conflicts:    1020000 | #Constraints:      80735
2757.28/2765.24	c #Conflicts:    1021000 | #Constraints:      81746
2757.28/2765.24	c #Conflicts:    1022000 | #Constraints:      82750
2757.28/2765.24	c #Conflicts:    1023000 | #Constraints:      83751
2757.28/2765.24	c #Conflicts:    1024000 | #Constraints:      84759
2757.28/2765.24	c #Conflicts:    1025000 | #Constraints:      85760
2757.28/2765.24	c #Conflicts:    1026000 | #Constraints:      86762
2757.28/2765.24	c #Conflicts:    1027000 | #Constraints:      87767
2757.28/2765.24	c #Conflicts:    1028000 | #Constraints:      88773
2757.28/2765.24	c #Conflicts:    1029000 | #Constraints:      89778
2757.28/2765.24	c #Conflicts:    1030000 | #Constraints:      90781
2757.28/2765.24	c #Conflicts:    1031000 | #Constraints:      91787
2757.28/2765.24	c #Conflicts:    1032000 | #Constraints:      92787
2757.28/2765.24	c #Conflicts:    1033000 | #Constraints:      93795
2757.28/2765.24	c #Conflicts:    1034000 | #Constraints:      94801
2757.28/2765.24	c #Conflicts:    1035000 | #Constraints:      95805
2757.28/2765.24	c #Conflicts:    1036000 | #Constraints:      96813
2757.28/2765.24	c #Conflicts:    1037000 | #Constraints:      97820
2757.28/2765.24	c #Conflicts:    1038000 | #Constraints:      98822
2757.28/2765.24	c #Conflicts:    1039000 | #Constraints:      99824
2757.28/2765.24	c #Conflicts:    1040000 | #Constraints:     100831
2757.28/2765.24	c #Conflicts:    1041000 | #Constraints:     101832
2757.28/2765.24	c #Conflicts:    1042000 | #Constraints:     102832
2757.28/2765.24	c #Conflicts:    1043000 | #Constraints:     103839
2757.28/2765.24	c #Conflicts:    1044000 | #Constraints:     104846
2757.28/2765.24	c #Conflicts:    1045000 | #Constraints:     105855
2757.28/2765.24	c #Conflicts:    1046000 | #Constraints:     106860
2757.28/2765.24	c #Conflicts:    1047000 | #Constraints:     107867
2757.28/2765.24	c #Conflicts:    1048000 | #Constraints:     108869
2757.28/2765.24	c #Conflicts:    1049000 | #Constraints:     109875
2757.28/2765.24	c #Conflicts:    1050000 | #Constraints:     110879
2757.28/2765.24	c #Conflicts:    1051000 | #Constraints:     111884
2757.28/2765.24	c #Conflicts:    1052000 | #Constraints:     112889
2757.28/2765.24	c #Conflicts:    1053000 | #Constraints:     113894
2757.28/2765.24	c #Conflicts:    1054000 | #Constraints:     114900
2757.28/2765.24	c #Conflicts:    1055000 | #Constraints:     115905
2757.28/2765.24	c #Conflicts:    1056000 | #Constraints:     116911
2757.28/2765.24	c #Conflicts:    1057000 | #Constraints:     117913
2757.28/2765.24	c #Conflicts:    1058000 | #Constraints:     118917
2757.28/2765.24	c #Conflicts:    1059000 | #Constraints:     119925
2757.28/2765.24	c #Conflicts:    1060000 | #Constraints:     120929
2757.28/2765.24	c #Conflicts:    1061000 | #Constraints:     121934
2757.28/2765.24	c #Conflicts:    1062000 | #Constraints:     122940
2757.28/2765.24	c #Conflicts:    1063000 | #Constraints:     123945
2757.28/2765.24	c #Conflicts:    1064000 | #Constraints:     124950
2757.28/2765.24	c #Conflicts:    1065000 | #Constraints:     125954
2757.28/2765.24	c #Conflicts:    1066000 | #Constraints:     126961
2757.28/2765.24	c #Conflicts:    1067000 | #Constraints:     127967
2757.28/2765.24	c #Conflicts:    1068000 | #Constraints:     128970
2757.28/2765.24	c #Conflicts:    1069000 | #Constraints:     129977
2757.28/2765.24	c #Conflicts:    1070000 | #Constraints:     130983
2757.28/2765.24	c #Conflicts:    1071000 | #Constraints:     131984
2757.28/2765.24	c #Conflicts:    1072000 | #Constraints:     132986
2757.28/2765.24	c #Conflicts:    1073000 | #Constraints:     133990
2757.28/2765.24	c #Conflicts:    1074000 | #Constraints:     134996
2757.28/2765.24	c #Conflicts:    1075000 | #Constraints:     136003
2757.28/2765.24	c #Conflicts:    1076000 | #Constraints:     137006
2757.28/2765.24	c #Conflicts:    1077000 | #Constraints:     138013
2757.28/2765.24	c #Conflicts:    1078000 | #Constraints:     139018
2757.28/2765.24	c #Conflicts:    1079000 | #Constraints:     140020
2757.28/2765.24	c INPROCESSING
2757.28/2765.24	c GARBAGE COLLECT
2757.28/2765.24	c rational objective 839
2878.94/2887.29	c #Conflicts:    1080000 | #Constraints:      82898
2878.94/2887.29	c #Conflicts:    1081000 | #Constraints:      83898
2878.94/2887.29	c #Conflicts:    1082000 | #Constraints:      84898
2878.94/2887.29	c #Conflicts:    1083000 | #Constraints:      85898
2878.94/2887.29	c #Conflicts:    1084000 | #Constraints:      86898
2878.94/2887.29	c #Conflicts:    1085000 | #Constraints:      87898
2878.94/2887.29	c #Conflicts:    1086000 | #Constraints:      88898
2878.94/2887.29	c #Conflicts:    1087000 | #Constraints:      89898
2878.94/2887.29	c #Conflicts:    1088000 | #Constraints:      90898
2878.94/2887.29	c #Conflicts:    1089000 | #Constraints:      91898
2878.94/2887.29	c #Conflicts:    1090000 | #Constraints:      92898
2878.94/2887.29	c #Conflicts:    1091000 | #Constraints:      93898
2878.94/2887.29	c #Conflicts:    1092000 | #Constraints:      94898
2878.94/2887.29	c #Conflicts:    1093000 | #Constraints:      95898
2878.94/2887.29	c #Conflicts:    1094000 | #Constraints:      96898
2878.94/2887.29	c #Conflicts:    1095000 | #Constraints:      97898
2878.94/2887.29	c #Conflicts:    1096000 | #Constraints:      98898
2878.94/2887.29	c #Conflicts:    1097000 | #Constraints:      99898
2878.94/2887.29	c #Conflicts:    1098000 | #Constraints:     100898
2878.94/2887.29	c #Conflicts:    1099000 | #Constraints:     101898
2878.94/2887.29	c bounds 890 >= 840 @ 2821.63
2878.94/2887.29	c #Conflicts:    1100000 | #Constraints:     102928
2878.94/2887.29	c #Conflicts:    1101000 | #Constraints:     103928
2878.94/2887.29	c #Conflicts:    1102000 | #Constraints:     104928
2878.94/2887.29	c #Conflicts:    1103000 | #Constraints:     105928
2878.94/2887.29	c #Conflicts:    1104000 | #Constraints:     106928
2878.94/2887.29	c #Conflicts:    1105000 | #Constraints:     107928
2878.94/2887.29	c #Conflicts:    1106000 | #Constraints:     108928
2878.94/2887.29	c #Conflicts:    1107000 | #Constraints:     109928
2878.94/2887.29	c #Conflicts:    1108000 | #Constraints:     110928
2878.94/2887.29	c INPROCESSING
2878.94/2887.29	c GARBAGE COLLECT
2878.94/2887.29	c rational objective 840
3207.29/3216.46	c #Conflicts:    1109000 | #Constraints:      73699
3207.29/3216.46	c #Conflicts:    1110000 | #Constraints:      74699
3207.29/3216.46	c #Conflicts:    1111000 | #Constraints:      75699
3207.29/3216.46	c #Conflicts:    1112000 | #Constraints:      76699
3207.29/3216.46	c #Conflicts:    1113000 | #Constraints:      77699
3207.29/3216.46	c #Conflicts:    1114000 | #Constraints:      78699
3207.29/3216.46	c #Conflicts:    1115000 | #Constraints:      79699
3207.29/3216.46	c #Conflicts:    1116000 | #Constraints:      80699
3207.29/3216.46	c #Conflicts:    1117000 | #Constraints:      81699
3207.29/3216.46	c #Conflicts:    1118000 | #Constraints:      82699
3207.29/3216.46	c #Conflicts:    1119000 | #Constraints:      83699
3207.29/3216.46	c #Conflicts:    1120000 | #Constraints:      84699
3207.29/3216.46	c #Conflicts:    1121000 | #Constraints:      85699
3207.29/3216.46	c #Conflicts:    1122000 | #Constraints:      86699
3207.29/3216.46	c #Conflicts:    1123000 | #Constraints:      87699
3207.29/3216.46	c #Conflicts:    1124000 | #Constraints:      88699
3207.29/3216.46	c #Conflicts:    1125000 | #Constraints:      89699
3207.29/3216.46	c #Conflicts:    1126000 | #Constraints:      90699
3207.29/3216.46	c #Conflicts:    1127000 | #Constraints:      91699
3207.29/3216.46	c #Conflicts:    1128000 | #Constraints:      92699
3207.29/3216.46	c #Conflicts:    1129000 | #Constraints:      93699
3207.29/3216.46	c #Conflicts:    1130000 | #Constraints:      94699
3207.29/3216.46	c #Conflicts:    1131000 | #Constraints:      95699
3207.29/3216.46	c #Conflicts:    1132000 | #Constraints:      96699
3207.29/3216.46	c #Conflicts:    1133000 | #Constraints:      97699
3207.29/3216.46	c #Conflicts:    1134000 | #Constraints:      98699
3207.29/3216.46	c #Conflicts:    1135000 | #Constraints:      99699
3207.29/3216.46	c #Conflicts:    1136000 | #Constraints:     100699
3207.29/3216.46	c #Conflicts:    1137000 | #Constraints:     101699
3207.29/3216.46	c #Conflicts:    1138000 | #Constraints:     102699
3207.29/3216.46	c #Conflicts:    1139000 | #Constraints:     103699
3207.29/3216.46	c #Conflicts:    1140000 | #Constraints:     104699
3207.29/3216.46	c #Conflicts:    1141000 | #Constraints:     105699
3207.29/3216.46	c #Conflicts:    1142000 | #Constraints:     106699
3207.29/3216.46	c #Conflicts:    1143000 | #Constraints:     107699
3207.29/3216.46	c #Conflicts:    1144000 | #Constraints:     108699
3207.29/3216.46	c bounds 890 >= 841 @ 2999.27
3207.29/3216.46	c #Conflicts:    1145000 | #Constraints:     109747
3207.29/3216.46	c #Conflicts:    1146000 | #Constraints:     110747
3207.29/3216.46	c #Conflicts:    1147000 | #Constraints:     111747
3207.29/3216.46	c #Conflicts:    1148000 | #Constraints:     112747
3207.29/3216.46	c #Conflicts:    1149000 | #Constraints:     113747
3207.29/3216.46	c #Conflicts:    1150000 | #Constraints:     114747
3207.29/3216.46	c #Conflicts:    1151000 | #Constraints:     115747
3207.29/3216.46	c #Conflicts:    1152000 | #Constraints:     116747
3207.29/3216.46	c #Conflicts:    1153000 | #Constraints:     117747
3207.29/3216.46	c #Conflicts:    1154000 | #Constraints:     118747
3207.29/3216.46	c #Conflicts:    1155000 | #Constraints:     119747
3207.29/3216.46	c #Conflicts:    1156000 | #Constraints:     120747
3207.29/3216.46	c #Conflicts:    1157000 | #Constraints:     121747
3207.29/3216.46	c #Conflicts:    1158000 | #Constraints:     122747
3207.29/3216.46	c #Conflicts:    1159000 | #Constraints:     123747
3207.29/3216.46	c #Conflicts:    1160000 | #Constraints:     124747
3207.29/3216.46	c #Conflicts:    1161000 | #Constraints:     125747
3207.29/3216.46	c #Conflicts:    1162000 | #Constraints:     126747
3207.29/3216.46	c #Conflicts:    1163000 | #Constraints:     127747
3207.29/3216.46	c #Conflicts:    1164000 | #Constraints:     128747
3207.29/3216.46	c #Conflicts:    1165000 | #Constraints:     129747
3207.29/3216.46	c #Conflicts:    1166000 | #Constraints:     130747
3207.29/3216.46	c #Conflicts:    1167000 | #Constraints:     131747
3207.29/3216.46	c #Conflicts:    1168000 | #Constraints:     132747
3207.29/3216.46	c #Conflicts:    1169000 | #Constraints:     133747
3207.29/3216.46	c #Conflicts:    1170000 | #Constraints:     134747
3207.29/3216.46	c #Conflicts:    1171000 | #Constraints:     135747
3207.29/3216.46	c #Conflicts:    1172000 | #Constraints:     136747
3207.29/3216.46	c #Conflicts:    1173000 | #Constraints:     137747
3207.29/3216.46	c #Conflicts:    1174000 | #Constraints:     138747
3207.29/3216.46	c #Conflicts:    1175000 | #Constraints:     139747
3207.29/3216.46	c #Conflicts:    1176000 | #Constraints:     140747
3207.29/3216.46	c #Conflicts:    1177000 | #Constraints:     141747
3207.29/3216.46	c #Conflicts:    1178000 | #Constraints:     142747
3207.29/3216.46	c #Conflicts:    1179000 | #Constraints:     143747
3207.29/3216.46	c INPROCESSING
3207.29/3216.46	c GARBAGE COLLECT
3207.29/3216.46	c rational objective 841
3326.78/3336.26	c #Conflicts:    1180000 | #Constraints:      85106
3326.78/3336.26	c #Conflicts:    1181000 | #Constraints:      86106
3326.78/3336.26	c #Conflicts:    1182000 | #Constraints:      87106
3326.78/3336.26	c #Conflicts:    1183000 | #Constraints:      88106
3326.78/3336.26	c #Conflicts:    1184000 | #Constraints:      89106
3326.78/3336.26	c #Conflicts:    1185000 | #Constraints:      90106
3326.78/3336.26	c #Conflicts:    1186000 | #Constraints:      91106
3326.78/3336.26	c #Conflicts:    1187000 | #Constraints:      92106
3326.78/3336.26	c #Conflicts:    1188000 | #Constraints:      93106
3326.78/3336.26	c #Conflicts:    1189000 | #Constraints:      94106
3326.78/3336.26	c #Conflicts:    1190000 | #Constraints:      95106
3326.78/3336.26	c #Conflicts:    1191000 | #Constraints:      96106
3326.78/3336.26	c #Conflicts:    1192000 | #Constraints:      97106
3326.78/3336.26	c #Conflicts:    1193000 | #Constraints:      98106
3326.78/3336.26	c #Conflicts:    1194000 | #Constraints:      99106
3326.78/3336.26	c #Conflicts:    1195000 | #Constraints:     100106
3326.78/3336.26	c #Conflicts:    1196000 | #Constraints:     101106
3326.78/3336.26	c #Conflicts:    1197000 | #Constraints:     102106
3326.78/3336.26	c #Conflicts:    1198000 | #Constraints:     103106
3326.78/3336.26	c #Conflicts:    1199000 | #Constraints:     104106
3326.78/3336.26	c #Conflicts:    1200000 | #Constraints:     105106
3326.78/3336.26	c #Conflicts:    1201000 | #Constraints:     106106
3326.78/3336.26	c #Conflicts:    1202000 | #Constraints:     107106
3326.78/3336.26	c #Conflicts:    1203000 | #Constraints:     108106
3326.78/3336.26	c #Conflicts:    1204000 | #Constraints:     109106
3326.78/3336.26	c bounds 890 >= 842 @ 3298.04
3326.78/3336.26	c #Conflicts:    1205000 | #Constraints:     110148
3326.78/3336.26	c #Conflicts:    1206000 | #Constraints:     111148
3326.78/3336.26	c #Conflicts:    1207000 | #Constraints:     112148
3326.78/3336.26	c #Conflicts:    1208000 | #Constraints:     113149
3326.78/3336.26	c #Conflicts:    1209000 | #Constraints:     114149
3326.78/3336.26	c INPROCESSING
3326.78/3336.26	c GARBAGE COLLECT
3326.78/3336.26	c rational objective 842
3600.00/3610.12	c #Conflicts:    1210000 | #Constraints:      76566
3600.00/3610.12	c #Conflicts:    1211000 | #Constraints:      77579
3600.00/3610.12	c #Conflicts:    1212000 | #Constraints:      78588
3600.00/3610.12	c #Conflicts:    1213000 | #Constraints:      79595
3600.00/3610.12	c #Conflicts:    1214000 | #Constraints:      80604
3600.00/3610.12	c #Conflicts:    1215000 | #Constraints:      81610
3600.00/3610.12	c #Conflicts:    1216000 | #Constraints:      82617
3600.00/3610.12	c #Conflicts:    1217000 | #Constraints:      83621
3600.00/3610.12	c #Conflicts:    1218000 | #Constraints:      84626
3600.00/3610.12	c #Conflicts:    1219000 | #Constraints:      85638
3600.00/3610.12	c #Conflicts:    1220000 | #Constraints:      86645
3600.00/3610.12	c #Conflicts:    1221000 | #Constraints:      87650
3600.00/3610.12	c #Conflicts:    1222000 | #Constraints:      88655
3600.00/3610.12	c #Conflicts:    1223000 | #Constraints:      89661
3600.00/3610.12	c #Conflicts:    1224000 | #Constraints:      90665
3600.00/3610.12	c #Conflicts:    1225000 | #Constraints:      91673
3600.00/3610.12	c #Conflicts:    1226000 | #Constraints:      92676
3600.00/3610.12	c #Conflicts:    1227000 | #Constraints:      93681
3600.00/3610.12	c #Conflicts:    1228000 | #Constraints:      94685
3600.00/3610.12	c #Conflicts:    1229000 | #Constraints:      95686
3600.00/3610.12	c #Conflicts:    1230000 | #Constraints:      96690
3600.00/3610.12	c #Conflicts:    1231000 | #Constraints:      97694
3600.00/3610.12	c #Conflicts:    1232000 | #Constraints:      98699
3600.00/3610.12	c #Conflicts:    1233000 | #Constraints:      99699
3600.00/3610.12	c #Conflicts:    1234000 | #Constraints:     100700
3600.00/3610.12	c #Conflicts:    1235000 | #Constraints:     101702
3600.00/3610.12	c #Conflicts:    1236000 | #Constraints:     102709
3600.00/3610.12	c #Conflicts:    1237000 | #Constraints:     103716
3600.00/3610.12	c #Conflicts:    1238000 | #Constraints:     104718
3600.00/3610.12	c #Conflicts:    1239000 | #Constraints:     105720
3600.00/3610.12	c #Conflicts:    1240000 | #Constraints:     106727
3600.00/3610.12	c #Conflicts:    1241000 | #Constraints:     107729
3600.00/3610.12	c #Conflicts:    1242000 | #Constraints:     108731
3600.00/3610.12	c #Conflicts:    1243000 | #Constraints:     109737
3600.00/3610.12	c #Conflicts:    1244000 | #Constraints:     110742
3600.00/3610.12	c #Conflicts:    1245000 | #Constraints:     111742
3600.00/3610.12	c #Conflicts:    1246000 | #Constraints:     112752
3600.00/3610.12	c #Conflicts:    1247000 | #Constraints:     113757
3600.00/3610.12	c #Conflicts:    1248000 | #Constraints:     114764
3600.00/3610.12	c #Conflicts:    1249000 | #Constraints:     115771
3600.00/3610.12	c #Conflicts:    1250000 | #Constraints:     116776
3600.00/3610.12	c #Conflicts:    1251000 | #Constraints:     117781
3600.00/3610.12	c #Conflicts:    1252000 | #Constraints:     118784
3600.00/3610.12	c #Conflicts:    1253000 | #Constraints:     119790
3600.00/3610.12	c #Conflicts:    1254000 | #Constraints:     120795
3600.00/3610.12	c #Conflicts:    1255000 | #Constraints:     121799
3600.00/3610.12	c #Conflicts:    1256000 | #Constraints:     122804
3600.00/3610.12	c #Conflicts:    1257000 | #Constraints:     123808
3600.00/3610.12	c #Conflicts:    1258000 | #Constraints:     124813
3600.00/3610.12	c #Conflicts:    1259000 | #Constraints:     125818
3600.00/3610.12	c #Conflicts:    1260000 | #Constraints:     126818
3600.00/3610.12	c #Conflicts:    1261000 | #Constraints:     127823
3600.00/3610.12	c #Conflicts:    1262000 | #Constraints:     128825
3600.00/3610.12	c Program interrupted by user.
3600.00/3610.12	c cpu time 3577.04 s
3600.00/3610.12	c deterministic time 405327347044 4.05e+11
3600.00/3610.12	c optimization time 272.941 s
3600.00/3610.12	c total solve time 3303.97 s
3600.00/3610.12	c core-guided solve time 1954.01 s
3600.00/3610.12	c propagation time 2842.25 s
3600.00/3610.12	c conflict analysis time 684.748 s
3600.00/3610.12	c propagations 433283980
3600.00/3610.12	c resolve steps 45676580
3600.00/3610.12	c decisions 5192089
3600.00/3610.12	c conflicts 1262127
3600.00/3610.12	c restarts 2412
3600.00/3610.12	c inprocessing phases 46
3600.00/3610.12	c input clauses 19405
3600.00/3610.12	c input cardinalities 1957
3600.00/3610.12	c input general constraints 3373
3600.00/3610.12	c input average constraint length 115.25
3600.00/3610.12	c input average constraint degree 32.05
3600.00/3610.12	c learned clauses 905353
3600.00/3610.12	c learned cardinalities 16544
3600.00/3610.12	c learned general constraints 342610
3600.00/3610.12	c learned average constraint length 361.61
3600.00/3610.12	c learned average constraint degree 317237943.37
3600.00/3610.12	c watched constraints 298947
3600.00/3610.12	c counting constraints 47036
3600.00/3610.12	c gcd simplifications 167863
3600.00/3610.12	c detected cardinalities 100
3600.00/3610.12	c weakened non-implied lits 98809666
3600.00/3610.12	c weakened non-implying lits 879340
3600.00/3610.12	c original variables 2460
3600.00/3610.12	c clausal propagations 246921154
3600.00/3610.12	c cardinality propagations 4119706
3600.00/3610.12	c watched propagations 52885519
3600.00/3610.12	c counting propagations 126328515
3600.00/3610.12	c watch lookups 57680450692
3600.00/3610.12	c watch backjump lookups 46504555681
3600.00/3610.12	c watch checks 289545852188
3600.00/3610.12	c propagation checks 8695346016
3600.00/3610.12	c constraint additions 2021630328
3600.00/3610.12	c trail pops 439733302
3600.00/3610.12	c formula constraints 17131
3600.00/3610.12	c learned constraints 1260329
3600.00/3610.12	c bound constraints 1116
3600.00/3610.12	c core-guided constraints 6488
3600.00/3610.12	c encountered formula constraints 21386425
3600.00/3610.12	c encountered learned constraints 19526153
3600.00/3610.12	c encountered bound constraints 283
3600.00/3610.12	c encountered core-guided constraints 5931135
3600.00/3610.12	c LP total time 191.328 s
3600.00/3610.12	c LP solve time 186.88 s
3600.00/3610.12	c LP constraints added 18266
3600.00/3610.12	c LP constraints removed 1090
3600.00/3610.12	c LP pivots internal 1262238
3600.00/3610.12	c LP pivots root 40529
3600.00/3610.12	c LP calls 6372
3600.00/3610.12	c LP optimalities 4280
3600.00/3610.12	c LP no pivot count 1624
3600.00/3610.12	c LP infeasibilities 2089
3600.00/3610.12	c LP valid Farkas constraints 2089
3600.00/3610.12	c LP learned Farkas constraints 2089
3600.00/3610.12	c LP basis resets 0
3600.00/3610.12	c LP cycling count 0
3600.00/3610.12	c LP singular count 0
3600.00/3610.12	c LP no primal count 0
3600.00/3610.12	c LP no farkas count 0
3600.00/3610.12	c LP other issue count 0
3600.00/3610.12	c LP Gomory cuts 0
3600.00/3610.12	c LP learned cuts 1135
3600.00/3610.12	c LP deleted cuts 1090
3600.00/3610.12	c LP encountered Gomory constraints 0
3600.00/3610.12	c LP encountered Farkas constraints 78213
3600.00/3610.12	c LP encountered learned Farkas constraints 14409
3600.00/3610.12	c CG auxiliary variables introduced 2444
3600.00/3610.12	c CG solutions found 274
3600.00/3610.12	c CG cores constructed 842
3600.00/3610.12	c CG core cardinality constraints returned 0
3600.00/3610.12	c CG unit cores 0
3600.00/3610.12	c CG single cores 838
3600.00/3610.12	c CG blocks removed during cardinality reduction 0
3600.00/3610.12	c CG first core best 0
3600.00/3610.12	c CG decision core best 0
3600.00/3610.12	c CG core reduction tie 4
3600.00/3610.12	c CG core degree average 1.00
3600.00/3610.12	c CG core slack average 4.58
3600.00/3610.12	s SATISFIABLE
3600.00/3610.12	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 x2

ERROR: no interpretation found !

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 64096 MiB (61994 MiB free)
  memory of node 1: 64473 MiB (61426 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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


[startup+0.100098 s]*
/proc/loadavg: 0.39 0.15 0.11 4/241 319281
/proc/meminfo: memFree=126383208/131655788 swapFree=131070192/131071996
[pid=319258] ppid=319255 vsize=38524 memory=9144 CPUtime=0.1 cores=1,3
/proc/319258/stat : 319258 (roundingsat) R 319255 319258 319208 0 -1 4194304 690 0 0 0 8 2 0 0 20 0 1 0 42472491 39448576 2286 134679101440 4194304 8254357 140720897155840 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9037040 9046032 20541440 140720897164123 140720897164385 140720897164385 140720897171401 0
/proc/319258/statm: 9631 2286 1367 992 0 1489 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 38524 KiB
Current children cumulated memory: 9144 KiB

[startup+0.213351 s]*
/proc/loadavg: 0.39 0.15 0.11 5/237 319285
/proc/meminfo: memFree=126366756/131655788 swapFree=131070192/131071996
[pid=319258] ppid=319255 vsize=47848 memory=19788 CPUtime=0.22 cores=1,3
/proc/319258/stat : 319258 (roundingsat) R 319255 319258 319208 0 -1 4194304 4461 0 0 0 17 5 0 0 20 0 1 0 42472491 48996352 4947 134679101440 4194304 8254357 140720897155840 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 20541440 140720897164123 140720897164385 140720897164385 140720897171401 0
/proc/319258/statm: 11962 4947 1728 992 0 3820 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 47848 KiB
Current children cumulated memory: 19788 KiB

[startup+0.313221 s]*
/proc/loadavg: 0.39 0.15 0.11 3/237 319292
/proc/meminfo: memFree=126372904/131655788 swapFree=131070192/131071996
[pid=319258] ppid=319255 vsize=47848 memory=19788 CPUtime=0.31 cores=1,3
/proc/319258/stat : 319258 (roundingsat) R 319255 319258 319208 0 -1 4194304 4461 0 0 0 26 5 0 0 20 0 1 0 42472491 48996352 4947 134679101440 4194304 8254357 140720897155840 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 20541440 140720897164123 140720897164385 140720897164385 140720897171401 0
/proc/319258/statm: 11962 4947 1728 992 0 3820 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 47848 KiB
Current children cumulated memory: 19788 KiB

[startup+0.700264 s]
/proc/loadavg: 0.39 0.15 0.11 2/235 319300
/proc/meminfo: memFree=126372920/131655788 swapFree=131070192/131071996
[pid=319258] ppid=319255 vsize=47848 memory=19788 CPUtime=0.68 cores=1,3
/proc/319258/stat : 319258 (roundingsat) R 319255 319258 319208 0 -1 4194304 4464 0 0 0 62 6 0 0 20 0 1 0 42472491 48996352 4947 134679101440 4194304 8254357 140720897155840 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 20541440 140720897164123 140720897164385 140720897164385 140720897171401 0
/proc/319258/statm: 11962 4947 1728 992 0 3820 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 47848 KiB
Current children cumulated memory: 19788 KiB

[startup+1.50028 s]
/proc/loadavg: 0.39 0.15 0.11 2/231 319308
/proc/meminfo: memFree=126367452/131655788 swapFree=131070192/131071996
[pid=319258] ppid=319255 vsize=53148 memory=26816 CPUtime=1.48 cores=1,3
/proc/319258/stat : 319258 (roundingsat) R 319255 319258 319208 0 -1 4194304 6101 0 0 0 134 14 0 0 20 0 1 0 42472491 54423552 6704 134679101440 4194304 8254357 140720897155840 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 20541440 140720897164123 140720897164385 140720897164385 140720897171401 0
/proc/319258/statm: 13287 6704 1824 992 0 5145 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 53148 KiB
Current children cumulated memory: 26816 KiB

[startup+3.11346 s]
/proc/loadavg: 0.39 0.15 0.11 4/241 319435
/proc/meminfo: memFree=126298048/131655788 swapFree=131070192/131071996
[pid=319258] ppid=319255 vsize=80288 memory=50620 CPUtime=3.08 cores=1,3
/proc/319258/stat : 319258 (roundingsat) R 319255 319258 319208 0 -1 4194304 10502 0 0 0 270 38 0 0 20 0 1 0 42472491 82214912 12655 134679101440 4194304 8254357 140720897155840 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 20541440 140720897164123 140720897164385 140720897164385 140720897171401 0
/proc/319258/statm: 20072 12655 1888 992 0 11930 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 80288 KiB
Current children cumulated memory: 50620 KiB

[startup+6.30026 s]
/proc/loadavg: 0.68 0.21 0.13 5/246 319474
/proc/meminfo: memFree=126167816/131655788 swapFree=131070192/131071996
[pid=319258] ppid=319255 vsize=106240 memory=67176 CPUtime=6.25 cores=1,3
/proc/319258/stat : 319258 (roundingsat) R 319255 319258 319208 0 -1 4194304 14178 0 0 0 571 54 0 0 20 0 1 0 42472491 108789760 16794 134679101440 4194304 8254357 140720897155840 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 20541440 140720897164123 140720897164385 140720897164385 140720897171401 0
/proc/319258/statm: 26560 16794 1888 992 0 18418 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 106240 KiB
Current children cumulated memory: 67176 KiB

[startup+12.7003 s]
/proc/loadavg: 0.95 0.27 0.15 5/246 319475
/proc/meminfo: memFree=125934852/131655788 swapFree=131070192/131071996
[pid=319258] ppid=319255 vsize=169164 memory=124888 CPUtime=12.64 cores=1,3
/proc/319258/stat : 319258 (roundingsat) R 319255 319258 319208 0 -1 4194304 25127 0 0 0 1187 77 0 0 20 0 1 0 42472491 173223936 31222 134679101440 4194304 8254357 140720897155840 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 20541440 140720897164123 140720897164385 140720897164385 140720897171401 0
/proc/319258/statm: 42291 31222 1904 992 0 34149 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 169164 KiB
Current children cumulated memory: 124888 KiB

[startup+25.5003 s]
/proc/loadavg: 1.49 0.41 0.20 5/247 319478
/proc/meminfo: memFree=125617540/131655788 swapFree=131070192/131071996
[pid=319258] ppid=319255 vsize=192492 memory=153484 CPUtime=25.38 cores=1,3
/proc/319258/stat : 319258 (roundingsat) R 319255 319258 319208 0 -1 4194304 30307 0 0 0 2429 109 0 0 20 0 1 0 42472491 197111808 38371 134679101440 4194304 8254357 140720897155840 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 20541440 140720897164123 140720897164385 140720897164385 140720897171401 0
/proc/319258/statm: 48123 38371 1904 992 0 39981 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 192492 KiB
Current children cumulated memory: 153484 KiB

[startup+51.113 s]
/proc/loadavg: 2.48 0.76 0.32 5/247 319481
/proc/meminfo: memFree=125110392/131655788 swapFree=131070192/131071996
[pid=319258] ppid=319255 vsize=237236 memory=174840 CPUtime=50.91 cores=1,3
/proc/319258/stat : 319258 (roundingsat) R 319255 319258 319208 0 -1 4194304 34103 0 0 0 4941 150 0 0 20 0 1 0 42472491 242929664 43710 134679101440 4194304 8254357 140720897155840 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 20541440 140720897164123 140720897164385 140720897164385 140720897171401 0
/proc/319258/statm: 59309 43710 1904 992 0 51167 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 237236 KiB
Current children cumulated memory: 174840 KiB

[startup+102.3 s]
/proc/loadavg: 3.44 1.29 0.53 5/250 319495
/proc/meminfo: memFree=124026200/131655788 swapFree=131070192/131071996
[pid=319258] ppid=319255 vsize=240880 memory=194580 CPUtime=101.9 cores=1,3
/proc/319258/stat : 319258 (roundingsat) R 319255 319258 319208 0 -1 4194304 35016 0 0 0 9950 240 0 0 20 0 1 0 42472491 246661120 48645 134679101440 4194304 8254357 140720897155840 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 20541440 140720897164123 140720897164385 140720897164385 140720897171401 0
/proc/319258/statm: 60220 48645 1904 992 0 52078 0
Current children cumulated CPU time: 101.9 s
Current children cumulated vsize: 240880 KiB
Current children cumulated memory: 194580 KiB

[startup+162.3 s]
/proc/loadavg: 3.83 1.80 0.75 5/251 319506
/proc/meminfo: memFree=123181464/131655788 swapFree=131070192/131071996
[pid=319258] ppid=319255 vsize=297504 memory=215168 CPUtime=161.68 cores=1,3
/proc/319258/stat : 319258 (roundingsat) R 319255 319258 319208 0 -1 4194304 37028 0 0 0 15838 330 0 0 20 0 1 0 42472491 304644096 53792 134679101440 4194304 8254357 140720897155840 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 20541440 140720897164123 140720897164385 140720897164385 140720897171401 0
/proc/319258/statm: 74376 53792 1904 992 0 66234 0
Current children cumulated CPU time: 161.68 s
Current children cumulated vsize: 297504 KiB
Current children cumulated memory: 215168 KiB

[startup+222.3 s]
/proc/loadavg: 4.02 2.23 0.97 5/251 319517
/proc/meminfo: memFree=122299616/131655788 swapFree=131070192/131071996
[pid=319258] ppid=319255 vsize=306064 memory=231448 CPUtime=221.47 cores=1,3
/proc/319258/stat : 319258 (roundingsat) R 319255 319258 319208 0 -1 4194304 39007 0 0 0 21751 396 0 0 20 0 1 0 42472491 313409536 57862 134679101440 4194304 8254357 140720897155840 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 20541440 140720897164123 140720897164385 140720897164385 140720897171401 0
/proc/319258/statm: 76516 57862 1904 992 0 68374 0
Current children cumulated CPU time: 221.47 s
Current children cumulated vsize: 306064 KiB
Current children cumulated memory: 231448 KiB

[startup+282.3 s]
/proc/loadavg: 4.11 2.59 1.17 5/250 319909
/proc/meminfo: memFree=121682728/131655788 swapFree=131070192/131071996
[pid=319258] ppid=319255 vsize=310968 memory=237516 CPUtime=281.3 cores=1,3
/proc/319258/stat : 319258 (roundingsat) R 319255 319258 319208 0 -1 4194304 40204 0 0 0 27675 455 0 0 20 0 1 0 42472491 318431232 59379 134679101440 4194304 8254357 140720897155840 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 20541440 140720897164123 140720897164385 140720897164385 140720897171401 0
/proc/319258/statm: 77742 59379 1904 992 0 69600 0
Current children cumulated CPU time: 281.3 s
Current children cumulated vsize: 310968 KiB
Current children cumulated memory: 237516 KiB

[startup+342.3 s]
/proc/loadavg: 4.10 2.86 1.36 5/249 319919
/proc/meminfo: memFree=120980092/131655788 swapFree=131070192/131071996
[pid=319258] ppid=319255 vsize=312536 memory=239208 CPUtime=341.15 cores=1,3
/proc/319258/stat : 319258 (roundingsat) R 319255 319258 319208 0 -1 4194304 40701 0 0 0 33598 517 0 0 20 0 1 0 42472491 320036864 59802 134679101440 4194304 8254357 140720897155840 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 20541440 140720897164123 140720897164385 140720897164385 140720897171401 0
/proc/319258/statm: 78134 59802 1904 992 0 69992 0
Current children cumulated CPU time: 341.15 s
Current children cumulated vsize: 312536 KiB
Current children cumulated memory: 239208 KiB

[startup+402.3 s]
/proc/loadavg: 4.25 3.12 1.54 5/249 319930
/proc/meminfo: memFree=120294252/131655788 swapFree=131070192/131071996
[pid=319258] ppid=319255 vsize=315152 memory=241588 CPUtime=400.97 cores=1,3
/proc/319258/stat : 319258 (roundingsat) R 319255 319258 319208 0 -1 4194304 41368 0 0 0 39520 577 0 0 20 0 1 0 42472491 322715648 60397 134679101440 4194304 8254357 140720897155840 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 20541440 140720897164123 140720897164385 140720897164385 140720897171401 0
/proc/319258/statm: 78788 60397 1904 992 0 70646 0
Current children cumulated CPU time: 400.97 s
Current children cumulated vsize: 315152 KiB
Current children cumulated memory: 241588 KiB

[startup+462.3 s]
/proc/loadavg: 4.26 3.33 1.71 5/248 320110
/proc/meminfo: memFree=119720308/131655788 swapFree=131070192/131071996
[pid=319258] ppid=319255 vsize=316300 memory=242996 CPUtime=460.79 cores=1,3
/proc/319258/stat : 319258 (roundingsat) R 319255 319258 319208 0 -1 4194304 41738 0 0 0 45452 627 0 0 20 0 1 0 42472491 323891200 60749 134679101440 4194304 8254357 140720897155840 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 20541440 140720897164123 140720897164385 140720897164385 140720897171401 0
/proc/319258/statm: 79075 60749 1904 992 0 70933 0

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


[startup+3162.3 s]
/proc/loadavg: 4.17 4.19 4.10 5/246 321224
/proc/meminfo: memFree=103217560/131655788 swapFree=131070192/131071996
[pid=319258] ppid=319255 vsize=591632 memory=474660 CPUtime=3153.33 cores=1,3
/proc/319258/stat : 319258 (roundingsat) R 319255 319258 319208 0 -1 4194304 62641 0 0 0 313230 2103 0 0 20 0 1 0 42472491 605831168 118665 134679101440 4194304 8254357 140720897155840 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 20541440 140720897164123 140720897164385 140720897164385 140720897171401 0
/proc/319258/statm: 147908 118665 1904 992 0 139766 0
Current children cumulated CPU time: 3153.33 s
Current children cumulated vsize: 591632 KiB
Current children cumulated memory: 474660 KiB

[startup+3222.3 s]
/proc/loadavg: 4.12 4.17 4.09 5/246 321234
/proc/meminfo: memFree=102971224/131655788 swapFree=131070192/131071996
[pid=319258] ppid=319255 vsize=596020 memory=478892 CPUtime=3213.18 cores=1,3
/proc/319258/stat : 319258 (roundingsat) R 319255 319258 319208 0 -1 4194304 63855 0 0 0 319194 2124 0 0 20 0 1 0 42472491 610324480 119723 134679101440 4194304 8254357 140720897155840 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 20541440 140720897164123 140720897164385 140720897164385 140720897171401 0
/proc/319258/statm: 149005 119723 1904 992 0 140863 0
Current children cumulated CPU time: 3213.18 s
Current children cumulated vsize: 596020 KiB
Current children cumulated memory: 478892 KiB

[startup+3282.3 s]
/proc/loadavg: 4.28 4.23 4.12 5/247 321247
/proc/meminfo: memFree=102679284/131655788 swapFree=131070192/131071996
[pid=319258] ppid=319255 vsize=596020 memory=478892 CPUtime=3273.02 cores=1,3
/proc/319258/stat : 319258 (roundingsat) R 319255 319258 319208 0 -1 4194304 63855 0 0 0 325149 2153 0 0 20 0 1 0 42472491 610324480 119723 134679101440 4194304 8254357 140720897155840 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 20541440 140720897164123 140720897164385 140720897164385 140720897171401 0
/proc/319258/statm: 149005 119723 1904 992 0 140863 0
Current children cumulated CPU time: 3273.02 s
Current children cumulated vsize: 596020 KiB
Current children cumulated memory: 478892 KiB

[startup+3342.3 s]
/proc/loadavg: 4.24 4.23 4.13 5/244 321257
/proc/meminfo: memFree=102346392/131655788 swapFree=131070192/131071996
[pid=319258] ppid=319255 vsize=596020 memory=479028 CPUtime=3332.87 cores=1,3
/proc/319258/stat : 319258 (roundingsat) R 319255 319258 319208 0 -1 4194304 64008 0 0 0 331097 2190 0 0 20 0 1 0 42472491 610324480 119757 134679101440 4194304 8254357 140720897155840 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 20541440 140720897164123 140720897164385 140720897164385 140720897171401 0
/proc/319258/statm: 149005 119757 1904 992 0 140863 0
Current children cumulated CPU time: 3332.87 s
Current children cumulated vsize: 596020 KiB
Current children cumulated memory: 479028 KiB

[startup+3402.3 s]
/proc/loadavg: 4.21 4.22 4.13 5/244 321267
/proc/meminfo: memFree=102020988/131655788 swapFree=131070192/131071996
[pid=319258] ppid=319255 vsize=596500 memory=479108 CPUtime=3392.71 cores=1,3
/proc/319258/stat : 319258 (roundingsat) R 319255 319258 319208 0 -1 4194304 64210 0 0 0 337051 2220 0 0 20 0 1 0 42472491 610816000 119777 134679101440 4194304 8254357 140720897155840 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 20541440 140720897164123 140720897164385 140720897164385 140720897171401 0
/proc/319258/statm: 149125 119777 1904 992 0 140983 0
Current children cumulated CPU time: 3392.71 s
Current children cumulated vsize: 596500 KiB
Current children cumulated memory: 479108 KiB

[startup+3462.3 s]
/proc/loadavg: 4.45 4.27 4.15 5/247 321282
/proc/meminfo: memFree=101738628/131655788 swapFree=131070192/131071996
[pid=319258] ppid=319255 vsize=600728 memory=483616 CPUtime=3452.56 cores=1,3
/proc/319258/stat : 319258 (roundingsat) R 319255 319258 319208 0 -1 4194304 65340 0 0 0 343007 2249 0 0 20 0 1 0 42472491 615145472 120904 134679101440 4194304 8254357 140720897155840 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 20541440 140720897164123 140720897164385 140720897164385 140720897171401 0
/proc/319258/statm: 150182 120904 1904 992 0 142040 0
Current children cumulated CPU time: 3452.56 s
Current children cumulated vsize: 600728 KiB
Current children cumulated memory: 483616 KiB

[startup+3522.3 s]
/proc/loadavg: 4.22 4.24 4.14 5/247 321293
/proc/meminfo: memFree=101474068/131655788 swapFree=131070192/131071996
[pid=319258] ppid=319255 vsize=609060 memory=491144 CPUtime=3512.41 cores=1,3
/proc/319258/stat : 319258 (roundingsat) R 319255 319258 319208 0 -1 4194304 67284 0 0 0 348971 2270 0 0 20 0 1 0 42472491 623677440 122786 134679101440 4194304 8254357 140720897155840 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 20541440 140720897164123 140720897164385 140720897164385 140720897171401 0
/proc/319258/statm: 152265 122786 1904 992 0 144123 0
Current children cumulated CPU time: 3512.41 s
Current children cumulated vsize: 609060 KiB
Current children cumulated memory: 491144 KiB

[startup+3582.3 s]
/proc/loadavg: 4.12 4.21 4.14 5/247 321305
/proc/meminfo: memFree=101223940/131655788 swapFree=131070192/131071996
[pid=319258] ppid=319255 vsize=615880 memory=496936 CPUtime=3572.26 cores=1,3
/proc/319258/stat : 319258 (roundingsat) R 319255 319258 319208 0 -1 4194304 68869 0 0 0 354938 2288 0 0 20 0 1 0 42472491 630661120 124234 134679101440 4194304 8254357 140720897155840 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 20541440 140720897164123 140720897164385 140720897164385 140720897171401 0
/proc/319258/statm: 153970 124234 1904 992 0 145828 0
Current children cumulated CPU time: 3572.26 s
Current children cumulated vsize: 615880 KiB
Current children cumulated memory: 496936 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.11 s]
/proc/loadavg: 4.14 4.21 4.14 5/247 321309
/proc/meminfo: memFree=101104632/131655788 swapFree=131070192/131071996
[pid=319258] ppid=319255 vsize=617620 memory=498384 CPUtime=3600 cores=1,3
/proc/319258/stat : 319258 (roundingsat) R 319255 319258 319208 0 -1 4194304 69319 0 0 0 357703 2297 0 0 20 0 1 0 42472491 632442880 124596 134679101440 4194304 8254357 140720897155840 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 20541440 140720897164123 140720897164385 140720897164385 140720897171401 0
/proc/319258/statm: 154405 124596 1904 992 0 146263 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 617620 KiB
Current children cumulated memory: 498384 KiB

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

Sending SIGKILL to process tree (bottom up)
WARNING: unexpectedly, some solver processes are still present and will be killed:

[startup+0 s]*
/proc/loadavg: 4.13 4.20 4.14 3/247 321311
/proc/meminfo: memFree=101098396/131655788 swapFree=131070192/131071996
[pid=319258] ppid=319255 vsize=617620 memory=498384 CPUtime=3600.01 cores=1,3
/proc/319258/stat : 319258 (roundingsat) D 319255 319258 319208 0 -1 4194304 69327 0 0 0 357704 2297 0 0 20 0 1 0 42472491 632442880 124596 134679101440 4194304 8254357 140720897155840 0 0 256 0 0 25182210 0 0 0 17 1 0 0 237 0 0 9037040 9046032 20541440 140720897164123 140720897164385 140720897164385 140720897171401 0
/proc/319258/statm: 154405 124596 1904 992 0 146263 0
??? kill 319258 sig 9
??? end of watcher thread

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

# cumulated CPU time of all completed processes:  user=3577.05 s, system=22.9806 s

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

[startup+3611.2 s]
/proc/loadavg: 4.13 4.20 4.14 4/247 321309
/proc/meminfo: memFree=101101512/131655788 swapFree=131070192/131071996
[pid=319258] ppid=319255 vsize=617620 memory=498384 CPUtime=3600.01 cores=1,3
/proc/319258/stat : 319258 (roundingsat) D 319255 319258 319208 0 -1 4194304 69327 0 0 0 357704 2297 0 0 20 0 1 0 42472491 632442880 124596 134679101440 4194304 8254357 140720897155840 0 0 0 0 0 25182210 0 0 0 17 1 0 0 57 0 0 9037040 9046032 20541440 140720897164123 140720897164385 140720897164385 140720897171401 0
/proc/319258/statm: 154405 124596 1904 992 0 146263 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 617620 KiB
Current children cumulated memory: 498384 KiB

[startup+3611.6 s]
/proc/loadavg: 4.13 4.20 4.14 4/247 321309
/proc/meminfo: memFree=101101512/131655788 swapFree=131070192/131071996
[pid=319258] ppid=319255 vsize=617620 memory=498384 CPUtime=3600.01 cores=1,3
/proc/319258/stat : 319258 (roundingsat) D 319255 319258 319208 0 -1 4194304 69327 0 0 0 357704 2297 0 0 20 0 1 0 42472491 632442880 124596 134679101440 4194304 8254357 140720897155840 0 0 0 0 0 25182210 0 0 0 17 1 0 0 237 0 0 9037040 9046032 20541440 140720897164123 140720897164385 140720897164385 140720897171401 0
/proc/319258/statm: 154405 124596 1904 992 0 146263 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 617620 KiB
Current children cumulated memory: 498384 KiB

[startup+3612 s]*
/proc/loadavg: 4.13 4.20 4.14 3/247 321311
/proc/meminfo: memFree=101098732/131655788 swapFree=131070192/131071996
[pid=319258] ppid=319255 vsize=617620 memory=498384 CPUtime=3600.01 cores=1,3
/proc/319258/stat : 319258 (roundingsat) D 319255 319258 319208 0 -1 4194304 69327 0 0 0 357704 2297 0 0 20 0 1 0 42472491 632442880 124596 134679101440 4194304 8254357 140720897155840 0 0 0 0 0 25182210 0 0 0 17 1 0 0 237 0 0 9037040 9046032 20541440 140720897164123 140720897164385 140720897164385 140720897171401 0
/proc/319258/statm: 154405 124596 1904 992 0 146263 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 617620 KiB
Current children cumulated memory: 498384 KiB

[startup+3612.11 s]
/proc/loadavg: 4.13 4.20 4.14 3/247 321311
/proc/meminfo: memFree=101098732/131655788 swapFree=131070192/131071996
[pid=319258] ppid=319255 vsize=617620 memory=498384 CPUtime=3600.01 cores=1,3
/proc/319258/stat : 319258 (roundingsat) D 319255 319258 319208 0 -1 4194304 69327 0 0 0 357704 2297 0 0 20 0 1 0 42472491 632442880 124596 134679101440 4194304 8254357 140720897155840 0 0 0 0 0 25182210 0 0 0 17 1 0 0 237 0 0 9037040 9046032 20541440 140720897164123 140720897164385 140720897164385 140720897171401 0
/proc/319258/statm: 154405 124596 1904 992 0 146263 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 617620 KiB
Current children cumulated memory: 498384 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 3628.55
CPU time (s): 3600.03
CPU user time (s): 3577.05
CPU system time (s): 22.9806
CPU usage (%): 99.2141
Max. virtual memory (cumulated for all children) (KiB): 617620
Max. memory (cumulated for all children) (KiB): 498384

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3577.05
system time used= 22.9806
maximum resident set size= 498900
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 69327
page faults= 0
swaps= 0
block input operations= 0
block output operations= 17242688
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 867
involuntary context switches= 4850


# summary of solver processes directly reported to runsolver:
#   pid: 319258
#   total CPU time (s): 3600.03
#   total CPU user time (s): 3577.05
#   total CPU system time (s): 22.9806

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.7129 second user time and 34.381 second system time

The end

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

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

MD5SUM BENCH= 0fb7b9dc188f1b53ec311352ea5d5560
RANDOM SEED=425005107

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

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.377
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.43
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.160
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.41
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.392
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.43
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.167
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.41
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.177
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.43
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.172
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.41
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.163
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.43
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.178
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.41
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        126401932 kB
MemAvailable:   129935428 kB
Buffers:          375516 kB
Cached:          3970552 kB
SwapCached:           72 kB
Active:          2436180 kB
Inactive:        2228752 kB
Active(anon):       1416 kB
Inactive(anon):   370964 kB
Active(file):    2434764 kB
Inactive(file):  1857788 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131070192 kB
Dirty:             11696 kB
Writeback:             0 kB
AnonPages:        317752 kB
Mapped:           105192 kB
Shmem:             53844 kB
KReclaimable:     162284 kB
Slab:             275172 kB
SReclaimable:     162284 kB
SUnreclaim:       112888 kB
KernelStack:        3624 kB
PageTables:         9992 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     708392 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            14752 kB
HardwareCorrupted:     0 kB
AnonHugePages:    192512 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:      316232 kB
DirectMap2M:    36288512 kB
DirectMap1G:    99614720 kB

Free space on /tmp at the end= 723760 MiB
End job on nodeC002 at 2024-07-27 10:21:05