0.00/0.00	c RoundingSat 2
0.00/0.00	c branch 
0.00/0.00	c commit 
0.00/0.87	c #variables 2460 #constraints 17131
0.27/1.11	c bounds - >= 0 @ 0.047057
0.27/1.11	c bounds 1164 >= 0 @ 0.246134
0.27/1.11	c bounds 1164 >= 1 @ 0.246387
0.27/1.11	c bounds 1164 >= 2 @ 0.246528
0.27/1.11	c bounds 1164 >= 3 @ 0.246671
0.27/1.11	c bounds 1164 >= 4 @ 0.246805
0.27/1.11	c bounds 1164 >= 5 @ 0.246942
0.27/1.11	c bounds 1164 >= 6 @ 0.247084
0.27/1.11	c bounds 1164 >= 7 @ 0.247229
0.27/1.11	c bounds 1164 >= 8 @ 0.247376
0.27/1.11	c bounds 1164 >= 9 @ 0.247522
0.27/1.11	c bounds 1164 >= 10 @ 0.247672
0.27/1.11	c bounds 1164 >= 11 @ 0.247824
0.27/1.11	c bounds 1164 >= 12 @ 0.247992
0.27/1.11	c bounds 1164 >= 13 @ 0.248122
0.27/1.11	c bounds 1164 >= 14 @ 0.248248
0.27/1.11	c bounds 1164 >= 15 @ 0.248378
0.27/1.11	c bounds 1164 >= 16 @ 0.248508
0.27/1.11	c bounds 1164 >= 17 @ 0.248645
0.27/1.11	c bounds 1164 >= 18 @ 0.248787
0.27/1.11	c bounds 1164 >= 19 @ 0.248925
0.27/1.11	c bounds 1164 >= 20 @ 0.249064
0.27/1.11	c bounds 1164 >= 21 @ 0.249206
0.27/1.11	c bounds 1164 >= 22 @ 0.24931
0.27/1.11	c bounds 1164 >= 23 @ 0.24931
0.27/1.11	c bounds 1164 >= 24 @ 0.24931
0.27/1.11	c bounds 1164 >= 25 @ 0.24931
0.27/1.11	c bounds 1164 >= 26 @ 0.24931
0.27/1.11	c bounds 1164 >= 27 @ 0.24931
0.27/1.11	c bounds 1164 >= 28 @ 0.249344
0.27/1.11	c bounds 1164 >= 29 @ 0.249527
0.27/1.11	c bounds 1164 >= 30 @ 0.249675
0.27/1.11	c bounds 1164 >= 31 @ 0.249819
0.27/1.11	c bounds 1164 >= 32 @ 0.249967
0.27/1.11	c bounds 1164 >= 33 @ 0.250117
0.27/1.11	c bounds 1164 >= 34 @ 0.250255
0.27/1.11	c bounds 1164 >= 35 @ 0.250411
0.27/1.11	c bounds 1164 >= 36 @ 0.250567
0.27/1.11	c bounds 1164 >= 37 @ 0.250724
0.27/1.11	c bounds 1164 >= 38 @ 0.250883
0.27/1.11	c bounds 1164 >= 39 @ 0.251053
0.27/1.11	c bounds 1164 >= 40 @ 0.251219
0.27/1.11	c bounds 1164 >= 41 @ 0.251303
0.27/1.11	c bounds 1164 >= 42 @ 0.251303
0.27/1.11	c bounds 1164 >= 43 @ 0.251303
0.27/1.11	c bounds 1164 >= 44 @ 0.251303
0.27/1.11	c bounds 1164 >= 45 @ 0.251303
0.27/1.11	c bounds 1164 >= 46 @ 0.251303
0.27/1.11	c bounds 1164 >= 47 @ 0.251369
0.27/1.11	c bounds 1164 >= 48 @ 0.251511
0.27/1.11	c bounds 1164 >= 49 @ 0.251655
0.27/1.11	c bounds 1164 >= 50 @ 0.251801
0.27/1.11	c bounds 1164 >= 51 @ 0.251956
0.27/1.11	c bounds 1164 >= 52 @ 0.252115
0.27/1.11	c bounds 1164 >= 53 @ 0.25227
0.27/1.11	c bounds 1164 >= 54 @ 0.252431
0.27/1.11	c bounds 1164 >= 55 @ 0.252592
0.27/1.11	c bounds 1164 >= 56 @ 0.252755
0.27/1.11	c bounds 1164 >= 57 @ 0.252921
0.27/1.11	c bounds 1164 >= 58 @ 0.253111
0.27/1.11	c bounds 1164 >= 59 @ 0.253288
0.27/1.11	c bounds 1164 >= 60 @ 0.253464
0.27/1.11	c bounds 1164 >= 61 @ 0.253655
0.27/1.11	c bounds 1164 >= 62 @ 0.253833
0.27/1.11	c bounds 1164 >= 63 @ 0.254026
0.27/1.11	c bounds 1164 >= 64 @ 0.254185
0.27/1.11	c bounds 1164 >= 65 @ 0.254275
0.27/1.11	c bounds 1164 >= 66 @ 0.254275
0.27/1.11	c bounds 1164 >= 67 @ 0.254275
0.27/1.11	c bounds 1164 >= 68 @ 0.254275
0.27/1.11	c bounds 1164 >= 69 @ 0.254275
0.27/1.11	c bounds 1164 >= 70 @ 0.254275
0.27/1.11	c bounds 1164 >= 71 @ 0.254461
0.27/1.11	c bounds 1164 >= 72 @ 0.25465
0.27/1.11	c bounds 1164 >= 73 @ 0.25482
0.27/1.11	c bounds 1164 >= 74 @ 0.254979
0.27/1.11	c bounds 1164 >= 75 @ 0.255138
0.27/1.11	c bounds 1164 >= 76 @ 0.255325
0.27/1.11	c bounds 1164 >= 77 @ 0.255511
0.27/1.11	c bounds 1164 >= 78 @ 0.255731
0.27/1.11	c bounds 1164 >= 79 @ 0.255923
0.27/1.11	c bounds 1164 >= 80 @ 0.256139
0.27/1.11	c bounds 1164 >= 81 @ 0.256324
0.27/1.11	c bounds 1164 >= 82 @ 0.256495
0.27/1.11	c bounds 1164 >= 83 @ 0.256689
0.27/1.11	c bounds 1164 >= 84 @ 0.256858
0.27/1.11	c bounds 1164 >= 85 @ 0.25703
0.27/1.11	c bounds 1164 >= 86 @ 0.257208
0.27/1.11	c bounds 1164 >= 87 @ 0.257404
0.27/1.11	c bounds 1164 >= 88 @ 0.25761
0.27/1.11	c bounds 1164 >= 89 @ 0.257789
0.27/1.11	c bounds 1164 >= 90 @ 0.257974
0.27/1.11	c bounds 1164 >= 91 @ 0.25816
0.27/1.11	c bounds 1164 >= 92 @ 0.25826
0.27/1.11	c bounds 1164 >= 93 @ 0.25826
0.27/1.11	c bounds 1164 >= 94 @ 0.25826
0.27/1.11	c bounds 1164 >= 95 @ 0.25826
0.27/1.11	c bounds 1164 >= 96 @ 0.25826
0.27/1.11	c bounds 1164 >= 97 @ 0.25826
0.27/1.11	c bounds 1164 >= 98 @ 0.25826
0.27/1.11	c bounds 1164 >= 99 @ 0.25826
0.27/1.11	c bounds 1164 >= 100 @ 0.25826
0.27/1.11	c bounds 1164 >= 101 @ 0.25826
0.27/1.11	c bounds 1164 >= 102 @ 0.25826
0.27/1.11	c bounds 1164 >= 103 @ 0.25826
0.27/1.11	c bounds 1164 >= 104 @ 0.25826
0.27/1.11	c bounds 1164 >= 105 @ 0.25826
0.27/1.11	c bounds 1164 >= 106 @ 0.25826
0.27/1.11	c bounds 1164 >= 107 @ 0.25826
0.27/1.11	c bounds 1164 >= 108 @ 0.25826
0.27/1.11	c bounds 1164 >= 109 @ 0.25826
0.27/1.11	c bounds 1164 >= 110 @ 0.25826
0.27/1.11	c bounds 1164 >= 111 @ 0.25826
0.27/1.11	c bounds 1164 >= 112 @ 0.25826
0.27/1.11	c bounds 1164 >= 113 @ 0.25826
0.27/1.11	c bounds 1164 >= 114 @ 0.25826
0.27/1.11	c bounds 1164 >= 115 @ 0.25826
0.27/1.11	c bounds 1164 >= 116 @ 0.25826
0.27/1.11	c bounds 1164 >= 117 @ 0.258466
0.27/1.11	c bounds 1164 >= 118 @ 0.258663
0.27/1.11	c bounds 1164 >= 119 @ 0.258834
0.27/1.11	c bounds 1164 >= 120 @ 0.259015
0.27/1.11	c bounds 1164 >= 121 @ 0.25919
0.27/1.11	c bounds 1164 >= 122 @ 0.25941
0.27/1.11	c bounds 1164 >= 123 @ 0.25963
0.27/1.11	c bounds 1164 >= 124 @ 0.259835
0.27/1.11	c bounds 1164 >= 125 @ 0.260041
0.27/1.11	c bounds 1164 >= 126 @ 0.260266
0.27/1.11	c bounds 1164 >= 127 @ 0.260484
0.27/1.11	c bounds 1164 >= 128 @ 0.260712
0.27/1.11	c bounds 1164 >= 129 @ 0.260934
0.27/1.11	c bounds 1164 >= 130 @ 0.261151
0.27/1.11	c bounds 1164 >= 131 @ 0.261229
0.27/1.14	c bounds 1164 >= 132 @ 0.261229
0.27/1.14	c bounds 1164 >= 133 @ 0.261229
0.27/1.14	c bounds 1164 >= 134 @ 0.261229
0.27/1.14	c bounds 1164 >= 135 @ 0.261236
0.27/1.14	c bounds 1164 >= 136 @ 0.261459
0.27/1.14	c bounds 1164 >= 137 @ 0.261689
0.27/1.14	c bounds 1164 >= 138 @ 0.261903
0.27/1.14	c bounds 1164 >= 139 @ 0.262111
0.27/1.14	c bounds 1164 >= 140 @ 0.262224
0.27/1.14	c bounds 1164 >= 141 @ 0.262224
0.27/1.14	c bounds 1164 >= 142 @ 0.262224
0.27/1.14	c bounds 1164 >= 143 @ 0.262224
0.27/1.14	c bounds 1164 >= 144 @ 0.262272
0.27/1.14	c bounds 1164 >= 145 @ 0.262505
0.27/1.14	c bounds 1164 >= 146 @ 0.262748
0.27/1.14	c bounds 1164 >= 147 @ 0.262981
0.27/1.14	c bounds 1164 >= 148 @ 0.263197
0.27/1.14	c bounds 1164 >= 149 @ 0.263456
0.27/1.14	c bounds 1164 >= 150 @ 0.263712
0.27/1.14	c bounds 1164 >= 151 @ 0.263981
0.27/1.14	c bounds 1164 >= 152 @ 0.264263
0.27/1.14	c bounds 1164 >= 153 @ 0.264483
0.27/1.14	c bounds 1164 >= 154 @ 0.264724
0.27/1.14	c bounds 1164 >= 155 @ 0.264941
0.27/1.14	c bounds 1164 >= 156 @ 0.26516
0.27/1.14	c bounds 1164 >= 157 @ 0.265381
0.27/1.14	c bounds 1164 >= 158 @ 0.265607
0.27/1.14	c bounds 1164 >= 159 @ 0.265832
0.27/1.14	c bounds 1164 >= 160 @ 0.26606
0.27/1.14	c bounds 1164 >= 161 @ 0.266209
0.27/1.14	c bounds 1164 >= 162 @ 0.266209
0.27/1.14	c bounds 1164 >= 163 @ 0.266209
0.27/1.14	c bounds 1164 >= 164 @ 0.266209
0.27/1.14	c bounds 1164 >= 165 @ 0.266262
0.27/1.14	c bounds 1164 >= 166 @ 0.266514
0.27/1.14	c bounds 1164 >= 167 @ 0.266774
0.27/1.14	c bounds 1164 >= 168 @ 0.26705
0.27/1.14	c bounds 1164 >= 169 @ 0.267203
0.27/1.14	c bounds 1164 >= 170 @ 0.267203
0.27/1.14	c bounds 1164 >= 171 @ 0.267203
0.27/1.14	c bounds 1164 >= 172 @ 0.267203
0.27/1.14	c bounds 1164 >= 173 @ 0.267488
0.27/1.14	c bounds 1164 >= 174 @ 0.267764
0.27/1.14	c bounds 1164 >= 175 @ 0.267991
0.27/1.14	c bounds 1164 >= 176 @ 0.26822
0.27/1.14	c bounds 1164 >= 177 @ 0.268472
0.27/1.14	c bounds 1164 >= 178 @ 0.268734
0.27/1.14	c bounds 1164 >= 179 @ 0.268983
0.27/1.14	c bounds 1164 >= 180 @ 0.269234
0.27/1.14	c bounds 1164 >= 181 @ 0.269488
0.27/1.14	c bounds 1164 >= 182 @ 0.269728
0.27/1.14	c bounds 1164 >= 183 @ 0.269985
0.27/1.14	c bounds 1164 >= 184 @ 0.270241
0.27/1.14	c bounds 1164 >= 185 @ 0.27049
0.27/1.14	c bounds 1164 >= 186 @ 0.270734
0.27/1.14	c bounds 1164 >= 187 @ 0.270972
0.27/1.14	c bounds 1164 >= 188 @ 0.271209
0.27/1.14	c bounds 1164 >= 189 @ 0.271435
0.27/1.14	c bounds 1164 >= 190 @ 0.271657
0.27/1.14	c bounds 1164 >= 191 @ 0.27187
0.27/1.14	c bounds 1164 >= 192 @ 0.272091
0.27/1.14	c bounds 1164 >= 193 @ 0.272187
0.27/1.14	c bounds 1164 >= 194 @ 0.272187
0.27/1.14	c bounds 1164 >= 195 @ 0.272187
0.27/1.14	c bounds 1164 >= 196 @ 0.272187
0.27/1.14	c bounds 1164 >= 197 @ 0.272187
0.27/1.14	c bounds 1164 >= 198 @ 0.272394
0.27/1.14	c bounds 1164 >= 199 @ 0.272595
0.27/1.14	c bounds 1164 >= 200 @ 0.272794
0.27/1.14	c bounds 1164 >= 201 @ 0.272993
0.27/1.14	c bounds 1164 >= 202 @ 0.273168
0.27/1.14	c bounds 1164 >= 203 @ 0.273359
0.27/1.14	c bounds 1164 >= 204 @ 0.273533
0.27/1.14	c bounds 1164 >= 205 @ 0.273769
0.27/1.14	c bounds 1164 >= 206 @ 0.273975
0.27/1.14	c bounds 1164 >= 207 @ 0.274067
0.27/1.14	c bounds 1164 >= 208 @ 0.274067
0.27/1.14	c bounds 1164 >= 209 @ 0.274067
0.27/1.14	c bounds 1164 >= 210 @ 0.274067
0.27/1.14	c bounds 1164 >= 211 @ 0.274067
0.27/1.14	c bounds 1164 >= 212 @ 0.274074
0.27/1.14	c bounds 1164 >= 213 @ 0.274074
0.27/1.14	c bounds 1164 >= 214 @ 0.274074
0.27/1.14	c bounds 1164 >= 215 @ 0.274074
0.27/1.14	c bounds 1164 >= 216 @ 0.274074
0.27/1.14	c bounds 1164 >= 217 @ 0.274074
0.27/1.14	c bounds 1164 >= 218 @ 0.274074
0.27/1.14	c bounds 1164 >= 219 @ 0.274074
0.27/1.14	c bounds 1164 >= 220 @ 0.274074
0.27/1.14	c bounds 1164 >= 221 @ 0.274074
0.27/1.14	c bounds 1164 >= 222 @ 0.274074
0.27/1.14	c bounds 1164 >= 223 @ 0.274074
0.27/1.14	c bounds 1164 >= 224 @ 0.274074
0.27/1.14	c bounds 1164 >= 225 @ 0.274074
0.27/1.14	c bounds 1164 >= 226 @ 0.274074
0.27/1.14	c bounds 1164 >= 227 @ 0.274074
0.27/1.14	c bounds 1164 >= 228 @ 0.274074
0.27/1.14	c bounds 1164 >= 229 @ 0.274233
0.27/1.14	c bounds 1163 >= 229 @ 0.275129
0.27/1.14	c bounds 1163 >= 230 @ 0.275323
0.27/1.14	c bounds 1163 >= 231 @ 0.275476
0.27/1.14	c bounds 1163 >= 232 @ 0.275624
0.27/1.14	c bounds 1163 >= 233 @ 0.27577
0.27/1.14	c bounds 1163 >= 234 @ 0.275914
0.27/1.14	c bounds 1163 >= 235 @ 0.276049
0.27/1.14	c bounds 1163 >= 236 @ 0.276191
0.27/1.14	c bounds 1163 >= 237 @ 0.276328
0.27/1.14	c bounds 1163 >= 238 @ 0.276466
0.27/1.14	c bounds 1163 >= 239 @ 0.276589
0.27/1.14	c bounds 1163 >= 240 @ 0.276725
0.27/1.14	c bounds 1163 >= 241 @ 0.276849
0.27/1.14	c bounds 1163 >= 242 @ 0.277036
0.27/1.14	c bounds 1163 >= 243 @ 0.277213
0.27/1.14	c bounds 1162 >= 243 @ 0.27805
0.27/1.14	c bounds 1162 >= 244 @ 0.27805
0.27/1.14	c bounds 1162 >= 245 @ 0.278091
0.27/1.14	c bounds 1162 >= 246 @ 0.278237
0.27/1.14	c bounds 1162 >= 247 @ 0.278379
0.27/1.14	c bounds 1162 >= 248 @ 0.278517
0.27/1.14	c bounds 1162 >= 249 @ 0.278651
0.27/1.14	c bounds 1162 >= 250 @ 0.278783
0.27/1.14	c bounds 1162 >= 251 @ 0.278913
0.27/1.14	c bounds 1162 >= 252 @ 0.279033
0.27/1.14	c bounds 1162 >= 253 @ 0.279229
0.27/1.14	c bounds 1161 >= 253 @ 0.281053
0.27/1.14	c bounds 1161 >= 254 @ 0.281241
0.27/1.14	c bounds 1161 >= 255 @ 0.281383
0.27/1.14	c bounds 1161 >= 256 @ 0.281518
0.27/1.14	c bounds 1161 >= 257 @ 0.281655
0.27/1.18	c bounds 1161 >= 258 @ 0.281809
0.27/1.18	c bounds 1161 >= 259 @ 0.28194
0.27/1.18	c bounds 1161 >= 260 @ 0.282074
0.27/1.18	c bounds 1160 >= 260 @ 0.283022
0.27/1.18	c bounds 1160 >= 261 @ 0.283022
0.27/1.18	c bounds 1160 >= 262 @ 0.283022
0.27/1.18	c bounds 1160 >= 263 @ 0.283022
0.27/1.18	c bounds 1160 >= 264 @ 0.283022
0.27/1.18	c bounds 1160 >= 265 @ 0.283022
0.27/1.18	c bounds 1160 >= 266 @ 0.283022
0.27/1.18	c bounds 1160 >= 267 @ 0.283022
0.27/1.18	c bounds 1160 >= 268 @ 0.283094
0.27/1.18	c bounds 1160 >= 269 @ 0.283219
0.27/1.18	c bounds 1160 >= 270 @ 0.28336
0.27/1.18	c bounds 1160 >= 271 @ 0.283477
0.27/1.18	c bounds 1160 >= 272 @ 0.283616
0.27/1.18	c bounds 1160 >= 273 @ 0.283732
0.27/1.18	c bounds 1160 >= 274 @ 0.283859
0.27/1.18	c bounds 1159 >= 274 @ 0.285396
0.27/1.18	c bounds 1159 >= 275 @ 0.285523
0.27/1.18	c bounds 1159 >= 276 @ 0.28564
0.27/1.18	c bounds 1159 >= 277 @ 0.285847
0.27/1.18	c bounds 1159 >= 278 @ 0.285982
0.27/1.18	c bounds 1159 >= 279 @ 0.286146
0.27/1.18	c bounds 1159 >= 280 @ 0.286284
0.27/1.18	c bounds 1159 >= 281 @ 0.286431
0.27/1.18	c bounds 1159 >= 282 @ 0.286563
0.27/1.18	c bounds 1159 >= 283 @ 0.2867
0.27/1.18	c bounds 1158 >= 283 @ 0.288573
0.27/1.18	c bounds 1158 >= 284 @ 0.288729
0.27/1.18	c bounds 1158 >= 285 @ 0.288857
0.27/1.18	c bounds 1158 >= 286 @ 0.288981
0.27/1.18	c bounds 1158 >= 287 @ 0.289135
0.27/1.18	c bounds 1158 >= 288 @ 0.289364
0.27/1.18	c bounds 1158 >= 289 @ 0.289501
0.27/1.18	c bounds 1158 >= 290 @ 0.289652
0.27/1.18	c bounds 1158 >= 291 @ 0.289797
0.27/1.18	c bounds 1158 >= 292 @ 0.289941
0.27/1.18	c bounds 1157 >= 292 @ 0.292654
0.27/1.18	c bounds 1157 >= 293 @ 0.292826
0.27/1.18	c bounds 1157 >= 294 @ 0.292964
0.27/1.18	c bounds 1157 >= 295 @ 0.29312
0.27/1.18	c bounds 1157 >= 296 @ 0.29326
0.27/1.18	c bounds 1157 >= 297 @ 0.293419
0.27/1.18	c bounds 1157 >= 298 @ 0.293552
0.27/1.18	c bounds 1157 >= 299 @ 0.293667
0.27/1.18	c bounds 1157 >= 300 @ 0.293846
0.27/1.18	c bounds 1157 >= 301 @ 0.294027
0.27/1.18	c bounds 1157 >= 302 @ 0.294189
0.27/1.18	c bounds 1157 >= 303 @ 0.294361
0.27/1.18	c bounds 1156 >= 303 @ 0.300061
0.27/1.18	c bounds 1156 >= 304 @ 0.300277
0.27/1.18	c bounds 1156 >= 305 @ 0.300431
0.27/1.18	c bounds 1156 >= 306 @ 0.300578
0.27/1.18	c bounds 1156 >= 307 @ 0.300725
0.27/1.18	c bounds 1156 >= 308 @ 0.300874
0.27/1.18	c bounds 1156 >= 309 @ 0.301025
0.27/1.18	c bounds 1156 >= 310 @ 0.301168
0.27/1.18	c bounds 1156 >= 311 @ 0.301291
0.27/1.18	c bounds 1156 >= 312 @ 0.301498
0.27/1.18	c bounds 1156 >= 313 @ 0.30163
0.27/1.18	c bounds 1156 >= 314 @ 0.301775
0.27/1.18	c bounds 1156 >= 315 @ 0.301912
0.27/1.18	c bounds 1156 >= 316 @ 0.301968
0.27/1.18	c bounds 1156 >= 317 @ 0.301968
0.27/1.18	c bounds 1156 >= 318 @ 0.301968
0.27/1.18	c bounds 1156 >= 319 @ 0.301968
0.27/1.18	c bounds 1156 >= 320 @ 0.301968
0.27/1.18	c bounds 1156 >= 321 @ 0.301968
0.27/1.18	c bounds 1156 >= 322 @ 0.301968
0.27/1.18	c bounds 1156 >= 323 @ 0.301968
0.27/1.18	c bounds 1156 >= 324 @ 0.302161
0.27/1.18	c bounds 1156 >= 325 @ 0.302321
0.27/1.18	c bounds 1156 >= 326 @ 0.302463
0.27/1.18	c bounds 1156 >= 327 @ 0.302599
0.27/1.18	c bounds 1156 >= 328 @ 0.302732
0.27/1.18	c bounds 1156 >= 329 @ 0.302857
0.27/1.18	c bounds 1156 >= 330 @ 0.302961
0.27/1.18	c bounds 1156 >= 331 @ 0.302961
0.27/1.18	c bounds 1156 >= 332 @ 0.302961
0.27/1.18	c bounds 1156 >= 333 @ 0.302961
0.27/1.18	c bounds 1156 >= 334 @ 0.302961
0.27/1.18	c bounds 1155 >= 334 @ 0.311136
0.27/1.18	c bounds 1155 >= 335 @ 0.311402
0.27/1.18	c bounds 1155 >= 336 @ 0.311539
0.27/1.18	c bounds 1155 >= 337 @ 0.311661
0.27/1.18	c bounds 1155 >= 338 @ 0.311818
0.27/1.18	c bounds 1155 >= 339 @ 0.311957
0.27/1.18	c bounds 1155 >= 340 @ 0.312102
0.27/1.18	c bounds 1155 >= 341 @ 0.312248
0.27/1.18	c bounds 1155 >= 342 @ 0.312385
0.27/1.18	c bounds 1155 >= 343 @ 0.312522
0.27/1.18	c bounds 1155 >= 344 @ 0.312661
0.27/1.18	c bounds 1155 >= 345 @ 0.312809
0.27/1.18	c bounds 1155 >= 346 @ 0.312919
0.27/1.18	c bounds 1155 >= 347 @ 0.313175
0.27/1.18	c bounds 1155 >= 348 @ 0.31333
0.27/1.18	c bounds 1155 >= 349 @ 0.31346
0.27/1.18	c bounds 1155 >= 350 @ 0.313577
0.27/1.18	c bounds 1155 >= 351 @ 0.31369
0.27/1.18	c bounds 1155 >= 352 @ 0.313805
0.27/1.18	c bounds 1155 >= 353 @ 0.313923
0.27/1.18	c bounds 1155 >= 354 @ 0.31404
0.27/1.18	c bounds 1155 >= 355 @ 0.314148
0.27/1.18	c bounds 1155 >= 356 @ 0.314252
0.27/1.18	c bounds 1155 >= 357 @ 0.314359
0.27/1.18	c bounds 1155 >= 358 @ 0.314458
0.27/1.18	c bounds 1155 >= 359 @ 0.31466
0.27/1.18	c bounds 1155 >= 360 @ 0.314877
0.27/1.18	c bounds 1155 >= 361 @ 0.314924
0.27/1.18	c bounds 1155 >= 362 @ 0.314924
0.27/1.18	c bounds 1155 >= 363 @ 0.314924
0.27/1.18	c bounds 1155 >= 364 @ 0.314924
0.27/1.18	c bounds 1155 >= 365 @ 0.314924
0.27/1.18	c bounds 1155 >= 366 @ 0.314924
0.27/1.18	c bounds 1155 >= 367 @ 0.314924
0.27/1.18	c bounds 1155 >= 368 @ 0.315053
0.27/1.18	c bounds 1155 >= 369 @ 0.315189
0.27/1.18	c bounds 1155 >= 370 @ 0.315302
0.27/1.18	c bounds 1155 >= 371 @ 0.315504
0.27/1.18	c bounds 1155 >= 372 @ 0.315636
0.27/1.18	c bounds 1155 >= 373 @ 0.315789
0.27/1.18	c bounds 1155 >= 374 @ 0.315924
0.27/1.18	c bounds 1155 >= 375 @ 0.316063
0.27/1.18	c bounds 1155 >= 376 @ 0.316198
0.27/1.18	c bounds 1155 >= 377 @ 0.316328
0.27/1.18	c bounds 1155 >= 378 @ 0.316457
0.27/1.18	c bounds 1155 >= 379 @ 0.316585
0.37/1.23	c bounds 1155 >= 380 @ 0.316744
0.37/1.23	c bounds 1155 >= 381 @ 0.31688
0.37/1.23	c bounds 1155 >= 382 @ 0.317001
0.37/1.23	c bounds 1155 >= 383 @ 0.317213
0.37/1.23	c bounds 1154 >= 383 @ 0.324934
0.37/1.23	c bounds 1154 >= 384 @ 0.325234
0.37/1.23	c bounds 1154 >= 385 @ 0.325404
0.37/1.23	c bounds 1154 >= 386 @ 0.325564
0.37/1.23	c bounds 1154 >= 387 @ 0.325716
0.37/1.23	c bounds 1154 >= 388 @ 0.325864
0.37/1.23	c bounds 1154 >= 389 @ 0.326006
0.37/1.23	c bounds 1154 >= 390 @ 0.326145
0.37/1.23	c bounds 1154 >= 391 @ 0.326297
0.37/1.23	c bounds 1154 >= 392 @ 0.326473
0.37/1.23	c bounds 1154 >= 393 @ 0.326616
0.37/1.23	c bounds 1154 >= 394 @ 0.326738
0.37/1.23	c bounds 1154 >= 395 @ 0.326886
0.37/1.23	c bounds 1154 >= 396 @ 0.326886
0.37/1.23	c bounds 1154 >= 397 @ 0.326886
0.37/1.23	c bounds 1154 >= 398 @ 0.326886
0.37/1.23	c bounds 1154 >= 399 @ 0.326886
0.37/1.23	c bounds 1154 >= 400 @ 0.326886
0.37/1.23	c bounds 1154 >= 401 @ 0.326886
0.37/1.23	c bounds 1154 >= 402 @ 0.327045
0.37/1.23	c bounds 1154 >= 403 @ 0.327198
0.37/1.23	c bounds 1154 >= 404 @ 0.327325
0.37/1.23	c bounds 1154 >= 405 @ 0.327446
0.37/1.23	c bounds 1154 >= 406 @ 0.327573
0.37/1.23	c bounds 1154 >= 407 @ 0.327685
0.37/1.23	c bounds 1154 >= 408 @ 0.327789
0.37/1.23	c bounds 1154 >= 409 @ 0.327974
0.37/1.23	c bounds 1154 >= 410 @ 0.328141
0.37/1.23	c bounds 1154 >= 411 @ 0.328315
0.37/1.23	c bounds 1154 >= 412 @ 0.328459
0.37/1.23	c bounds 1154 >= 413 @ 0.3286
0.37/1.23	c bounds 1154 >= 414 @ 0.328733
0.37/1.23	c bounds 1154 >= 415 @ 0.328866
0.37/1.23	c bounds 1154 >= 416 @ 0.329027
0.37/1.23	c bounds 1154 >= 417 @ 0.329184
0.37/1.23	c bounds 1154 >= 418 @ 0.329306
0.37/1.23	c bounds 1154 >= 419 @ 0.329408
0.37/1.23	c bounds 1154 >= 420 @ 0.329514
0.37/1.23	c bounds 1154 >= 421 @ 0.329689
0.37/1.23	c bounds 1154 >= 422 @ 0.329836
0.37/1.23	c bounds 1153 >= 422 @ 0.333997
0.37/1.23	c bounds 1153 >= 423 @ 0.334237
0.37/1.23	c bounds 1153 >= 424 @ 0.334375
0.37/1.23	c bounds 1153 >= 425 @ 0.334511
0.37/1.23	c bounds 1153 >= 426 @ 0.334639
0.37/1.23	c bounds 1153 >= 427 @ 0.334765
0.37/1.23	c bounds 1153 >= 428 @ 0.334893
0.37/1.23	c bounds 1153 >= 429 @ 0.335028
0.37/1.23	c bounds 1153 >= 430 @ 0.335151
0.37/1.23	c bounds 1153 >= 431 @ 0.335303
0.37/1.23	c bounds 1153 >= 432 @ 0.335406
0.37/1.23	c bounds 1153 >= 433 @ 0.335506
0.37/1.23	c bounds 1153 >= 434 @ 0.335708
0.37/1.23	c bounds 1153 >= 435 @ 0.335979
0.37/1.23	c bounds 1153 >= 436 @ 0.336121
0.37/1.23	c bounds 1153 >= 437 @ 0.336258
0.37/1.23	c bounds 1153 >= 438 @ 0.336383
0.37/1.23	c bounds 1153 >= 439 @ 0.336503
0.37/1.23	c bounds 1153 >= 440 @ 0.336619
0.37/1.23	c bounds 1153 >= 441 @ 0.336737
0.37/1.23	c bounds 1153 >= 442 @ 0.336851
0.37/1.23	c bounds 1153 >= 443 @ 0.336984
0.37/1.23	c bounds 1153 >= 444 @ 0.337103
0.37/1.23	c bounds 1153 >= 445 @ 0.337373
0.37/1.23	c bounds 1153 >= 446 @ 0.337497
0.37/1.23	c bounds 1153 >= 447 @ 0.33764
0.37/1.23	c bounds 1152 >= 447 @ 0.344225
0.37/1.23	c bounds 1152 >= 448 @ 0.344459
0.37/1.23	c bounds 1152 >= 449 @ 0.344601
0.37/1.23	c bounds 1152 >= 450 @ 0.344737
0.37/1.23	c bounds 1152 >= 451 @ 0.34487
0.37/1.23	c bounds 1152 >= 452 @ 0.344999
0.37/1.23	c bounds 1152 >= 453 @ 0.345138
0.37/1.23	c bounds 1152 >= 454 @ 0.34527
0.37/1.23	c bounds 1152 >= 455 @ 0.345373
0.37/1.23	c bounds 1152 >= 456 @ 0.345535
0.37/1.23	c bounds 1152 >= 457 @ 0.345728
0.37/1.23	c bounds 1152 >= 458 @ 0.34589
0.37/1.23	c bounds 1152 >= 459 @ 0.346014
0.37/1.23	c bounds 1152 >= 460 @ 0.346139
0.37/1.23	c bounds 1152 >= 461 @ 0.346251
0.37/1.23	c bounds 1152 >= 462 @ 0.346369
0.37/1.23	c bounds 1152 >= 463 @ 0.346477
0.37/1.23	c bounds 1152 >= 464 @ 0.346579
0.37/1.23	c bounds 1152 >= 465 @ 0.346683
0.37/1.23	c bounds 1152 >= 466 @ 0.346781
0.37/1.23	c bounds 1152 >= 467 @ 0.346878
0.37/1.23	c bounds 1152 >= 468 @ 0.346994
0.37/1.23	c bounds 1152 >= 469 @ 0.34723
0.37/1.23	c bounds 1152 >= 470 @ 0.347422
0.37/1.23	c bounds 1152 >= 471 @ 0.347602
0.37/1.23	c bounds 1152 >= 472 @ 0.347774
0.37/1.23	c bounds 1152 >= 473 @ 0.347831
0.37/1.23	c bounds 1152 >= 474 @ 0.347831
0.37/1.23	c bounds 1152 >= 475 @ 0.347831
0.37/1.23	c bounds 1152 >= 476 @ 0.347831
0.37/1.23	c bounds 1152 >= 477 @ 0.347831
0.37/1.23	c bounds 1152 >= 478 @ 0.347831
0.37/1.23	c bounds 1152 >= 479 @ 0.347953
0.37/1.23	c bounds 1152 >= 480 @ 0.348077
0.37/1.23	c bounds 1152 >= 481 @ 0.348275
0.37/1.23	c bounds 1151 >= 481 @ 0.353701
0.37/1.23	c bounds 1151 >= 482 @ 0.354113
0.37/1.23	c bounds 1151 >= 483 @ 0.354283
0.37/1.23	c bounds 1151 >= 484 @ 0.35444
0.37/1.23	c bounds 1151 >= 485 @ 0.354583
0.37/1.23	c bounds 1151 >= 486 @ 0.354721
0.37/1.23	c bounds 1151 >= 487 @ 0.354874
0.37/1.23	c bounds 1151 >= 488 @ 0.355006
0.37/1.23	c bounds 1151 >= 489 @ 0.355148
0.37/1.23	c bounds 1151 >= 490 @ 0.355268
0.37/1.23	c bounds 1151 >= 491 @ 0.355379
0.37/1.23	c bounds 1151 >= 492 @ 0.355486
0.37/1.23	c bounds 1151 >= 493 @ 0.355647
0.37/1.23	c bounds 1151 >= 494 @ 0.355787
0.37/1.23	c bounds 1151 >= 495 @ 0.355937
0.37/1.23	c bounds 1151 >= 496 @ 0.356078
0.37/1.23	c bounds 1151 >= 497 @ 0.356208
0.37/1.23	c bounds 1151 >= 498 @ 0.356338
0.37/1.23	c bounds 1151 >= 499 @ 0.356461
0.37/1.23	c bounds 1151 >= 500 @ 0.356586
0.37/1.23	c bounds 1151 >= 501 @ 0.356706
0.37/1.23	c bounds 1151 >= 502 @ 0.356858
0.37/1.23	c bounds 1151 >= 503 @ 0.356964
0.37/1.29	c bounds 1151 >= 504 @ 0.357098
0.37/1.29	c bounds 1151 >= 505 @ 0.357311
0.37/1.29	c bounds 1151 >= 506 @ 0.357606
0.37/1.29	c bounds 1150 >= 506 @ 0.362089
0.37/1.29	c bounds 1150 >= 507 @ 0.36236
0.37/1.29	c bounds 1150 >= 508 @ 0.362482
0.37/1.29	c bounds 1150 >= 509 @ 0.362586
0.37/1.29	c bounds 1150 >= 510 @ 0.362688
0.37/1.29	c bounds 1150 >= 511 @ 0.362786
0.37/1.29	c bounds 1150 >= 512 @ 0.362897
0.37/1.29	c bounds 1150 >= 513 @ 0.363009
0.37/1.29	c bounds 1150 >= 514 @ 0.363123
0.37/1.29	c bounds 1150 >= 515 @ 0.363237
0.37/1.29	c bounds 1150 >= 516 @ 0.36351
0.37/1.29	c bounds 1150 >= 517 @ 0.363762
0.37/1.29	c bounds 1150 >= 518 @ 0.363933
0.37/1.29	c bounds 1150 >= 519 @ 0.364059
0.37/1.29	c bounds 1150 >= 520 @ 0.36427
0.37/1.29	c bounds 1150 >= 521 @ 0.364471
0.37/1.29	c bounds 1150 >= 522 @ 0.364657
0.37/1.29	c bounds 1150 >= 523 @ 0.364857
0.37/1.29	c bounds 1150 >= 524 @ 0.365048
0.37/1.29	c bounds 1150 >= 525 @ 0.365234
0.37/1.29	c bounds 1150 >= 526 @ 0.365453
0.37/1.29	c bounds 1150 >= 527 @ 0.365682
0.37/1.29	c bounds 1149 >= 527 @ 0.370722
0.37/1.29	c bounds 1149 >= 528 @ 0.370832
0.37/1.29	c bounds 1149 >= 529 @ 0.371175
0.37/1.29	c bounds 1149 >= 530 @ 0.371376
0.37/1.29	c bounds 1149 >= 531 @ 0.371556
0.37/1.29	c bounds 1149 >= 532 @ 0.371734
0.37/1.29	c bounds 1149 >= 533 @ 0.37189
0.37/1.29	c bounds 1149 >= 534 @ 0.372038
0.37/1.29	c bounds 1149 >= 535 @ 0.37221
0.37/1.29	c bounds 1149 >= 536 @ 0.372343
0.37/1.29	c bounds 1149 >= 537 @ 0.372518
0.37/1.29	c bounds 1149 >= 538 @ 0.372646
0.37/1.29	c bounds 1149 >= 539 @ 0.372741
0.37/1.29	c bounds 1149 >= 540 @ 0.373091
0.37/1.29	c bounds 1149 >= 541 @ 0.373253
0.37/1.29	c bounds 1149 >= 542 @ 0.373375
0.37/1.29	c bounds 1149 >= 543 @ 0.373597
0.37/1.29	c bounds 1148 >= 543 @ 0.379219
0.37/1.29	c bounds 1148 >= 544 @ 0.379654
0.37/1.29	c bounds 1148 >= 545 @ 0.379828
0.37/1.29	c bounds 1148 >= 546 @ 0.379989
0.37/1.29	c bounds 1148 >= 547 @ 0.38015
0.37/1.29	c bounds 1148 >= 548 @ 0.380299
0.37/1.29	c bounds 1148 >= 549 @ 0.380446
0.37/1.29	c bounds 1148 >= 550 @ 0.380626
0.37/1.29	c bounds 1148 >= 551 @ 0.380827
0.37/1.29	c bounds 1148 >= 552 @ 0.380936
0.37/1.29	c bounds 1148 >= 553 @ 0.381053
0.37/1.29	c bounds 1148 >= 554 @ 0.381172
0.37/1.29	c bounds 1148 >= 555 @ 0.381358
0.37/1.29	c bounds 1148 >= 556 @ 0.381582
0.37/1.29	c bounds 1147 >= 556 @ 0.393267
0.37/1.29	c bounds 1147 >= 557 @ 0.393715
0.37/1.29	c bounds 1147 >= 558 @ 0.393896
0.37/1.29	c bounds 1147 >= 559 @ 0.39405
0.37/1.29	c bounds 1147 >= 560 @ 0.394197
0.37/1.29	c bounds 1147 >= 561 @ 0.394337
0.37/1.29	c bounds 1147 >= 562 @ 0.394471
0.37/1.29	c bounds 1147 >= 563 @ 0.394502
0.37/1.29	c bounds 1147 >= 564 @ 0.394502
0.37/1.29	c bounds 1147 >= 565 @ 0.394502
0.37/1.29	c bounds 1147 >= 566 @ 0.394502
0.37/1.29	c bounds 1147 >= 567 @ 0.394502
0.37/1.29	c bounds 1147 >= 568 @ 0.394502
0.37/1.29	c bounds 1147 >= 569 @ 0.394625
0.37/1.29	c bounds 1147 >= 570 @ 0.394793
0.37/1.29	c bounds 1147 >= 571 @ 0.394961
0.37/1.29	c bounds 1147 >= 572 @ 0.395109
0.37/1.29	c bounds 1147 >= 573 @ 0.395258
0.37/1.29	c bounds 1147 >= 574 @ 0.39543
0.37/1.29	c bounds 1147 >= 575 @ 0.395584
0.37/1.29	c bounds 1147 >= 576 @ 0.395717
0.37/1.29	c bounds 1147 >= 577 @ 0.395909
0.37/1.29	c bounds 1147 >= 578 @ 0.396107
0.37/1.29	c bounds 1147 >= 579 @ 0.396271
0.37/1.29	c bounds 1147 >= 580 @ 0.396439
0.37/1.29	c bounds 1147 >= 581 @ 0.396606
0.37/1.29	c bounds 1147 >= 582 @ 0.396764
0.37/1.29	c bounds 1147 >= 583 @ 0.396913
0.37/1.29	c bounds 1147 >= 584 @ 0.39706
0.37/1.29	c bounds 1147 >= 585 @ 0.397238
0.37/1.29	c bounds 1147 >= 586 @ 0.397418
0.37/1.29	c bounds 1147 >= 587 @ 0.397586
0.37/1.29	c bounds 1147 >= 588 @ 0.397719
0.37/1.29	c bounds 1147 >= 589 @ 0.397915
0.37/1.29	c bounds 1147 >= 590 @ 0.3982
0.37/1.29	c bounds 1147 >= 591 @ 0.39864
0.37/1.29	c bounds 1147 >= 592 @ 0.398851
0.37/1.29	c bounds 1147 >= 593 @ 0.398995
0.37/1.29	c bounds 1147 >= 594 @ 0.399233
0.37/1.29	c bounds 1147 >= 595 @ 0.399457
0.37/1.29	c bounds 1147 >= 596 @ 0.399485
0.37/1.29	c bounds 1146 >= 596 @ 0.403635
0.37/1.29	c bounds 1146 >= 597 @ 0.403974
0.37/1.29	c bounds 1146 >= 598 @ 0.404158
0.37/1.29	c bounds 1146 >= 599 @ 0.404332
0.37/1.29	c bounds 1146 >= 600 @ 0.404546
0.37/1.29	c bounds 1146 >= 601 @ 0.404768
0.37/1.29	c bounds 1146 >= 602 @ 0.404864
0.37/1.29	c bounds 1146 >= 603 @ 0.404991
0.37/1.29	c bounds 1146 >= 604 @ 0.405102
0.37/1.29	c bounds 1146 >= 605 @ 0.405202
0.37/1.29	c bounds 1146 >= 606 @ 0.405464
0.37/1.29	c bounds 1146 >= 607 @ 0.405649
0.37/1.29	c bounds 1146 >= 608 @ 0.405809
0.37/1.29	c bounds 1146 >= 609 @ 0.405952
0.37/1.29	c bounds 1146 >= 610 @ 0.406085
0.37/1.29	c bounds 1146 >= 611 @ 0.406213
0.37/1.29	c bounds 1146 >= 612 @ 0.406341
0.37/1.29	c bounds 1146 >= 613 @ 0.40646
0.37/1.29	c bounds 1146 >= 614 @ 0.40665
0.37/1.29	c bounds 1145 >= 614 @ 0.409991
0.37/1.29	c bounds 1145 >= 615 @ 0.410134
0.37/1.29	c bounds 1145 >= 616 @ 0.410258
0.37/1.29	c bounds 1145 >= 617 @ 0.410353
0.37/1.29	c bounds 1145 >= 618 @ 0.410688
0.37/1.29	c bounds 1145 >= 619 @ 0.410864
0.37/1.29	c bounds 1145 >= 620 @ 0.411011
0.37/1.29	c bounds 1145 >= 621 @ 0.411156
0.37/1.29	c bounds 1145 >= 622 @ 0.411296
0.37/1.29	c bounds 1145 >= 623 @ 0.411428
0.37/1.29	c bounds 1145 >= 624 @ 0.411451
0.37/1.29	c bounds 1145 >= 625 @ 0.411451
0.37/1.29	c bounds 1145 >= 626 @ 0.411451
1.17/2.09	c bounds 1145 >= 627 @ 0.411451
1.17/2.09	c bounds 1145 >= 628 @ 0.411451
1.17/2.09	c bounds 1145 >= 629 @ 0.411451
1.17/2.09	c bounds 1145 >= 630 @ 0.411451
1.17/2.09	c bounds 1145 >= 631 @ 0.411561
1.17/2.09	c bounds 1144 >= 631 @ 0.415955
1.17/2.09	c bounds 1144 >= 632 @ 0.416302
1.17/2.09	c bounds 1144 >= 633 @ 0.416433
1.17/2.09	c bounds 1144 >= 634 @ 0.416705
1.17/2.09	c bounds 1144 >= 635 @ 0.418522
1.17/2.09	c bounds 1143 >= 635 @ 0.422974
1.17/2.09	c bounds 1143 >= 636 @ 0.424403
1.17/2.09	c bounds 1143 >= 637 @ 0.425399
1.17/2.09	c bounds 1142 >= 637 @ 0.429105
1.17/2.09	c bounds 1142 >= 638 @ 0.429384
1.17/2.09	c bounds 1142 >= 639 @ 0.42974
1.17/2.09	c bounds 1142 >= 640 @ 0.430377
1.17/2.09	c bounds 1141 >= 640 @ 0.434749
1.17/2.09	c bounds 1141 >= 641 @ 0.436359
1.17/2.09	c bounds 1141 >= 642 @ 0.436359
1.17/2.09	c bounds 1140 >= 642 @ 0.441139
1.17/2.09	c bounds 1140 >= 643 @ 0.442228
1.17/2.09	c bounds 1140 >= 644 @ 0.443238
1.17/2.09	c bounds 1140 >= 645 @ 0.445102
1.17/2.09	c bounds 1140 >= 646 @ 0.447119
1.17/2.09	c bounds 1139 >= 646 @ 0.451409
1.17/2.09	c bounds 1139 >= 647 @ 0.452357
1.17/2.09	c bounds 1139 >= 648 @ 0.454508
1.17/2.09	c bounds 1138 >= 648 @ 0.458344
1.17/2.09	c bounds 1138 >= 649 @ 0.460332
1.17/2.09	c bounds 1138 >= 650 @ 0.461513
1.17/2.09	c bounds 1137 >= 650 @ 0.469281
1.17/2.09	c bounds 1137 >= 651 @ 0.471244
1.17/2.09	c bounds 1136 >= 651 @ 0.479677
1.17/2.09	c bounds 1136 >= 652 @ 0.481117
1.17/2.09	c bounds 1136 >= 653 @ 0.482728
1.17/2.09	c bounds 1136 >= 654 @ 0.483895
1.17/2.09	c bounds 1136 >= 655 @ 0.485976
1.17/2.09	c bounds 1136 >= 656 @ 0.48604
1.17/2.09	c bounds 1136 >= 657 @ 0.487468
1.17/2.09	c bounds 1136 >= 658 @ 0.489144
1.17/2.09	c bounds 1135 >= 658 @ 0.499892
1.17/2.09	c bounds 1135 >= 659 @ 0.500934
1.17/2.09	c bounds 1135 >= 660 @ 0.501955
1.17/2.09	c bounds 1135 >= 661 @ 0.503206
1.17/2.09	c bounds 1135 >= 662 @ 0.505787
1.17/2.09	c bounds 1135 >= 663 @ 0.506065
1.17/2.09	c bounds 1135 >= 664 @ 0.506921
1.17/2.09	c bounds 1135 >= 665 @ 0.507252
1.17/2.09	c bounds 1135 >= 666 @ 0.507917
1.17/2.09	c bounds 1135 >= 667 @ 0.508421
1.17/2.09	c bounds 1135 >= 668 @ 0.509418
1.17/2.09	c bounds 1135 >= 669 @ 0.509905
1.17/2.09	c #Conflicts:       1000 | #Constraints:      20259
1.17/2.09	c bounds 1134 >= 669 @ 0.656564
1.17/2.09	c bounds 1134 >= 670 @ 0.657278
1.17/2.09	c bounds 1134 >= 671 @ 0.658148
1.17/2.09	c bounds 1134 >= 672 @ 0.659142
1.17/2.09	c bounds 1134 >= 673 @ 0.659142
1.17/2.09	c bounds 1134 >= 674 @ 0.660135
1.17/2.09	c bounds 1134 >= 675 @ 0.661165
1.17/2.09	c bounds 1134 >= 676 @ 0.662288
1.17/2.09	c bounds 1134 >= 677 @ 0.664309
1.17/2.09	c bounds 1134 >= 678 @ 0.667357
1.17/2.09	c bounds 1134 >= 679 @ 0.669053
1.17/2.09	c bounds 1134 >= 680 @ 0.669923
1.17/2.09	c bounds 1134 >= 681 @ 0.67109
1.17/2.09	c bounds 1134 >= 682 @ 0.675373
1.17/2.09	c bounds 1134 >= 683 @ 0.679752
1.17/2.09	c bounds 1134 >= 684 @ 0.686664
1.17/2.09	c bounds 1134 >= 685 @ 0.692632
1.17/2.09	c bounds 1134 >= 686 @ 0.693001
1.17/2.09	c bounds 1134 >= 687 @ 0.693001
1.17/2.09	c bounds 1134 >= 688 @ 0.693001
1.17/2.09	c bounds 1134 >= 689 @ 0.693641
1.17/2.09	c bounds 1134 >= 690 @ 0.693985
1.17/2.09	c bounds 1134 >= 691 @ 0.69481
1.17/2.09	c bounds 1134 >= 692 @ 0.697564
1.17/2.09	c bounds 1134 >= 693 @ 0.699044
1.17/2.09	c bounds 1134 >= 694 @ 0.701098
1.17/2.09	c bounds 1134 >= 695 @ 0.702785
1.17/2.09	c bounds 1134 >= 696 @ 0.704455
1.17/2.09	c bounds 1134 >= 697 @ 0.704928
1.17/2.09	c bounds 1134 >= 698 @ 0.707753
1.17/2.09	c bounds 1134 >= 699 @ 0.710974
1.17/2.09	c #Conflicts:       2000 | #Constraints:      21723
1.17/2.09	c INPROCESSING
1.17/2.09	c GARBAGE COLLECT
1.17/2.09	c rational objective 467.875
2.16/3.10	c bounds 1134 >= 700 @ 1.10359
2.16/3.10	c bounds 1134 >= 701 @ 1.10559
2.16/3.10	c bounds 1134 >= 702 @ 1.10749
2.16/3.10	c bounds 1134 >= 703 @ 1.10834
2.16/3.10	c bounds 1134 >= 704 @ 1.1093
2.16/3.10	c bounds 1134 >= 705 @ 1.11095
2.16/3.10	c bounds 1134 >= 706 @ 1.1112
2.16/3.10	c bounds 1134 >= 707 @ 1.1112
2.16/3.10	c bounds 1134 >= 708 @ 1.11224
2.16/3.10	c bounds 1134 >= 709 @ 1.11318
2.16/3.10	c bounds 1134 >= 710 @ 1.11452
2.16/3.10	c bounds 1134 >= 711 @ 1.11517
2.16/3.10	c bounds 1134 >= 712 @ 1.11563
2.16/3.10	c bounds 1134 >= 713 @ 1.11653
2.16/3.10	c bounds 1134 >= 714 @ 1.11795
2.16/3.10	c bounds 1134 >= 715 @ 1.12011
2.16/3.10	c bounds 1134 >= 716 @ 1.1211
2.16/3.10	c bounds 1134 >= 717 @ 1.1211
2.16/3.10	c bounds 1134 >= 718 @ 1.1211
2.16/3.10	c bounds 1134 >= 719 @ 1.12208
2.16/3.10	c bounds 1134 >= 720 @ 1.1225
2.16/3.10	c bounds 1134 >= 721 @ 1.12559
2.16/3.10	c bounds 1134 >= 722 @ 1.12702
2.16/3.10	c bounds 1134 >= 723 @ 1.12707
2.16/3.10	c bounds 1134 >= 724 @ 1.12726
2.16/3.10	c bounds 1134 >= 725 @ 1.12897
2.16/3.10	c bounds 1134 >= 726 @ 1.1291
2.16/3.10	c bounds 1134 >= 727 @ 1.13105
2.16/3.10	c bounds 1134 >= 728 @ 1.13157
2.16/3.10	c bounds 1134 >= 729 @ 1.13268
2.16/3.10	c bounds 1134 >= 730 @ 1.13351
2.16/3.10	c bounds 1134 >= 731 @ 1.13404
2.16/3.10	c bounds 1134 >= 732 @ 1.13504
2.16/3.10	c bounds 1134 >= 733 @ 1.13548
2.16/3.10	c bounds 1134 >= 734 @ 1.13701
2.16/3.10	c bounds 1134 >= 735 @ 1.13701
2.16/3.10	c bounds 1134 >= 736 @ 1.13809
2.16/3.10	c bounds 1134 >= 737 @ 1.13992
2.16/3.10	c bounds 1134 >= 738 @ 1.14105
2.16/3.10	c bounds 1134 >= 739 @ 1.14303
2.16/3.10	c bounds 1134 >= 740 @ 1.14553
2.16/3.10	c bounds 1134 >= 741 @ 1.14774
2.16/3.10	c bounds 1134 >= 742 @ 1.14787
2.16/3.10	c bounds 1134 >= 743 @ 1.14787
2.16/3.10	c bounds 1134 >= 744 @ 1.14816
2.16/3.10	c bounds 1134 >= 745 @ 1.14946
2.16/3.10	c bounds 1134 >= 746 @ 1.1505
2.16/3.10	c bounds 1134 >= 747 @ 1.15128
2.16/3.10	c bounds 1134 >= 748 @ 1.15285
2.16/3.10	c bounds 1134 >= 749 @ 1.15343
2.16/3.10	c bounds 1134 >= 750 @ 1.15382
2.16/3.10	c bounds 1134 >= 751 @ 1.15417
2.16/3.10	c bounds 1134 >= 752 @ 1.15524
2.16/3.10	c bounds 1134 >= 753 @ 1.1569
2.16/3.10	c bounds 1134 >= 754 @ 1.15855
2.16/3.10	c bounds 1134 >= 755 @ 1.15879
2.16/3.10	c bounds 1134 >= 756 @ 1.15978
2.16/3.10	c bounds 1134 >= 757 @ 1.16012
2.16/3.10	c bounds 1134 >= 758 @ 1.16077
2.16/3.10	c bounds 1134 >= 759 @ 1.16211
2.16/3.10	c bounds 1134 >= 760 @ 1.16336
2.16/3.10	c #Conflicts:       3000 | #Constraints:      22429
2.16/3.10	c bounds 1134 >= 761 @ 1.16574
2.16/3.10	c bounds 1134 >= 762 @ 1.16673
2.16/3.10	c bounds 1134 >= 763 @ 1.16673
2.16/3.10	c bounds 1131 >= 763 @ 1.16732
2.16/3.10	c bounds 1131 >= 764 @ 1.16874
2.16/3.10	c bounds 1131 >= 765 @ 1.17145
2.16/3.10	c bounds 1130 >= 765 @ 1.17824
2.16/3.10	c bounds 1130 >= 766 @ 1.17878
2.16/3.10	c bounds 1130 >= 767 @ 1.17967
2.16/3.10	c bounds 1130 >= 768 @ 1.18002
2.16/3.10	c bounds 1129 >= 768 @ 1.1892
2.16/3.10	c bounds 1129 >= 769 @ 1.19062
2.16/3.10	c bounds 1129 >= 770 @ 1.19209
2.16/3.10	c bounds 1129 >= 771 @ 1.19343
2.16/3.10	c bounds 1128 >= 771 @ 1.20113
2.16/3.10	c bounds 1128 >= 772 @ 1.20495
2.16/3.10	c bounds 1128 >= 773 @ 1.21051
2.16/3.10	c bounds 1127 >= 773 @ 1.21709
2.16/3.10	c bounds 1127 >= 774 @ 1.21989
2.16/3.10	c bounds 1126 >= 774 @ 1.22942
2.16/3.10	c bounds 1126 >= 775 @ 1.23322
2.16/3.10	c bounds 1126 >= 776 @ 1.23341
2.16/3.10	c bounds 1125 >= 776 @ 1.24038
2.16/3.10	c bounds 1125 >= 777 @ 1.2415
2.16/3.10	c bounds 1125 >= 778 @ 1.24314
2.16/3.10	c bounds 1125 >= 779 @ 1.24486
2.16/3.10	c bounds 1125 >= 780 @ 1.24835
2.16/3.10	c bounds 1124 >= 780 @ 1.25558
2.16/3.10	c bounds 1124 >= 781 @ 1.26523
2.16/3.10	c bounds 1123 >= 781 @ 1.27489
2.16/3.10	c bounds 1122 >= 781 @ 1.28405
2.16/3.10	c bounds 1122 >= 782 @ 1.28619
2.16/3.10	c bounds 1121 >= 782 @ 1.29538
2.16/3.10	c bounds 1121 >= 783 @ 1.2978
2.16/3.10	c bounds 1121 >= 784 @ 1.29955
2.16/3.10	c bounds 1120 >= 784 @ 1.30801
2.16/3.10	c #Conflicts:       4000 | #Constraints:      23789
2.16/3.10	c bounds 1120 >= 785 @ 1.31011
2.16/3.10	c bounds 1119 >= 785 @ 1.31906
2.16/3.10	c bounds 1119 >= 786 @ 1.32204
2.16/3.10	c bounds 1118 >= 786 @ 1.33345
2.16/3.10	c bounds 1118 >= 787 @ 1.33662
2.16/3.10	c bounds 1117 >= 787 @ 1.3477
2.16/3.10	c bounds 1117 >= 788 @ 1.34977
2.16/3.10	c bounds 1117 >= 789 @ 1.35251
2.16/3.10	c INPROCESSING
2.16/3.10	c GARBAGE COLLECT
2.16/3.10	c bounds 1117 >= 790 @ 1.57864
2.16/3.10	c bounds 1117 >= 791 @ 1.58121
2.16/3.10	c bounds 1117 >= 792 @ 1.62626
2.16/3.10	c bounds 1116 >= 792 @ 1.63229
2.16/3.10	c bounds 1115 >= 792 @ 1.6465
2.16/3.10	c bounds 1114 >= 792 @ 1.6583
2.16/3.10	c bounds 1113 >= 792 @ 1.66968
2.16/3.10	c bounds 1112 >= 792 @ 1.67988
2.16/3.10	c bounds 1111 >= 792 @ 1.69213
2.16/3.10	c #Conflicts:       5000 | #Constraints:      23418
2.16/3.10	c bounds 1110 >= 792 @ 1.70203
2.16/3.10	c bounds 1110 >= 793 @ 1.77146
2.16/3.10	c bounds 1109 >= 793 @ 1.78687
2.16/3.10	c bounds 1108 >= 793 @ 1.8012
2.16/3.10	c bounds 1107 >= 793 @ 1.81398
2.16/3.10	c bounds 1106 >= 793 @ 1.82527
2.16/3.10	c bounds 1105 >= 793 @ 1.83967
2.16/3.10	c bounds 1104 >= 793 @ 1.85553
2.16/3.10	c bounds 1103 >= 793 @ 1.87179
2.16/3.10	c bounds 1102 >= 793 @ 1.88666
2.16/3.10	c bounds 1101 >= 793 @ 1.90322
2.16/3.10	c bounds 1100 >= 793 @ 1.91741
2.16/3.10	c bounds 1099 >= 793 @ 1.93209
4.55/5.42	c bounds 1098 >= 793 @ 1.94483
4.55/5.42	c bounds 1097 >= 793 @ 1.95778
4.55/5.42	c #Conflicts:       6000 | #Constraints:      24524
4.55/5.42	c bounds 1097 >= 794 @ 2.70724
4.55/5.42	c #Conflicts:       7000 | #Constraints:      25613
4.55/5.42	c bounds 1096 >= 794 @ 2.73543
4.55/5.42	c bounds 1095 >= 794 @ 2.75439
4.55/5.42	c bounds 1094 >= 794 @ 2.77286
4.55/5.42	c bounds 1093 >= 794 @ 2.7922
4.55/5.42	c bounds 1092 >= 794 @ 2.81151
4.55/5.42	c bounds 1091 >= 794 @ 2.83088
4.55/5.42	c bounds 1090 >= 794 @ 2.84833
4.55/5.42	c bounds 1089 >= 794 @ 2.86726
4.55/5.42	c bounds 1088 >= 794 @ 2.88543
4.55/5.42	c bounds 1087 >= 794 @ 2.90406
4.55/5.42	c bounds 1086 >= 794 @ 2.92185
4.55/5.42	c bounds 1085 >= 794 @ 2.94263
4.55/5.42	c bounds 1084 >= 794 @ 2.96261
4.55/5.42	c bounds 1083 >= 794 @ 2.97891
4.55/5.42	c bounds 1082 >= 794 @ 2.99673
4.55/5.42	c bounds 1081 >= 794 @ 3.01433
4.55/5.42	c bounds 1080 >= 794 @ 3.03263
4.55/5.42	c bounds 1079 >= 794 @ 3.05007
4.55/5.42	c bounds 1078 >= 794 @ 3.06823
4.55/5.42	c bounds 1077 >= 794 @ 3.08684
4.55/5.42	c #Conflicts:       8000 | #Constraints:      26633
4.55/5.42	c bounds 1076 >= 794 @ 3.1046
4.55/5.42	c bounds 1075 >= 794 @ 3.12201
4.55/5.42	c bounds 1074 >= 794 @ 3.14103
4.55/5.42	c bounds 1073 >= 794 @ 3.15808
4.55/5.42	c bounds 1072 >= 794 @ 3.1741
4.55/5.42	c bounds 1071 >= 794 @ 3.19192
4.55/5.42	c bounds 1070 >= 794 @ 3.21171
4.55/5.42	c bounds 1069 >= 794 @ 3.22994
4.55/5.42	c bounds 1068 >= 794 @ 3.25061
4.55/5.42	c bounds 1067 >= 794 @ 3.26711
4.55/5.42	c bounds 1066 >= 794 @ 3.36623
4.55/5.42	c #Conflicts:       9000 | #Constraints:      27644
4.55/5.42	c INPROCESSING
4.55/5.42	c GARBAGE COLLECT
4.55/5.42	WSVECS04 Frhs2[199]: 6 -1.0001 0 shouldn't be
4.55/5.42	WSVECS04 Frhs2[209]: 6 -1.00006 0 shouldn't be
4.55/5.42	WSVECS04 Frhs2[219]: 6 -1.00009 0 shouldn't be
4.55/5.42	WSVECS04 Frhs2[223]: 6 -1.00009 0 shouldn't be
4.55/5.42	WSVECS04 Frhs2[241]: 6 -1.00008 0 shouldn't be
4.55/5.42	WSVECS04 Frhs2[249]: 6 -1.00004 0 shouldn't be
4.55/5.42	WSVECS04 Frhs2[255]: 6 -1.00001 0 shouldn't be
4.64/5.54	c rational objective 597.533
7.34/8.29	c bounds 1065 >= 794 @ 4.283
7.34/8.29	c bounds 1064 >= 794 @ 4.29974
7.34/8.29	c bounds 1063 >= 794 @ 4.31829
7.34/8.29	c bounds 1062 >= 794 @ 4.33661
7.34/8.29	c bounds 1061 >= 794 @ 4.35753
7.34/8.29	c bounds 1060 >= 794 @ 4.37569
7.34/8.29	c bounds 1059 >= 794 @ 4.39326
7.34/8.29	c bounds 1058 >= 794 @ 4.41335
7.34/8.29	c bounds 1057 >= 794 @ 4.51483
7.34/8.29	c bounds 1056 >= 794 @ 4.53822
7.34/8.29	c #Conflicts:      10000 | #Constraints:      25415
7.34/8.29	c bounds 1055 >= 794 @ 4.56445
7.34/8.29	c bounds 1054 >= 794 @ 4.58649
7.34/8.29	c bounds 1053 >= 794 @ 4.7519
7.34/8.29	c bounds 1052 >= 794 @ 4.8831
7.34/8.29	c bounds 1051 >= 794 @ 4.96793
7.34/8.29	c #Conflicts:      11000 | #Constraints:      26420
7.34/8.29	c #Conflicts:      12000 | #Constraints:      27420
7.34/8.29	c bounds 1050 >= 794 @ 6.18992
7.34/8.29	c INPROCESSING
7.34/8.29	c GARBAGE COLLECT
7.34/8.29	c rational objective 598.624
9.14/10.08	c #Conflicts:      13000 | #Constraints:      25052
9.14/10.08	c bounds 1050 >= 795 @ 7.04029
9.14/10.08	c #Conflicts:      14000 | #Constraints:      26165
9.14/10.08	c #Conflicts:      15000 | #Constraints:      27165
9.14/10.08	c bounds 1050 >= 796 @ 8.00369
9.14/10.08	c bounds 1049 >= 796 @ 8.01242
9.14/10.08	c bounds 1048 >= 796 @ 8.03416
9.14/10.08	c bounds 1047 >= 796 @ 8.05483
9.14/10.08	c bounds 1046 >= 796 @ 8.07669
9.14/10.08	c bounds 1045 >= 796 @ 8.09739
9.14/10.08	c bounds 1044 >= 796 @ 8.14663
9.14/10.08	c bounds 1043 >= 796 @ 8.18368
9.14/10.08	c #Conflicts:      16000 | #Constraints:      28252
9.14/10.08	c bounds 1042 >= 796 @ 8.38495
9.14/10.08	c bounds 1041 >= 796 @ 8.44076
9.14/10.08	c bounds 1040 >= 796 @ 8.47262
9.14/10.08	c INPROCESSING
9.14/10.08	c GARBAGE COLLECT
9.14/10.08	WSVECS04 Frhs2[7]: 6 -1.00002 0 shouldn't be
9.14/10.08	WSVECS04 Frhs2[23]: 6 -1.00005 0 shouldn't be
9.14/10.08	WSVECS04 Frhs2[31]: 6 -1.00003 0 shouldn't be
9.14/10.08	WSVECS04 Frhs2[33]: 6 -1.00003 0 shouldn't be
9.14/10.08	WSVECS04 Frhs2[41]: 6 -1.00006 0 shouldn't be
9.14/10.08	WSVECS04 Frhs2[57]: 6 -1.00007 0 shouldn't be
9.14/10.08	WSVECS04 Frhs2[113]: 6 -1.00003 0 shouldn't be
9.14/10.08	WSVECS04 Frhs2[125]: 6 -1.00005 0 shouldn't be
9.14/10.08	WSVECS04 Frhs2[161]: 6 -1.00007 0 shouldn't be
9.14/10.08	WSVECS04 Frhs2[177]: 6 -1.00008 0 shouldn't be
9.14/10.08	WSVECS04 Frhs2[189]: 6 -1.00005 0 shouldn't be
9.14/10.08	WSVECS04 Frhs2[217]: 6 -1.00003 0 shouldn't be
9.14/10.08	WSVECS04 Frhs2[221]: 6 -1.00001 0 shouldn't be
9.14/10.08	WSVECS04 Frhs2[223]: 6 -1.0001 0 shouldn't be
9.14/10.08	WSVECS04 Frhs2[255]: 6 -1.00004 0 shouldn't be
9.14/10.08	WSVECS04 Frhs2[327]: 6 -1.00002 0 shouldn't be
9.14/10.08	WSVECS04 Frhs2[345]: 6 -1.00004 0 shouldn't be
9.14/10.08	WSVECS04 Frhs2[369]: 6 -1.00007 0 shouldn't be
9.14/10.08	WSVECS04 Frhs2[385]: 6 -1.00005 0 shouldn't be
9.14/10.08	WSVECS04 Frhs2[415]: 6 -1.00002 0 shouldn't be
9.14/10.08	WSVECS04 Frhs2[417]: 6 -1.0001 0 shouldn't be
9.14/10.08	WSVECS04 Frhs2[425]: 6 -1.00002 0 shouldn't be
9.14/10.08	WSVECS04 Frhs2[433]: 6 -1.00009 0 shouldn't be
9.14/10.08	WSVECS04 Frhs2[435]: 6 -1.00005 0 shouldn't be
9.14/10.08	WSVECS04 Frhs2[437]: 6 -1.00004 0 shouldn't be
9.14/10.08	WSVECS04 Frhs2[557]: 6 -1.00009 0 shouldn't be
9.14/10.08	WSVECS04 Frhs2[583]: 6 -1.00002 0 shouldn't be
9.14/10.08	WSVECS04 Frhs2[593]: 6 -1.0001 0 shouldn't be
9.14/10.08	WSVECS04 Frhs2[599]: 6 -1.00004 0 shouldn't be
9.14/10.08	WSVECS04 Frhs2[601]: 6 -1.00009 0 shouldn't be
9.14/10.08	WSVECS04 Frhs2[605]: 6 -1.00003 0 shouldn't be
9.14/10.08	WSVECS04 Frhs2[611]: 6 -1.00006 0 shouldn't be
9.14/10.08	WSVECS04 Frhs2[629]: 6 -1.00006 0 shouldn't be
9.33/10.29	c rational objective 600.105
18.89/19.82	c bounds 1039 >= 796 @ 8.83895
18.89/19.82	c bounds 1038 >= 796 @ 8.86173
18.89/19.82	c bounds 1037 >= 796 @ 8.8858
18.89/19.82	c bounds 1036 >= 796 @ 8.91737
18.89/19.82	c bounds 1035 >= 796 @ 8.95388
18.89/19.82	c bounds 1034 >= 796 @ 8.98176
18.89/19.82	c bounds 1033 >= 796 @ 9.00221
18.89/19.82	c #Conflicts:      17000 | #Constraints:      25554
18.89/19.82	c bounds 1032 >= 796 @ 9.02235
18.89/19.82	c bounds 1031 >= 796 @ 9.04324
18.89/19.82	c bounds 1030 >= 796 @ 9.06391
18.89/19.82	c bounds 1029 >= 796 @ 9.08328
18.89/19.82	c bounds 1028 >= 796 @ 9.12766
18.89/19.82	c bounds 1027 >= 796 @ 9.15823
18.89/19.82	c bounds 1026 >= 796 @ 9.18827
18.89/19.82	c bounds 1025 >= 796 @ 9.20902
18.89/19.82	c bounds 1024 >= 796 @ 9.22911
18.89/19.82	c bounds 1023 >= 796 @ 9.24995
18.89/19.82	c bounds 1022 >= 796 @ 9.26869
18.89/19.82	c bounds 1021 >= 796 @ 9.28866
18.89/19.82	c bounds 1020 >= 796 @ 9.31648
18.89/19.82	c bounds 1019 >= 796 @ 9.3382
18.89/19.82	c bounds 1018 >= 796 @ 9.35985
18.89/19.82	c bounds 1017 >= 796 @ 9.38385
18.89/19.82	c bounds 1016 >= 796 @ 9.40745
18.89/19.82	c #Conflicts:      18000 | #Constraints:      26571
18.89/19.82	c bounds 1015 >= 796 @ 9.43152
18.89/19.82	c bounds 1014 >= 796 @ 9.46448
18.89/19.82	c bounds 1013 >= 796 @ 9.51162
18.89/19.82	c bounds 1012 >= 796 @ 10.0971
18.89/19.82	c #Conflicts:      19000 | #Constraints:      27593
18.89/19.82	c #Conflicts:      20000 | #Constraints:      28593
18.89/19.82	c #Conflicts:      21000 | #Constraints:      29593
18.89/19.82	c bounds 1012 >= 797 @ 13.5984
18.89/19.82	c bounds 1011 >= 797 @ 13.7339
18.89/19.82	c bounds 1010 >= 797 @ 13.7589
18.89/19.82	c bounds 1009 >= 797 @ 13.7852
18.89/19.82	c bounds 1008 >= 797 @ 13.8926
18.89/19.82	c bounds 1007 >= 797 @ 13.919
18.89/19.82	c bounds 1006 >= 797 @ 13.9443
18.89/19.82	c bounds 1005 >= 797 @ 13.9743
18.89/19.82	c bounds 1004 >= 797 @ 14.0004
18.89/19.82	c #Conflicts:      22000 | #Constraints:      30690
18.89/19.82	c bounds 1003 >= 797 @ 14.0244
18.89/19.82	c bounds 1002 >= 797 @ 14.0503
18.89/19.82	c bounds 1001 >= 797 @ 14.0753
18.89/19.82	c bounds 1000 >= 797 @ 14.1006
18.89/19.82	c bounds 999 >= 797 @ 14.126
18.89/19.82	c bounds 998 >= 797 @ 14.1505
18.89/19.82	c bounds 997 >= 797 @ 14.4995
18.89/19.82	c bounds 996 >= 797 @ 14.5258
18.89/19.82	c bounds 995 >= 797 @ 14.5621
18.89/19.82	c bounds 994 >= 797 @ 14.5901
18.89/19.82	c bounds 993 >= 797 @ 14.6229
18.89/19.82	c bounds 992 >= 797 @ 14.6481
18.89/19.82	c #Conflicts:      23000 | #Constraints:      31702
18.89/19.82	c bounds 991 >= 797 @ 14.6738
18.89/19.82	c bounds 990 >= 797 @ 14.6987
18.89/19.82	c bounds 989 >= 797 @ 14.7302
18.89/19.82	c bounds 988 >= 797 @ 14.7565
18.89/19.82	c bounds 987 >= 797 @ 14.788
18.89/19.82	c bounds 986 >= 797 @ 14.8141
18.89/19.82	c bounds 985 >= 797 @ 14.8378
18.89/19.82	c bounds 984 >= 797 @ 15.0606
18.89/19.82	c bounds 983 >= 797 @ 15.0866
18.89/19.82	c bounds 982 >= 797 @ 15.1115
18.89/19.82	c bounds 981 >= 797 @ 15.1371
18.89/19.82	c bounds 980 >= 797 @ 15.1614
18.89/19.82	c bounds 979 >= 797 @ 15.1865
18.89/19.82	c bounds 978 >= 797 @ 15.2107
18.89/19.82	c bounds 977 >= 797 @ 15.2351
18.89/19.82	c bounds 976 >= 797 @ 15.2701
18.89/19.82	c #Conflicts:      24000 | #Constraints:      32718
18.89/19.82	c bounds 975 >= 797 @ 15.2943
18.89/19.82	c bounds 974 >= 797 @ 15.3238
18.89/19.82	c bounds 973 >= 797 @ 15.3481
18.89/19.82	c bounds 972 >= 797 @ 15.3808
18.89/19.82	c bounds 971 >= 797 @ 15.4055
18.89/19.82	c bounds 970 >= 797 @ 15.4311
18.89/19.82	c bounds 969 >= 797 @ 15.5064
18.89/19.82	c bounds 968 >= 797 @ 15.5641
18.89/19.82	c bounds 967 >= 797 @ 15.5988
18.89/19.82	c bounds 966 >= 797 @ 15.6286
18.89/19.82	c #Conflicts:      25000 | #Constraints:      33728
18.89/19.82	c INPROCESSING
18.89/19.82	c GARBAGE COLLECT
18.89/19.82	WSVECS04 Frhs2[99]: 6 -1.00002 0 shouldn't be
18.89/19.82	WSVECS04 Frhs2[189]: 6 -1.00005 0 shouldn't be
18.89/19.82	WSVECS04 Frhs2[261]: 6 -1.00008 0 shouldn't be
18.89/19.82	WSVECS04 Frhs2[285]: 6 -1.00007 0 shouldn't be
18.89/19.82	WSVECS04 Frhs2[305]: 6 -1.00003 0 shouldn't be
18.89/19.82	WSVECS04 Frhs2[593]: 6 -1.00009 0 shouldn't be
18.89/19.82	WSVECS04 Frhs2[607]: 6 -1.00007 0 shouldn't be
18.89/19.82	WSVECS04 Frhs2[611]: 6 -1.0001 0 shouldn't be
19.10/20.02	c rational objective 601.384
23.67/24.63	c #Conflicts:      26000 | #Constraints:      28199
23.67/24.63	c #Conflicts:      27000 | #Constraints:      29199
23.67/24.63	c #Conflicts:      28000 | #Constraints:      30199
23.67/24.63	c bounds 966 >= 798 @ 20.2982
23.67/24.63	c #Conflicts:      29000 | #Constraints:      31297
23.67/24.63	c bounds 965 >= 798 @ 20.6528
23.67/24.63	c bounds 964 >= 798 @ 20.6969
23.67/24.63	c bounds 963 >= 798 @ 20.75
23.67/24.63	c bounds 962 >= 798 @ 20.7886
23.67/24.63	c bounds 961 >= 798 @ 20.8215
23.67/24.63	c bounds 960 >= 798 @ 20.8565
23.67/24.63	c bounds 959 >= 798 @ 20.8883
23.67/24.63	c bounds 958 >= 798 @ 20.9167
23.67/24.63	c bounds 957 >= 798 @ 20.9487
23.67/24.63	c bounds 956 >= 798 @ 20.9798
23.67/24.63	c #Conflicts:      30000 | #Constraints:      32309
23.67/24.63	c bounds 955 >= 798 @ 21.0085
23.67/24.63	c bounds 954 >= 798 @ 21.0385
23.67/24.63	c bounds 953 >= 798 @ 21.6871
23.67/24.63	c INPROCESSING
23.67/24.63	c GARBAGE COLLECT
23.67/24.63	c rational objective 601.899
53.85/54.93	c bounds 952 >= 798 @ 22.7596
53.85/54.93	c bounds 951 >= 798 @ 22.7847
53.85/54.93	c bounds 950 >= 798 @ 23.5948
53.85/54.93	c #Conflicts:      31000 | #Constraints:      27523
53.85/54.93	c bounds 949 >= 798 @ 23.6153
53.85/54.93	c bounds 948 >= 798 @ 23.6397
53.85/54.93	c bounds 947 >= 798 @ 23.6607
53.85/54.93	c bounds 946 >= 798 @ 23.8019
53.85/54.93	c bounds 945 >= 798 @ 23.8254
53.85/54.93	c bounds 944 >= 798 @ 23.8511
53.85/54.93	c bounds 943 >= 798 @ 23.874
53.85/54.93	c bounds 942 >= 798 @ 23.8987
53.85/54.93	c bounds 941 >= 798 @ 23.9183
53.85/54.93	c bounds 940 >= 798 @ 24.0051
53.85/54.93	c bounds 939 >= 798 @ 24.0252
53.85/54.93	c bounds 938 >= 798 @ 24.047
53.85/54.93	c bounds 937 >= 798 @ 24.0679
53.85/54.93	c #Conflicts:      32000 | #Constraints:      28536
53.85/54.93	c bounds 936 >= 798 @ 24.0884
53.85/54.93	c bounds 935 >= 798 @ 24.1093
53.85/54.93	c bounds 934 >= 798 @ 24.1306
53.85/54.93	c bounds 933 >= 798 @ 24.1502
53.85/54.93	c bounds 932 >= 798 @ 24.2497
53.85/54.93	c bounds 931 >= 798 @ 24.3634
53.85/54.93	c #Conflicts:      33000 | #Constraints:      29542
53.85/54.93	c #Conflicts:      34000 | #Constraints:      30542
53.85/54.93	c #Conflicts:      35000 | #Constraints:      31542
53.85/54.93	c bounds 931 >= 799 @ 28.1319
53.85/54.93	c bounds 930 >= 799 @ 28.205
53.85/54.93	c #Conflicts:      36000 | #Constraints:      32611
53.85/54.93	c INPROCESSING
53.85/54.93	c GARBAGE COLLECT
53.85/54.93	c bounds 929 >= 799 @ 28.2638
53.85/54.93	c #Conflicts:      37000 | #Constraints:      28181
53.85/54.93	c #Conflicts:      38000 | #Constraints:      29181
53.85/54.93	c #Conflicts:      39000 | #Constraints:      30181
53.85/54.93	c bounds 928 >= 799 @ 30.4801
53.85/54.93	c #Conflicts:      40000 | #Constraints:      31182
53.85/54.93	c #Conflicts:      41000 | #Constraints:      32182
53.85/54.93	c #Conflicts:      42000 | #Constraints:      33187
53.85/54.93	c #Conflicts:      43000 | #Constraints:      34205
53.85/54.93	c #Conflicts:      44000 | #Constraints:      35213
53.85/54.93	c bounds 927 >= 799 @ 35.7022
53.85/54.93	c #Conflicts:      45000 | #Constraints:      36225
53.85/54.93	c #Conflicts:      46000 | #Constraints:      37225
53.85/54.93	c #Conflicts:      47000 | #Constraints:      38225
53.85/54.93	c #Conflicts:      48000 | #Constraints:      39225
53.85/54.93	c bounds 927 >= 800 @ 51.3174
53.85/54.93	c bounds 926 >= 800 @ 51.42
53.85/54.93	c bounds 925 >= 800 @ 51.4685
53.85/54.93	c bounds 924 >= 800 @ 51.5432
53.85/54.93	c bounds 923 >= 800 @ 51.5934
53.85/54.93	c bounds 922 >= 800 @ 51.6721
53.85/54.93	c bounds 921 >= 800 @ 51.7205
53.85/54.93	c #Conflicts:      49000 | #Constraints:      40329
53.85/54.93	c bounds 920 >= 800 @ 51.7696
53.85/54.93	c bounds 919 >= 800 @ 51.8201
53.85/54.93	c bounds 918 >= 800 @ 51.8972
53.85/54.93	c bounds 917 >= 800 @ 51.9438
53.85/54.93	c bounds 916 >= 800 @ 51.9895
53.85/54.93	c bounds 915 >= 800 @ 52.0604
53.85/54.93	c bounds 914 >= 800 @ 52.1069
53.85/54.93	c bounds 913 >= 800 @ 52.1544
53.85/54.93	c bounds 912 >= 800 @ 52.23
53.85/54.93	c bounds 911 >= 800 @ 52.275
53.85/54.93	c bounds 910 >= 800 @ 52.323
53.85/54.93	c INPROCESSING
53.85/54.93	c GARBAGE COLLECT
53.85/54.93	WSVECS04 Frhs2[177]: 6 -1.00006 0 shouldn't be
53.85/54.93	WSVECS04 Frhs2[199]: 6 -1.00002 0 shouldn't be
53.85/54.93	WSVECS04 Frhs2[217]: 6 -1.00004 0 shouldn't be
54.04/55.10	c rational objective 602.881
60.71/61.81	c bounds 909 >= 800 @ 52.6971
60.71/61.81	c bounds 908 >= 800 @ 52.7154
60.71/61.81	c bounds 907 >= 800 @ 52.737
60.71/61.81	c bounds 906 >= 800 @ 52.7551
60.71/61.81	c bounds 905 >= 800 @ 52.7751
60.71/61.81	c bounds 904 >= 800 @ 52.7932
60.71/61.81	c bounds 903 >= 800 @ 52.8113
60.71/61.81	c bounds 902 >= 800 @ 52.8308
60.71/61.81	c bounds 901 >= 800 @ 52.8469
60.71/61.81	c bounds 900 >= 800 @ 52.8653
60.71/61.81	c bounds 899 >= 800 @ 52.8849
60.71/61.81	c #Conflicts:      50000 | #Constraints:      31802
60.71/61.81	c bounds 898 >= 800 @ 52.9068
60.71/61.81	c bounds 897 >= 800 @ 52.9264
60.71/61.81	c bounds 896 >= 800 @ 52.9444
60.71/61.81	c bounds 895 >= 800 @ 52.967
60.71/61.81	c bounds 894 >= 800 @ 52.9882
60.71/61.81	c bounds 893 >= 800 @ 53.0094
60.71/61.81	c bounds 892 >= 800 @ 53.0291
60.71/61.81	c bounds 891 >= 800 @ 53.05
60.71/61.81	c bounds 890 >= 800 @ 53.0722
60.71/61.81	c #Conflicts:      51000 | #Constraints:      32811
60.71/61.81	c #Conflicts:      52000 | #Constraints:      33811
60.71/61.81	c #Conflicts:      53000 | #Constraints:      34811
60.71/61.81	c #Conflicts:      54000 | #Constraints:      35811
60.71/61.81	c #Conflicts:      55000 | #Constraints:      36811
60.71/61.81	c #Conflicts:      56000 | #Constraints:      37816
60.71/61.81	c INPROCESSING
60.71/61.81	c GARBAGE COLLECT
60.71/61.81	c rational objective 603.546
67.59/68.70	c #Conflicts:      57000 | #Constraints:      30854
67.59/68.70	c #Conflicts:      58000 | #Constraints:      31858
67.59/68.70	c #Conflicts:      59000 | #Constraints:      32859
67.59/68.70	c #Conflicts:      60000 | #Constraints:      33864
67.59/68.70	c #Conflicts:      61000 | #Constraints:      34869
67.59/68.70	c #Conflicts:      62000 | #Constraints:      35874
67.59/68.70	c INPROCESSING
67.59/68.70	c GARBAGE COLLECT
67.59/68.70	c rational objective 604.56
89.88/91.13	c #Conflicts:      63000 | #Constraints:      29530
89.88/91.13	c #Conflicts:      64000 | #Constraints:      30530
89.88/91.13	c #Conflicts:      65000 | #Constraints:      31530
89.88/91.13	c #Conflicts:      66000 | #Constraints:      32530
89.88/91.13	c bounds 890 >= 801 @ 67.5784
89.88/91.13	c #Conflicts:      67000 | #Constraints:      33583
89.88/91.13	c #Conflicts:      68000 | #Constraints:      34583
89.88/91.13	c #Conflicts:      69000 | #Constraints:      35583
89.88/91.13	c bounds 890 >= 802 @ 69.5346
89.88/91.13	c #Conflicts:      70000 | #Constraints:      36630
89.88/91.13	c #Conflicts:      71000 | #Constraints:      37630
89.88/91.13	c #Conflicts:      72000 | #Constraints:      38634
89.88/91.13	c #Conflicts:      73000 | #Constraints:      39636
89.88/91.13	c #Conflicts:      74000 | #Constraints:      40639
89.88/91.13	c #Conflicts:      75000 | #Constraints:      41647
89.88/91.13	c #Conflicts:      76000 | #Constraints:      42652
89.88/91.13	c #Conflicts:      77000 | #Constraints:      43654
89.88/91.13	c #Conflicts:      78000 | #Constraints:      44657
89.88/91.13	c #Conflicts:      79000 | #Constraints:      45661
89.88/91.13	c #Conflicts:      80000 | #Constraints:      46664
89.88/91.13	c INPROCESSING
89.88/91.13	c GARBAGE COLLECT
89.88/91.13	c rational objective 605.414
95.66/97.00	c #Conflicts:      81000 | #Constraints:      35129
95.66/97.00	c #Conflicts:      82000 | #Constraints:      36129
95.66/97.00	c #Conflicts:      83000 | #Constraints:      37129
95.66/97.00	c bounds 890 >= 803 @ 90.0379
95.66/97.00	c #Conflicts:      84000 | #Constraints:      38191
95.66/97.00	c #Conflicts:      85000 | #Constraints:      39191
95.66/97.00	c #Conflicts:      86000 | #Constraints:      40191
95.66/97.00	c #Conflicts:      87000 | #Constraints:      41191
95.66/97.00	c bounds 890 >= 804 @ 92.8408
95.66/97.00	c #Conflicts:      88000 | #Constraints:      42265
95.66/97.00	c INPROCESSING
95.66/97.00	c GARBAGE COLLECT
95.66/97.00	c rational objective 607.436
116.47/117.87	c #Conflicts:      89000 | #Constraints:      33189
116.47/117.87	c #Conflicts:      90000 | #Constraints:      34189
116.47/117.87	c #Conflicts:      91000 | #Constraints:      35189
116.47/117.87	c #Conflicts:      92000 | #Constraints:      36189
116.47/117.87	c #Conflicts:      93000 | #Constraints:      37189
116.47/117.87	c bounds 890 >= 805 @ 96.4467
116.47/117.87	c #Conflicts:      94000 | #Constraints:      38287
116.47/117.87	c #Conflicts:      95000 | #Constraints:      39287
116.47/117.87	c #Conflicts:      96000 | #Constraints:      40287
116.47/117.87	c #Conflicts:      97000 | #Constraints:      41287
116.47/117.87	c #Conflicts:      98000 | #Constraints:      42287
116.47/117.87	c #Conflicts:      99000 | #Constraints:      43287
116.47/117.87	c #Conflicts:     100000 | #Constraints:      44287
116.47/117.87	c bounds 890 >= 806 @ 102.765
116.47/117.87	c #Conflicts:     101000 | #Constraints:      45337
116.47/117.87	c #Conflicts:     102000 | #Constraints:      46337
116.47/117.87	c #Conflicts:     103000 | #Constraints:      47337
116.47/117.87	c #Conflicts:     104000 | #Constraints:      48337
116.47/117.87	c #Conflicts:     105000 | #Constraints:      49337
116.47/117.87	c #Conflicts:     106000 | #Constraints:      50337
116.47/117.87	c bounds 890 >= 807 @ 110.239
116.47/117.87	c #Conflicts:     107000 | #Constraints:      51405
116.47/117.87	c #Conflicts:     108000 | #Constraints:      52405
116.47/117.87	c #Conflicts:     109000 | #Constraints:      53405
116.47/117.87	c INPROCESSING
116.47/117.87	c GARBAGE COLLECT
116.47/117.87	c rational objective 608.662
125.53/126.90	c #Conflicts:     110000 | #Constraints:      38739
125.53/126.90	c #Conflicts:     111000 | #Constraints:      39739
125.53/126.90	c #Conflicts:     112000 | #Constraints:      40739
125.53/126.90	c bounds 890 >= 808 @ 116.67
125.53/126.90	c #Conflicts:     113000 | #Constraints:      41792
125.53/126.90	c #Conflicts:     114000 | #Constraints:      42792
125.53/126.90	c #Conflicts:     115000 | #Constraints:      43792
125.53/126.90	c #Conflicts:     116000 | #Constraints:      44792
125.53/126.90	c bounds 890 >= 809 @ 120.459
125.53/126.90	c #Conflicts:     117000 | #Constraints:      45836
125.53/126.90	c #Conflicts:     118000 | #Constraints:      46836
125.53/126.90	c INPROCESSING
125.53/126.90	c GARBAGE COLLECT
125.53/126.90	c rational objective 610.633
168.75/170.33	c #Conflicts:     119000 | #Constraints:      37522
168.75/170.33	c #Conflicts:     120000 | #Constraints:      38528
168.75/170.33	c #Conflicts:     121000 | #Constraints:      39531
168.75/170.33	c #Conflicts:     122000 | #Constraints:      40538
168.75/170.33	c #Conflicts:     123000 | #Constraints:      41542
168.75/170.33	c #Conflicts:     124000 | #Constraints:      42555
168.75/170.33	c #Conflicts:     125000 | #Constraints:      43565
168.75/170.33	c #Conflicts:     126000 | #Constraints:      44572
168.75/170.33	c #Conflicts:     127000 | #Constraints:      45577
168.75/170.33	c #Conflicts:     128000 | #Constraints:      46582
168.75/170.33	c #Conflicts:     129000 | #Constraints:      47586
168.75/170.33	c #Conflicts:     130000 | #Constraints:      48590
168.75/170.33	c #Conflicts:     131000 | #Constraints:      49598
168.75/170.33	c #Conflicts:     132000 | #Constraints:      50599
168.75/170.33	c #Conflicts:     133000 | #Constraints:      51599
168.75/170.33	c #Conflicts:     134000 | #Constraints:      52599
168.75/170.33	c #Conflicts:     135000 | #Constraints:      53600
168.75/170.33	c #Conflicts:     136000 | #Constraints:      54603
168.75/170.33	c #Conflicts:     137000 | #Constraints:      55603
168.75/170.33	c #Conflicts:     138000 | #Constraints:      56603
168.75/170.34	c #Conflicts:     139000 | #Constraints:      57603
168.75/170.34	c #Conflicts:     140000 | #Constraints:      58605
168.75/170.34	c #Conflicts:     141000 | #Constraints:      59609
168.75/170.34	c #Conflicts:     142000 | #Constraints:      60616
168.75/170.34	c INPROCESSING
168.75/170.34	c GARBAGE COLLECT
168.75/170.34	c rational objective 611.216
184.19/185.80	c #Conflicts:     143000 | #Constraints:      42395
184.19/185.80	c #Conflicts:     144000 | #Constraints:      43395
184.19/185.80	c #Conflicts:     145000 | #Constraints:      44395
184.19/185.80	c #Conflicts:     146000 | #Constraints:      45395
184.19/185.80	c #Conflicts:     147000 | #Constraints:      46395
184.19/185.80	c bounds 890 >= 810 @ 171.604
184.19/185.80	c #Conflicts:     148000 | #Constraints:      47433
184.19/185.80	c #Conflicts:     149000 | #Constraints:      48433
184.19/185.80	c #Conflicts:     150000 | #Constraints:      49433
184.19/185.80	c #Conflicts:     151000 | #Constraints:      50433
184.19/185.80	c #Conflicts:     152000 | #Constraints:      51433
184.19/185.80	c #Conflicts:     153000 | #Constraints:      52433
184.19/185.80	c INPROCESSING
184.19/185.80	c GARBAGE COLLECT
184.19/185.80	c rational objective 612.043
226.72/228.50	c bounds 890 >= 811 @ 180.855
226.72/228.50	c #Conflicts:     154000 | #Constraints:      40066
226.72/228.50	c #Conflicts:     155000 | #Constraints:      41066
226.72/228.50	c #Conflicts:     156000 | #Constraints:      42066
226.72/228.50	c #Conflicts:     157000 | #Constraints:      43066
226.72/228.50	c #Conflicts:     158000 | #Constraints:      44066
226.72/228.50	c #Conflicts:     159000 | #Constraints:      45066
226.72/228.50	c #Conflicts:     160000 | #Constraints:      46066
226.72/228.50	c bounds 890 >= 812 @ 188.024
226.72/228.50	c #Conflicts:     161000 | #Constraints:      47131
226.72/228.50	c #Conflicts:     162000 | #Constraints:      48131
226.72/228.50	c #Conflicts:     163000 | #Constraints:      49131
226.72/228.50	c #Conflicts:     164000 | #Constraints:      50131
226.72/228.50	c #Conflicts:     165000 | #Constraints:      51131
226.72/228.50	c #Conflicts:     166000 | #Constraints:      52131
226.72/228.50	c bounds 890 >= 813 @ 196.371
226.72/228.50	c #Conflicts:     167000 | #Constraints:      53166
226.72/228.50	c #Conflicts:     168000 | #Constraints:      54166
226.72/228.50	c #Conflicts:     169000 | #Constraints:      55166
226.72/228.50	c #Conflicts:     170000 | #Constraints:      56166
226.72/228.50	c #Conflicts:     171000 | #Constraints:      57166
226.72/228.50	c #Conflicts:     172000 | #Constraints:      58166
226.72/228.50	c #Conflicts:     173000 | #Constraints:      59166
226.72/228.50	c #Conflicts:     174000 | #Constraints:      60166
226.72/228.50	c #Conflicts:     175000 | #Constraints:      61166
226.72/228.50	c #Conflicts:     176000 | #Constraints:      62166
226.72/228.50	c bounds 890 >= 814 @ 213.935
226.72/228.50	c #Conflicts:     177000 | #Constraints:      63192
226.72/228.50	c #Conflicts:     178000 | #Constraints:      64192
226.72/228.50	c #Conflicts:     179000 | #Constraints:      65192
226.72/228.50	c #Conflicts:     180000 | #Constraints:      66192
226.72/228.50	c INPROCESSING
226.72/228.50	c GARBAGE COLLECT
226.72/228.50	c rational objective 612.474
242.75/244.62	c #Conflicts:     181000 | #Constraints:      45095
242.75/244.62	c #Conflicts:     182000 | #Constraints:      46095
242.75/244.62	c #Conflicts:     183000 | #Constraints:      47095
242.75/244.62	c #Conflicts:     184000 | #Constraints:      48095
242.75/244.62	c #Conflicts:     185000 | #Constraints:      49095
242.75/244.62	c #Conflicts:     186000 | #Constraints:      50095
242.75/244.62	c #Conflicts:     187000 | #Constraints:      51095
242.75/244.62	c #Conflicts:     188000 | #Constraints:      52095
242.75/244.62	c #Conflicts:     189000 | #Constraints:      53095
242.75/244.62	c bounds 890 >= 815 @ 234.473
242.75/244.62	c #Conflicts:     190000 | #Constraints:      54160
242.75/244.62	c #Conflicts:     191000 | #Constraints:      55160
242.75/244.62	c INPROCESSING
242.75/244.62	c GARBAGE COLLECT
242.75/244.62	c rational objective 613.94
284.29/286.37	c #Conflicts:     192000 | #Constraints:      41809
284.29/286.37	c #Conflicts:     193000 | #Constraints:      42809
284.29/286.37	c #Conflicts:     194000 | #Constraints:      43814
284.29/286.37	c #Conflicts:     195000 | #Constraints:      44818
284.29/286.37	c #Conflicts:     196000 | #Constraints:      45824
284.29/286.37	c #Conflicts:     197000 | #Constraints:      46833
284.29/286.37	c #Conflicts:     198000 | #Constraints:      47839
284.29/286.37	c #Conflicts:     199000 | #Constraints:      48839
284.29/286.37	c #Conflicts:     200000 | #Constraints:      49843
284.29/286.37	c #Conflicts:     201000 | #Constraints:      50847
284.29/286.37	c #Conflicts:     202000 | #Constraints:      51850
284.29/286.37	c #Conflicts:     203000 | #Constraints:      52851
284.29/286.37	c #Conflicts:     204000 | #Constraints:      53857
284.29/286.37	c #Conflicts:     205000 | #Constraints:      54862
284.29/286.37	c #Conflicts:     206000 | #Constraints:      55864
284.29/286.37	c #Conflicts:     207000 | #Constraints:      56868
284.29/286.37	c #Conflicts:     208000 | #Constraints:      57875
284.29/286.37	c #Conflicts:     209000 | #Constraints:      58877
284.29/286.37	c #Conflicts:     210000 | #Constraints:      59883
284.29/286.37	c #Conflicts:     211000 | #Constraints:      60887
284.29/286.37	c #Conflicts:     212000 | #Constraints:      61893
284.29/286.37	c #Conflicts:     213000 | #Constraints:      62903
284.29/286.37	c #Conflicts:     214000 | #Constraints:      63904
284.29/286.37	c #Conflicts:     215000 | #Constraints:      64910
284.29/286.37	c #Conflicts:     216000 | #Constraints:      65921
284.29/286.37	c #Conflicts:     217000 | #Constraints:      66923
284.29/286.37	c #Conflicts:     218000 | #Constraints:      67928
284.29/286.37	c #Conflicts:     219000 | #Constraints:      68933
284.29/286.37	c #Conflicts:     220000 | #Constraints:      69933
284.29/286.37	c #Conflicts:     221000 | #Constraints:      70939
284.29/286.37	c #Conflicts:     222000 | #Constraints:      71945
284.29/286.37	c INPROCESSING
284.29/286.37	c GARBAGE COLLECT
284.29/286.37	c rational objective 614.245
308.47/310.66	c #Conflicts:     223000 | #Constraints:      48364
308.47/310.66	c #Conflicts:     224000 | #Constraints:      49364
308.47/310.66	c #Conflicts:     225000 | #Constraints:      50364
308.47/310.66	c #Conflicts:     226000 | #Constraints:      51364
308.47/310.66	c #Conflicts:     227000 | #Constraints:      52364
308.47/310.66	c #Conflicts:     228000 | #Constraints:      53364
308.47/310.66	c #Conflicts:     229000 | #Constraints:      54364
308.47/310.66	c #Conflicts:     230000 | #Constraints:      55364
308.47/310.66	c #Conflicts:     231000 | #Constraints:      56364
308.47/310.66	c #Conflicts:     232000 | #Constraints:      57364
308.47/310.66	c #Conflicts:     233000 | #Constraints:      58364
308.47/310.66	c bounds 890 >= 816 @ 300.31
308.47/310.66	c #Conflicts:     234000 | #Constraints:      59396
308.47/310.66	c #Conflicts:     235000 | #Constraints:      60396
308.47/310.66	c INPROCESSING
308.47/310.66	c GARBAGE COLLECT
308.47/310.66	c rational objective 615.792
375.90/378.33	c #Conflicts:     236000 | #Constraints:      45359
375.90/378.33	c #Conflicts:     237000 | #Constraints:      46359
375.90/378.33	c #Conflicts:     238000 | #Constraints:      47359
375.90/378.33	c #Conflicts:     239000 | #Constraints:      48359
375.90/378.33	c #Conflicts:     240000 | #Constraints:      49359
375.90/378.33	c #Conflicts:     241000 | #Constraints:      50359
375.90/378.33	c #Conflicts:     242000 | #Constraints:      51359
375.90/378.33	c #Conflicts:     243000 | #Constraints:      52359
375.90/378.33	c #Conflicts:     244000 | #Constraints:      53359
375.90/378.33	c #Conflicts:     245000 | #Constraints:      54359
375.90/378.33	c #Conflicts:     246000 | #Constraints:      55359
375.90/378.33	c #Conflicts:     247000 | #Constraints:      56359
375.90/378.33	c #Conflicts:     248000 | #Constraints:      57359
375.90/378.33	c #Conflicts:     249000 | #Constraints:      58359
375.90/378.33	c #Conflicts:     250000 | #Constraints:      59359
375.90/378.33	c bounds 890 >= 817 @ 324.314
375.90/378.33	c #Conflicts:     251000 | #Constraints:      60409
375.90/378.33	c #Conflicts:     252000 | #Constraints:      61410
375.90/378.33	c #Conflicts:     253000 | #Constraints:      62419
375.90/378.33	c #Conflicts:     254000 | #Constraints:      63429
375.90/378.33	c #Conflicts:     255000 | #Constraints:      64441
375.90/378.33	c #Conflicts:     256000 | #Constraints:      65452
375.90/378.33	c #Conflicts:     257000 | #Constraints:      66456
375.90/378.33	c #Conflicts:     258000 | #Constraints:      67457
375.90/378.33	c #Conflicts:     259000 | #Constraints:      68458
375.90/378.33	c #Conflicts:     260000 | #Constraints:      69464
375.90/378.33	c #Conflicts:     261000 | #Constraints:      70470
375.90/378.33	c #Conflicts:     262000 | #Constraints:      71477
375.90/378.33	c #Conflicts:     263000 | #Constraints:      72479
375.90/378.33	c #Conflicts:     264000 | #Constraints:      73480
375.90/378.33	c #Conflicts:     265000 | #Constraints:      74483
375.90/378.33	c #Conflicts:     266000 | #Constraints:      75490
375.90/378.33	c #Conflicts:     267000 | #Constraints:      76495
375.90/378.33	c #Conflicts:     268000 | #Constraints:      77497
375.90/378.33	c INPROCESSING
375.90/378.33	c GARBAGE COLLECT
375.90/378.33	c rational objective 616.941
398.80/401.38	c #Conflicts:     269000 | #Constraints:      51015
398.80/401.38	c #Conflicts:     270000 | #Constraints:      52015
398.80/401.38	c #Conflicts:     271000 | #Constraints:      53015
398.80/401.38	c #Conflicts:     272000 | #Constraints:      54015
398.80/401.38	c #Conflicts:     273000 | #Constraints:      55015
398.80/401.38	c #Conflicts:     274000 | #Constraints:      56015
398.80/401.38	c #Conflicts:     275000 | #Constraints:      57015
398.80/401.38	c #Conflicts:     276000 | #Constraints:      58015
398.80/401.38	c #Conflicts:     277000 | #Constraints:      59015
398.80/401.38	c #Conflicts:     278000 | #Constraints:      60015
398.80/401.38	c #Conflicts:     279000 | #Constraints:      61015
398.80/401.38	c #Conflicts:     280000 | #Constraints:      62015
398.80/401.38	c bounds 890 >= 818 @ 387.846
398.80/401.38	c #Conflicts:     281000 | #Constraints:      63041
398.80/401.38	c #Conflicts:     282000 | #Constraints:      64041
398.80/401.38	c INPROCESSING
398.80/401.38	c GARBAGE COLLECT
398.80/401.38	c rational objective 617.463
469.30/472.14	c #Conflicts:     283000 | #Constraints:      46743
469.30/472.14	c #Conflicts:     284000 | #Constraints:      47743
469.30/472.14	c #Conflicts:     285000 | #Constraints:      48743
469.30/472.14	c #Conflicts:     286000 | #Constraints:      49743
469.30/472.14	c #Conflicts:     287000 | #Constraints:      50743
469.30/472.14	c #Conflicts:     288000 | #Constraints:      51743
469.30/472.14	c #Conflicts:     289000 | #Constraints:      52743
469.30/472.14	c #Conflicts:     290000 | #Constraints:      53743
469.30/472.14	c #Conflicts:     291000 | #Constraints:      54743
469.30/472.14	c #Conflicts:     292000 | #Constraints:      55743
469.30/472.14	c #Conflicts:     293000 | #Constraints:      56743
469.30/472.14	c #Conflicts:     294000 | #Constraints:      57743
469.30/472.14	c #Conflicts:     295000 | #Constraints:      58743
469.30/472.14	c #Conflicts:     296000 | #Constraints:      59743
469.30/472.14	c bounds 890 >= 819 @ 412.169
469.30/472.14	c #Conflicts:     297000 | #Constraints:      60817
469.30/472.14	c #Conflicts:     298000 | #Constraints:      61817
469.30/472.14	c #Conflicts:     299000 | #Constraints:      62817
469.30/472.14	c #Conflicts:     300000 | #Constraints:      63817
469.30/472.14	c #Conflicts:     301000 | #Constraints:      64817
469.30/472.14	c #Conflicts:     302000 | #Constraints:      65817
469.30/472.14	c #Conflicts:     303000 | #Constraints:      66817
469.30/472.14	c #Conflicts:     304000 | #Constraints:      67817
469.30/472.14	c #Conflicts:     305000 | #Constraints:      68817
469.30/472.14	c #Conflicts:     306000 | #Constraints:      69817
469.30/472.14	c #Conflicts:     307000 | #Constraints:      70817
469.30/472.14	c #Conflicts:     308000 | #Constraints:      71817
469.30/472.14	c #Conflicts:     309000 | #Constraints:      72817
469.30/472.14	c #Conflicts:     310000 | #Constraints:      73817
469.30/472.14	c #Conflicts:     311000 | #Constraints:      74817
469.30/472.14	c #Conflicts:     312000 | #Constraints:      75817
469.30/472.14	c #Conflicts:     313000 | #Constraints:      76817
469.30/472.14	c #Conflicts:     314000 | #Constraints:      77817
469.30/472.14	c #Conflicts:     315000 | #Constraints:      78817
469.30/472.14	c bounds 890 >= 820 @ 454.448
469.30/472.14	c #Conflicts:     316000 | #Constraints:      79858
469.30/472.14	c #Conflicts:     317000 | #Constraints:      80858
469.30/472.14	c #Conflicts:     318000 | #Constraints:      81858
469.30/472.14	c #Conflicts:     319000 | #Constraints:      82858
469.30/472.14	c INPROCESSING
469.30/472.14	c GARBAGE COLLECT
469.30/472.14	c rational objective 619.277
495.29/498.21	c #Conflicts:     320000 | #Constraints:      53984
495.29/498.21	c #Conflicts:     321000 | #Constraints:      54990
495.29/498.21	c #Conflicts:     322000 | #Constraints:      56000
495.29/498.21	c #Conflicts:     323000 | #Constraints:      57006
495.29/498.21	c #Conflicts:     324000 | #Constraints:      58010
495.29/498.21	c #Conflicts:     325000 | #Constraints:      59016
495.29/498.21	c #Conflicts:     326000 | #Constraints:      60020
495.29/498.21	c #Conflicts:     327000 | #Constraints:      61023
495.29/498.21	c #Conflicts:     328000 | #Constraints:      62029
495.29/498.21	c #Conflicts:     329000 | #Constraints:      63034
495.29/498.21	c #Conflicts:     330000 | #Constraints:      64044
495.29/498.21	c #Conflicts:     331000 | #Constraints:      65048
495.29/498.21	c #Conflicts:     332000 | #Constraints:      66059
495.29/498.21	c #Conflicts:     333000 | #Constraints:      67067
495.29/498.21	c #Conflicts:     334000 | #Constraints:      68078
495.29/498.21	c #Conflicts:     335000 | #Constraints:      69082
495.29/498.21	c INPROCESSING
495.29/498.21	c GARBAGE COLLECT
495.29/498.21	c rational objective 620.693
566.40/569.68	c #Conflicts:     336000 | #Constraints:      51041
566.40/569.68	c #Conflicts:     337000 | #Constraints:      52041
566.40/569.68	c #Conflicts:     338000 | #Constraints:      53041
566.40/569.68	c #Conflicts:     339000 | #Constraints:      54041
566.40/569.68	c #Conflicts:     340000 | #Constraints:      55041
566.40/569.68	c #Conflicts:     341000 | #Constraints:      56041
566.40/569.68	c #Conflicts:     342000 | #Constraints:      57041
566.40/569.68	c #Conflicts:     343000 | #Constraints:      58041
566.40/569.68	c #Conflicts:     344000 | #Constraints:      59041
566.40/569.68	c #Conflicts:     345000 | #Constraints:      60041
566.40/569.68	c #Conflicts:     346000 | #Constraints:      61041
566.40/569.68	c #Conflicts:     347000 | #Constraints:      62041
566.40/569.68	c #Conflicts:     348000 | #Constraints:      63041
566.40/569.68	c #Conflicts:     349000 | #Constraints:      64041
566.40/569.68	c #Conflicts:     350000 | #Constraints:      65041
566.40/569.68	c bounds 890 >= 821 @ 515.29
566.40/569.68	c #Conflicts:     351000 | #Constraints:      66073
566.40/569.68	c #Conflicts:     352000 | #Constraints:      67073
566.40/569.68	c #Conflicts:     353000 | #Constraints:      68073
566.40/569.68	c #Conflicts:     354000 | #Constraints:      69074
566.40/569.68	c #Conflicts:     355000 | #Constraints:      70077
566.40/569.68	c #Conflicts:     356000 | #Constraints:      71083
566.40/569.68	c #Conflicts:     357000 | #Constraints:      72090
566.40/569.68	c #Conflicts:     358000 | #Constraints:      73095
566.40/569.68	c #Conflicts:     359000 | #Constraints:      74102
566.40/569.68	c #Conflicts:     360000 | #Constraints:      75113
566.40/569.68	c #Conflicts:     361000 | #Constraints:      76117
566.40/569.68	c #Conflicts:     362000 | #Constraints:      77124
566.40/569.68	c #Conflicts:     363000 | #Constraints:      78129
566.40/569.68	c #Conflicts:     364000 | #Constraints:      79132
566.40/569.68	c #Conflicts:     365000 | #Constraints:      80138
566.40/569.68	c #Conflicts:     366000 | #Constraints:      81142
566.40/569.68	c #Conflicts:     367000 | #Constraints:      82145
566.40/569.68	c #Conflicts:     368000 | #Constraints:      83156
566.40/569.68	c #Conflicts:     369000 | #Constraints:      84161
566.40/569.68	c #Conflicts:     370000 | #Constraints:      85166
566.40/569.68	c #Conflicts:     371000 | #Constraints:      86174
566.40/569.68	c #Conflicts:     372000 | #Constraints:      87175
566.40/569.68	c #Conflicts:     373000 | #Constraints:      88180
566.40/569.68	c #Conflicts:     374000 | #Constraints:      89189
566.40/569.68	c INPROCESSING
566.40/569.68	c GARBAGE COLLECT
566.40/569.68	c rational objective 620.948
597.75/601.10	c #Conflicts:     375000 | #Constraints:      56967
597.75/601.10	c #Conflicts:     376000 | #Constraints:      57967
597.75/601.10	c #Conflicts:     377000 | #Constraints:      58967
597.75/601.10	c #Conflicts:     378000 | #Constraints:      59967
597.75/601.10	c #Conflicts:     379000 | #Constraints:      60967
597.75/601.10	c #Conflicts:     380000 | #Constraints:      61967
597.75/601.10	c #Conflicts:     381000 | #Constraints:      62967
597.75/601.10	c #Conflicts:     382000 | #Constraints:      63967
597.75/601.10	c #Conflicts:     383000 | #Constraints:      64967
597.75/601.10	c #Conflicts:     384000 | #Constraints:      65967
597.75/601.10	c #Conflicts:     385000 | #Constraints:      66967
597.75/601.10	c #Conflicts:     386000 | #Constraints:      67967
597.75/601.10	c #Conflicts:     387000 | #Constraints:      68967
597.75/601.10	c #Conflicts:     388000 | #Constraints:      69967
597.75/601.10	c bounds 890 >= 822 @ 582.975
597.75/601.10	c #Conflicts:     389000 | #Constraints:      71005
597.75/601.10	c #Conflicts:     390000 | #Constraints:      72005
597.75/601.10	c #Conflicts:     391000 | #Constraints:      73005
597.75/601.10	c INPROCESSING
597.75/601.10	c GARBAGE COLLECT
597.75/601.10	c rational objective 622.825
668.36/672.01	c #Conflicts:     392000 | #Constraints:      53226
668.36/672.01	c #Conflicts:     393000 | #Constraints:      54226
668.36/672.01	c #Conflicts:     394000 | #Constraints:      55226
668.36/672.01	c #Conflicts:     395000 | #Constraints:      56226
668.36/672.01	c #Conflicts:     396000 | #Constraints:      57226
668.36/672.01	c #Conflicts:     397000 | #Constraints:      58226
668.36/672.01	c #Conflicts:     398000 | #Constraints:      59226
668.36/672.01	c #Conflicts:     399000 | #Constraints:      60226
668.36/672.01	c #Conflicts:     400000 | #Constraints:      61226
668.36/672.01	c #Conflicts:     401000 | #Constraints:      62226
668.36/672.01	c #Conflicts:     402000 | #Constraints:      63226
668.36/672.01	c #Conflicts:     403000 | #Constraints:      64226
668.36/672.01	c #Conflicts:     404000 | #Constraints:      65226
668.36/672.01	c #Conflicts:     405000 | #Constraints:      66226
668.36/672.01	c bounds 890 >= 823 @ 615.985
668.36/672.01	c #Conflicts:     406000 | #Constraints:      67279
668.36/672.01	c #Conflicts:     407000 | #Constraints:      68280
668.36/672.01	c #Conflicts:     408000 | #Constraints:      69284
668.36/672.01	c #Conflicts:     409000 | #Constraints:      70294
668.36/672.01	c #Conflicts:     410000 | #Constraints:      71301
668.36/672.01	c #Conflicts:     411000 | #Constraints:      72309
668.36/672.01	c #Conflicts:     412000 | #Constraints:      73314
668.36/672.01	c #Conflicts:     413000 | #Constraints:      74322
668.36/672.01	c #Conflicts:     414000 | #Constraints:      75323
668.36/672.01	c #Conflicts:     415000 | #Constraints:      76324
668.36/672.01	c #Conflicts:     416000 | #Constraints:      77325
668.36/672.01	c #Conflicts:     417000 | #Constraints:      78331
668.36/672.01	c #Conflicts:     418000 | #Constraints:      79338
668.36/672.01	c #Conflicts:     419000 | #Constraints:      80347
668.36/672.01	c #Conflicts:     420000 | #Constraints:      81352
668.36/672.01	c #Conflicts:     421000 | #Constraints:      82358
668.36/672.01	c #Conflicts:     422000 | #Constraints:      83358
668.36/672.01	c #Conflicts:     423000 | #Constraints:      84366
668.36/672.01	c #Conflicts:     424000 | #Constraints:      85375
668.36/672.01	c #Conflicts:     425000 | #Constraints:      86382
668.36/672.01	c #Conflicts:     426000 | #Constraints:      87382
668.36/672.01	c #Conflicts:     427000 | #Constraints:      88387
668.36/672.01	c #Conflicts:     428000 | #Constraints:      89391
668.36/672.01	c #Conflicts:     429000 | #Constraints:      90401
668.36/672.01	c #Conflicts:     430000 | #Constraints:      91406
668.36/672.01	c #Conflicts:     431000 | #Constraints:      92409
668.36/672.01	c #Conflicts:     432000 | #Constraints:      93417
668.36/672.01	c #Conflicts:     433000 | #Constraints:      94424
668.36/672.01	c #Conflicts:     434000 | #Constraints:      95432
668.36/672.01	c INPROCESSING
668.36/672.01	c GARBAGE COLLECT
668.36/672.01	c rational objective 623.748
700.34/704.11	c #Conflicts:     435000 | #Constraints:      60053
700.34/704.11	c #Conflicts:     436000 | #Constraints:      61053
700.34/704.11	c #Conflicts:     437000 | #Constraints:      62053
700.34/704.11	c #Conflicts:     438000 | #Constraints:      63053
700.34/704.11	c #Conflicts:     439000 | #Constraints:      64053
700.34/704.11	c #Conflicts:     440000 | #Constraints:      65053
700.34/704.11	c #Conflicts:     441000 | #Constraints:      66053
700.34/704.11	c #Conflicts:     442000 | #Constraints:      67053
700.34/704.11	c #Conflicts:     443000 | #Constraints:      68053
700.34/704.11	c #Conflicts:     444000 | #Constraints:      69053
700.34/704.11	c #Conflicts:     445000 | #Constraints:      70053
700.34/704.11	c #Conflicts:     446000 | #Constraints:      71053
700.34/704.11	c #Conflicts:     447000 | #Constraints:      72053
700.34/704.11	c #Conflicts:     448000 | #Constraints:      73053
700.34/704.11	c #Conflicts:     449000 | #Constraints:      74053
700.34/704.11	c #Conflicts:     450000 | #Constraints:      75053
700.34/704.11	c #Conflicts:     451000 | #Constraints:      76053
700.34/704.11	c #Conflicts:     452000 | #Constraints:      77053
700.34/704.11	c INPROCESSING
700.34/704.11	c GARBAGE COLLECT
700.34/704.11	c rational objective 625.023
776.33/780.47	c #Conflicts:     453000 | #Constraints:      55375
776.33/780.47	c #Conflicts:     454000 | #Constraints:      56375
776.33/780.47	c #Conflicts:     455000 | #Constraints:      57375
776.33/780.47	c #Conflicts:     456000 | #Constraints:      58375
776.33/780.47	c #Conflicts:     457000 | #Constraints:      59375
776.33/780.47	c #Conflicts:     458000 | #Constraints:      60375
776.33/780.47	c #Conflicts:     459000 | #Constraints:      61375
776.33/780.47	c #Conflicts:     460000 | #Constraints:      62375
776.33/780.47	c #Conflicts:     461000 | #Constraints:      63375
776.33/780.47	c #Conflicts:     462000 | #Constraints:      64375
776.33/780.47	c #Conflicts:     463000 | #Constraints:      65375
776.33/780.47	c #Conflicts:     464000 | #Constraints:      66375
776.33/780.47	c #Conflicts:     465000 | #Constraints:      67375
776.33/780.47	c bounds 890 >= 824 @ 710.816
776.33/780.47	c #Conflicts:     466000 | #Constraints:      68413
776.33/780.47	c #Conflicts:     467000 | #Constraints:      69413
776.33/780.47	c #Conflicts:     468000 | #Constraints:      70415
776.33/780.47	c #Conflicts:     469000 | #Constraints:      71424
776.33/780.47	c #Conflicts:     470000 | #Constraints:      72429
776.33/780.47	c #Conflicts:     471000 | #Constraints:      73434
776.33/780.47	c #Conflicts:     472000 | #Constraints:      74438
776.33/780.47	c #Conflicts:     473000 | #Constraints:      75446
776.33/780.47	c #Conflicts:     474000 | #Constraints:      76451
776.33/780.47	c #Conflicts:     475000 | #Constraints:      77456
776.33/780.47	c #Conflicts:     476000 | #Constraints:      78461
776.33/780.47	c #Conflicts:     477000 | #Constraints:      79469
776.33/780.47	c #Conflicts:     478000 | #Constraints:      80478
776.33/780.47	c #Conflicts:     479000 | #Constraints:      81484
776.33/780.47	c #Conflicts:     480000 | #Constraints:      82490
776.33/780.47	c #Conflicts:     481000 | #Constraints:      83495
776.33/780.47	c #Conflicts:     482000 | #Constraints:      84498
776.33/780.47	c #Conflicts:     483000 | #Constraints:      85502
776.33/780.47	c #Conflicts:     484000 | #Constraints:      86506
776.33/780.47	c #Conflicts:     485000 | #Constraints:      87510
776.33/780.47	c #Conflicts:     486000 | #Constraints:      88511
776.33/780.47	c #Conflicts:     487000 | #Constraints:      89517
776.33/780.47	c #Conflicts:     488000 | #Constraints:      90519
776.33/780.47	c #Conflicts:     489000 | #Constraints:      91522
776.33/780.47	c #Conflicts:     490000 | #Constraints:      92526
776.33/780.47	c #Conflicts:     491000 | #Constraints:      93530
776.33/780.47	c #Conflicts:     492000 | #Constraints:      94532
776.33/780.47	c #Conflicts:     493000 | #Constraints:      95537
776.33/780.47	c #Conflicts:     494000 | #Constraints:      96539
776.33/780.47	c #Conflicts:     495000 | #Constraints:      97549
776.33/780.47	c #Conflicts:     496000 | #Constraints:      98564
776.33/780.47	c #Conflicts:     497000 | #Constraints:      99570
776.33/780.47	c #Conflicts:     498000 | #Constraints:     100574
776.33/780.47	c INPROCESSING
776.33/780.47	c GARBAGE COLLECT
776.33/780.47	c rational objective 625.387
821.85/826.17	c #Conflicts:     499000 | #Constraints:      62923
821.85/826.17	c #Conflicts:     500000 | #Constraints:      63923
821.85/826.17	c #Conflicts:     501000 | #Constraints:      64923
821.85/826.17	c #Conflicts:     502000 | #Constraints:      65923
821.85/826.17	c #Conflicts:     503000 | #Constraints:      66923
821.85/826.17	c #Conflicts:     504000 | #Constraints:      67923
821.85/826.17	c #Conflicts:     505000 | #Constraints:      68923
821.85/826.17	c #Conflicts:     506000 | #Constraints:      69923
821.85/826.17	c #Conflicts:     507000 | #Constraints:      70923
821.85/826.17	c #Conflicts:     508000 | #Constraints:      71923
821.85/826.17	c #Conflicts:     509000 | #Constraints:      72923
821.85/826.17	c #Conflicts:     510000 | #Constraints:      73923
821.85/826.17	c #Conflicts:     511000 | #Constraints:      74923
821.85/826.17	c #Conflicts:     512000 | #Constraints:      75923
821.85/826.17	c #Conflicts:     513000 | #Constraints:      76923
821.85/826.17	c #Conflicts:     514000 | #Constraints:      77923
821.85/826.17	c #Conflicts:     515000 | #Constraints:      78923
821.85/826.17	c #Conflicts:     516000 | #Constraints:      79923
821.85/826.17	c #Conflicts:     517000 | #Constraints:      80923
821.85/826.17	c bounds 890 >= 825 @ 810.669
821.85/826.17	c INPROCESSING
821.85/826.17	c GARBAGE COLLECT
821.85/826.17	c rational objective 626.255
952.03/956.85	c #Conflicts:     518000 | #Constraints:      57472
952.03/956.85	c #Conflicts:     519000 | #Constraints:      58472
952.03/956.85	c #Conflicts:     520000 | #Constraints:      59472
952.03/956.85	c #Conflicts:     521000 | #Constraints:      60472
952.03/956.85	c #Conflicts:     522000 | #Constraints:      61472
952.03/956.85	c #Conflicts:     523000 | #Constraints:      62472
952.03/956.85	c #Conflicts:     524000 | #Constraints:      63472
952.03/956.85	c #Conflicts:     525000 | #Constraints:      64472
952.03/956.85	c #Conflicts:     526000 | #Constraints:      65472
952.03/956.85	c #Conflicts:     527000 | #Constraints:      66472
952.03/956.85	c #Conflicts:     528000 | #Constraints:      67472
952.03/956.85	c #Conflicts:     529000 | #Constraints:      68472
952.03/956.85	c #Conflicts:     530000 | #Constraints:      69472
952.03/956.85	c #Conflicts:     531000 | #Constraints:      70472
952.03/956.85	c #Conflicts:     532000 | #Constraints:      71472
952.03/956.85	c #Conflicts:     533000 | #Constraints:      72472
952.03/956.85	c #Conflicts:     534000 | #Constraints:      73472
952.03/956.85	c #Conflicts:     535000 | #Constraints:      74472
952.03/956.85	c #Conflicts:     536000 | #Constraints:      75472
952.03/956.85	c #Conflicts:     537000 | #Constraints:      76472
952.03/956.85	c #Conflicts:     538000 | #Constraints:      77472
952.03/956.85	c #Conflicts:     539000 | #Constraints:      78472
952.03/956.85	c #Conflicts:     540000 | #Constraints:      79472
952.03/956.85	c #Conflicts:     541000 | #Constraints:      80472
952.03/956.85	c #Conflicts:     542000 | #Constraints:      81472
952.03/956.85	c #Conflicts:     543000 | #Constraints:      82472
952.03/956.85	c #Conflicts:     544000 | #Constraints:      83472
952.03/956.85	c #Conflicts:     545000 | #Constraints:      84472
952.03/956.85	c #Conflicts:     546000 | #Constraints:      85472
952.03/956.85	c #Conflicts:     547000 | #Constraints:      86472
952.03/956.85	c #Conflicts:     548000 | #Constraints:      87472
952.03/956.85	c #Conflicts:     549000 | #Constraints:      88472
952.03/956.85	c bounds 890 >= 826 @ 892.865
952.03/956.85	c #Conflicts:     550000 | #Constraints:      89519
952.03/956.85	c #Conflicts:     551000 | #Constraints:      90519
952.03/956.85	c #Conflicts:     552000 | #Constraints:      91519
952.03/956.85	c #Conflicts:     553000 | #Constraints:      92519
952.03/956.85	c #Conflicts:     554000 | #Constraints:      93519
952.03/956.85	c #Conflicts:     555000 | #Constraints:      94519
952.03/956.85	c #Conflicts:     556000 | #Constraints:      95519
952.03/956.85	c #Conflicts:     557000 | #Constraints:      96519
952.03/956.85	c #Conflicts:     558000 | #Constraints:      97520
952.03/956.85	c #Conflicts:     559000 | #Constraints:      98522
952.03/956.85	c #Conflicts:     560000 | #Constraints:      99533
952.03/956.85	c #Conflicts:     561000 | #Constraints:     100540
952.03/956.85	c #Conflicts:     562000 | #Constraints:     101544
952.03/956.85	c #Conflicts:     563000 | #Constraints:     102552
952.03/956.85	c #Conflicts:     564000 | #Constraints:     103560
952.03/956.85	c #Conflicts:     565000 | #Constraints:     104564
952.03/956.85	c #Conflicts:     566000 | #Constraints:     105567
952.03/956.85	c INPROCESSING
952.03/956.85	c GARBAGE COLLECT
952.03/956.85	c rational objective 627.085
998.83/1003.87	c #Conflicts:     567000 | #Constraints:      64517
998.83/1003.87	c #Conflicts:     568000 | #Constraints:      65524
998.83/1003.87	c #Conflicts:     569000 | #Constraints:      66528
998.83/1003.87	c #Conflicts:     570000 | #Constraints:      67537
998.83/1003.87	c #Conflicts:     571000 | #Constraints:      68549
998.83/1003.87	c #Conflicts:     572000 | #Constraints:      69557
998.83/1003.87	c #Conflicts:     573000 | #Constraints:      70567
998.83/1003.87	c #Conflicts:     574000 | #Constraints:      71572
998.83/1003.87	c #Conflicts:     575000 | #Constraints:      72585
998.83/1003.87	c #Conflicts:     576000 | #Constraints:      73590
998.83/1003.87	c #Conflicts:     577000 | #Constraints:      74599
998.83/1003.87	c #Conflicts:     578000 | #Constraints:      75607
998.83/1003.87	c #Conflicts:     579000 | #Constraints:      76615
998.83/1003.87	c #Conflicts:     580000 | #Constraints:      77619
998.83/1003.87	c #Conflicts:     581000 | #Constraints:      78626
998.83/1003.87	c #Conflicts:     582000 | #Constraints:      79633
998.83/1003.87	c #Conflicts:     583000 | #Constraints:      80641
998.83/1003.87	c #Conflicts:     584000 | #Constraints:      81646
998.83/1003.87	c #Conflicts:     585000 | #Constraints:      82652
998.83/1003.87	c #Conflicts:     586000 | #Constraints:      83659
998.83/1003.87	c #Conflicts:     587000 | #Constraints:      84664
998.83/1003.87	c INPROCESSING
998.83/1003.87	c GARBAGE COLLECT
998.83/1003.87	c rational objective 627.737
1116.06/1121.57	c #Conflicts:     588000 | #Constraints:      58765
1116.06/1121.57	c #Conflicts:     589000 | #Constraints:      59765
1116.06/1121.57	c #Conflicts:     590000 | #Constraints:      60765
1116.06/1121.57	c #Conflicts:     591000 | #Constraints:      61765
1116.06/1121.57	c #Conflicts:     592000 | #Constraints:      62765
1116.06/1121.57	c #Conflicts:     593000 | #Constraints:      63765
1116.06/1121.57	c #Conflicts:     594000 | #Constraints:      64765
1116.06/1121.57	c #Conflicts:     595000 | #Constraints:      65765
1116.06/1121.57	c #Conflicts:     596000 | #Constraints:      66765
1116.06/1121.57	c #Conflicts:     597000 | #Constraints:      67765
1116.06/1121.57	c #Conflicts:     598000 | #Constraints:      68765
1116.06/1121.57	c #Conflicts:     599000 | #Constraints:      69765
1116.06/1121.57	c #Conflicts:     600000 | #Constraints:      70765
1116.06/1121.57	c #Conflicts:     601000 | #Constraints:      71765
1116.06/1121.57	c #Conflicts:     602000 | #Constraints:      72765
1116.06/1121.57	c #Conflicts:     603000 | #Constraints:      73765
1116.06/1121.57	c #Conflicts:     604000 | #Constraints:      74765
1116.06/1121.57	c #Conflicts:     605000 | #Constraints:      75765
1116.06/1121.57	c #Conflicts:     606000 | #Constraints:      76765
1116.06/1121.57	c #Conflicts:     607000 | #Constraints:      77765
1116.06/1121.57	c #Conflicts:     608000 | #Constraints:      78765
1116.06/1121.57	c #Conflicts:     609000 | #Constraints:      79765
1116.06/1121.57	c #Conflicts:     610000 | #Constraints:      80765
1116.06/1121.57	c #Conflicts:     611000 | #Constraints:      81765
1116.06/1121.57	c #Conflicts:     612000 | #Constraints:      82765
1116.06/1121.57	c #Conflicts:     613000 | #Constraints:      83765
1116.06/1121.57	c #Conflicts:     614000 | #Constraints:      84765
1116.06/1121.57	c #Conflicts:     615000 | #Constraints:      85765
1116.06/1121.57	c #Conflicts:     616000 | #Constraints:      86765
1116.06/1121.57	c bounds 890 >= 827 @ 1050.98
1116.06/1121.57	c #Conflicts:     617000 | #Constraints:      87812
1116.06/1121.57	c #Conflicts:     618000 | #Constraints:      88812
1116.06/1121.57	c #Conflicts:     619000 | #Constraints:      89813
1116.06/1121.57	c #Conflicts:     620000 | #Constraints:      90814
1116.06/1121.57	c #Conflicts:     621000 | #Constraints:      91816
1116.06/1121.57	c #Conflicts:     622000 | #Constraints:      92820
1116.06/1121.57	c #Conflicts:     623000 | #Constraints:      93825
1116.06/1121.57	c #Conflicts:     624000 | #Constraints:      94832
1116.06/1121.57	c #Conflicts:     625000 | #Constraints:      95834
1116.06/1121.57	c #Conflicts:     626000 | #Constraints:      96835
1116.06/1121.57	c #Conflicts:     627000 | #Constraints:      97842
1116.06/1121.57	c #Conflicts:     628000 | #Constraints:      98844
1116.06/1121.57	c #Conflicts:     629000 | #Constraints:      99848
1116.06/1121.57	c #Conflicts:     630000 | #Constraints:     100853
1116.06/1121.57	c #Conflicts:     631000 | #Constraints:     101859
1116.06/1121.57	c #Conflicts:     632000 | #Constraints:     102861
1116.06/1121.57	c #Conflicts:     633000 | #Constraints:     103866
1116.06/1121.57	c #Conflicts:     634000 | #Constraints:     104871
1116.06/1121.57	c #Conflicts:     635000 | #Constraints:     105880
1116.06/1121.57	c #Conflicts:     636000 | #Constraints:     106885
1116.06/1121.57	c #Conflicts:     637000 | #Constraints:     107887
1116.06/1121.57	c #Conflicts:     638000 | #Constraints:     108894
1116.06/1121.57	c #Conflicts:     639000 | #Constraints:     109898
1116.06/1121.57	c INPROCESSING
1116.06/1121.57	c GARBAGE COLLECT
1116.06/1121.57	c rational objective 628.067
1177.32/1183.03	c #Conflicts:     640000 | #Constraints:      67513
1177.32/1183.03	c #Conflicts:     641000 | #Constraints:      68513
1177.32/1183.03	c #Conflicts:     642000 | #Constraints:      69513
1177.32/1183.03	c #Conflicts:     643000 | #Constraints:      70513
1177.32/1183.03	c #Conflicts:     644000 | #Constraints:      71513
1177.32/1183.03	c #Conflicts:     645000 | #Constraints:      72513
1177.32/1183.03	c #Conflicts:     646000 | #Constraints:      73513
1177.32/1183.03	c #Conflicts:     647000 | #Constraints:      74513
1177.32/1183.03	c #Conflicts:     648000 | #Constraints:      75513
1177.32/1183.03	c #Conflicts:     649000 | #Constraints:      76513
1177.32/1183.03	c #Conflicts:     650000 | #Constraints:      77513
1177.32/1183.03	c #Conflicts:     651000 | #Constraints:      78513
1177.32/1183.03	c #Conflicts:     652000 | #Constraints:      79513
1177.32/1183.03	c #Conflicts:     653000 | #Constraints:      80513
1177.32/1183.03	c #Conflicts:     654000 | #Constraints:      81513
1177.32/1183.03	c #Conflicts:     655000 | #Constraints:      82513
1177.32/1183.03	c #Conflicts:     656000 | #Constraints:      83513
1177.32/1183.03	c #Conflicts:     657000 | #Constraints:      84513
1177.32/1183.03	c #Conflicts:     658000 | #Constraints:      85513
1177.32/1183.03	c #Conflicts:     659000 | #Constraints:      86513
1177.32/1183.03	c #Conflicts:     660000 | #Constraints:      87513
1177.32/1183.03	c #Conflicts:     661000 | #Constraints:      88513
1177.32/1183.03	c INPROCESSING
1177.32/1183.03	c GARBAGE COLLECT
1177.32/1183.03	c rational objective 630.154
1318.93/1325.20	c bounds 890 >= 828 @ 1164.54
1318.93/1325.20	c #Conflicts:     662000 | #Constraints:      61279
1318.93/1325.20	c #Conflicts:     663000 | #Constraints:      62279
1318.93/1325.20	c #Conflicts:     664000 | #Constraints:      63279
1318.93/1325.20	c #Conflicts:     665000 | #Constraints:      64279
1318.93/1325.20	c #Conflicts:     666000 | #Constraints:      65279
1318.93/1325.20	c #Conflicts:     667000 | #Constraints:      66279
1318.93/1325.20	c #Conflicts:     668000 | #Constraints:      67279
1318.93/1325.20	c #Conflicts:     669000 | #Constraints:      68279
1318.93/1325.20	c #Conflicts:     670000 | #Constraints:      69279
1318.93/1325.20	c #Conflicts:     671000 | #Constraints:      70279
1318.93/1325.20	c #Conflicts:     672000 | #Constraints:      71279
1318.93/1325.20	c #Conflicts:     673000 | #Constraints:      72279
1318.93/1325.20	c #Conflicts:     674000 | #Constraints:      73279
1318.93/1325.20	c #Conflicts:     675000 | #Constraints:      74279
1318.93/1325.20	c #Conflicts:     676000 | #Constraints:      75279
1318.93/1325.20	c #Conflicts:     677000 | #Constraints:      76279
1318.93/1325.20	c #Conflicts:     678000 | #Constraints:      77279
1318.93/1325.20	c #Conflicts:     679000 | #Constraints:      78279
1318.93/1325.20	c #Conflicts:     680000 | #Constraints:      79279
1318.93/1325.20	c #Conflicts:     681000 | #Constraints:      80279
1318.93/1325.20	c #Conflicts:     682000 | #Constraints:      81279
1318.93/1325.20	c #Conflicts:     683000 | #Constraints:      82279
1318.93/1325.20	c #Conflicts:     684000 | #Constraints:      83279
1318.93/1325.20	c #Conflicts:     685000 | #Constraints:      84279
1318.93/1325.20	c #Conflicts:     686000 | #Constraints:      85279
1318.93/1325.20	c #Conflicts:     687000 | #Constraints:      86279
1318.93/1325.20	c #Conflicts:     688000 | #Constraints:      87279
1318.93/1325.20	c #Conflicts:     689000 | #Constraints:      88279
1318.93/1325.20	c #Conflicts:     690000 | #Constraints:      89279
1318.93/1325.20	c #Conflicts:     691000 | #Constraints:      90279
1318.93/1325.20	c #Conflicts:     692000 | #Constraints:      91279
1318.93/1325.20	c #Conflicts:     693000 | #Constraints:      92279
1318.93/1325.20	c #Conflicts:     694000 | #Constraints:      93279
1318.93/1325.20	c #Conflicts:     695000 | #Constraints:      94279
1318.93/1325.20	c #Conflicts:     696000 | #Constraints:      95279
1318.93/1325.20	c #Conflicts:     697000 | #Constraints:      96279
1318.93/1325.20	c #Conflicts:     698000 | #Constraints:      97279
1318.93/1325.20	c #Conflicts:     699000 | #Constraints:      98279
1318.93/1325.20	c #Conflicts:     700000 | #Constraints:      99279
1318.93/1325.20	c bounds 890 >= 829 @ 1280
1318.93/1325.20	c #Conflicts:     701000 | #Constraints:     100317
1318.93/1325.20	c #Conflicts:     702000 | #Constraints:     101318
1318.93/1325.20	c #Conflicts:     703000 | #Constraints:     102325
1318.93/1325.20	c #Conflicts:     704000 | #Constraints:     103330
1318.93/1325.20	c #Conflicts:     705000 | #Constraints:     104340
1318.93/1325.20	c #Conflicts:     706000 | #Constraints:     105349
1318.93/1325.20	c #Conflicts:     707000 | #Constraints:     106357
1318.93/1325.20	c #Conflicts:     708000 | #Constraints:     107368
1318.93/1325.20	c #Conflicts:     709000 | #Constraints:     108374
1318.93/1325.20	c #Conflicts:     710000 | #Constraints:     109382
1318.93/1325.20	c #Conflicts:     711000 | #Constraints:     110387
1318.93/1325.20	c #Conflicts:     712000 | #Constraints:     111394
1318.93/1325.20	c #Conflicts:     713000 | #Constraints:     112399
1318.93/1325.20	c #Conflicts:     714000 | #Constraints:     113405
1318.93/1325.20	c #Conflicts:     715000 | #Constraints:     114412
1318.93/1325.20	c #Conflicts:     716000 | #Constraints:     115413
1318.93/1325.20	c INPROCESSING
1318.93/1325.20	c GARBAGE COLLECT
1318.93/1325.20	c rational objective 631.497
1354.28/1360.78	c #Conflicts:     717000 | #Constraints:      70126
1354.28/1360.78	c #Conflicts:     718000 | #Constraints:      71131
1354.28/1360.78	c #Conflicts:     719000 | #Constraints:      72137
1354.28/1360.78	c #Conflicts:     720000 | #Constraints:      73143
1354.28/1360.78	c #Conflicts:     721000 | #Constraints:      74151
1354.28/1360.78	c #Conflicts:     722000 | #Constraints:      75160
1354.28/1360.78	c #Conflicts:     723000 | #Constraints:      76169
1354.28/1360.78	c #Conflicts:     724000 | #Constraints:      77174
1354.28/1360.78	c #Conflicts:     725000 | #Constraints:      78183
1354.28/1360.78	c #Conflicts:     726000 | #Constraints:      79189
1354.28/1360.78	c #Conflicts:     727000 | #Constraints:      80193
1354.28/1360.78	c #Conflicts:     728000 | #Constraints:      81204
1354.28/1360.78	c #Conflicts:     729000 | #Constraints:      82209
1354.28/1360.78	c #Conflicts:     730000 | #Constraints:      83209
1354.28/1360.78	c #Conflicts:     731000 | #Constraints:      84216
1354.28/1360.78	c #Conflicts:     732000 | #Constraints:      85220
1354.28/1360.78	c #Conflicts:     733000 | #Constraints:      86224
1354.28/1360.78	c #Conflicts:     734000 | #Constraints:      87228
1354.28/1360.78	c #Conflicts:     735000 | #Constraints:      88234
1354.28/1360.78	c #Conflicts:     736000 | #Constraints:      89241
1354.28/1360.78	c #Conflicts:     737000 | #Constraints:      90248
1354.28/1360.78	c #Conflicts:     738000 | #Constraints:      91251
1354.28/1360.78	c #Conflicts:     739000 | #Constraints:      92257
1354.28/1360.78	c #Conflicts:     740000 | #Constraints:      93265
1354.28/1360.78	c INPROCESSING
1354.28/1360.78	c GARBAGE COLLECT
1354.28/1360.78	c rational objective 632.299
1544.23/1551.46	c #Conflicts:     741000 | #Constraints:      63753
1544.23/1551.46	c #Conflicts:     742000 | #Constraints:      64758
1544.23/1551.46	c #Conflicts:     743000 | #Constraints:      65765
1544.23/1551.46	c #Conflicts:     744000 | #Constraints:      66768
1544.23/1551.46	c #Conflicts:     745000 | #Constraints:      67776
1544.23/1551.46	c #Conflicts:     746000 | #Constraints:      68782
1544.23/1551.46	c #Conflicts:     747000 | #Constraints:      69786
1544.23/1551.46	c #Conflicts:     748000 | #Constraints:      70788
1544.23/1551.46	c #Conflicts:     749000 | #Constraints:      71794
1544.23/1551.46	c #Conflicts:     750000 | #Constraints:      72802
1544.23/1551.46	c #Conflicts:     751000 | #Constraints:      73817
1544.23/1551.46	c #Conflicts:     752000 | #Constraints:      74824
1544.23/1551.46	c #Conflicts:     753000 | #Constraints:      75827
1544.23/1551.46	c #Conflicts:     754000 | #Constraints:      76827
1544.23/1551.46	c #Conflicts:     755000 | #Constraints:      77830
1544.23/1551.46	c #Conflicts:     756000 | #Constraints:      78835
1544.23/1551.46	c #Conflicts:     757000 | #Constraints:      79843
1544.23/1551.46	c #Conflicts:     758000 | #Constraints:      80848
1544.23/1551.46	c #Conflicts:     759000 | #Constraints:      81853
1544.23/1551.46	c #Conflicts:     760000 | #Constraints:      82862
1544.23/1551.46	c #Conflicts:     761000 | #Constraints:      83872
1544.23/1551.46	c #Conflicts:     762000 | #Constraints:      84878
1544.23/1551.46	c #Conflicts:     763000 | #Constraints:      85881
1544.23/1551.46	c #Conflicts:     764000 | #Constraints:      86885
1544.23/1551.46	c #Conflicts:     765000 | #Constraints:      87894
1544.23/1551.46	c #Conflicts:     766000 | #Constraints:      88907
1544.23/1551.46	c #Conflicts:     767000 | #Constraints:      89916
1544.23/1551.46	c #Conflicts:     768000 | #Constraints:      90928
1544.23/1551.46	c #Conflicts:     769000 | #Constraints:      91936
1544.23/1551.46	c #Conflicts:     770000 | #Constraints:      92938
1544.23/1551.46	c #Conflicts:     771000 | #Constraints:      93938
1544.23/1551.46	c #Conflicts:     772000 | #Constraints:      94938
1544.23/1551.46	c #Conflicts:     773000 | #Constraints:      95938
1544.23/1551.46	c #Conflicts:     774000 | #Constraints:      96939
1544.23/1551.46	c #Conflicts:     775000 | #Constraints:      97945
1544.23/1551.46	c #Conflicts:     776000 | #Constraints:      98948
1544.23/1551.46	c #Conflicts:     777000 | #Constraints:      99955
1544.23/1551.46	c #Conflicts:     778000 | #Constraints:     100965
1544.23/1551.46	c #Conflicts:     779000 | #Constraints:     101969
1544.23/1551.46	c #Conflicts:     780000 | #Constraints:     102975
1544.23/1551.46	c #Conflicts:     781000 | #Constraints:     103981
1544.23/1551.46	c #Conflicts:     782000 | #Constraints:     104988
1544.23/1551.46	c #Conflicts:     783000 | #Constraints:     105994
1544.23/1551.46	c #Conflicts:     784000 | #Constraints:     106997
1544.23/1551.46	c #Conflicts:     785000 | #Constraints:     108004
1544.23/1551.46	c #Conflicts:     786000 | #Constraints:     109010
1544.23/1551.46	c #Conflicts:     787000 | #Constraints:     110016
1544.23/1551.46	c #Conflicts:     788000 | #Constraints:     111024
1544.23/1551.46	c #Conflicts:     789000 | #Constraints:     112028
1544.23/1551.46	c #Conflicts:     790000 | #Constraints:     113030
1544.23/1551.46	c #Conflicts:     791000 | #Constraints:     114033
1544.23/1551.46	c #Conflicts:     792000 | #Constraints:     115038
1544.23/1551.46	c #Conflicts:     793000 | #Constraints:     116045
1544.23/1551.46	c #Conflicts:     794000 | #Constraints:     117050
1544.23/1551.46	c #Conflicts:     795000 | #Constraints:     118055
1544.23/1551.46	c #Conflicts:     796000 | #Constraints:     119060
1544.23/1551.46	c #Conflicts:     797000 | #Constraints:     120066
1544.23/1551.46	c #Conflicts:     798000 | #Constraints:     121073
1544.23/1551.46	c INPROCESSING
1544.23/1551.46	c GARBAGE COLLECT
1544.23/1551.46	c rational objective 634.405
1626.95/1634.49	c #Conflicts:     799000 | #Constraints:      73357
1626.95/1634.49	c #Conflicts:     800000 | #Constraints:      74357
1626.95/1634.49	c #Conflicts:     801000 | #Constraints:      75357
1626.95/1634.49	c #Conflicts:     802000 | #Constraints:      76357
1626.95/1634.49	c #Conflicts:     803000 | #Constraints:      77357
1626.95/1634.49	c #Conflicts:     804000 | #Constraints:      78357
1626.95/1634.49	c #Conflicts:     805000 | #Constraints:      79357
1626.95/1634.49	c #Conflicts:     806000 | #Constraints:      80357
1626.95/1634.49	c #Conflicts:     807000 | #Constraints:      81357
1626.95/1634.49	c #Conflicts:     808000 | #Constraints:      82357
1626.95/1634.49	c #Conflicts:     809000 | #Constraints:      83357
1626.95/1634.49	c #Conflicts:     810000 | #Constraints:      84357
1626.95/1634.49	c #Conflicts:     811000 | #Constraints:      85357
1626.95/1634.49	c #Conflicts:     812000 | #Constraints:      86357
1626.95/1634.49	c #Conflicts:     813000 | #Constraints:      87357
1626.95/1634.49	c #Conflicts:     814000 | #Constraints:      88357
1626.95/1634.49	c #Conflicts:     815000 | #Constraints:      89357
1626.95/1634.49	c #Conflicts:     816000 | #Constraints:      90357
1626.95/1634.49	c #Conflicts:     817000 | #Constraints:      91357
1626.95/1634.49	c #Conflicts:     818000 | #Constraints:      92357
1626.95/1634.50	c #Conflicts:     819000 | #Constraints:      93357
1626.95/1634.50	c #Conflicts:     820000 | #Constraints:      94357
1626.95/1634.50	c #Conflicts:     821000 | #Constraints:      95357
1626.95/1634.50	c #Conflicts:     822000 | #Constraints:      96357
1626.95/1634.50	c INPROCESSING
1626.95/1634.50	c GARBAGE COLLECT
1626.95/1634.50	c rational objective 636.727
1827.29/1835.49	c #Conflicts:     823000 | #Constraints:      64752
1827.29/1835.49	c #Conflicts:     824000 | #Constraints:      65752
1827.29/1835.49	c #Conflicts:     825000 | #Constraints:      66752
1827.29/1835.49	c #Conflicts:     826000 | #Constraints:      67752
1827.29/1835.49	c #Conflicts:     827000 | #Constraints:      68752
1827.29/1835.49	c #Conflicts:     828000 | #Constraints:      69752
1827.29/1835.49	c #Conflicts:     829000 | #Constraints:      70752
1827.29/1835.49	c #Conflicts:     830000 | #Constraints:      71752
1827.29/1835.49	c #Conflicts:     831000 | #Constraints:      72752
1827.29/1835.49	c #Conflicts:     832000 | #Constraints:      73752
1827.29/1835.49	c #Conflicts:     833000 | #Constraints:      74752
1827.29/1835.49	c #Conflicts:     834000 | #Constraints:      75752
1827.29/1835.49	c #Conflicts:     835000 | #Constraints:      76752
1827.29/1835.49	c #Conflicts:     836000 | #Constraints:      77752
1827.29/1835.49	c #Conflicts:     837000 | #Constraints:      78752
1827.29/1835.49	c #Conflicts:     838000 | #Constraints:      79752
1827.29/1835.49	c #Conflicts:     839000 | #Constraints:      80752
1827.29/1835.49	c #Conflicts:     840000 | #Constraints:      81752
1827.29/1835.49	c #Conflicts:     841000 | #Constraints:      82752
1827.29/1835.49	c #Conflicts:     842000 | #Constraints:      83752
1827.29/1835.49	c #Conflicts:     843000 | #Constraints:      84752
1827.29/1835.49	c bounds 890 >= 830 @ 1659.34
1827.29/1835.49	c #Conflicts:     844000 | #Constraints:      85811
1827.29/1835.49	c #Conflicts:     845000 | #Constraints:      86811
1827.29/1835.49	c #Conflicts:     846000 | #Constraints:      87811
1827.29/1835.49	c #Conflicts:     847000 | #Constraints:      88811
1827.29/1835.49	c #Conflicts:     848000 | #Constraints:      89811
1827.29/1835.49	c #Conflicts:     849000 | #Constraints:      90811
1827.29/1835.49	c #Conflicts:     850000 | #Constraints:      91811
1827.29/1835.49	c #Conflicts:     851000 | #Constraints:      92811
1827.29/1835.49	c #Conflicts:     852000 | #Constraints:      93811
1827.29/1835.49	c #Conflicts:     853000 | #Constraints:      94811
1827.29/1835.49	c #Conflicts:     854000 | #Constraints:      95811
1827.29/1835.49	c #Conflicts:     855000 | #Constraints:      96811
1827.29/1835.49	c #Conflicts:     856000 | #Constraints:      97811
1827.29/1835.49	c #Conflicts:     857000 | #Constraints:      98811
1827.29/1835.49	c #Conflicts:     858000 | #Constraints:      99811
1827.29/1835.49	c #Conflicts:     859000 | #Constraints:     100811
1827.29/1835.49	c #Conflicts:     860000 | #Constraints:     101811
1827.29/1835.49	c #Conflicts:     861000 | #Constraints:     102811
1827.29/1835.49	c #Conflicts:     862000 | #Constraints:     103811
1827.29/1835.49	c #Conflicts:     863000 | #Constraints:     104811
1827.29/1835.49	c #Conflicts:     864000 | #Constraints:     105811
1827.29/1835.49	c #Conflicts:     865000 | #Constraints:     106811
1827.29/1835.49	c #Conflicts:     866000 | #Constraints:     107811
1827.29/1835.49	c #Conflicts:     867000 | #Constraints:     108811
1827.29/1835.49	c #Conflicts:     868000 | #Constraints:     109811
1827.29/1835.49	c #Conflicts:     869000 | #Constraints:     110811
1827.29/1835.49	c #Conflicts:     870000 | #Constraints:     111811
1827.29/1835.49	c #Conflicts:     871000 | #Constraints:     112811
1827.29/1835.49	c #Conflicts:     872000 | #Constraints:     113811
1827.29/1835.49	c #Conflicts:     873000 | #Constraints:     114811
1827.29/1835.49	c #Conflicts:     874000 | #Constraints:     115811
1827.29/1835.49	c #Conflicts:     875000 | #Constraints:     116811
1827.29/1835.49	c #Conflicts:     876000 | #Constraints:     117811
1827.29/1835.49	c #Conflicts:     877000 | #Constraints:     118811
1827.29/1835.49	c #Conflicts:     878000 | #Constraints:     119811
1827.29/1835.49	c #Conflicts:     879000 | #Constraints:     120811
1827.29/1835.49	c bounds 890 >= 831 @ 1789.28
1827.29/1835.49	c #Conflicts:     880000 | #Constraints:     121849
1827.29/1835.49	c #Conflicts:     881000 | #Constraints:     122849
1827.29/1835.49	c #Conflicts:     882000 | #Constraints:     123849
1827.29/1835.49	c #Conflicts:     883000 | #Constraints:     124849
1827.29/1835.49	c #Conflicts:     884000 | #Constraints:     125849
1827.29/1835.49	c INPROCESSING
1827.29/1835.49	c GARBAGE COLLECT
1827.29/1835.49	c rational objective 637.418
1905.92/1914.38	c #Conflicts:     885000 | #Constraints:      75804
1905.92/1914.38	c #Conflicts:     886000 | #Constraints:      76804
1905.92/1914.38	c #Conflicts:     887000 | #Constraints:      77804
1905.92/1914.38	c #Conflicts:     888000 | #Constraints:      78804
1905.92/1914.38	c #Conflicts:     889000 | #Constraints:      79804
1905.92/1914.38	c #Conflicts:     890000 | #Constraints:      80804
1905.92/1914.38	c #Conflicts:     891000 | #Constraints:      81804
1905.92/1914.38	c #Conflicts:     892000 | #Constraints:      82804
1905.92/1914.38	c #Conflicts:     893000 | #Constraints:      83804
1905.92/1914.38	c #Conflicts:     894000 | #Constraints:      84804
1905.92/1914.38	c #Conflicts:     895000 | #Constraints:      85804
1905.92/1914.38	c #Conflicts:     896000 | #Constraints:      86804
1905.92/1914.38	c #Conflicts:     897000 | #Constraints:      87804
1905.92/1914.38	c #Conflicts:     898000 | #Constraints:      88804
1905.92/1914.38	c #Conflicts:     899000 | #Constraints:      89804
1905.92/1914.38	c #Conflicts:     900000 | #Constraints:      90804
1905.92/1914.38	c #Conflicts:     901000 | #Constraints:      91804
1905.92/1914.38	c #Conflicts:     902000 | #Constraints:      92804
1905.92/1914.38	c #Conflicts:     903000 | #Constraints:      93804
1905.92/1914.38	c #Conflicts:     904000 | #Constraints:      94804
1905.92/1914.38	c #Conflicts:     905000 | #Constraints:      95804
1905.92/1914.38	c #Conflicts:     906000 | #Constraints:      96804
1905.92/1914.38	c #Conflicts:     907000 | #Constraints:      97804
1905.92/1914.38	c #Conflicts:     908000 | #Constraints:      98804
1905.92/1914.38	c #Conflicts:     909000 | #Constraints:      99804
1905.92/1914.38	c #Conflicts:     910000 | #Constraints:     100804
1905.92/1914.38	c INPROCESSING
1905.92/1914.38	c GARBAGE COLLECT
1905.92/1914.38	c rational objective 637.994
2088.22/2097.24	c #Conflicts:     911000 | #Constraints:      68736
2088.22/2097.24	c #Conflicts:     912000 | #Constraints:      69736
2088.22/2097.24	c #Conflicts:     913000 | #Constraints:      70737
2088.22/2097.24	c #Conflicts:     914000 | #Constraints:      71745
2088.22/2097.24	c #Conflicts:     915000 | #Constraints:      72753
2088.22/2097.24	c #Conflicts:     916000 | #Constraints:      73758
2088.22/2097.24	c #Conflicts:     917000 | #Constraints:      74758
2088.22/2097.24	c #Conflicts:     918000 | #Constraints:      75761
2088.22/2097.24	c #Conflicts:     919000 | #Constraints:      76773
2088.22/2097.24	c #Conflicts:     920000 | #Constraints:      77781
2088.22/2097.24	c #Conflicts:     921000 | #Constraints:      78781
2088.22/2097.24	c #Conflicts:     922000 | #Constraints:      79781
2088.22/2097.24	c #Conflicts:     923000 | #Constraints:      80781
2088.22/2097.24	c #Conflicts:     924000 | #Constraints:      81781
2088.22/2097.24	c #Conflicts:     925000 | #Constraints:      82782
2088.22/2097.24	c #Conflicts:     926000 | #Constraints:      83787
2088.22/2097.24	c #Conflicts:     927000 | #Constraints:      84792
2088.22/2097.24	c #Conflicts:     928000 | #Constraints:      85800
2088.22/2097.24	c #Conflicts:     929000 | #Constraints:      86814
2088.22/2097.24	c #Conflicts:     930000 | #Constraints:      87816
2088.22/2097.24	c #Conflicts:     931000 | #Constraints:      88818
2088.22/2097.24	c #Conflicts:     932000 | #Constraints:      89823
2088.22/2097.24	c #Conflicts:     933000 | #Constraints:      90824
2088.22/2097.24	c #Conflicts:     934000 | #Constraints:      91831
2088.22/2097.24	c #Conflicts:     935000 | #Constraints:      92840
2088.22/2097.24	c #Conflicts:     936000 | #Constraints:      93849
2088.22/2097.24	c #Conflicts:     937000 | #Constraints:      94856
2088.22/2097.24	c #Conflicts:     938000 | #Constraints:      95864
2088.22/2097.24	c #Conflicts:     939000 | #Constraints:      96868
2088.22/2097.24	c #Conflicts:     940000 | #Constraints:      97873
2088.22/2097.24	c #Conflicts:     941000 | #Constraints:      98877
2088.22/2097.24	c #Conflicts:     942000 | #Constraints:      99881
2088.22/2097.24	c #Conflicts:     943000 | #Constraints:     100885
2088.22/2097.24	c #Conflicts:     944000 | #Constraints:     101892
2088.22/2097.24	c #Conflicts:     945000 | #Constraints:     102899
2088.22/2097.24	c #Conflicts:     946000 | #Constraints:     103902
2088.22/2097.24	c #Conflicts:     947000 | #Constraints:     104907
2088.22/2097.24	c #Conflicts:     948000 | #Constraints:     105911
2088.22/2097.24	c #Conflicts:     949000 | #Constraints:     106912
2088.22/2097.24	c #Conflicts:     950000 | #Constraints:     107912
2088.22/2097.24	c #Conflicts:     951000 | #Constraints:     108918
2088.22/2097.24	c #Conflicts:     952000 | #Constraints:     109922
2088.22/2097.24	c #Conflicts:     953000 | #Constraints:     110930
2088.22/2097.24	c #Conflicts:     954000 | #Constraints:     111940
2088.22/2097.24	c #Conflicts:     955000 | #Constraints:     112945
2088.22/2097.24	c #Conflicts:     956000 | #Constraints:     113948
2088.22/2097.24	c #Conflicts:     957000 | #Constraints:     114958
2088.22/2097.24	c #Conflicts:     958000 | #Constraints:     115969
2088.22/2097.24	c #Conflicts:     959000 | #Constraints:     116977
2088.22/2097.24	c #Conflicts:     960000 | #Constraints:     117987
2088.22/2097.24	c #Conflicts:     961000 | #Constraints:     118995
2088.22/2097.24	c #Conflicts:     962000 | #Constraints:     120003
2088.22/2097.24	c #Conflicts:     963000 | #Constraints:     121009
2088.22/2097.24	c #Conflicts:     964000 | #Constraints:     122018
2088.22/2097.24	c #Conflicts:     965000 | #Constraints:     123020
2088.22/2097.24	c #Conflicts:     966000 | #Constraints:     124032
2088.22/2097.24	c #Conflicts:     967000 | #Constraints:     125037
2088.22/2097.24	c #Conflicts:     968000 | #Constraints:     126044
2088.22/2097.24	c #Conflicts:     969000 | #Constraints:     127047
2088.22/2097.24	c #Conflicts:     970000 | #Constraints:     128053
2088.22/2097.24	c #Conflicts:     971000 | #Constraints:     129056
2088.22/2097.24	c #Conflicts:     972000 | #Constraints:     130061
2088.22/2097.24	c #Conflicts:     973000 | #Constraints:     131069
2088.22/2097.24	c #Conflicts:     974000 | #Constraints:     132074
2088.22/2097.24	c INPROCESSING
2088.22/2097.24	c GARBAGE COLLECT
2088.22/2097.24	c rational objective 639.406
2178.99/2188.31	c #Conflicts:     975000 | #Constraints:      78657
2178.99/2188.31	c #Conflicts:     976000 | #Constraints:      79657
2178.99/2188.31	c #Conflicts:     977000 | #Constraints:      80657
2178.99/2188.31	c #Conflicts:     978000 | #Constraints:      81657
2178.99/2188.31	c #Conflicts:     979000 | #Constraints:      82657
2178.99/2188.31	c #Conflicts:     980000 | #Constraints:      83657
2178.99/2188.31	c #Conflicts:     981000 | #Constraints:      84657
2178.99/2188.31	c #Conflicts:     982000 | #Constraints:      85657
2178.99/2188.31	c #Conflicts:     983000 | #Constraints:      86657
2178.99/2188.31	c #Conflicts:     984000 | #Constraints:      87657
2178.99/2188.31	c #Conflicts:     985000 | #Constraints:      88657
2178.99/2188.31	c #Conflicts:     986000 | #Constraints:      89657
2178.99/2188.31	c #Conflicts:     987000 | #Constraints:      90657
2178.99/2188.31	c #Conflicts:     988000 | #Constraints:      91657
2178.99/2188.31	c #Conflicts:     989000 | #Constraints:      92657
2178.99/2188.31	c #Conflicts:     990000 | #Constraints:      93657
2178.99/2188.31	c #Conflicts:     991000 | #Constraints:      94657
2178.99/2188.31	c #Conflicts:     992000 | #Constraints:      95657
2178.99/2188.31	c #Conflicts:     993000 | #Constraints:      96657
2178.99/2188.31	c #Conflicts:     994000 | #Constraints:      97657
2178.99/2188.31	c #Conflicts:     995000 | #Constraints:      98657
2178.99/2188.31	c #Conflicts:     996000 | #Constraints:      99657
2178.99/2188.31	c #Conflicts:     997000 | #Constraints:     100657
2178.99/2188.31	c #Conflicts:     998000 | #Constraints:     101657
2178.99/2188.31	c #Conflicts:     999000 | #Constraints:     102657
2178.99/2188.31	c #Conflicts:    1000000 | #Constraints:     103657
2178.99/2188.31	c #Conflicts:    1001000 | #Constraints:     104657
2178.99/2188.31	c INPROCESSING
2178.99/2188.31	c GARBAGE COLLECT
2178.99/2188.31	c rational objective 640.851
2418.91/2429.18	c #Conflicts:    1002000 | #Constraints:      69704
2418.91/2429.18	c #Conflicts:    1003000 | #Constraints:      70704
2418.91/2429.18	c #Conflicts:    1004000 | #Constraints:      71704
2418.91/2429.18	c #Conflicts:    1005000 | #Constraints:      72704
2418.91/2429.18	c #Conflicts:    1006000 | #Constraints:      73704
2418.91/2429.18	c #Conflicts:    1007000 | #Constraints:      74704
2418.91/2429.18	c #Conflicts:    1008000 | #Constraints:      75704
2418.91/2429.18	c #Conflicts:    1009000 | #Constraints:      76704
2418.91/2429.18	c #Conflicts:    1010000 | #Constraints:      77704
2418.91/2429.18	c #Conflicts:    1011000 | #Constraints:      78704
2418.91/2429.18	c #Conflicts:    1012000 | #Constraints:      79704
2418.91/2429.18	c #Conflicts:    1013000 | #Constraints:      80704
2418.91/2429.18	c #Conflicts:    1014000 | #Constraints:      81704
2418.91/2429.18	c #Conflicts:    1015000 | #Constraints:      82704
2418.91/2429.18	c #Conflicts:    1016000 | #Constraints:      83704
2418.91/2429.18	c #Conflicts:    1017000 | #Constraints:      84704
2418.91/2429.18	c #Conflicts:    1018000 | #Constraints:      85704
2418.91/2429.18	c bounds 890 >= 832 @ 2203.34
2418.91/2429.18	c #Conflicts:    1019000 | #Constraints:      86742
2418.91/2429.18	c #Conflicts:    1020000 | #Constraints:      87742
2418.91/2429.18	c #Conflicts:    1021000 | #Constraints:      88742
2418.91/2429.18	c #Conflicts:    1022000 | #Constraints:      89742
2418.91/2429.18	c #Conflicts:    1023000 | #Constraints:      90742
2418.91/2429.18	c #Conflicts:    1024000 | #Constraints:      91742
2418.91/2429.18	c #Conflicts:    1025000 | #Constraints:      92742
2418.91/2429.18	c #Conflicts:    1026000 | #Constraints:      93742
2418.91/2429.18	c #Conflicts:    1027000 | #Constraints:      94742
2418.91/2429.18	c #Conflicts:    1028000 | #Constraints:      95742
2418.91/2429.18	c #Conflicts:    1029000 | #Constraints:      96742
2418.91/2429.18	c #Conflicts:    1030000 | #Constraints:      97742
2418.91/2429.18	c #Conflicts:    1031000 | #Constraints:      98742
2418.91/2429.18	c #Conflicts:    1032000 | #Constraints:      99742
2418.91/2429.18	c #Conflicts:    1033000 | #Constraints:     100742
2418.91/2429.18	c #Conflicts:    1034000 | #Constraints:     101742
2418.91/2429.18	c #Conflicts:    1035000 | #Constraints:     102742
2418.91/2429.18	c #Conflicts:    1036000 | #Constraints:     103742
2418.91/2429.18	c #Conflicts:    1037000 | #Constraints:     104742
2418.91/2429.18	c #Conflicts:    1038000 | #Constraints:     105742
2418.91/2429.18	c #Conflicts:    1039000 | #Constraints:     106742
2418.91/2429.18	c #Conflicts:    1040000 | #Constraints:     107742
2418.91/2429.18	c #Conflicts:    1041000 | #Constraints:     108742
2418.91/2429.18	c #Conflicts:    1042000 | #Constraints:     109742
2418.91/2429.18	c #Conflicts:    1043000 | #Constraints:     110742
2418.91/2429.18	c #Conflicts:    1044000 | #Constraints:     111742
2418.91/2429.18	c #Conflicts:    1045000 | #Constraints:     112742
2418.91/2429.18	c #Conflicts:    1046000 | #Constraints:     113742
2418.91/2429.18	c #Conflicts:    1047000 | #Constraints:     114742
2418.91/2429.18	c #Conflicts:    1048000 | #Constraints:     115742
2418.91/2429.18	c #Conflicts:    1049000 | #Constraints:     116742
2418.91/2429.18	c #Conflicts:    1050000 | #Constraints:     117742
2418.91/2429.18	c #Conflicts:    1051000 | #Constraints:     118742
2418.91/2429.18	c #Conflicts:    1052000 | #Constraints:     119742
2418.91/2429.18	c #Conflicts:    1053000 | #Constraints:     120742
2418.91/2429.18	c #Conflicts:    1054000 | #Constraints:     121742
2418.91/2429.18	c #Conflicts:    1055000 | #Constraints:     122742
2418.91/2429.18	c #Conflicts:    1056000 | #Constraints:     123742
2418.91/2429.18	c #Conflicts:    1057000 | #Constraints:     124742
2418.91/2429.18	c #Conflicts:    1058000 | #Constraints:     125742
2418.91/2429.18	c #Conflicts:    1059000 | #Constraints:     126742
2418.91/2429.18	c #Conflicts:    1060000 | #Constraints:     127742
2418.91/2429.18	c #Conflicts:    1061000 | #Constraints:     128742
2418.91/2429.18	c #Conflicts:    1062000 | #Constraints:     129742
2418.91/2429.18	c #Conflicts:    1063000 | #Constraints:     130742
2418.91/2429.18	c #Conflicts:    1064000 | #Constraints:     131742
2418.91/2429.18	c #Conflicts:    1065000 | #Constraints:     132742
2418.91/2429.18	c #Conflicts:    1066000 | #Constraints:     133742
2418.91/2429.18	c #Conflicts:    1067000 | #Constraints:     134742
2418.91/2429.18	c #Conflicts:    1068000 | #Constraints:     135742
2418.91/2429.18	c #Conflicts:    1069000 | #Constraints:     136742
2418.91/2429.18	c INPROCESSING
2418.91/2429.18	c GARBAGE COLLECT
2418.91/2429.18	c rational objective 641.73
2508.54/2519.11	c #Conflicts:    1070000 | #Constraints:      80864
2508.54/2519.11	c #Conflicts:    1071000 | #Constraints:      81864
2508.54/2519.11	c #Conflicts:    1072000 | #Constraints:      82864
2508.54/2519.11	c #Conflicts:    1073000 | #Constraints:      83864
2508.54/2519.11	c #Conflicts:    1074000 | #Constraints:      84864
2508.54/2519.11	c #Conflicts:    1075000 | #Constraints:      85864
2508.54/2519.11	c #Conflicts:    1076000 | #Constraints:      86864
2508.54/2519.11	c #Conflicts:    1077000 | #Constraints:      87864
2508.54/2519.11	c #Conflicts:    1078000 | #Constraints:      88864
2508.54/2519.11	c #Conflicts:    1079000 | #Constraints:      89864
2508.54/2519.11	c #Conflicts:    1080000 | #Constraints:      90864
2508.54/2519.11	c #Conflicts:    1081000 | #Constraints:      91864
2508.54/2519.11	c #Conflicts:    1082000 | #Constraints:      92864
2508.54/2519.11	c #Conflicts:    1083000 | #Constraints:      93864
2508.54/2519.11	c #Conflicts:    1084000 | #Constraints:      94864
2508.54/2519.11	c #Conflicts:    1085000 | #Constraints:      95864
2508.54/2519.11	c #Conflicts:    1086000 | #Constraints:      96864
2508.54/2519.11	c #Conflicts:    1087000 | #Constraints:      97864
2508.54/2519.11	c #Conflicts:    1088000 | #Constraints:      98864
2508.54/2519.11	c #Conflicts:    1089000 | #Constraints:      99864
2508.54/2519.11	c #Conflicts:    1090000 | #Constraints:     100864
2508.54/2519.11	c #Conflicts:    1091000 | #Constraints:     101864
2508.54/2519.11	c #Conflicts:    1092000 | #Constraints:     102864
2508.54/2519.11	c #Conflicts:    1093000 | #Constraints:     103864
2508.54/2519.11	c #Conflicts:    1094000 | #Constraints:     104864
2508.54/2519.11	c #Conflicts:    1095000 | #Constraints:     105864
2508.54/2519.11	c bounds 890 >= 833 @ 2477.16
2508.54/2519.11	c #Conflicts:    1096000 | #Constraints:     106899
2508.54/2519.11	c #Conflicts:    1097000 | #Constraints:     107899
2508.54/2519.11	c #Conflicts:    1098000 | #Constraints:     108899
2508.54/2519.11	c INPROCESSING
2508.54/2519.11	c GARBAGE COLLECT
2508.54/2519.11	c rational objective 642.712
2718.88/2730.36	c #Conflicts:    1099000 | #Constraints:      72649
2718.88/2730.36	c #Conflicts:    1100000 | #Constraints:      73649
2718.88/2730.36	c #Conflicts:    1101000 | #Constraints:      74649
2718.88/2730.36	c #Conflicts:    1102000 | #Constraints:      75649
2718.88/2730.36	c #Conflicts:    1103000 | #Constraints:      76649
2718.88/2730.36	c #Conflicts:    1104000 | #Constraints:      77649
2718.88/2730.36	c #Conflicts:    1105000 | #Constraints:      78649
2718.88/2730.36	c #Conflicts:    1106000 | #Constraints:      79650
2718.88/2730.36	c #Conflicts:    1107000 | #Constraints:      80661
2718.88/2730.36	c #Conflicts:    1108000 | #Constraints:      81669
2718.88/2730.36	c #Conflicts:    1109000 | #Constraints:      82682
2718.88/2730.36	c #Conflicts:    1110000 | #Constraints:      83692
2718.88/2730.36	c #Conflicts:    1111000 | #Constraints:      84694
2718.88/2730.36	c #Conflicts:    1112000 | #Constraints:      85701
2718.88/2730.36	c #Conflicts:    1113000 | #Constraints:      86710
2718.88/2730.36	c #Conflicts:    1114000 | #Constraints:      87718
2718.88/2730.36	c #Conflicts:    1115000 | #Constraints:      88724
2718.88/2730.36	c #Conflicts:    1116000 | #Constraints:      89732
2718.88/2730.36	c #Conflicts:    1117000 | #Constraints:      90735
2718.88/2730.36	c #Conflicts:    1118000 | #Constraints:      91740
2718.88/2730.36	c #Conflicts:    1119000 | #Constraints:      92742
2718.88/2730.36	c #Conflicts:    1120000 | #Constraints:      93749
2718.88/2730.36	c #Conflicts:    1121000 | #Constraints:      94750
2718.88/2730.36	c #Conflicts:    1122000 | #Constraints:      95752
2718.88/2730.36	c #Conflicts:    1123000 | #Constraints:      96760
2718.88/2730.36	c #Conflicts:    1124000 | #Constraints:      97761
2718.88/2730.36	c #Conflicts:    1125000 | #Constraints:      98766
2718.88/2730.36	c #Conflicts:    1126000 | #Constraints:      99777
2718.88/2730.36	c #Conflicts:    1127000 | #Constraints:     100787
2718.88/2730.36	c #Conflicts:    1128000 | #Constraints:     101794
2718.88/2730.36	c #Conflicts:    1129000 | #Constraints:     102805
2718.88/2730.36	c #Conflicts:    1130000 | #Constraints:     103810
2718.88/2730.36	c #Conflicts:    1131000 | #Constraints:     104819
2718.88/2730.36	c #Conflicts:    1132000 | #Constraints:     105823
2718.88/2730.36	c #Conflicts:    1133000 | #Constraints:     106830
2718.88/2730.36	c #Conflicts:    1134000 | #Constraints:     107836
2718.88/2730.36	c #Conflicts:    1135000 | #Constraints:     108843
2718.88/2730.36	c #Conflicts:    1136000 | #Constraints:     109852
2718.88/2730.36	c #Conflicts:    1137000 | #Constraints:     110858
2718.88/2730.36	c #Conflicts:    1138000 | #Constraints:     111861
2718.88/2730.36	c #Conflicts:    1139000 | #Constraints:     112861
2718.88/2730.36	c #Conflicts:    1140000 | #Constraints:     113861
2718.88/2730.36	c #Conflicts:    1141000 | #Constraints:     114861
2718.88/2730.36	c #Conflicts:    1142000 | #Constraints:     115861
2718.88/2730.36	c #Conflicts:    1143000 | #Constraints:     116862
2718.88/2730.36	c #Conflicts:    1144000 | #Constraints:     117867
2718.88/2730.36	c #Conflicts:    1145000 | #Constraints:     118873
2718.88/2730.36	c #Conflicts:    1146000 | #Constraints:     119883
2718.88/2730.36	c #Conflicts:    1147000 | #Constraints:     120886
2718.88/2730.36	c #Conflicts:    1148000 | #Constraints:     121891
2718.88/2730.36	c #Conflicts:    1149000 | #Constraints:     122896
2718.88/2730.36	c #Conflicts:    1150000 | #Constraints:     123903
2718.88/2730.36	c #Conflicts:    1151000 | #Constraints:     124907
2718.88/2730.36	c #Conflicts:    1152000 | #Constraints:     125910
2718.88/2730.36	c #Conflicts:    1153000 | #Constraints:     126915
2718.88/2730.36	c #Conflicts:    1154000 | #Constraints:     127917
2718.88/2730.36	c #Conflicts:    1155000 | #Constraints:     128917
2718.88/2730.36	c #Conflicts:    1156000 | #Constraints:     129918
2718.88/2730.36	c #Conflicts:    1157000 | #Constraints:     130922
2718.88/2730.36	c #Conflicts:    1158000 | #Constraints:     131926
2718.88/2730.36	c #Conflicts:    1159000 | #Constraints:     132934
2718.88/2730.36	c #Conflicts:    1160000 | #Constraints:     133938
2718.88/2730.36	c #Conflicts:    1161000 | #Constraints:     134940
2718.88/2730.36	c #Conflicts:    1162000 | #Constraints:     135945
2718.88/2730.36	c #Conflicts:    1163000 | #Constraints:     136951
2718.88/2730.36	c #Conflicts:    1164000 | #Constraints:     137957
2718.88/2730.36	c #Conflicts:    1165000 | #Constraints:     138965
2718.88/2730.36	c #Conflicts:    1166000 | #Constraints:     139973
2718.88/2730.36	c #Conflicts:    1167000 | #Constraints:     140985
2718.88/2730.36	c #Conflicts:    1168000 | #Constraints:     141993
2718.88/2730.36	c INPROCESSING
2718.88/2730.36	c GARBAGE COLLECT
2718.88/2730.36	c rational objective 644.134
2835.28/2847.29	c #Conflicts:    1169000 | #Constraints:      83669
2835.28/2847.29	c #Conflicts:    1170000 | #Constraints:      84669
2835.28/2847.29	c #Conflicts:    1171000 | #Constraints:      85669
2835.28/2847.29	c #Conflicts:    1172000 | #Constraints:      86669
2835.28/2847.29	c #Conflicts:    1173000 | #Constraints:      87669
2835.28/2847.29	c #Conflicts:    1174000 | #Constraints:      88669
2835.28/2847.29	c #Conflicts:    1175000 | #Constraints:      89669
2835.28/2847.29	c #Conflicts:    1176000 | #Constraints:      90669
2835.28/2847.29	c #Conflicts:    1177000 | #Constraints:      91669
2835.28/2847.29	c #Conflicts:    1178000 | #Constraints:      92669
2835.28/2847.29	c #Conflicts:    1179000 | #Constraints:      93669
2835.28/2847.29	c #Conflicts:    1180000 | #Constraints:      94669
2835.28/2847.29	c #Conflicts:    1181000 | #Constraints:      95669
2835.28/2847.29	c #Conflicts:    1182000 | #Constraints:      96669
2835.28/2847.29	c #Conflicts:    1183000 | #Constraints:      97669
2835.28/2847.29	c #Conflicts:    1184000 | #Constraints:      98669
2835.28/2847.29	c #Conflicts:    1185000 | #Constraints:      99669
2835.28/2847.29	c #Conflicts:    1186000 | #Constraints:     100669
2835.28/2847.29	c #Conflicts:    1187000 | #Constraints:     101669
2835.28/2847.29	c #Conflicts:    1188000 | #Constraints:     102669
2835.28/2847.29	c #Conflicts:    1189000 | #Constraints:     103669
2835.28/2847.29	c #Conflicts:    1190000 | #Constraints:     104669
2835.28/2847.29	c #Conflicts:    1191000 | #Constraints:     105669
2835.28/2847.29	c #Conflicts:    1192000 | #Constraints:     106669
2835.28/2847.29	c #Conflicts:    1193000 | #Constraints:     107669
2835.28/2847.29	c #Conflicts:    1194000 | #Constraints:     108669
2835.28/2847.29	c #Conflicts:    1195000 | #Constraints:     109669
2835.28/2847.29	c #Conflicts:    1196000 | #Constraints:     110669
2835.28/2847.29	c #Conflicts:    1197000 | #Constraints:     111669
2835.28/2847.29	c #Conflicts:    1198000 | #Constraints:     112669
2835.28/2847.29	c INPROCESSING
2835.28/2847.29	c GARBAGE COLLECT
2835.28/2847.29	c rational objective 645.253
3140.59/3153.82	c #Conflicts:    1199000 | #Constraints:      73987
3140.59/3153.82	c #Conflicts:    1200000 | #Constraints:      74987
3140.59/3153.82	c #Conflicts:    1201000 | #Constraints:      75987
3140.59/3153.82	c #Conflicts:    1202000 | #Constraints:      76987
3140.59/3153.82	c #Conflicts:    1203000 | #Constraints:      77987
3140.59/3153.82	c #Conflicts:    1204000 | #Constraints:      78987
3140.59/3153.82	c #Conflicts:    1205000 | #Constraints:      79987
3140.59/3153.82	c #Conflicts:    1206000 | #Constraints:      80987
3140.59/3153.82	c #Conflicts:    1207000 | #Constraints:      81987
3140.59/3153.82	c #Conflicts:    1208000 | #Constraints:      82987
3140.59/3153.82	c #Conflicts:    1209000 | #Constraints:      83987
3140.59/3153.82	c #Conflicts:    1210000 | #Constraints:      84987
3140.59/3153.82	c #Conflicts:    1211000 | #Constraints:      85987
3140.59/3153.82	c #Conflicts:    1212000 | #Constraints:      86987
3140.59/3153.82	c #Conflicts:    1213000 | #Constraints:      87987
3140.59/3153.82	c #Conflicts:    1214000 | #Constraints:      88987
3140.59/3153.82	c #Conflicts:    1215000 | #Constraints:      89987
3140.59/3153.82	c #Conflicts:    1216000 | #Constraints:      90987
3140.59/3153.82	c #Conflicts:    1217000 | #Constraints:      91987
3140.59/3153.82	c #Conflicts:    1218000 | #Constraints:      92987
3140.59/3153.82	c #Conflicts:    1219000 | #Constraints:      93987
3140.59/3153.82	c #Conflicts:    1220000 | #Constraints:      94987
3140.59/3153.82	c #Conflicts:    1221000 | #Constraints:      95987
3140.59/3153.82	c #Conflicts:    1222000 | #Constraints:      96987
3140.59/3153.82	c #Conflicts:    1223000 | #Constraints:      97987
3140.59/3153.82	c #Conflicts:    1224000 | #Constraints:      98987
3140.59/3153.82	c #Conflicts:    1225000 | #Constraints:      99987
3140.59/3153.82	c #Conflicts:    1226000 | #Constraints:     100987
3140.59/3153.82	c #Conflicts:    1227000 | #Constraints:     101987
3140.59/3153.82	c #Conflicts:    1228000 | #Constraints:     102987
3140.59/3153.82	c #Conflicts:    1229000 | #Constraints:     103987
3140.59/3153.82	c #Conflicts:    1230000 | #Constraints:     104987
3140.59/3153.82	c #Conflicts:    1231000 | #Constraints:     105987
3140.59/3153.82	c #Conflicts:    1232000 | #Constraints:     106987
3140.59/3153.82	c #Conflicts:    1233000 | #Constraints:     107987
3140.59/3153.82	c #Conflicts:    1234000 | #Constraints:     108987
3140.59/3153.82	c #Conflicts:    1235000 | #Constraints:     109987
3140.59/3153.82	c bounds 890 >= 834 @ 2933
3140.59/3153.82	c #Conflicts:    1236000 | #Constraints:     111055
3140.59/3153.82	c #Conflicts:    1237000 | #Constraints:     112055
3140.59/3153.82	c #Conflicts:    1238000 | #Constraints:     113055
3140.59/3153.82	c #Conflicts:    1239000 | #Constraints:     114055
3140.59/3153.82	c #Conflicts:    1240000 | #Constraints:     115055
3140.59/3153.82	c #Conflicts:    1241000 | #Constraints:     116055
3140.59/3153.82	c #Conflicts:    1242000 | #Constraints:     117055
3140.59/3153.82	c #Conflicts:    1243000 | #Constraints:     118055
3140.59/3153.82	c #Conflicts:    1244000 | #Constraints:     119055
3140.59/3153.82	c #Conflicts:    1245000 | #Constraints:     120055
3140.59/3153.82	c #Conflicts:    1246000 | #Constraints:     121055
3140.59/3153.82	c #Conflicts:    1247000 | #Constraints:     122055
3140.59/3153.82	c #Conflicts:    1248000 | #Constraints:     123055
3140.59/3153.82	c #Conflicts:    1249000 | #Constraints:     124055
3140.59/3153.82	c #Conflicts:    1250000 | #Constraints:     125055
3140.59/3153.82	c #Conflicts:    1251000 | #Constraints:     126055
3140.59/3153.82	c #Conflicts:    1252000 | #Constraints:     127055
3140.59/3153.82	c #Conflicts:    1253000 | #Constraints:     128055
3140.59/3153.82	c #Conflicts:    1254000 | #Constraints:     129055
3140.59/3153.82	c #Conflicts:    1255000 | #Constraints:     130055
3140.59/3153.82	c #Conflicts:    1256000 | #Constraints:     131055
3140.59/3153.82	c #Conflicts:    1257000 | #Constraints:     132055
3140.59/3153.82	c #Conflicts:    1258000 | #Constraints:     133055
3140.59/3153.82	c #Conflicts:    1259000 | #Constraints:     134055
3140.59/3153.82	c #Conflicts:    1260000 | #Constraints:     135055
3140.59/3153.82	c #Conflicts:    1261000 | #Constraints:     136055
3140.59/3153.82	c #Conflicts:    1262000 | #Constraints:     137055
3140.59/3153.82	c #Conflicts:    1263000 | #Constraints:     138055
3140.59/3153.82	c #Conflicts:    1264000 | #Constraints:     139055
3140.59/3153.82	c #Conflicts:    1265000 | #Constraints:     140055
3140.59/3153.82	c #Conflicts:    1266000 | #Constraints:     141055
3140.59/3153.82	c #Conflicts:    1267000 | #Constraints:     142055
3140.59/3153.82	c #Conflicts:    1268000 | #Constraints:     143055
3140.59/3153.82	c #Conflicts:    1269000 | #Constraints:     144055
3140.59/3153.82	c #Conflicts:    1270000 | #Constraints:     145055
3140.59/3153.82	c #Conflicts:    1271000 | #Constraints:     146055
3140.59/3153.82	c #Conflicts:    1272000 | #Constraints:     147055
3140.59/3153.82	c INPROCESSING
3140.59/3153.82	c GARBAGE COLLECT
3140.59/3153.82	c rational objective 646.459
3223.95/3237.52	c #Conflicts:    1273000 | #Constraints:      86046
3223.95/3237.52	c #Conflicts:    1274000 | #Constraints:      87046
3223.95/3237.52	c #Conflicts:    1275000 | #Constraints:      88046
3223.95/3237.52	c #Conflicts:    1276000 | #Constraints:      89046
3223.95/3237.52	c #Conflicts:    1277000 | #Constraints:      90046
3223.95/3237.52	c #Conflicts:    1278000 | #Constraints:      91047
3223.95/3237.52	c #Conflicts:    1279000 | #Constraints:      92048
3223.95/3237.52	c #Conflicts:    1280000 | #Constraints:      93062
3223.95/3237.52	c #Conflicts:    1281000 | #Constraints:      94071
3223.95/3237.52	c #Conflicts:    1282000 | #Constraints:      95081
3223.95/3237.52	c #Conflicts:    1283000 | #Constraints:      96091
3223.95/3237.52	c #Conflicts:    1284000 | #Constraints:      97097
3223.95/3237.52	c #Conflicts:    1285000 | #Constraints:      98097
3223.95/3237.52	c #Conflicts:    1286000 | #Constraints:      99097
3223.95/3237.52	c #Conflicts:    1287000 | #Constraints:     100097
3223.95/3237.52	c #Conflicts:    1288000 | #Constraints:     101097
3223.95/3237.52	c #Conflicts:    1289000 | #Constraints:     102097
3223.95/3237.52	c #Conflicts:    1290000 | #Constraints:     103097
3223.95/3237.52	c #Conflicts:    1291000 | #Constraints:     104098
3223.95/3237.52	c #Conflicts:    1292000 | #Constraints:     105105
3223.95/3237.52	c #Conflicts:    1293000 | #Constraints:     106110
3223.95/3237.52	c #Conflicts:    1294000 | #Constraints:     107116
3223.95/3237.52	c #Conflicts:    1295000 | #Constraints:     108120
3223.95/3237.52	c #Conflicts:    1296000 | #Constraints:     109125
3223.95/3237.52	c #Conflicts:    1297000 | #Constraints:     110128
3223.95/3237.52	c #Conflicts:    1298000 | #Constraints:     111132
3223.95/3237.52	c #Conflicts:    1299000 | #Constraints:     112138
3223.95/3237.52	c #Conflicts:    1300000 | #Constraints:     113143
3223.95/3237.52	c #Conflicts:    1301000 | #Constraints:     114146
3223.95/3237.52	c #Conflicts:    1302000 | #Constraints:     115150
3223.95/3237.52	c #Conflicts:    1303000 | #Constraints:     116152
3223.95/3237.52	c INPROCESSING
3223.95/3237.52	c GARBAGE COLLECT
3223.95/3237.52	c rational objective 646.837
3483.38/3498.02	c #Conflicts:    1304000 | #Constraints:      76339
3483.38/3498.02	c #Conflicts:    1305000 | #Constraints:      77339
3483.38/3498.02	c #Conflicts:    1306000 | #Constraints:      78339
3483.38/3498.02	c #Conflicts:    1307000 | #Constraints:      79339
3483.38/3498.02	c #Conflicts:    1308000 | #Constraints:      80339
3483.38/3498.02	c #Conflicts:    1309000 | #Constraints:      81339
3483.38/3498.02	c #Conflicts:    1310000 | #Constraints:      82339
3483.38/3498.02	c #Conflicts:    1311000 | #Constraints:      83339
3483.38/3498.02	c #Conflicts:    1312000 | #Constraints:      84339
3483.38/3498.02	c #Conflicts:    1313000 | #Constraints:      85339
3483.38/3498.02	c #Conflicts:    1314000 | #Constraints:      86339
3483.38/3498.02	c #Conflicts:    1315000 | #Constraints:      87339
3483.38/3498.02	c #Conflicts:    1316000 | #Constraints:      88339
3483.38/3498.02	c #Conflicts:    1317000 | #Constraints:      89339
3483.38/3498.02	c #Conflicts:    1318000 | #Constraints:      90339
3483.38/3498.02	c #Conflicts:    1319000 | #Constraints:      91339
3483.38/3498.02	c #Conflicts:    1320000 | #Constraints:      92339
3483.38/3498.02	c #Conflicts:    1321000 | #Constraints:      93339
3483.38/3498.02	c #Conflicts:    1322000 | #Constraints:      94339
3483.38/3498.02	c #Conflicts:    1323000 | #Constraints:      95339
3483.38/3498.02	c #Conflicts:    1324000 | #Constraints:      96339
3483.38/3498.02	c #Conflicts:    1325000 | #Constraints:      97339
3483.38/3498.02	c #Conflicts:    1326000 | #Constraints:      98339
3483.38/3498.02	c #Conflicts:    1327000 | #Constraints:      99339
3483.38/3498.02	c #Conflicts:    1328000 | #Constraints:     100339
3483.38/3498.02	c #Conflicts:    1329000 | #Constraints:     101339
3483.38/3498.02	c #Conflicts:    1330000 | #Constraints:     102339
3483.38/3498.02	c #Conflicts:    1331000 | #Constraints:     103339
3483.38/3498.02	c #Conflicts:    1332000 | #Constraints:     104339
3483.38/3498.02	c #Conflicts:    1333000 | #Constraints:     105339
3483.38/3498.02	c #Conflicts:    1334000 | #Constraints:     106339
3483.38/3498.02	c #Conflicts:    1335000 | #Constraints:     107339
3483.38/3498.02	c #Conflicts:    1336000 | #Constraints:     108339
3483.38/3498.02	c #Conflicts:    1337000 | #Constraints:     109339
3483.38/3498.02	c #Conflicts:    1338000 | #Constraints:     110339
3483.38/3498.02	c #Conflicts:    1339000 | #Constraints:     111339
3483.38/3498.02	c #Conflicts:    1340000 | #Constraints:     112339
3483.38/3498.02	c #Conflicts:    1341000 | #Constraints:     113339
3483.38/3498.02	c #Conflicts:    1342000 | #Constraints:     114339
3483.38/3498.02	c #Conflicts:    1343000 | #Constraints:     115339
3483.38/3498.02	c #Conflicts:    1344000 | #Constraints:     116339
3483.38/3498.02	c #Conflicts:    1345000 | #Constraints:     117339
3483.38/3498.02	c #Conflicts:    1346000 | #Constraints:     118339
3483.38/3498.02	c #Conflicts:    1347000 | #Constraints:     119339
3483.38/3498.02	c #Conflicts:    1348000 | #Constraints:     120339
3483.38/3498.02	c bounds 890 >= 835 @ 3357.76
3483.38/3498.02	c #Conflicts:    1349000 | #Constraints:     121380
3483.38/3498.02	c #Conflicts:    1350000 | #Constraints:     122381
3483.38/3498.02	c #Conflicts:    1351000 | #Constraints:     123381
3483.38/3498.02	c #Conflicts:    1352000 | #Constraints:     124381
3483.38/3498.02	c #Conflicts:    1353000 | #Constraints:     125381
3483.38/3498.02	c #Conflicts:    1354000 | #Constraints:     126381
3483.38/3498.02	c #Conflicts:    1355000 | #Constraints:     127381
3483.38/3498.02	c #Conflicts:    1356000 | #Constraints:     128381
3483.38/3498.02	c #Conflicts:    1357000 | #Constraints:     129384
3483.38/3498.02	c #Conflicts:    1358000 | #Constraints:     130384
3483.38/3498.02	c #Conflicts:    1359000 | #Constraints:     131384
3483.38/3498.02	c #Conflicts:    1360000 | #Constraints:     132386
3483.38/3498.02	c #Conflicts:    1361000 | #Constraints:     133389
3483.38/3498.02	c #Conflicts:    1362000 | #Constraints:     134393
3483.38/3498.02	c #Conflicts:    1363000 | #Constraints:     135400
3483.38/3498.02	c #Conflicts:    1364000 | #Constraints:     136408
3483.38/3498.02	c #Conflicts:    1365000 | #Constraints:     137412
3483.38/3498.02	c #Conflicts:    1366000 | #Constraints:     138417
3483.38/3498.02	c #Conflicts:    1367000 | #Constraints:     139421
3483.38/3498.02	c #Conflicts:    1368000 | #Constraints:     140426
3483.38/3498.02	c #Conflicts:    1369000 | #Constraints:     141431
3483.38/3498.02	c #Conflicts:    1370000 | #Constraints:     142436
3483.38/3498.02	c #Conflicts:    1371000 | #Constraints:     143440
3483.38/3498.02	c #Conflicts:    1372000 | #Constraints:     144442
3483.38/3498.02	c #Conflicts:    1373000 | #Constraints:     145442
3483.38/3498.02	c #Conflicts:    1374000 | #Constraints:     146442
3483.38/3498.02	c #Conflicts:    1375000 | #Constraints:     147445
3483.38/3498.02	c #Conflicts:    1376000 | #Constraints:     148446
3483.38/3498.02	c #Conflicts:    1377000 | #Constraints:     149452
3483.38/3498.02	c #Conflicts:    1378000 | #Constraints:     150459
3483.38/3498.02	c #Conflicts:    1379000 | #Constraints:     151463
3483.38/3498.02	c #Conflicts:    1380000 | #Constraints:     152466
3483.38/3498.02	c INPROCESSING
3483.38/3498.02	c GARBAGE COLLECT
3483.38/3498.02	c rational objective 647.96
3596.11/3611.22	c #Conflicts:    1381000 | #Constraints:      89106
3596.11/3611.22	c #Conflicts:    1382000 | #Constraints:      90106
3596.11/3611.22	c #Conflicts:    1383000 | #Constraints:      91106
3596.11/3611.22	c #Conflicts:    1384000 | #Constraints:      92106
3596.11/3611.22	c #Conflicts:    1385000 | #Constraints:      93106
3596.11/3611.22	c #Conflicts:    1386000 | #Constraints:      94106
3596.11/3611.22	c #Conflicts:    1387000 | #Constraints:      95106
3596.11/3611.22	c #Conflicts:    1388000 | #Constraints:      96106
3596.11/3611.22	c #Conflicts:    1389000 | #Constraints:      97106
3596.11/3611.22	c #Conflicts:    1390000 | #Constraints:      98106
3596.11/3611.22	c #Conflicts:    1391000 | #Constraints:      99106
3596.11/3611.22	c #Conflicts:    1392000 | #Constraints:     100106
3596.11/3611.22	c #Conflicts:    1393000 | #Constraints:     101106
3596.11/3611.22	c #Conflicts:    1394000 | #Constraints:     102106
3596.11/3611.22	c #Conflicts:    1395000 | #Constraints:     103106
3596.11/3611.22	c #Conflicts:    1396000 | #Constraints:     104106
3596.11/3611.22	c #Conflicts:    1397000 | #Constraints:     105106
3596.11/3611.22	c #Conflicts:    1398000 | #Constraints:     106106
3596.11/3611.22	c #Conflicts:    1399000 | #Constraints:     107106
3596.11/3611.22	c #Conflicts:    1400000 | #Constraints:     108106
3596.11/3611.22	c #Conflicts:    1401000 | #Constraints:     109106
3596.11/3611.22	c #Conflicts:    1402000 | #Constraints:     110106
3596.11/3611.22	c #Conflicts:    1403000 | #Constraints:     111106
3596.11/3611.22	c #Conflicts:    1404000 | #Constraints:     112106
3596.11/3611.22	c #Conflicts:    1405000 | #Constraints:     113106
3596.11/3611.22	c #Conflicts:    1406000 | #Constraints:     114106
3596.11/3611.22	c #Conflicts:    1407000 | #Constraints:     115106
3596.11/3611.22	c #Conflicts:    1408000 | #Constraints:     116106
3596.11/3611.22	c #Conflicts:    1409000 | #Constraints:     117106
3596.11/3611.22	c #Conflicts:    1410000 | #Constraints:     118106
3596.11/3611.22	c #Conflicts:    1411000 | #Constraints:     119106
3596.11/3611.22	c #Conflicts:    1412000 | #Constraints:     120106
3596.11/3611.22	c INPROCESSING
3596.11/3611.22	c GARBAGE COLLECT
3596.11/3611.22	c rational objective 648.677
3600.09/3615.20	c #Conflicts:    1413000 | #Constraints:      79800
3600.09/3615.20	c #Conflicts:    1414000 | #Constraints:      80800
3600.09/3615.20	c #Conflicts:    1415000 | #Constraints:      81800
3600.09/3615.20	c Program interrupted by user.
3600.09/3615.20	c cpu time 3572.17 s
3600.09/3615.20	c deterministic time 392483264938 3.92e+11
3600.09/3615.20	c optimization time 4.06844 s
3600.09/3615.20	c total solve time 3568.06 s
3600.09/3615.20	c core-guided solve time 2229.83 s
3600.09/3615.20	c propagation time 2850.63 s
3600.09/3615.20	c conflict analysis time 654.582 s
3600.09/3615.20	c propagations 450554220
3600.09/3615.20	c resolve steps 46817786
3600.09/3615.20	c decisions 5582790
3600.09/3615.20	c conflicts 1415835
3600.09/3615.20	c restarts 2735
3600.09/3615.20	c inprocessing phases 51
3600.09/3615.20	c input clauses 19279
3600.09/3615.20	c input cardinalities 1108
3600.09/3615.20	c input general constraints 3157
3600.09/3615.20	c input average constraint length 32.86
3600.09/3615.20	c input average constraint degree 18.46
3600.09/3615.20	c learned clauses 991781
3600.09/3615.20	c learned cardinalities 18189
3600.09/3615.20	c learned general constraints 408907
3600.09/3615.20	c learned average constraint length 337.41
3600.09/3615.20	c learned average constraint degree 382238925.36
3600.09/3615.20	c watched constraints 363641
3600.09/3615.20	c counting constraints 48423
3600.09/3615.20	c gcd simplifications 196040
3600.09/3615.20	c detected cardinalities 119
3600.09/3615.20	c weakened non-implied lits 110265859
3600.09/3615.20	c weakened non-implying lits 950200
3600.09/3615.20	c original variables 2460
3600.09/3615.20	c clausal propagations 258192629
3600.09/3615.20	c cardinality propagations 5275544
3600.09/3615.20	c watched propagations 57237211
3600.09/3615.20	c counting propagations 125958166
3600.09/3615.20	c watch lookups 56343246506
3600.09/3615.20	c watch backjump lookups 45350860700
3600.09/3615.20	c watch checks 279479095333
3600.09/3615.20	c propagation checks 8611080746
3600.09/3615.20	c constraint additions 1783632538
3600.09/3615.20	c trail pops 457547265
3600.09/3615.20	c formula constraints 17131
3600.09/3615.20	c learned constraints 1413383
3600.09/3615.20	c bound constraints 273
3600.09/3615.20	c core-guided constraints 6140
3600.09/3615.20	c encountered formula constraints 23350026
3600.09/3615.20	c encountered learned constraints 19041700
3600.09/3615.20	c encountered bound constraints 284
3600.09/3615.20	c encountered core-guided constraints 5705398
3600.09/3615.20	c LP total time 159.289 s
3600.09/3615.20	c LP solve time 153.92 s
3600.09/3615.20	c LP constraints added 18528
3600.09/3615.20	c LP constraints removed 1094
3600.09/3615.20	c LP pivots internal 1416688
3600.09/3615.20	c LP pivots root 248151
3600.09/3615.20	c LP calls 3636
3600.09/3615.20	c LP optimalities 885
3600.09/3615.20	c LP no pivot count 6
3600.09/3615.20	c LP infeasibilities 2747
3600.09/3615.20	c LP valid Farkas constraints 2747
3600.09/3615.20	c LP learned Farkas constraints 2747
3600.09/3615.20	c LP basis resets 0
3600.09/3615.20	c LP cycling count 0
3600.09/3615.20	c LP singular count 0
3600.09/3615.20	c LP no primal count 0
3600.09/3615.20	c LP no farkas count 0
3600.09/3615.20	c LP other issue count 0
3600.09/3615.20	c LP Gomory cuts 0
3600.09/3615.20	c LP learned cuts 1397
3600.09/3615.20	c LP deleted cuts 1094
3600.09/3615.20	c LP encountered Gomory constraints 0
3600.09/3615.20	c LP encountered Farkas constraints 116896
3600.09/3615.20	c LP encountered learned Farkas constraints 16570
3600.09/3615.20	c CG auxiliary variables introduced 2325
3600.09/3615.20	c CG solutions found 273
3600.09/3615.20	c CG cores constructed 835
3600.09/3615.20	c CG core cardinality constraints returned 0
3600.09/3615.20	c CG unit cores 0
3600.09/3615.20	c CG single cores 831
3600.09/3615.20	c CG blocks removed during cardinality reduction 0
3600.09/3615.20	c CG first core best 0
3600.09/3615.20	c CG decision core best 0
3600.09/3615.20	c CG core reduction tie 4
3600.09/3615.20	c CG core degree average 1.00
3600.09/3615.20	c CG core slack average 4.48
3600.09/3615.20	s SATISFIABLE
3600.09/3615.20	v x1 -x2 -x3 x4 x5 -x6 x7 -x8 x9 -x10 x11 -x12 x13 -x14 x15 -x16 x17 -x18 x19 -x20 x21 -x22 x23 -x24 x25 -x26 x27 -x28 x29 -x30 x31 -x32 x33 -x34 x35 -x36 x37 -x38 x39 -x40 x41 -x42 x43 -x44 x45 -x46 -x47 x48 x49 -x50 x51 -x52 x53 -x54 x55 -x56 x57 -x58 x59 -x60 x61 -x62 x63 -x64 x65 -x66 -x67 x68 x69 -x70 x71 -x72 x73 -x74 x75 -x76 x77 -x78 x79 -x80 x81 -x82 x83 -x84 x85 -x86 x87 -x88 x89 -x90 x91 -x92 x93 -x94 x95 -x96 x97 -x98 x99 -x100 x101 -x102 x103 -x104 x105 -x106 x107 -x108 x109 -x110 -x111 x112 x113 -x114 x115 -x116 x117 -x118 x119 -x120 x121 -x122 x123 -x124 x125 -x126 x127 -x128 x129 -x130 -x131 x132 x133 -x134 x135 -x136 x137 -x138 x139 -x140 x141 -x142 x143 -x144 x145 -x146 x147 -x148 x149 -x150 x151 -x152 x153 -x154 x155 -x156 x157 -x158 x159 -x160 x161 -x162 x163 -x164 x165 -x166 x167 -x168 x169 -x170 x171 -x172 x173 -x174 -x175 x176 x177 -x178 x179 -x180 x181 -x182 x183 -x184 x185 -x186 x187 -x188 x189 -x190 x191 -x192 x193 -x194 -x195 x196 x197 -x198 x199 -x200 x201 -x202 x203 -x204 x205 -x206 x207 -x208 x209 -x210 x211 -x212 x213 -x214 x215 -x216 x217 -x218 x219 -x220 x221 -x222 x223 -x224 x225 -x226 x227 -x228 x229 -x230 x231 -x232 x233 -x234 x235 -x236 x237 -x238 -x239 x240 x241 -x242 x243 -x244 x245 -x246 x247 -x248 x249 -x250 x251 -x252 x253 -x254 x255 -x256 x257 -x258 -x259 x260 x261 -x262 x263 -x264 x265 -x266 x267 -x268 x269 -x270 x271 -x272 x273 -x274 x275 -x276 x277 -x278 x279 -x280 x281 -x282 x283 -x284 x285 -x286 x287 -x288 x289 -x290 x291 -x292 x293 -x294 x295 -x296 x297 -x298 x299 -x300 x301 -x302 -x303 x304 x305 -x306 x307 -x308 x309 -x310 x311 -x312 x313 -x314 x315 -x316 x317 -x318 x319 -x320 x321 -x322 x323 -x324 x325 -x326 x327 -x328 x329 -x330 x331 -x332 x333 -x334 x335 -x336 x337 -x338 -x339 x340 x341 -x342 x343 -x344 x345 -x346 x347 -x348 x349 -x350 -x351 x352 x353 -x354 x355 -x356 x357 -x358 -x359 x360 x361 -x362 x363 -x364 x365 -x366 x367 -x368 x369 -x370 x371 -x372 x373 -x374 x375 -x376 x377 -x378 x379 -x380 -x381 x382 x383 -x384 x385 -x386 x387 -x388 x389 -x390 -x391 x392 x393 -x394 x395 -x396 x397 -x398 x399 -x400 x401 -x402 x403 -x404 x405 -x406 x407 -x408 x409 -x410 x411 -x412 x413 -x414 x415 -x416 x417 -x418 x419 -x420 x421 -x422 x423 -x424 x425 -x426 x427 -x428 x429 -x430 -x431 x432 x433 -x434 x435 -x436 x437 -x438 x439 -x440 x441 -x442 x443 -x444 x445 -x446 -x447 x448 x449 -x450 x451 -x452 x453 -x454 x455 -x456 -x457 x458 x459 -x460 x461 -x462 x463 -x464 x465 -x466 -x467 x468 -x469 x470 x471 -x472 x473 -x474 x475 -x476 x477 -x478 x479 -x480 x481 -x482 x483 -x484 x485 -x486 x487 -x488 x489 -x490 x491 -x492 x493 -x494 x495 -x496 x497 -x498 x499 -x500 x501 -x502 x503 -x504 x505 -x506 x507 -x508 x509 -x510 x511 -x512 x513 -x514 -x515 x516 x517 -x518 x519 -x520 x521 -x522 x523 -x524 x525 -x526 x527 -x528 x529 -x530 x531 -x532 x533 -x534 x535 -x536 x537 -x538 x539 -x540 x541 -x542 x543 -x544 x545 -x546 x547 -x548 x549 -x550 x551 -x552 x553 -x554 x555 -x556 x557 -x558 -x559 x560 x561 -x562 x563 -x564 x565 -x566 x567 -x568 x569 -x570 x571 -x572 x573 -x574 x575 -x576 x577 -x578 -x579 x580 x581 -x582 x583 -x584 x585 -x586 x587 -x588 x589 -x590 x591 -x592 x593 -x594 x595 -x596 x597 -x598 x599 -x600 x601 -x602 x603 -x604 x605 -x606 x607 -x608 x609 -x610 x611 -x612 x613 -x614 x615 -x616 x617 -x618 x619 -x620 x621 -x622 -x623 x624 x625 -x626 x627 -x628 x629 -x630 x631 -x632 x633 -x634 x635 -x636 x637 -x638 x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 x652 -x653 x654 -x655 x656 x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 x672 -x673 x674 -x675 x676 x677 -x678 -x679 -x680 -x681 x682 -x683 x684 -x685 x686 -x687 x688 -x689 x690 -x691 x692 -x693 x694 x695 -x696 -x697 x698 -x699 x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 x712 -x713 x714 -x715 x716 x717 -x718 -x719 -x720 -x721 x722 -x723 x724 -x725 x726 -x727 x728 -x729 x730 -x731 x732 x733 -x734 -x735 x736 -x737 x738 -x739 x740 -x741 x742 -x743 x744 -x745 x746 -x747 x748 -x749 x750 -x751 x752 -x753 x754 x755 -x756 -x757 x758 -x759 x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 x772 -x773 x774 -x775 -x776 x777 -x778 -x779 -x780 -x781 x782 -x783 x784 -x785 x786 -x787 x788 -x789 x790 x791 -x792 -x793 x794 -x795 x796 -x797 x798 -x799 x800 -x801 x802 -x803 x804 -x805 x806 -x807 x808 -x809 x810 -x811 x812 -x813 x814 x815 -x816 -x817 x818 -x819 x820 -x821 x822 -x823 x824 -x825 x826 -x827 x828 -x829 x830 x831 -x832 -x833 x834 -x835 -x836 -x837 x838 -x839 x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 x852 -x853 x854 -x855 x856 x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 x872 -x873 x874 -x875 x876 x877 -x878 -x879 -x880 -x881 x882 -x883 x884 -x885 x886 -x887 x888 -x889 x890 -x891 -x892 -x893 x894 x895 -x896 -x897 x898 -x899 x900 -x901 x902 -x903 x904 -x905 x906 -x907 x908 -x909 x910 -x911 x912 x913 -x914 -x915 x916 -x917 x918 -x919 x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 x932 -x933 x934 -x935 x936 x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 x952 -x953 -x954 -x955 x956 x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 x972 -x973 x974 -x975 x976 x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 x992 -x993 x994 -x995 x996 x997 -x998 -x999 -x1000 -x1001 x1002 -x1003 x1004 -x1005 x1006 -x1007 x1008 -x1009 x1010 -x1011 x1012 -x1013 x1014 x1015 -x1016 -x1017 x1018 -x1019 x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 x1032 -x1033 x1034 -x1035 x1036 x1037 -x1038 -x1039 -x1040 -x1041 x1042 -x1043 x1044 -x1045 x1046 -x1047 x1048 -x1049 x1050 x1051 -x1052 -x1053 x1054 -x1055 x1056 -x1057 x1058 -x1059 x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 x1072 -x1073 x1074 -x1075 x1076 x1077 -x1078 -x1079 -x1080 -x1081 x1082 -x1083 x1084 -x1085 x1086 -x1087 x1088 -x1089 x1090 -x1091 x1092 -x1093 x1094 x1095 -x1096 -x1097 x1098 -x1099 x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 x1112 -x1113 -x1114 -x1115 x1116 x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 x1132 -x1133 x1134 -x1135 x1136 x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 x1152 -x1153 x1154 -x1155 -x1156 x1157 -x1158 -x1159 -x1160 -x1161 x1162 -x1163 x1164 -x1165 x1166 -x1167 x1168 -x1169 x1170 -x1171 x1172 -x1173 x1174 x1175 -x1176 -x1177 x1178 -x1179 x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 x1192 -x1193 x1194 -x1195 x1196 x1197 -x1198 -x1199 -x1200 -x1201 x1202 -x1203 x1204 -x1205 x1206 -x1207 x1208 -x1209 x1210 -x1211 x1212 x1213 -x1214 -x1215 x1216 -x1217 x1218 -x1219 x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 x1232 -x1233 x1234 -x1235 x1236 x1237 -x1238 -x1239 -x1240 -x1241 x1242 -x1243 x1244 -x1245 x1246 -x1247 x1248 -x1249 x1250 -x1251 x1252 -x1253 x1254 x1255 -x1256 -x1257 x1258 -x1259 x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 x1272 -x1273 x1274 -x1275 -x1276 x1277 -x1278 -x1279 -x1280 -x1281 x1282 -x1283 x1284 -x1285 x1286 -x1287 x1288 -x1289 x1290 -x1291 x1292 -x1293 x1294 x1295 -x1296 -x1297 x1298 -x1299 x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 x1312 -x1313 x1314 -x1315 -x1316 x1317 -x1318 -x1319 -x1320 -x1321 x1322 -x1323 x1324 -x1325 x1326 -x1327 x1328 -x1329 x1330 -x1331 x1332 x1333 -x1334 -x1335 x1336 -x1337 x1338 -x1339 x1340 -x1341 x1342 -x1343 x1344 -x1345 x1346 -x1347 x1348 -x1349 x1350 -x1351 x1352 -x1353 -x1354 x1355 -x1356 -x1357 x1358 -x1359 x1360 -x1361 x1362 -x1363 x1364 -x1365 x1366 -x1367 x1368 -x1369 x1370 -x1371 x1372 x1373 -x1374 -x1375 x1376 -x1377 x1378 -x1379 x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 x1394 -x1395 -x1396 -x1397 -x1398 x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 x1412 -x1413 x1414 -x1415 x1416 x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 x1432 -x1433 x1434 -x1435 x1436 x1437 -x1438 -x1439 -x1440 -x1441 x1442 -x1443 x1444 -x1445 x1446 -x1447 x1448 -x1449 x1450 -x1451 x1452 -x1453 x1454 x1455 -x1456 -x1457 x1458 -x1459 x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 x1472 -x1473 x1474 -x1475 x1476 x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 x1492 -x1493 x1494 -x1495 x1496 x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 x1512 -x1513 x1514 -x1515 x1516 x1517 -x1518 -x1519 -x1520 -x1521 x1522 -x1523 x1524 -x1525 x1526 -x1527 x1528 -x1529 x1530 -x1531 x1532 -x1533 x1534 x1535 -x1536 -x1537 x1538 -x1539 x1540 -x1541 x1542 -x1543 x1544 -x1545 x1546 -x1547 x1548 -x1549 x1550 -x1551 x1552 x1553 -x1554 -x1555 x1556 -x1557 x1558 -x1559 x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 x1572 -x1573 x1574 -x1575 x1576 x1577 -x1578 -x1579 -x1580 -x1581 x1582 -x1583 x1584 -x1585 x1586 -x1587 x1588 -x1589 x1590 -x1591 x1592 -x1593 x1594 x1595 -x1596 -x1597 x1598 -x1599 x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 x1612 -x1613 x1614 -x1615 x1616 x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 x1632 -x1633 x1634 -x1635 x1636 x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 x1652 -x1653 x1654 -x1655 x1656 x1657 -x1658 -x1659 -x1660 -x1661 x1662 -x1663 x1664 -x1665 x1666 -x1667 x1668 -x1669 x1670 -x1671 x1672 -x1673 -x1674 x1675 -x1676 -x1677 x1678 -x1679 x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 x1692 -x1693 x1694 -x1695 x1696 x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 x1712 -x1713 -x1714 -x1715 x1716 x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 x1732 -x1733 x1734 -x1735 x1736 x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 x1752 -x1753 x1754 -x1755 x1756 x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 x1772 -x1773 x1774 -x1775 x1776 x1777 -x1778 -x1779 -x1780 -x1781 x1782 -x1783 x1784 -x1785 x1786 -x1787 x1788 -x1789 x1790 -x1791 x1792 -x1793 x1794 x1795 -x1796 -x1797 x1798 -x1799 x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 x1812 -x1813 x1814 -x1815 x1816 x1817 -x1818 -x1819 -x1820 -x1821 x1822 -x1823 x1824 -x1825 x1826 -x1827 x1828 -x1829 x1830 -x1831 x1832 x1833 -x1834 -x1835 x1836 -x1837 x1838 -x1839 x1840 -x1841 x1842 -x1843 x1844 -x1845 x1846 -x1847 x1848 -x1849 x1850 -x1851 x1852 x1853 -x1854 -x1855 x1856 -x1857 x1858 -x1859 x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 x1872 -x1873 x1874 -x1875 x1876 x1877 -x1878 -x1879 -x1880 -x1881 x1882 -x1883 x1884 -x1885 x1886 -x1887 x1888 -x1889 x1890 -x1891 x1892 x1893 -x1894 -x1895 x1896 -x1897 x1898 -x1899 x1900 -x1901 x1902 -x1903 x1904 -x1905 x1906 -x1907 x1908 -x1909 x1910 -x1911 -x1912 -x1913 x1914 x1915 -x1916 -x1917 x1918 -x1919 x1920 -x1921 x1922 -x1923 x1924 -x1925 x1926 -x1927 x1928 -x1929 x1930 x1931 -x1932 -x1933 x1934 -x1935 x1936 -x1937 x1938 -x1939 x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 x1952 -x1953 x1954 -x1955 x1956 x1957 -x1958 -x1959 -x1960 -x1961 x1962 -x1963 x1964 -x1965 x1966 -x1967 x1968 -x1969 x1970 -x1971 x1972 x1973 -x1974 -x1975 x1976 -x1977 x1978 -x1979 x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 x1992 -x1993 -x1994 -x1995 x1996 x1997 -x1998 -x1999 -x2000 -x2001 x2002 -x2003 x2004 -x2005 x2006 -x2007 x2008 -x2009 x2010 x2011 -x2012 -x2013 x2014 -x2015 x2016 -x2017 x2018 -x2019 x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 x2032 -x2033 x2034 -x2035 x2036 x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 x2052 -x2053 x2054 -x2055 x2056 x2057 -x2058 -x2059 -x2060 -x2061 x2062 -x2063 x2064 -x2065 x2066 -x2067 x2068 -x2069 x2070 -x2071 x2072 -x2073 x2074 x2075 -x2076 -x2077 x2078 -x2079 x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 x2092 -x2093 x2094 -x2095 x2096 x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 x2112 -x2113 x2114 -x2115 x2116 x2117 -x2118 -x2119 -x2120 -x2121 x2122 -x2123 x2124 -x2125 x2126 -x2127 x2128 -x2129 x2130 -x2131 x2132 -x2133 x2134 x2135 -x2136 -x2137 x2138 -x2139 x2140 -x2141 x2142 -x2143 x2144 -x2145 x2146 -x2147 x2148 -x2149 x2150 x2151 -x2152 -x2153 x2154 -x2155 x2156 -x2157 x2158 -x2159 x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 x2172 -x2173 x2174 -x2175 x2176 x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 x2192 -x2193 x2194 -x2195 x2196 x2197 -x2198 -x2199 -x2200 -x2201 x2202 -x2203 x2204 -x2205 x2206 -x2207 x2208 -x2209 x2210 -x2211 x2212 -x2213 x2214 x2215 -x2216 -x2217 x2218 -x2219 x2220 -x2221 x2222 -x2223 x2224 -x2225 x2226 -x2227 x2228 -x2229 x2230 -x2231 x2232 -x2233 x2234 x2235 -x2236 -x2237 x2238 -x2239 x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 x2252 -x2253 -x2254 -x2255 x2256 

ERROR: no interpretation found !

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63931 MiB (63472 MiB free)
  memory of node 1: 64510 MiB (63799 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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=6682, runsolver pid=6679
Current StackSize limit: 8192 KiB


[startup+0.100093 s]*
/proc/loadavg: 0.14 0.10 0.09 2/254 6687
/proc/meminfo: memFree=130324572/131524600 swapFree=131071996/131071996
[pid=6682] ppid=6679 vsize=37376 memory=2568 CPUtime=0 cores=0,2
/proc/6682/stat : 6682 (roundingsat) D 6679 6682 6624 0 -1 1078198272 219 0 0 0 0 0 0 0 20 0 1 0 674277 38273024 642 134679101440 4194304 8255733 140730442826304 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 9037040 9046032 26927104 140730442830686 140730442830948 140730442830948 140730442837961 0
/proc/6682/statm: 9344 642 585 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2568 KiB

[startup+0.204595 s]*
/proc/loadavg: 0.14 0.10 0.09 1/258 6698
/proc/meminfo: memFree=130316732/131524600 swapFree=131071996/131071996
[pid=6682] ppid=6679 vsize=37376 memory=2568 CPUtime=0 cores=0,2
/proc/6682/stat : 6682 (roundingsat) D 6679 6682 6624 0 -1 1078198272 219 0 0 0 0 0 0 0 20 0 1 0 674277 38273024 642 134679101440 4194304 8255733 140730442826304 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 9037040 9046032 26927104 140730442830686 140730442830948 140730442830948 140730442837961 0
/proc/6682/statm: 9344 642 585 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2568 KiB

[startup+0.30471 s]*
/proc/loadavg: 0.14 0.10 0.09 1/258 6698
/proc/meminfo: memFree=130316280/131524600 swapFree=131071996/131071996
[pid=6682] ppid=6679 vsize=37376 memory=2568 CPUtime=0 cores=0,2
/proc/6682/stat : 6682 (roundingsat) D 6679 6682 6624 0 -1 1078198272 219 0 0 0 0 0 0 0 20 0 1 0 674277 38273024 642 134679101440 4194304 8255733 140730442826304 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 9037040 9046032 26927104 140730442830686 140730442830948 140730442830948 140730442837961 0
/proc/6682/statm: 9344 642 585 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2568 KiB

[startup+0.700206 s]
/proc/loadavg: 0.14 0.10 0.09 1/258 6698
/proc/meminfo: memFree=130315840/131524600 swapFree=131071996/131071996
[pid=6682] ppid=6679 vsize=37376 memory=2568 CPUtime=0 cores=0,2
/proc/6682/stat : 6682 (roundingsat) D 6679 6682 6624 0 -1 1078198272 219 0 0 0 0 0 0 0 20 0 1 0 674277 38273024 642 134679101440 4194304 8255733 140730442826304 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 9037040 9046032 26927104 140730442830686 140730442830948 140730442830948 140730442837961 0
/proc/6682/statm: 9344 642 585 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2568 KiB

[startup+1.50018 s]
/proc/loadavg: 0.14 0.10 0.09 2/258 6698
/proc/meminfo: memFree=130304688/131524600 swapFree=131071996/131071996
[pid=6682] ppid=6679 vsize=57224 memory=29144 CPUtime=0.67 cores=0,2
/proc/6682/stat : 6682 (roundingsat) R 6679 6682 6624 0 -1 4194304 6714 0 0 0 56 11 0 0 20 0 1 0 674277 58597376 7286 134679101440 4194304 8255733 140730442826304 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 26927104 140730442830686 140730442830948 140730442830948 140730442837961 0
/proc/6682/statm: 14306 7286 1806 992 0 6164 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 57224 KiB
Current children cumulated memory: 29144 KiB

[startup+3.10544 s]
/proc/loadavg: 0.14 0.10 0.09 4/254 6707
/proc/meminfo: memFree=129983812/131524600 swapFree=131071996/131071996
[pid=6682] ppid=6679 vsize=67104 memory=39980 CPUtime=2.27 cores=0,2
/proc/6682/stat : 6682 (roundingsat) R 6679 6682 6624 0 -1 4194304 9388 0 0 0 193 34 0 0 20 0 1 0 674277 68714496 9995 134679101440 4194304 8255733 140730442826304 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 26927104 140730442830686 140730442830948 140730442830948 140730442837961 0
/proc/6682/statm: 16776 9995 1871 992 0 8634 0
Current children cumulated CPU time: 2.27 s
Current children cumulated vsize: 67104 KiB
Current children cumulated memory: 39980 KiB
heavy processes:

[startup+6.30019 s]
/proc/loadavg: 0.37 0.15 0.11 5/259 6795
/proc/meminfo: memFree=129644216/131524600 swapFree=131071996/131071996
[pid=6682] ppid=6679 vsize=123328 memory=83624 CPUtime=5.44 cores=0,2
/proc/6682/stat : 6682 (roundingsat) R 6679 6682 6624 0 -1 4194304 17773 0 0 0 498 46 0 0 20 0 1 0 674277 126287872 20906 134679101440 4194304 8255733 140730442826304 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 26927104 140730442830686 140730442830948 140730442830948 140730442837961 0
/proc/6682/statm: 30832 20906 1871 992 0 22690 0
Current children cumulated CPU time: 5.44 s
Current children cumulated vsize: 123328 KiB
Current children cumulated memory: 83624 KiB

[startup+12.7002 s]
/proc/loadavg: 0.66 0.21 0.13 5/259 6795
/proc/meminfo: memFree=129110336/131524600 swapFree=131071996/131071996
[pid=6682] ppid=6679 vsize=128088 memory=90184 CPUtime=11.82 cores=0,2
/proc/6682/stat : 6682 (roundingsat) R 6679 6682 6624 0 -1 4194304 18881 0 0 0 1116 66 0 0 20 0 1 0 674277 131162112 22546 134679101440 4194304 8255733 140730442826304 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 26927104 140730442830686 140730442830948 140730442830948 140730442837961 0
/proc/6682/statm: 32022 22546 1887 992 0 23880 0
Current children cumulated CPU time: 11.82 s
Current children cumulated vsize: 128088 KiB
Current children cumulated memory: 90184 KiB

[startup+25.5002 s]
/proc/loadavg: 1.40 0.40 0.19 5/260 6799
/proc/meminfo: memFree=128670208/131524600 swapFree=131071996/131071996
[pid=6682] ppid=6679 vsize=259664 memory=196156 CPUtime=24.57 cores=0,2
/proc/6682/stat : 6682 (roundingsat) R 6679 6682 6624 0 -1 4194304 38336 0 0 0 2357 100 0 0 20 0 1 0 674277 265895936 49039 134679101440 4194304 8255733 140730442826304 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 26927104 140730442830686 140730442830948 140730442830948 140730442837961 0
/proc/6682/statm: 64916 49039 1887 992 0 56774 0
Current children cumulated CPU time: 24.57 s
Current children cumulated vsize: 259664 KiB
Current children cumulated memory: 196156 KiB

[startup+51.1058 s]
/proc/loadavg: 2.36 0.70 0.30 5/260 6802
/proc/meminfo: memFree=128146824/131524600 swapFree=131071996/131071996
[pid=6682] ppid=6679 vsize=267928 memory=203924 CPUtime=50.06 cores=0,2
/proc/6682/stat : 6682 (roundingsat) R 6679 6682 6624 0 -1 4194304 40343 0 0 0 4875 131 0 0 20 0 1 0 674277 274358272 50981 134679101440 4194304 8255733 140730442826304 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 26927104 140730442830686 140730442830948 140730442830948 140730442837961 0
/proc/6682/statm: 66982 50981 1887 992 0 58840 0
Current children cumulated CPU time: 50.06 s
Current children cumulated vsize: 267928 KiB
Current children cumulated memory: 203924 KiB

[startup+102.3 s]
/proc/loadavg: 3.29 1.21 0.50 5/261 6825
/proc/meminfo: memFree=126707692/131524600 swapFree=131071996/131071996
[pid=6682] ppid=6679 vsize=274804 memory=217772 CPUtime=101.04 cores=0,2
/proc/6682/stat : 6682 (roundingsat) R 6679 6682 6624 0 -1 4194304 41979 0 0 0 9877 227 0 0 20 0 1 0 674277 281399296 54443 134679101440 4194304 8255733 140730442826304 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 26927104 140730442830686 140730442830948 140730442830948 140730442837961 0
/proc/6682/statm: 68701 54443 1887 992 0 60559 0
Current children cumulated CPU time: 101.04 s
Current children cumulated vsize: 274804 KiB
Current children cumulated memory: 217772 KiB

[startup+162.3 s]
/proc/loadavg: 3.95 1.78 0.74 5/261 6835
/proc/meminfo: memFree=125428868/131524600 swapFree=131071996/131071996
[pid=6682] ppid=6679 vsize=333476 memory=258940 CPUtime=160.78 cores=0,2
/proc/6682/stat : 6682 (roundingsat) R 6679 6682 6624 0 -1 4194304 44874 0 0 0 15764 314 0 0 20 0 1 0 674277 341479424 64735 134679101440 4194304 8255733 140730442826304 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 26927104 140730442830686 140730442830948 140730442830948 140730442837961 0
/proc/6682/statm: 83369 64735 1887 992 0 75227 0
Current children cumulated CPU time: 160.78 s
Current children cumulated vsize: 333476 KiB
Current children cumulated memory: 258940 KiB

[startup+222.3 s]
/proc/loadavg: 4.09 2.22 0.96 5/261 6847
/proc/meminfo: memFree=124669896/131524600 swapFree=131071996/131071996
[pid=6682] ppid=6679 vsize=337956 memory=274376 CPUtime=220.54 cores=0,2
/proc/6682/stat : 6682 (roundingsat) R 6679 6682 6624 0 -1 4194304 46216 0 0 0 21669 385 0 0 20 0 1 0 674277 346066944 68594 134679101440 4194304 8255733 140730442826304 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 26927104 140730442830686 140730442830948 140730442830948 140730442837961 0
/proc/6682/statm: 84489 68594 1887 992 0 76347 0
Current children cumulated CPU time: 220.54 s
Current children cumulated vsize: 337956 KiB
Current children cumulated memory: 274376 KiB

[startup+282.3 s]
/proc/loadavg: 4.15 2.58 1.16 5/259 6857
/proc/meminfo: memFree=123613160/131524600 swapFree=131071996/131071996
[pid=6682] ppid=6679 vsize=341688 memory=308184 CPUtime=280.3 cores=0,2
/proc/6682/stat : 6682 (roundingsat) R 6679 6682 6624 0 -1 4194304 47033 0 0 0 27570 460 0 0 20 0 1 0 674277 349888512 77046 134679101440 4194304 8255733 140730442826304 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 26927104 140730442830686 140730442830948 140730442830948 140730442837961 0
/proc/6682/statm: 85422 77046 1887 992 0 77280 0
Current children cumulated CPU time: 280.3 s
Current children cumulated vsize: 341688 KiB
Current children cumulated memory: 308184 KiB

[startup+342.3 s]
/proc/loadavg: 4.13 2.86 1.35 5/260 6869
/proc/meminfo: memFree=123015808/131524600 swapFree=131071996/131071996
[pid=6682] ppid=6679 vsize=343880 memory=316760 CPUtime=340.04 cores=0,2
/proc/6682/stat : 6682 (roundingsat) R 6679 6682 6624 0 -1 4194304 47694 0 0 0 33470 534 0 0 20 0 1 0 674277 352133120 79190 134679101440 4194304 8255733 140730442826304 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 26927104 140730442830686 140730442830948 140730442830948 140730442837961 0
/proc/6682/statm: 85970 79190 1887 992 0 77828 0
Current children cumulated CPU time: 340.04 s
Current children cumulated vsize: 343880 KiB
Current children cumulated memory: 316760 KiB

[startup+402.3 s]
/proc/loadavg: 4.11 3.08 1.52 5/260 6880
/proc/meminfo: memFree=122595840/131524600 swapFree=131071996/131071996
[pid=6682] ppid=6679 vsize=347984 memory=320728 CPUtime=399.79 cores=0,2
/proc/6682/stat : 6682 (roundingsat) R 6679 6682 6624 0 -1 4194304 48878 0 0 0 39384 595 0 0 20 0 1 0 674277 356335616 80182 134679101440 4194304 8255733 140730442826304 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 26927104 140730442830686 140730442830948 140730442830948 140730442837961 0
/proc/6682/statm: 86996 80182 1887 992 0 78854 0
Current children cumulated CPU time: 399.79 s
Current children cumulated vsize: 347984 KiB
Current children cumulated memory: 320728 KiB

[startup+462.3 s]
/proc/loadavg: 4.09 3.27 1.68 5/258 6890
/proc/meminfo: memFree=121921904/131524600 swapFree=131071996/131071996
[pid=6682] ppid=6679 vsize=348340 memory=321136 CPUtime=459.54 cores=0,2
/proc/6682/stat : 6682 (roundingsat) R 6679 6682 6624 0 -1 4194304 49125 0 0 0 45292 662 0 0 20 0 1 0 674277 356700160 80284 134679101440 4194304 8255733 140730442826304 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 26927104 140730442830686 140730442830948 140730442830948 140730442837961 0

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


[startup+3102.3 s]
/proc/loadavg: 4.25 4.39 4.18 5/261 8042
/proc/meminfo: memFree=96488008/131524600 swapFree=131071996/131071996
[pid=6682] ppid=6679 vsize=632872 memory=481332 CPUtime=3089.31 cores=0,2
/proc/6682/stat : 6682 (roundingsat) R 6679 6682 6624 0 -1 4194304 73864 0 0 0 306452 2479 0 0 20 0 1 0 674277 648060928 120333 134679101440 4194304 8255733 140730442826304 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 26927104 140730442830686 140730442830948 140730442830948 140730442837961 0
/proc/6682/statm: 158218 120333 1887 992 0 150076 0
Current children cumulated CPU time: 3089.31 s
Current children cumulated vsize: 632872 KiB
Current children cumulated memory: 481332 KiB

[startup+3162.3 s]
/proc/loadavg: 4.14 4.34 4.17 5/261 8053
/proc/meminfo: memFree=95628028/131524600 swapFree=131071996/131071996
[pid=6682] ppid=6679 vsize=634172 memory=482464 CPUtime=3149.06 cores=0,2
/proc/6682/stat : 6682 (roundingsat) R 6679 6682 6624 0 -1 4194304 74414 0 0 0 312403 2503 0 0 20 0 1 0 674277 649392128 120616 134679101440 4194304 8255733 140730442826304 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 26927104 140730442830686 140730442830948 140730442830948 140730442837961 0
/proc/6682/statm: 158543 120616 1887 992 0 150401 0
Current children cumulated CPU time: 3149.06 s
Current children cumulated vsize: 634172 KiB
Current children cumulated memory: 482464 KiB

[startup+3222.3 s]
/proc/loadavg: 4.15 4.30 4.17 5/261 8063
/proc/meminfo: memFree=94425280/131524600 swapFree=131071996/131071996
[pid=6682] ppid=6679 vsize=634172 memory=482688 CPUtime=3208.81 cores=0,2
/proc/6682/stat : 6682 (roundingsat) R 6679 6682 6624 0 -1 4194304 74624 0 0 0 318333 2548 0 0 20 0 1 0 674277 649392128 120672 134679101440 4194304 8255733 140730442826304 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 26927104 140730442830686 140730442830948 140730442830948 140730442837961 0
/proc/6682/statm: 158543 120672 1887 992 0 150401 0
Current children cumulated CPU time: 3208.81 s
Current children cumulated vsize: 634172 KiB
Current children cumulated memory: 482688 KiB

[startup+3282.3 s]
/proc/loadavg: 4.15 4.28 4.17 5/260 8074
/proc/meminfo: memFree=93057784/131524600 swapFree=131071996/131071996
[pid=6682] ppid=6679 vsize=634472 memory=483012 CPUtime=3268.56 cores=0,2
/proc/6682/stat : 6682 (roundingsat) R 6679 6682 6624 0 -1 4194304 74916 0 0 0 324267 2589 0 0 20 0 1 0 674277 649699328 120753 134679101440 4194304 8255733 140730442826304 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 26927104 140730442830686 140730442830948 140730442830948 140730442837961 0
/proc/6682/statm: 158618 120753 1887 992 0 150476 0
Current children cumulated CPU time: 3268.56 s
Current children cumulated vsize: 634472 KiB
Current children cumulated memory: 483012 KiB

[startup+3342.3 s]
/proc/loadavg: 4.11 4.24 4.17 5/262 8088
/proc/meminfo: memFree=91136056/131524600 swapFree=131071996/131071996
[pid=6682] ppid=6679 vsize=634472 memory=483012 CPUtime=3328.32 cores=0,2
/proc/6682/stat : 6682 (roundingsat) R 6679 6682 6624 0 -1 4194304 75126 0 0 0 330209 2623 0 0 20 0 1 0 674277 649699328 120753 134679101440 4194304 8255733 140730442826304 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 26927104 140730442830686 140730442830948 140730442830948 140730442837961 0
/proc/6682/statm: 158618 120753 1887 992 0 150476 0
Current children cumulated CPU time: 3328.32 s
Current children cumulated vsize: 634472 KiB
Current children cumulated memory: 483012 KiB

[startup+3402.3 s]
/proc/loadavg: 4.17 4.22 4.17 5/263 8486
/proc/meminfo: memFree=89540932/131524600 swapFree=131071996/131071996
[pid=6682] ppid=6679 vsize=634472 memory=483012 CPUtime=3388.07 cores=0,2
/proc/6682/stat : 6682 (roundingsat) R 6679 6682 6624 0 -1 4194304 75336 0 0 0 336154 2653 0 0 20 0 1 0 674277 649699328 120753 134679101440 4194304 8255733 140730442826304 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 26927104 140730442830686 140730442830948 140730442830948 140730442837961 0
/proc/6682/statm: 158618 120753 1887 992 0 150476 0
Current children cumulated CPU time: 3388.07 s
Current children cumulated vsize: 634472 KiB
Current children cumulated memory: 483012 KiB

[startup+3462.3 s]
/proc/loadavg: 4.16 4.21 4.17 5/263 8497
/proc/meminfo: memFree=88041520/131524600 swapFree=131071996/131071996
[pid=6682] ppid=6679 vsize=634472 memory=483012 CPUtime=3447.82 cores=0,2
/proc/6682/stat : 6682 (roundingsat) R 6679 6682 6624 0 -1 4194304 75546 0 0 0 342086 2696 0 0 20 0 1 0 674277 649699328 120753 134679101440 4194304 8255733 140730442826304 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 26927104 140730442830686 140730442830948 140730442830948 140730442837961 0
/proc/6682/statm: 158618 120753 1887 992 0 150476 0
Current children cumulated CPU time: 3447.82 s
Current children cumulated vsize: 634472 KiB
Current children cumulated memory: 483012 KiB

[startup+3522.3 s]
/proc/loadavg: 4.18 4.22 4.17 5/263 8509
/proc/meminfo: memFree=86976664/131524600 swapFree=131071996/131071996
[pid=6682] ppid=6679 vsize=637136 memory=485692 CPUtime=3507.57 cores=0,2
/proc/6682/stat : 6682 (roundingsat) R 6679 6682 6624 0 -1 4194304 76939 0 0 0 348023 2734 0 0 20 0 1 0 674277 652427264 121423 134679101440 4194304 8255733 140730442826304 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 26927104 140730442830686 140730442830948 140730442830948 140730442837961 0
/proc/6682/statm: 159284 121423 1887 992 0 151142 0
Current children cumulated CPU time: 3507.57 s
Current children cumulated vsize: 637136 KiB
Current children cumulated memory: 485692 KiB

[startup+3582.3 s]
/proc/loadavg: 4.15 4.20 4.17 5/263 8687
/proc/meminfo: memFree=85694096/131524600 swapFree=131071996/131071996
[pid=6682] ppid=6679 vsize=637136 memory=485692 CPUtime=3567.32 cores=0,2
/proc/6682/stat : 6682 (roundingsat) R 6679 6682 6624 0 -1 4194304 77149 0 0 0 353964 2768 0 0 20 0 1 0 674277 652427264 121423 134679101440 4194304 8255733 140730442826304 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 26927104 140730442830686 140730442830948 140730442830948 140730442837961 0
/proc/6682/statm: 159284 121423 1887 992 0 151142 0
Current children cumulated CPU time: 3567.32 s
Current children cumulated vsize: 637136 KiB
Current children cumulated memory: 485692 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3615.2 s]
/proc/loadavg: 4.15 4.20 4.17 4/256 8720
/proc/meminfo: memFree=86120684/131524600 swapFree=131071996/131071996
[pid=6682] ppid=6679 vsize=637136 memory=485692 CPUtime=3600.09 cores=0,2
/proc/6682/stat : 6682 (roundingsat) R 6679 6682 6624 0 -1 4194304 77256 0 0 0 357217 2792 0 0 20 0 1 0 674277 652427264 121423 134679101440 4194304 8255733 140730442826304 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 26927104 140730442830686 140730442830948 140730442830948 140730442837961 0
/proc/6682/statm: 159284 121423 1887 992 0 151142 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 637136 KiB
Current children cumulated memory: 485692 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.15 4.20 4.17 3/261 8740
/proc/meminfo: memFree=98615592/131524600 swapFree=131071996/131071996
[pid=6682] ppid=6679 vsize=637136 memory=486028 CPUtime=3600.09 cores=0,2
/proc/6682/stat : 6682 (roundingsat) D 6679 6682 6624 0 -1 4194304 77264 0 0 0 357217 2792 0 0 20 0 1 0 674277 652427264 121507 134679101440 4194304 8255733 140730442826304 0 0 256 0 0 25182210 0 0 0 17 0 0 0 290 0 0 9037040 9046032 26927104 140730442830686 140730442830948 140730442830948 140730442837961 0
/proc/6682/statm: 159284 121507 1970 992 0 151142 0
??? kill 6682 sig 9
??? end of watcher thread

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

# cumulated CPU time of all completed processes:  user=3572.18 s, system=27.9338 s

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

[startup+3616 s]*
/proc/loadavg: 4.15 4.20 4.17 4/256 8720
/proc/meminfo: memFree=89622492/131524600 swapFree=131071996/131071996
[pid=6682] ppid=6679 vsize=637136 memory=486028 CPUtime=3600.09 cores=0,2
/proc/6682/stat : 6682 (roundingsat) D 6679 6682 6624 0 -1 4194304 77264 0 0 0 357217 2792 0 0 20 0 1 0 674277 652427264 121507 134679101440 4194304 8255733 140730442826304 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 26927104 140730442830686 140730442830948 140730442830948 140730442837961 0
/proc/6682/statm: 159284 121507 1970 992 0 151142 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 637136 KiB
Current children cumulated memory: 486028 KiB

[startup+3616.8 s]
/proc/loadavg: 4.15 4.20 4.17 4/256 8720
/proc/meminfo: memFree=89622492/131524600 swapFree=131071996/131071996
[pid=6682] ppid=6679 vsize=637136 memory=486028 CPUtime=3600.09 cores=0,2
/proc/6682/stat : 6682 (roundingsat) D 6679 6682 6624 0 -1 4194304 77264 0 0 0 357217 2792 0 0 20 0 1 0 674277 652427264 121507 134679101440 4194304 8255733 140730442826304 0 0 0 0 0 25182210 0 0 0 17 0 0 0 227 0 0 9037040 9046032 26927104 140730442830686 140730442830948 140730442830948 140730442837961 0
/proc/6682/statm: 159284 121507 1970 992 0 151142 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 637136 KiB
Current children cumulated memory: 486028 KiB

[startup+3617.2 s]
/proc/loadavg: 4.15 4.20 4.17 3/262 8740
/proc/meminfo: memFree=98620876/131524600 swapFree=131071996/131071996
[pid=6682] ppid=6679 vsize=637136 memory=486028 CPUtime=3600.09 cores=0,2
/proc/6682/stat : 6682 (roundingsat) D 6679 6682 6624 0 -1 4194304 77264 0 0 0 357217 2792 0 0 20 0 1 0 674277 652427264 121507 134679101440 4194304 8255733 140730442826304 0 0 0 0 0 25182210 0 0 0 17 0 0 0 290 0 0 9037040 9046032 26927104 140730442830686 140730442830948 140730442830948 140730442837961 0
/proc/6682/statm: 159284 121507 1970 992 0 151142 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 637136 KiB
Current children cumulated memory: 486028 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 3635.01
CPU time (s): 3600.11
CPU user time (s): 3572.18
CPU system time (s): 27.9338
CPU usage (%): 99.04
Max. virtual memory (cumulated for all children) (KiB): 637136
Max. memory (cumulated for all children) (KiB): 486028

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3572.18
system time used= 27.9338
maximum resident set size= 486148
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 77264
page faults= 0
swaps= 0
block input operations= 0
block output operations= 15090528
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1168
involuntary context switches= 24976


# summary of solver processes directly reported to runsolver:
#   pid: 6682
#   total CPU time (s): 3600.11
#   total CPU user time (s): 3572.18
#   total CPU system time (s): 27.9338

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.89983 second user time and 17.9551 second system time

The end

Begin job on nodeC020 at 2024-07-30 13:59:24
IDJOB=4462513
IDBENCH=147037
IDSOLVER=3089
FILE ID=nodeC020/4462513-1722340764
RUNJOBID= nodeC020-1722340763-6635
SLURM_JOB_ID= 8248993
Free space on /tmp= 890068 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-4462513-1722340764/watcher-4462513-1722340764 -o /tmp/evaluation-result-4462513-1722340764/solver-4462513-1722340764 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1722340763-6635 --watchdog 3760  roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4462513-1722340764 --lp-cut-gomory=0 HOME/instance-4462513-1722340764.opb

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

MD5SUM BENCH= 0fb7b9dc188f1b53ec311352ea5d5560
RANDOM SEED=1492646933

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        130327152 kB
MemAvailable:   129914316 kB
Buffers:           44668 kB
Cached:           343124 kB
SwapCached:            0 kB
Active:           133080 kB
Inactive:         607500 kB
Active(anon):       1488 kB
Inactive(anon):   372636 kB
Active(file):     131592 kB
Inactive(file):   234864 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             21068 kB
Writeback:             8 kB
AnonPages:        351184 kB
Mapped:            89272 kB
Shmem:             21336 kB
KReclaimable:      43996 kB
Slab:             117888 kB
SReclaimable:      43996 kB
SUnreclaim:        73892 kB
KernelStack:        3980 kB
PageTables:         9580 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     778748 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:             8992 kB
HardwareCorrupted:     0 kB
AnonHugePages:    217088 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:      193236 kB
DirectMap2M:    10065920 kB
DirectMap1G:    125829120 kB

Free space on /tmp at the end= 890048 MiB
End job on nodeC020 at 2024-07-30 14:59:59