0.00/0.00	c RoundingSat 2
0.00/0.00	c branch 
0.00/0.00	c commit 
0.01/1.26	c #variables 21705 #constraints 4258
1.50/2.77	c bounds - >= 0 @ 0.070158
1.50/2.77	c bounds 1653 >= 0 @ 0.562296
1.50/2.77	c bounds 1653 >= 20 @ 0.564532
1.50/2.77	c bounds 1653 >= 22 @ 0.564654
1.50/2.77	c bounds 1653 >= 23 @ 0.56584
1.50/2.77	c bounds 1653 >= 25 @ 0.567269
1.50/2.77	c bounds 1653 >= 27 @ 0.56903
1.50/2.77	c bounds 1653 >= 29 @ 0.570565
1.50/2.77	c bounds 1653 >= 30 @ 0.572279
1.50/2.77	c bounds 1653 >= 32 @ 0.573563
1.50/2.77	c bounds 1653 >= 34 @ 0.574804
1.50/2.77	c bounds 1653 >= 36 @ 0.576559
1.50/2.77	c bounds 1653 >= 38 @ 0.577557
1.50/2.77	c bounds 1653 >= 40 @ 0.578714
1.50/2.77	c bounds 1653 >= 42 @ 0.579555
1.50/2.77	c bounds 1653 >= 44 @ 0.581657
1.50/2.77	c bounds 1653 >= 46 @ 0.584224
1.50/2.77	c bounds 1653 >= 48 @ 0.58654
1.50/2.77	c bounds 1653 >= 50 @ 0.587538
1.50/2.77	c bounds 1653 >= 52 @ 0.589535
1.50/2.77	c bounds 1653 >= 54 @ 0.591531
1.50/2.77	c bounds 1653 >= 56 @ 0.593713
1.50/2.77	c bounds 1653 >= 58 @ 0.595523
1.50/2.77	c bounds 1653 >= 60 @ 0.596554
1.50/2.77	c bounds 1653 >= 62 @ 0.598714
1.50/2.77	c bounds 1653 >= 63 @ 0.600775
1.50/2.77	c bounds 1653 >= 65 @ 0.602958
1.50/2.77	c bounds 1653 >= 67 @ 0.605509
1.50/2.77	c bounds 1653 >= 68 @ 0.606508
1.50/2.77	c bounds 1653 >= 69 @ 0.607509
1.50/2.77	c bounds 1653 >= 70 @ 0.609135
1.50/2.77	c bounds 1653 >= 71 @ 0.610537
1.50/2.77	c bounds 1653 >= 73 @ 0.611505
1.50/2.77	c bounds 1653 >= 75 @ 0.612503
1.50/2.77	c bounds 1653 >= 77 @ 0.614782
1.50/2.77	c bounds 1653 >= 78 @ 0.617496
1.50/2.77	c bounds 1653 >= 80 @ 0.618777
1.50/2.77	c bounds 1653 >= 82 @ 0.620492
1.50/2.77	c bounds 1653 >= 84 @ 0.621492
1.50/2.77	c bounds 1653 >= 86 @ 0.623698
1.50/2.77	c bounds 1653 >= 88 @ 0.625484
1.50/2.77	c bounds 1653 >= 90 @ 0.627445
1.50/2.77	c bounds 1653 >= 92 @ 0.629673
1.50/2.77	c bounds 1653 >= 94 @ 0.632728
1.50/2.77	c bounds 1653 >= 95 @ 0.634434
1.50/2.77	c bounds 1653 >= 97 @ 0.635972
1.50/2.77	c bounds 1653 >= 99 @ 0.639428
1.50/2.77	c bounds 1653 >= 101 @ 0.643303
1.50/2.77	c bounds 1653 >= 102 @ 0.645617
1.50/2.77	c bounds 1653 >= 104 @ 0.646419
1.50/2.77	c bounds 1653 >= 105 @ 0.64799
1.50/2.77	c bounds 1653 >= 107 @ 0.649417
1.50/2.77	c bounds 1653 >= 109 @ 0.651413
1.50/2.77	c bounds 1653 >= 111 @ 0.654615
1.50/2.77	c bounds 1653 >= 112 @ 0.656405
1.50/2.77	c bounds 1653 >= 113 @ 0.657406
1.50/2.77	c bounds 1653 >= 115 @ 0.658635
1.50/2.77	c bounds 1653 >= 117 @ 0.6614
1.50/2.77	c bounds 1653 >= 119 @ 0.6624
1.50/2.77	c bounds 1653 >= 121 @ 0.6634
1.50/2.77	c bounds 1653 >= 123 @ 0.665397
1.50/2.77	c bounds 1653 >= 125 @ 0.666692
1.50/2.77	c bounds 1653 >= 127 @ 0.668632
1.50/2.77	c bounds 1653 >= 128 @ 0.670624
1.50/2.77	c bounds 1653 >= 129 @ 0.673341
1.50/2.77	c bounds 1653 >= 130 @ 0.67438
1.50/2.77	c bounds 1653 >= 131 @ 0.675334
1.50/2.77	c bounds 1653 >= 133 @ 0.677239
1.50/2.77	c bounds 1653 >= 135 @ 0.680363
1.50/2.77	c bounds 1653 >= 136 @ 0.682569
1.50/2.77	c bounds 1653 >= 138 @ 0.684321
1.50/2.77	c bounds 1653 >= 140 @ 0.686319
1.50/2.77	c bounds 1653 >= 142 @ 0.689545
1.50/2.77	c bounds 1653 >= 144 @ 0.692297
1.50/2.77	c bounds 1652 >= 144 @ 0.719754
1.50/2.77	c bounds 1652 >= 146 @ 0.723196
1.50/2.77	c bounds 1652 >= 147 @ 0.724196
1.50/2.77	c bounds 1652 >= 149 @ 0.72719
1.50/2.77	c bounds 1652 >= 151 @ 0.729188
1.50/2.77	c bounds 1652 >= 152 @ 0.73041
1.50/2.77	c bounds 1652 >= 154 @ 0.733186
1.50/2.77	c bounds 1652 >= 156 @ 0.736182
1.50/2.77	c bounds 1652 >= 157 @ 0.739178
1.50/2.77	c bounds 1652 >= 158 @ 0.742407
1.50/2.77	c bounds 1652 >= 159 @ 0.746171
1.50/2.77	c bounds 1652 >= 161 @ 0.750165
1.50/2.77	c bounds 1652 >= 163 @ 0.752403
1.50/2.77	c bounds 1652 >= 165 @ 0.755123
1.50/2.77	c bounds 1652 >= 167 @ 0.757121
1.50/2.77	c bounds 1652 >= 168 @ 0.76012
1.50/2.77	c bounds 1652 >= 169 @ 0.761335
1.50/2.77	c bounds 1652 >= 171 @ 0.763109
1.50/2.77	c bounds 1651 >= 171 @ 0.780787
1.50/2.77	c bounds 1651 >= 173 @ 0.783475
1.50/2.77	c bounds 1651 >= 175 @ 0.787279
1.50/2.77	c bounds 1651 >= 177 @ 0.790034
1.50/2.77	c bounds 1651 >= 179 @ 0.79303
1.50/2.77	c bounds 1651 >= 180 @ 0.795273
1.50/2.77	c bounds 1651 >= 182 @ 0.798019
1.50/2.77	c bounds 1651 >= 183 @ 0.800018
1.50/2.77	c bounds 1651 >= 184 @ 0.802403
1.50/2.77	c bounds 1650 >= 184 @ 0.827209
1.50/2.77	c bounds 1650 >= 186 @ 0.830583
1.50/2.77	c bounds 1650 >= 188 @ 0.836993
1.50/2.77	c bounds 1650 >= 189 @ 0.839923
1.50/2.77	c bounds 1650 >= 191 @ 0.843442
1.50/2.77	c bounds 1650 >= 193 @ 0.846912
1.50/2.77	c bounds 1650 >= 195 @ 0.84991
1.50/2.77	c bounds 1650 >= 197 @ 0.853545
1.50/2.77	c bounds 1650 >= 199 @ 0.856691
1.50/2.77	c bounds 1650 >= 201 @ 0.859865
1.50/2.77	c bounds 1649 >= 201 @ 0.889234
1.50/2.77	c bounds 1649 >= 203 @ 0.893802
1.50/2.77	c bounds 1649 >= 204 @ 0.897797
1.50/2.77	c bounds 1649 >= 206 @ 0.901809
1.50/2.77	c bounds 1649 >= 208 @ 0.90529
1.50/2.77	c bounds 1649 >= 210 @ 0.910475
1.50/2.77	c bounds 1649 >= 212 @ 0.914727
1.50/2.77	c bounds 1649 >= 214 @ 0.916958
1.50/2.77	c bounds 1649 >= 216 @ 0.922719
1.50/2.77	c bounds 1649 >= 217 @ 0.92472
1.50/2.77	c bounds 1649 >= 219 @ 0.928114
1.50/2.77	c bounds 1649 >= 221 @ 0.932707
1.50/2.77	c bounds 1649 >= 223 @ 0.937061
1.50/2.77	c bounds 1649 >= 225 @ 0.941667
1.50/2.77	c bounds 1649 >= 226 @ 0.943486
1.50/2.77	c bounds 1649 >= 228 @ 0.946901
1.50/2.77	c bounds 1649 >= 229 @ 0.950096
1.50/2.77	c bounds 1649 >= 231 @ 0.95538
1.50/2.77	c bounds 1649 >= 232 @ 0.960896
1.50/2.77	c bounds 1649 >= 234 @ 0.96364
3.29/4.56	c bounds 1648 >= 234 @ 1.03528
3.29/4.56	c bounds 1648 >= 235 @ 1.03867
3.29/4.56	c bounds 1648 >= 236 @ 1.04144
3.29/4.56	c bounds 1648 >= 238 @ 1.04419
3.29/4.56	c bounds 1648 >= 240 @ 1.04959
3.29/4.56	c bounds 1648 >= 242 @ 1.05278
3.29/4.56	c bounds 1648 >= 244 @ 1.05594
3.29/4.56	c bounds 1648 >= 246 @ 1.06024
3.29/4.56	c bounds 1648 >= 248 @ 1.06461
3.29/4.56	c bounds 1648 >= 250 @ 1.06834
3.29/4.56	c bounds 1648 >= 252 @ 1.07224
3.29/4.56	c bounds 1648 >= 254 @ 1.07673
3.29/4.56	c bounds 1648 >= 256 @ 1.08032
3.29/4.56	c bounds 1648 >= 258 @ 1.08354
3.29/4.56	c bounds 1648 >= 260 @ 1.08696
3.29/4.56	c bounds 1648 >= 262 @ 1.09151
3.29/4.56	c bounds 1648 >= 263 @ 1.09369
3.29/4.56	c bounds 1648 >= 264 @ 1.09704
3.29/4.56	c bounds 1648 >= 265 @ 1.1015
3.29/4.56	c bounds 1648 >= 267 @ 1.10712
3.29/4.56	c bounds 1648 >= 269 @ 1.11027
3.29/4.56	c bounds 1648 >= 271 @ 1.11865
3.29/4.56	c bounds 1648 >= 273 @ 1.12253
3.29/4.56	c bounds 1648 >= 275 @ 1.12524
3.29/4.56	c bounds 1648 >= 277 @ 1.12724
3.29/4.56	c bounds 1648 >= 279 @ 1.13345
3.29/4.56	c bounds 1648 >= 280 @ 1.13723
3.29/4.56	c bounds 1648 >= 282 @ 1.13923
3.29/4.56	c bounds 1648 >= 284 @ 1.14358
3.29/4.56	c bounds 1648 >= 286 @ 1.14943
3.29/4.56	c bounds 1648 >= 288 @ 1.15423
3.29/4.56	c bounds 1648 >= 290 @ 1.1592
3.29/4.56	c bounds 1648 >= 291 @ 1.16219
3.29/4.56	c bounds 1648 >= 293 @ 1.16542
3.29/4.56	c bounds 1648 >= 294 @ 1.16819
3.29/4.56	c bounds 1648 >= 295 @ 1.17276
3.29/4.56	c bounds 1648 >= 297 @ 1.17759
3.29/4.56	c bounds 1648 >= 298 @ 1.18239
3.29/4.56	c bounds 1648 >= 300 @ 1.18811
3.29/4.56	c bounds 1648 >= 301 @ 1.19215
3.29/4.56	c bounds 1648 >= 302 @ 1.19615
3.29/4.56	c bounds 1648 >= 303 @ 1.20047
3.29/4.56	c bounds 1648 >= 305 @ 1.2034
3.29/4.56	c bounds 1648 >= 307 @ 1.20735
3.29/4.56	c bounds 1648 >= 309 @ 1.20913
3.29/4.56	c bounds 1647 >= 309 @ 1.31365
3.29/4.56	c bounds 1647 >= 311 @ 1.31834
3.29/4.56	c bounds 1647 >= 313 @ 1.32187
3.29/4.56	c bounds 1647 >= 315 @ 1.32387
3.29/4.56	c bounds 1647 >= 317 @ 1.32618
3.29/4.56	c bounds 1647 >= 319 @ 1.33191
3.29/4.56	c bounds 1647 >= 321 @ 1.33485
3.29/4.56	c bounds 1647 >= 323 @ 1.33884
3.29/4.56	c bounds 1647 >= 325 @ 1.34177
3.29/4.56	c bounds 1647 >= 326 @ 1.34526
3.29/4.56	c bounds 1647 >= 328 @ 1.35048
3.29/4.56	c bounds 1647 >= 330 @ 1.35406
3.29/4.56	c bounds 1647 >= 332 @ 1.35881
3.29/4.56	c bounds 1647 >= 334 @ 1.3638
3.29/4.56	c bounds 1647 >= 336 @ 1.36695
3.29/4.56	c bounds 1647 >= 338 @ 1.36823
3.29/4.56	c bounds 1647 >= 340 @ 1.3712
3.29/4.56	c bounds 1647 >= 342 @ 1.37612
3.29/4.56	c bounds 1647 >= 344 @ 1.37819
3.29/4.56	c bounds 1647 >= 346 @ 1.38098
3.29/4.56	c bounds 1647 >= 348 @ 1.38401
3.29/4.56	c bounds 1647 >= 349 @ 1.38984
3.29/4.56	c bounds 1647 >= 351 @ 1.39478
3.29/4.56	c bounds 1647 >= 353 @ 1.39668
3.29/4.56	c bounds 1647 >= 354 @ 1.40166
3.29/4.56	c bounds 1647 >= 356 @ 1.40474
3.29/4.56	c bounds 1647 >= 358 @ 1.40699
3.29/4.56	c bounds 1647 >= 360 @ 1.41273
3.29/4.56	c bounds 1647 >= 362 @ 1.41872
3.29/4.56	c bounds 1647 >= 364 @ 1.42125
3.29/4.56	c bounds 1647 >= 366 @ 1.4273
3.29/4.56	c bounds 1647 >= 367 @ 1.43185
3.29/4.56	c bounds 1647 >= 369 @ 1.4347
3.29/4.56	c bounds 1647 >= 371 @ 1.43815
3.29/4.56	c bounds 1647 >= 373 @ 1.44069
3.29/4.56	c bounds 1647 >= 374 @ 1.44191
3.29/4.56	c bounds 1647 >= 376 @ 1.44592
3.29/4.56	c bounds 1647 >= 378 @ 1.44968
3.29/4.56	c bounds 1647 >= 380 @ 1.45367
3.29/4.56	c bounds 1647 >= 382 @ 1.45917
3.29/4.56	c bounds 1647 >= 384 @ 1.46343
3.29/4.56	c bounds 1647 >= 385 @ 1.46687
3.29/4.56	c bounds 1647 >= 387 @ 1.47064
3.29/4.56	c bounds 1647 >= 389 @ 1.47165
3.29/4.56	c bounds 1647 >= 390 @ 1.47516
3.29/4.56	c bounds 1647 >= 392 @ 1.47864
3.29/4.56	c bounds 1647 >= 393 @ 1.48163
3.29/4.56	c bounds 1647 >= 395 @ 1.48386
3.29/4.56	c bounds 1647 >= 397 @ 1.48655
3.29/4.56	c bounds 1647 >= 399 @ 1.48954
3.29/4.56	c bounds 1647 >= 401 @ 1.49698
3.29/4.56	c bounds 1647 >= 403 @ 1.50252
3.29/4.56	c bounds 1647 >= 405 @ 1.50751
3.29/4.56	c bounds 1647 >= 407 @ 1.50951
3.29/4.56	c bounds 1647 >= 409 @ 1.51054
3.29/4.56	c bounds 1647 >= 410 @ 1.51494
3.29/4.56	c bounds 1647 >= 411 @ 1.5185
3.29/4.56	c bounds 1647 >= 412 @ 1.52296
3.29/4.56	c bounds 1647 >= 414 @ 1.52851
3.29/4.56	c bounds 1647 >= 416 @ 1.53371
3.29/4.56	c bounds 1647 >= 418 @ 1.53589
3.29/4.56	c bounds 1647 >= 419 @ 1.53887
3.29/4.56	c bounds 1647 >= 421 @ 1.54147
3.29/4.56	c bounds 1647 >= 423 @ 1.54247
3.29/4.56	c bounds 1647 >= 424 @ 1.5469
3.29/4.56	c bounds 1647 >= 425 @ 1.55145
3.29/4.56	c bounds 1647 >= 427 @ 1.55394
3.29/4.56	c bounds 1647 >= 429 @ 1.55644
3.29/4.56	c bounds 1647 >= 430 @ 1.55944
3.29/4.56	c bounds 1647 >= 431 @ 1.56344
3.29/4.56	c bounds 1647 >= 433 @ 1.56664
3.29/4.56	c bounds 1647 >= 434 @ 1.56884
3.29/4.56	c bounds 1647 >= 436 @ 1.57224
3.29/4.56	c bounds 1647 >= 438 @ 1.57389
3.29/4.56	c bounds 1647 >= 440 @ 1.58041
3.29/4.56	c bounds 1647 >= 442 @ 1.5861
3.29/4.56	c bounds 1647 >= 444 @ 1.5904
3.29/4.56	c bounds 1647 >= 445 @ 1.59339
3.29/4.56	c bounds 1647 >= 447 @ 1.59639
3.29/4.56	c bounds 1647 >= 449 @ 1.60338
3.29/4.56	c bounds 1647 >= 451 @ 1.60902
3.29/4.56	c bounds 1647 >= 453 @ 1.61162
3.29/4.56	c bounds 1647 >= 454 @ 1.61636
3.29/4.56	c bounds 1647 >= 456 @ 1.61836
3.29/4.56	c bounds 1647 >= 457 @ 1.62235
3.29/4.56	c bounds 1647 >= 459 @ 1.6256
3.29/4.56	c bounds 1647 >= 461 @ 1.63174
5.18/6.47	c bounds 1647 >= 463 @ 1.63533
5.18/6.47	c bounds 1647 >= 465 @ 1.64077
5.18/6.47	c bounds 1647 >= 467 @ 1.64532
5.18/6.47	c bounds 1647 >= 468 @ 1.64852
5.18/6.47	c bounds 1647 >= 470 @ 1.65156
5.18/6.47	c bounds 1647 >= 472 @ 1.65572
5.18/6.47	c bounds 1647 >= 474 @ 1.65983
5.18/6.47	c bounds 1647 >= 476 @ 1.66429
5.18/6.47	c bounds 1647 >= 477 @ 1.66729
5.18/6.47	c bounds 1647 >= 479 @ 1.67168
5.18/6.47	c bounds 1647 >= 480 @ 1.67527
5.18/6.47	c bounds 1647 >= 481 @ 1.68036
5.18/6.47	c bounds 1646 >= 481 @ 1.75596
5.18/6.47	c bounds 1646 >= 483 @ 1.75822
5.18/6.47	c bounds 1646 >= 484 @ 1.76208
5.18/6.47	c bounds 1646 >= 486 @ 1.76527
5.18/6.47	c bounds 1646 >= 487 @ 1.76907
5.18/6.47	c bounds 1646 >= 489 @ 1.77609
5.18/6.47	c bounds 1646 >= 491 @ 1.78153
5.18/6.47	c bounds 1646 >= 492 @ 1.78857
5.18/6.47	c bounds 1646 >= 494 @ 1.79303
5.18/6.47	c bounds 1646 >= 496 @ 1.79728
5.18/6.47	c bounds 1646 >= 498 @ 1.80052
5.18/6.47	c bounds 1646 >= 500 @ 1.80459
5.18/6.47	c bounds 1646 >= 501 @ 1.81001
5.18/6.47	c bounds 1646 >= 502 @ 1.81679
5.18/6.47	c bounds 1646 >= 503 @ 1.82343
5.18/6.47	c bounds 1646 >= 504 @ 1.82908
5.18/6.47	c bounds 1646 >= 505 @ 1.83097
5.18/6.47	c bounds 1646 >= 506 @ 1.83559
5.18/6.47	c bounds 1646 >= 507 @ 1.84049
5.18/6.47	c bounds 1646 >= 508 @ 1.84495
5.18/6.47	c bounds 1646 >= 509 @ 1.84637
5.18/6.47	c bounds 1646 >= 510 @ 1.84994
5.18/6.47	c bounds 1646 >= 511 @ 1.85519
5.18/6.47	c bounds 1646 >= 512 @ 1.85785
5.18/6.47	c bounds 1646 >= 513 @ 1.86035
5.18/6.47	c bounds 1646 >= 514 @ 1.86516
5.18/6.47	c bounds 1646 >= 515 @ 1.86833
5.18/6.47	c bounds 1646 >= 516 @ 1.87091
5.18/6.47	c bounds 1646 >= 517 @ 1.8754
5.18/6.47	c bounds 1646 >= 518 @ 1.8797
5.18/6.47	c bounds 1646 >= 519 @ 1.88189
5.18/6.47	c bounds 1646 >= 520 @ 1.88529
5.18/6.47	c bounds 1646 >= 521 @ 1.88788
5.18/6.47	c bounds 1646 >= 522 @ 1.89188
5.18/6.47	c bounds 1646 >= 523 @ 1.89487
5.18/6.47	c bounds 1646 >= 524 @ 1.89787
5.18/6.47	c bounds 1646 >= 525 @ 1.90134
5.18/6.47	c bounds 1646 >= 526 @ 1.90563
5.18/6.47	c bounds 1646 >= 527 @ 1.90831
5.18/6.47	c bounds 1646 >= 528 @ 1.91525
5.18/6.47	c bounds 1646 >= 529 @ 1.91884
5.18/6.47	c bounds 1646 >= 530 @ 1.92183
5.18/6.47	c bounds 1646 >= 531 @ 1.92483
5.18/6.47	c bounds 1646 >= 532 @ 1.92901
5.18/6.47	c bounds 1646 >= 533 @ 1.92982
5.18/6.47	c bounds 1646 >= 534 @ 1.93366
5.18/6.47	c bounds 1646 >= 535 @ 1.93981
5.18/6.47	c bounds 1646 >= 536 @ 1.94487
5.18/6.47	c bounds 1646 >= 537 @ 1.9478
5.18/6.47	c bounds 1646 >= 538 @ 1.94999
5.18/6.47	c bounds 1646 >= 539 @ 1.95179
5.18/6.47	c bounds 1646 >= 540 @ 1.95379
5.18/6.47	c bounds 1646 >= 541 @ 1.95536
5.18/6.47	c bounds 1646 >= 542 @ 1.96078
5.18/6.47	c bounds 1646 >= 543 @ 1.96178
5.18/6.47	c bounds 1646 >= 544 @ 1.96677
5.18/6.47	c bounds 1646 >= 545 @ 1.97335
5.18/6.47	c bounds 1646 >= 546 @ 1.97717
5.18/6.47	c bounds 1646 >= 547 @ 1.98177
5.18/6.47	c bounds 1646 >= 548 @ 1.98474
5.18/6.47	c bounds 1646 >= 549 @ 1.99007
5.18/6.47	c bounds 1646 >= 550 @ 1.99273
5.18/6.47	c bounds 1646 >= 551 @ 1.99672
5.18/6.47	c bounds 1646 >= 552 @ 1.99872
5.18/6.47	c bounds 1646 >= 553 @ 2.00415
5.18/6.47	c bounds 1646 >= 554 @ 2.00571
5.18/6.47	c bounds 1645 >= 554 @ 2.09081
5.18/6.47	c bounds 1645 >= 555 @ 2.09473
5.18/6.47	c bounds 1645 >= 556 @ 2.0985
5.18/6.47	c bounds 1645 >= 557 @ 2.10349
5.18/6.47	c bounds 1645 >= 558 @ 2.10948
5.18/6.47	c bounds 1645 >= 559 @ 2.11367
5.18/6.47	c bounds 1645 >= 560 @ 2.11966
5.18/6.47	c bounds 1645 >= 561 @ 2.12146
5.18/6.47	c bounds 1645 >= 562 @ 2.12546
5.18/6.47	c bounds 1645 >= 563 @ 2.1297
5.18/6.47	c bounds 1645 >= 564 @ 2.13444
5.18/6.47	c bounds 1645 >= 565 @ 2.13844
5.18/6.47	c bounds 1645 >= 566 @ 2.14248
5.18/6.47	c bounds 1645 >= 567 @ 2.14662
5.18/6.47	c bounds 1645 >= 568 @ 2.15138
5.18/6.47	c bounds 1645 >= 569 @ 2.15541
5.18/6.47	c bounds 1645 >= 570 @ 2.15883
5.18/6.47	c bounds 1645 >= 571 @ 2.1644
5.18/6.47	c bounds 1645 >= 572 @ 2.16639
5.18/6.47	c bounds 1645 >= 573 @ 2.17039
5.18/6.47	c bounds 1645 >= 574 @ 2.1736
5.18/6.47	c bounds 1645 >= 575 @ 2.17682
5.18/6.47	c bounds 1645 >= 576 @ 2.18228
5.18/6.47	c bounds 1645 >= 577 @ 2.1858
5.18/6.47	c bounds 1645 >= 578 @ 2.19136
5.18/6.47	c bounds 1645 >= 579 @ 2.19687
5.18/6.47	c bounds 1645 >= 580 @ 2.20476
5.18/6.47	c bounds 1645 >= 581 @ 2.20826
5.18/6.47	c bounds 1645 >= 582 @ 2.21571
5.18/6.47	c bounds 1645 >= 583 @ 2.22275
5.18/6.47	c bounds 1645 >= 584 @ 2.22967
5.18/6.47	c bounds 1645 >= 585 @ 2.23437
5.18/6.47	c bounds 1645 >= 586 @ 2.23722
5.18/6.47	c bounds 1645 >= 587 @ 2.24216
5.18/6.47	c bounds 1645 >= 588 @ 2.24486
5.18/6.47	c bounds 1645 >= 589 @ 2.24966
5.18/6.47	c bounds 1645 >= 590 @ 2.25339
5.18/6.47	c bounds 1645 >= 591 @ 2.25864
5.18/6.47	c bounds 1645 >= 592 @ 2.26318
5.18/6.47	c bounds 1645 >= 593 @ 2.2654
5.18/6.47	c bounds 1645 >= 594 @ 2.26866
5.18/6.47	c bounds 1645 >= 595 @ 2.2737
5.18/6.47	c bounds 1645 >= 596 @ 2.27835
5.18/6.47	c bounds 1645 >= 597 @ 2.28215
5.18/6.47	c bounds 1645 >= 598 @ 2.28714
5.18/6.47	c bounds 1645 >= 599 @ 2.29134
5.18/6.47	c bounds 1645 >= 600 @ 2.2958
5.18/6.47	c bounds 1645 >= 601 @ 2.30148
5.18/6.47	c bounds 1645 >= 602 @ 2.3063
5.18/6.47	c bounds 1645 >= 603 @ 2.30911
5.18/6.47	c bounds 1645 >= 604 @ 2.3167
5.18/6.47	c bounds 1645 >= 605 @ 2.31927
5.18/6.47	c bounds 1645 >= 606 @ 2.32308
5.18/6.47	c bounds 1645 >= 607 @ 2.32608
5.18/6.47	c bounds 1645 >= 608 @ 2.33107
7.79/9.03	c bounds 1645 >= 609 @ 2.33607
7.79/9.03	c bounds 1645 >= 610 @ 2.34404
7.79/9.03	c bounds 1645 >= 611 @ 2.35104
7.79/9.03	c bounds 1645 >= 612 @ 2.35503
7.79/9.03	c bounds 1645 >= 613 @ 2.35751
7.79/9.03	c bounds 1645 >= 614 @ 2.36226
7.79/9.03	c bounds 1645 >= 615 @ 2.36801
7.79/9.03	c bounds 1645 >= 616 @ 2.37348
7.79/9.03	c bounds 1645 >= 617 @ 2.378
7.79/9.03	c bounds 1645 >= 618 @ 2.38552
7.79/9.03	c bounds 1644 >= 618 @ 2.48925
7.79/9.03	c bounds 1644 >= 619 @ 2.49573
7.79/9.03	c bounds 1644 >= 620 @ 2.49973
7.79/9.03	c bounds 1644 >= 621 @ 2.50272
7.79/9.03	c bounds 1644 >= 622 @ 2.50771
7.79/9.03	c bounds 1644 >= 623 @ 2.51413
7.79/9.03	c bounds 1644 >= 624 @ 2.51789
7.79/9.03	c bounds 1644 >= 625 @ 2.52569
7.79/9.03	c bounds 1644 >= 626 @ 2.52968
7.79/9.03	c bounds 1644 >= 627 @ 2.53467
7.79/9.03	c bounds 1644 >= 628 @ 2.54066
7.79/9.03	c bounds 1644 >= 629 @ 2.54266
7.79/9.03	c bounds 1644 >= 630 @ 2.54893
7.79/9.03	c bounds 1644 >= 631 @ 2.55364
7.79/9.03	c bounds 1644 >= 632 @ 2.56149
7.79/9.03	c bounds 1644 >= 633 @ 2.56861
7.79/9.03	c bounds 1644 >= 634 @ 2.5721
7.79/9.03	c bounds 1644 >= 635 @ 2.57481
7.79/9.03	c bounds 1644 >= 636 @ 2.57959
7.79/9.03	c bounds 1644 >= 637 @ 2.58507
7.79/9.03	c bounds 1644 >= 638 @ 2.58958
7.79/9.03	c bounds 1644 >= 639 @ 2.59806
7.79/9.03	c bounds 1644 >= 640 @ 2.60256
7.79/9.03	c bounds 1644 >= 641 @ 2.60703
7.79/9.03	c bounds 1644 >= 642 @ 2.61007
7.79/9.03	c bounds 1644 >= 643 @ 2.61354
7.79/9.03	c bounds 1644 >= 644 @ 2.61953
7.79/9.03	c bounds 1644 >= 645 @ 2.62253
7.79/9.03	c bounds 1644 >= 646 @ 2.62772
7.79/9.03	c bounds 1644 >= 647 @ 2.63256
7.79/9.03	c bounds 1644 >= 648 @ 2.63673
7.79/9.03	c bounds 1644 >= 649 @ 2.64003
7.79/9.03	c bounds 1644 >= 650 @ 2.6455
7.79/9.03	c bounds 1644 >= 651 @ 2.64931
7.79/9.03	c bounds 1644 >= 652 @ 2.65648
7.79/9.03	c bounds 1644 >= 653 @ 2.66147
7.79/9.03	c bounds 1644 >= 654 @ 2.66503
7.79/9.03	c bounds 1644 >= 655 @ 2.66795
7.79/9.03	c bounds 1644 >= 656 @ 2.67046
7.79/9.03	c bounds 1644 >= 657 @ 2.67398
7.79/9.03	c bounds 1644 >= 658 @ 2.67897
7.79/9.03	c bounds 1644 >= 659 @ 2.68045
7.79/9.03	c bounds 1644 >= 660 @ 2.68493
7.79/9.03	c bounds 1644 >= 661 @ 2.69195
7.79/9.03	c bounds 1644 >= 662 @ 2.6989
7.79/9.03	c bounds 1644 >= 663 @ 2.70836
7.79/9.03	c bounds 1644 >= 664 @ 2.71539
7.79/9.03	c bounds 1644 >= 665 @ 2.71958
7.79/9.03	c bounds 1644 >= 666 @ 2.72242
7.79/9.03	c bounds 1644 >= 667 @ 2.72489
7.79/9.03	c bounds 1644 >= 668 @ 2.72795
7.79/9.03	c bounds 1644 >= 669 @ 2.73136
7.79/9.03	c bounds 1644 >= 670 @ 2.73785
7.79/9.03	c bounds 1644 >= 671 @ 2.74484
7.79/9.03	c bounds 1644 >= 672 @ 2.74982
7.79/9.03	c bounds 1644 >= 673 @ 2.75583
7.79/9.03	c bounds 1644 >= 674 @ 2.76032
7.79/9.03	c bounds 1644 >= 675 @ 2.7636
7.79/9.03	c bounds 1644 >= 676 @ 2.76896
7.79/9.03	c bounds 1644 >= 677 @ 2.7753
7.79/9.03	c bounds 1644 >= 678 @ 2.77929
7.79/9.03	c bounds 1643 >= 678 @ 2.86032
7.79/9.03	c bounds 1643 >= 679 @ 2.86512
7.79/9.03	c bounds 1643 >= 680 @ 2.87108
7.79/9.03	c bounds 1643 >= 681 @ 2.87567
7.79/9.03	c bounds 1643 >= 682 @ 2.87976
7.79/9.03	c bounds 1643 >= 683 @ 2.88206
7.79/9.03	c bounds 1643 >= 684 @ 2.88694
7.79/9.03	c bounds 1643 >= 685 @ 2.89026
7.79/9.03	c bounds 1643 >= 686 @ 2.89604
7.79/9.03	c bounds 1643 >= 687 @ 2.90255
7.79/9.03	c bounds 1643 >= 688 @ 2.90623
7.79/9.03	c bounds 1643 >= 689 @ 2.91266
7.79/9.03	c bounds 1643 >= 690 @ 2.91794
7.79/9.03	c bounds 1643 >= 691 @ 2.91954
7.79/9.03	c bounds 1643 >= 692 @ 2.92611
7.79/9.03	c bounds 1643 >= 693 @ 2.93092
7.79/9.03	c bounds 1643 >= 694 @ 2.93614
7.79/9.03	c bounds 1643 >= 695 @ 2.94435
7.79/9.03	c bounds 1643 >= 696 @ 2.9479
7.79/9.03	c bounds 1643 >= 697 @ 2.95355
7.79/9.03	c bounds 1643 >= 698 @ 2.96037
7.79/9.03	c bounds 1643 >= 699 @ 2.96539
7.79/9.03	c bounds 1643 >= 700 @ 2.96787
7.79/9.03	c bounds 1643 >= 701 @ 2.97406
7.79/9.03	c bounds 1643 >= 702 @ 2.98085
7.79/9.03	c bounds 1643 >= 703 @ 2.98584
7.79/9.03	c bounds 1643 >= 704 @ 2.99137
7.79/9.03	c bounds 1643 >= 705 @ 2.99682
7.79/9.03	c bounds 1643 >= 706 @ 3.00492
7.79/9.03	c bounds 1643 >= 707 @ 3.00781
7.79/9.03	c bounds 1643 >= 708 @ 3.01036
7.79/9.03	c bounds 1643 >= 709 @ 3.0138
7.79/9.03	c bounds 1643 >= 710 @ 3.0168
7.79/9.03	c bounds 1643 >= 711 @ 3.02338
7.79/9.03	c bounds 1643 >= 712 @ 3.02896
7.79/9.03	c bounds 1643 >= 713 @ 3.03241
7.79/9.03	c bounds 1643 >= 714 @ 3.03577
7.79/9.03	c bounds 1643 >= 715 @ 3.03977
7.79/9.03	c bounds 1643 >= 716 @ 3.04569
7.79/9.03	c bounds 1643 >= 717 @ 3.05075
7.79/9.03	c bounds 1643 >= 718 @ 3.05574
7.79/9.03	c bounds 1643 >= 719 @ 3.06073
7.79/9.03	c bounds 1643 >= 720 @ 3.06573
7.79/9.03	c bounds 1643 >= 721 @ 3.06872
7.79/9.03	c bounds 1643 >= 722 @ 3.0745
7.79/9.03	c bounds 1643 >= 723 @ 3.0817
7.79/9.03	c bounds 1643 >= 724 @ 3.08525
7.79/9.03	c bounds 1643 >= 725 @ 3.08929
7.79/9.03	c bounds 1643 >= 726 @ 3.09498
7.79/9.03	c bounds 1642 >= 726 @ 3.20867
7.79/9.03	c bounds 1642 >= 727 @ 3.21308
7.79/9.03	c bounds 1642 >= 728 @ 3.21894
7.79/9.03	c bounds 1642 >= 729 @ 3.2231
7.79/9.03	c bounds 1642 >= 730 @ 3.22765
7.79/9.03	c bounds 1642 >= 731 @ 3.2309
7.79/9.03	c bounds 1642 >= 732 @ 3.23529
7.79/9.03	c bounds 1642 >= 733 @ 3.23937
7.79/9.03	c bounds 1642 >= 734 @ 3.24436
7.79/9.03	c bounds 1642 >= 735 @ 3.24836
7.79/9.03	c bounds 1642 >= 736 @ 3.25135
7.79/9.03	c bounds 1642 >= 737 @ 3.25685
17.06/18.32	c bounds 1642 >= 738 @ 3.26533
17.06/18.32	c bounds 1642 >= 739 @ 3.27037
17.06/18.32	c bounds 1642 >= 740 @ 3.2794
17.06/18.32	c bounds 1642 >= 741 @ 3.28329
17.06/18.32	c bounds 1642 >= 742 @ 3.28728
17.06/18.32	c bounds 1642 >= 743 @ 3.29047
17.06/18.32	c bounds 1642 >= 744 @ 3.29483
17.06/18.32	c bounds 1642 >= 745 @ 3.30344
17.06/18.32	c bounds 1642 >= 746 @ 3.3078
17.06/18.32	c bounds 1642 >= 747 @ 3.3144
17.06/18.32	c bounds 1642 >= 748 @ 3.31723
17.06/18.32	c bounds 1642 >= 749 @ 3.32579
17.06/18.32	c bounds 1642 >= 750 @ 3.33121
17.06/18.32	c bounds 1642 >= 751 @ 3.33799
17.06/18.32	c bounds 1642 >= 752 @ 3.34119
17.06/18.32	c bounds 1642 >= 753 @ 3.34558
17.06/18.32	c bounds 1642 >= 754 @ 3.35117
17.06/18.32	c bounds 1642 >= 755 @ 3.35569
17.06/18.32	c bounds 1642 >= 756 @ 3.35898
17.06/18.32	c bounds 1642 >= 757 @ 3.3632
17.06/18.32	c bounds 1642 >= 758 @ 3.36815
17.06/18.32	c bounds 1642 >= 759 @ 3.37271
17.06/18.32	c bounds 1642 >= 760 @ 3.3773
17.06/18.32	c bounds 1642 >= 761 @ 3.38272
17.06/18.32	c bounds 1642 >= 762 @ 3.38651
17.06/18.32	c bounds 1642 >= 763 @ 3.39447
17.06/18.32	c bounds 1642 >= 764 @ 3.39727
17.06/18.32	c bounds 1642 >= 765 @ 3.40109
17.06/18.32	c bounds 1642 >= 766 @ 3.40626
17.06/18.32	c bounds 1642 >= 767 @ 3.40908
17.06/18.32	c bounds 1642 >= 768 @ 3.41675
17.06/18.32	c bounds 1642 >= 769 @ 3.42157
17.06/18.32	c bounds 1642 >= 770 @ 3.42664
17.06/18.32	c bounds 1642 >= 771 @ 3.43255
17.06/18.32	c bounds 1642 >= 772 @ 3.43404
17.06/18.32	c bounds 1642 >= 773 @ 3.43759
17.06/18.32	c bounds 1642 >= 774 @ 3.44255
17.06/18.32	c bounds 1642 >= 775 @ 3.44657
17.06/18.32	c bounds 1642 >= 776 @ 3.44965
17.06/18.32	c bounds 1642 >= 777 @ 3.45554
17.06/18.32	c bounds 1642 >= 778 @ 3.46126
17.06/18.32	c bounds 1642 >= 779 @ 3.46744
17.06/18.32	c bounds 1642 >= 780 @ 3.47198
17.06/18.32	c bounds 1642 >= 781 @ 3.47704
17.06/18.32	c bounds 1642 >= 782 @ 3.48197
17.06/18.32	c bounds 1642 >= 783 @ 3.48596
17.06/18.32	c bounds 1642 >= 784 @ 3.4955
17.06/18.32	c bounds 1642 >= 785 @ 3.50093
17.06/18.32	c bounds 1642 >= 786 @ 3.50642
17.06/18.32	c bounds 1642 >= 787 @ 3.51291
17.06/18.32	c bounds 1642 >= 788 @ 3.5195
17.06/18.32	c bounds 1642 >= 789 @ 3.52414
17.06/18.32	c bounds 1642 >= 790 @ 3.53701
17.06/18.32	c bounds 1642 >= 791 @ 3.53987
17.06/18.32	c bounds 1642 >= 792 @ 3.54744
17.06/18.32	c bounds 1642 >= 793 @ 3.55677
17.06/18.32	c bounds 1642 >= 794 @ 3.56253
17.06/18.32	c bounds 1642 >= 795 @ 3.56576
17.06/18.32	c bounds 1641 >= 795 @ 3.76319
17.06/18.32	c bounds 1641 >= 796 @ 3.77726
17.06/18.32	c bounds 1641 >= 797 @ 3.7878
17.06/18.32	c bounds 1641 >= 798 @ 3.79703
17.06/18.32	c bounds 1641 >= 799 @ 3.80307
17.06/18.32	c bounds 1641 >= 800 @ 3.80627
17.06/18.32	c bounds 1641 >= 801 @ 3.81246
17.06/18.32	c bounds 1641 >= 802 @ 3.83352
17.06/18.32	c bounds 1641 >= 803 @ 3.84502
17.06/18.32	c bounds 1641 >= 804 @ 3.85113
17.06/18.32	c bounds 1641 >= 805 @ 3.85831
17.06/18.32	c bounds 1641 >= 806 @ 3.86579
17.06/18.32	c bounds 1641 >= 807 @ 3.87565
17.06/18.32	c bounds 1641 >= 808 @ 3.88237
17.06/18.32	c bounds 1641 >= 809 @ 3.8894
17.06/18.32	c bounds 1641 >= 810 @ 3.89615
17.06/18.32	c bounds 1641 >= 811 @ 3.89988
17.06/18.32	c bounds 1641 >= 812 @ 3.91809
17.06/18.32	c bounds 1641 >= 813 @ 3.9222
17.06/18.32	c bounds 1641 >= 814 @ 3.95296
17.06/18.32	c bounds 1641 >= 815 @ 3.95669
17.06/18.32	c bounds 1641 >= 816 @ 3.97154
17.06/18.32	c bounds 1641 >= 817 @ 3.98553
17.06/18.32	c bounds 1641 >= 818 @ 3.99188
17.06/18.32	c bounds 1641 >= 819 @ 3.99863
17.06/18.32	c bounds 1641 >= 820 @ 4.00658
17.06/18.32	c bounds 1641 >= 821 @ 4.03624
17.06/18.32	c bounds 1641 >= 822 @ 4.07669
17.06/18.32	c #Conflicts:       1000 | #Constraints:       6868
17.06/18.32	c bounds 1640 >= 822 @ 5.10007
17.06/18.32	c bounds 1640 >= 823 @ 5.10958
17.06/18.32	c bounds 1640 >= 824 @ 5.1136
17.06/18.32	c bounds 1640 >= 825 @ 5.12174
17.06/18.32	c bounds 1640 >= 826 @ 5.13183
17.06/18.32	c bounds 1640 >= 827 @ 5.14225
17.06/18.32	c bounds 1640 >= 828 @ 5.15526
17.06/18.32	c bounds 1640 >= 829 @ 5.17939
17.06/18.32	c bounds 1640 >= 830 @ 5.18856
17.06/18.32	c bounds 1640 >= 831 @ 5.19189
17.06/18.32	c bounds 1640 >= 832 @ 5.19729
17.06/18.32	c bounds 1640 >= 833 @ 5.21402
17.06/18.32	c bounds 1640 >= 834 @ 5.2188
17.06/18.32	c bounds 1640 >= 835 @ 5.22564
17.06/18.32	c bounds 1640 >= 836 @ 5.23477
17.06/18.32	c bounds 1640 >= 837 @ 5.24002
17.06/18.32	c bounds 1640 >= 838 @ 5.24488
17.06/18.32	c bounds 1640 >= 839 @ 5.25375
17.06/18.32	c bounds 1640 >= 840 @ 5.2742
17.06/18.32	c bounds 1640 >= 841 @ 5.28847
17.06/18.32	c bounds 1640 >= 842 @ 5.29987
17.06/18.32	c bounds 1640 >= 843 @ 5.31431
17.06/18.32	c bounds 1640 >= 844 @ 5.33533
17.06/18.32	c bounds 1640 >= 845 @ 5.3502
17.06/18.32	c bounds 1640 >= 846 @ 5.35828
17.06/18.32	c bounds 1640 >= 847 @ 5.36805
17.06/18.32	c bounds 1640 >= 848 @ 5.40801
17.06/18.32	c bounds 1640 >= 849 @ 5.41917
17.06/18.32	c #Conflicts:       2000 | #Constraints:       8243
17.06/18.32	c INPROCESSING
17.06/18.32	c GARBAGE COLLECT
17.06/18.32	c bounds 1640 >= 850 @ 9.30323
17.06/18.32	c bounds 1640 >= 851 @ 9.37641
17.06/18.32	c #Conflicts:       3000 | #Constraints:       8308
17.06/18.32	c bounds 1640 >= 852 @ 9.52834
17.06/18.32	c bounds 1639 >= 852 @ 9.93983
17.06/18.32	c bounds 1639 >= 853 @ 9.97454
17.06/18.32	c bounds 1639 >= 854 @ 9.97812
17.06/18.32	c bounds 1639 >= 855 @ 9.98817
17.06/18.32	c bounds 1639 >= 856 @ 9.99359
17.06/18.32	c bounds 1639 >= 857 @ 10.0036
17.06/18.32	c bounds 1639 >= 858 @ 10.0132
17.06/18.32	c bounds 1639 >= 859 @ 10.0194
17.06/18.32	c bounds 1639 >= 860 @ 10.0277
17.06/18.32	c bounds 1639 >= 861 @ 10.0343
132.62/134.21	c bounds 1639 >= 862 @ 10.0667
132.62/134.21	c bounds 1639 >= 863 @ 10.0785
132.62/134.21	c #Conflicts:       4000 | #Constraints:       9447
132.62/134.21	c INPROCESSING
132.62/134.21	c GARBAGE COLLECT
132.62/134.21	c bounds 1638 >= 863 @ 10.822
132.62/134.21	c bounds 1638 >= 864 @ 10.832
132.62/134.21	c #Conflicts:       5000 | #Constraints:       8891
132.62/134.21	c bounds 1638 >= 865 @ 11.0658
132.62/134.21	c bounds 1637 >= 865 @ 11.4848
132.62/134.21	c #Conflicts:       6000 | #Constraints:       9951
132.62/134.21	c INPROCESSING
132.62/134.21	c GARBAGE COLLECT
132.62/134.21	c bounds 1636 >= 865 @ 17.495
132.62/134.21	c bounds 1635 >= 865 @ 17.7291
132.62/134.21	c bounds 1634 >= 865 @ 18.2933
132.62/134.21	c bounds 1633 >= 865 @ 18.5657
132.62/134.21	c bounds 1633 >= 866 @ 18.5858
132.62/134.21	c bounds 1633 >= 867 @ 18.5938
132.62/134.21	c #Conflicts:       7000 | #Constraints:       9021
132.62/134.21	c bounds 1632 >= 867 @ 22.6874
132.62/134.21	c bounds 1632 >= 868 @ 22.6987
132.62/134.21	c bounds 1632 >= 869 @ 22.7046
132.62/134.21	c bounds 1632 >= 870 @ 22.7171
132.62/134.21	c bounds 1632 >= 871 @ 22.7208
132.62/134.21	c bounds 1632 >= 872 @ 22.7409
132.62/134.21	c #Conflicts:       8000 | #Constraints:      10059
132.62/134.21	c bounds 1632 >= 873 @ 22.7751
132.62/134.21	c bounds 1632 >= 874 @ 22.994
132.62/134.21	c #Conflicts:       9000 | #Constraints:      11138
132.62/134.21	c INPROCESSING
132.62/134.21	c GARBAGE COLLECT
132.62/134.21	c bounds 1632 >= 875 @ 39.1323
132.62/134.21	c #Conflicts:      10000 | #Constraints:       9906
132.62/134.21	c #Conflicts:      11000 | #Constraints:      10906
132.62/134.21	c #Conflicts:      12000 | #Constraints:      11906
132.62/134.21	c INPROCESSING
132.62/134.21	c GARBAGE COLLECT
132.62/134.21	c bounds 1631 >= 875 @ 41.8839
132.62/134.21	c bounds 1630 >= 875 @ 42.5507
132.62/134.21	c #Conflicts:      13000 | #Constraints:      10386
132.62/134.21	c bounds 1630 >= 876 @ 42.6982
132.62/134.21	c bounds 1630 >= 877 @ 42.8969
132.62/134.21	c #Conflicts:      14000 | #Constraints:      11468
132.62/134.21	c #Conflicts:      15000 | #Constraints:      12468
132.62/134.21	c #Conflicts:      16000 | #Constraints:      13468
132.62/134.21	c bounds 1630 >= 878 @ 47.2839
132.62/134.21	c #Conflicts:      17000 | #Constraints:      14548
132.62/134.21	c #Conflicts:      18000 | #Constraints:      15548
132.62/134.21	c #Conflicts:      19000 | #Constraints:      16548
132.62/134.21	c bounds 1629 >= 878 @ 64.6148
132.62/134.21	c bounds 1629 >= 879 @ 64.7808
132.62/134.21	c #Conflicts:      20000 | #Constraints:      17584
132.62/134.21	c INPROCESSING
132.62/134.21	c GARBAGE COLLECT
132.62/134.21	c bounds 1629 >= 880 @ 65.7634
132.62/134.21	c #Conflicts:      21000 | #Constraints:      13188
132.62/134.21	c #Conflicts:      22000 | #Constraints:      14188
132.62/134.21	c #Conflicts:      23000 | #Constraints:      15188
132.62/134.21	c #Conflicts:      24000 | #Constraints:      16188
132.62/134.21	c INPROCESSING
132.62/134.21	c GARBAGE COLLECT
132.62/134.21	c bounds 1628 >= 880 @ 86.6916
132.62/134.21	c bounds 1627 >= 880 @ 87.1533
132.62/134.21	c bounds 1626 >= 880 @ 87.4871
132.62/134.21	c bounds 1625 >= 880 @ 87.7581
132.62/134.21	c #Conflicts:      25000 | #Constraints:      12452
132.62/134.21	c bounds 1624 >= 880 @ 88.4387
132.62/134.21	c bounds 1623 >= 880 @ 90.0296
132.62/134.21	c #Conflicts:      26000 | #Constraints:      13454
132.62/134.21	c #Conflicts:      27000 | #Constraints:      14454
132.62/134.21	c #Conflicts:      28000 | #Constraints:      15454
132.62/134.21	c INPROCESSING
132.62/134.21	c GARBAGE COLLECT
132.62/134.21	c bounds 1622 >= 880 @ 94.0015
132.62/134.21	c #Conflicts:      29000 | #Constraints:      11924
132.62/134.21	c bounds 1621 >= 880 @ 94.6197
132.62/134.21	c bounds 1620 >= 880 @ 94.9552
132.62/134.21	c bounds 1619 >= 880 @ 95.5681
132.62/134.21	c bounds 1618 >= 880 @ 96.1667
132.62/134.21	c bounds 1617 >= 880 @ 96.5599
132.62/134.21	c bounds 1616 >= 880 @ 97.1095
132.62/134.21	c bounds 1615 >= 880 @ 98.075
132.62/134.21	c bounds 1614 >= 880 @ 98.6171
132.62/134.21	c #Conflicts:      30000 | #Constraints:      12932
132.62/134.21	c bounds 1613 >= 880 @ 99.2324
132.62/134.21	c bounds 1612 >= 880 @ 101.062
132.62/134.21	c bounds 1611 >= 880 @ 101.67
132.62/134.21	c bounds 1610 >= 880 @ 102.146
132.62/134.21	c bounds 1609 >= 880 @ 102.769
132.62/134.21	c bounds 1608 >= 880 @ 103.4
132.62/134.21	c #Conflicts:      31000 | #Constraints:      13938
132.62/134.21	c #Conflicts:      32000 | #Constraints:      14938
132.62/134.21	c #Conflicts:      33000 | #Constraints:      15938
132.62/134.21	c #Conflicts:      34000 | #Constraints:      16938
132.62/134.21	c bounds 1608 >= 881 @ 107.239
132.62/134.21	c #Conflicts:      35000 | #Constraints:      18012
132.62/134.21	c bounds 1607 >= 881 @ 107.55
132.62/134.21	c bounds 1606 >= 881 @ 107.889
132.62/134.21	c bounds 1605 >= 881 @ 108.641
132.62/134.21	c bounds 1604 >= 881 @ 109.244
132.62/134.21	c bounds 1603 >= 881 @ 109.696
132.62/134.21	c bounds 1602 >= 881 @ 110.061
132.62/134.21	c bounds 1601 >= 881 @ 110.673
132.62/134.21	c bounds 1600 >= 881 @ 111.412
132.62/134.21	c bounds 1599 >= 881 @ 111.818
132.62/134.21	c bounds 1598 >= 881 @ 112.292
132.62/134.21	c #Conflicts:      36000 | #Constraints:      19022
132.62/134.21	c bounds 1597 >= 881 @ 113.745
132.62/134.21	c bounds 1596 >= 881 @ 114.379
132.62/134.21	c bounds 1595 >= 881 @ 115.377
132.62/134.21	c bounds 1594 >= 881 @ 116.525
132.62/134.21	c bounds 1593 >= 881 @ 117.884
132.62/134.21	c #Conflicts:      37000 | #Constraints:      20027
132.62/134.21	c #Conflicts:      38000 | #Constraints:      21027
374.97/377.20	c #Conflicts:      39000 | #Constraints:      22027
374.97/377.20	c #Conflicts:      40000 | #Constraints:      23027
374.97/377.20	c bounds 1593 >= 882 @ 126.658
374.97/377.20	c bounds 1592 >= 882 @ 127.187
374.97/377.20	c bounds 1591 >= 882 @ 127.459
374.97/377.20	c bounds 1590 >= 882 @ 128.021
374.97/377.20	c bounds 1589 >= 882 @ 130.487
374.97/377.20	c #Conflicts:      41000 | #Constraints:      24102
374.97/377.20	c bounds 1588 >= 882 @ 131.768
374.97/377.20	c bounds 1587 >= 882 @ 132.088
374.97/377.20	c INPROCESSING
374.97/377.20	c GARBAGE COLLECT
374.97/377.20	c bounds 1586 >= 882 @ 172.552
374.97/377.20	c bounds 1585 >= 882 @ 172.969
374.97/377.20	c bounds 1584 >= 882 @ 173.583
374.97/377.20	c bounds 1583 >= 882 @ 174.211
374.97/377.20	c #Conflicts:      42000 | #Constraints:      16416
374.97/377.20	c bounds 1582 >= 882 @ 176.454
374.97/377.20	c bounds 1581 >= 882 @ 177.321
374.97/377.20	c #Conflicts:      43000 | #Constraints:      17418
374.97/377.20	c #Conflicts:      44000 | #Constraints:      18418
374.97/377.20	c bounds 1580 >= 882 @ 202.088
374.97/377.20	c #Conflicts:      45000 | #Constraints:      19419
374.97/377.20	c #Conflicts:      46000 | #Constraints:      20419
374.97/377.20	c #Conflicts:      47000 | #Constraints:      21419
374.97/377.20	c INPROCESSING
374.97/377.20	c GARBAGE COLLECT
374.97/377.20	c #Conflicts:      48000 | #Constraints:      15331
374.97/377.20	c #Conflicts:      49000 | #Constraints:      16331
374.97/377.20	c #Conflicts:      50000 | #Constraints:      17331
374.97/377.20	c #Conflicts:      51000 | #Constraints:      18331
374.97/377.20	c #Conflicts:      52000 | #Constraints:      19331
374.97/377.20	c INPROCESSING
374.97/377.20	c GARBAGE COLLECT
374.97/377.20	c bounds 1578 >= 882 @ 224.156
374.97/377.20	c bounds 1577 >= 882 @ 224.348
374.97/377.20	c bounds 1576 >= 882 @ 224.8
374.97/377.20	c #Conflicts:      53000 | #Constraints:      13894
374.97/377.20	c bounds 1574 >= 882 @ 225.386
374.97/377.20	c bounds 1572 >= 882 @ 227.003
374.97/377.20	c bounds 1571 >= 882 @ 227.381
374.97/377.20	c bounds 1570 >= 882 @ 227.988
374.97/377.20	c bounds 1569 >= 882 @ 228.38
374.97/377.20	c bounds 1568 >= 882 @ 228.718
374.97/377.20	c bounds 1567 >= 882 @ 229.605
374.97/377.20	c #Conflicts:      54000 | #Constraints:      14901
374.97/377.20	c bounds 1566 >= 882 @ 230.929
374.97/377.20	c bounds 1565 >= 882 @ 231.904
374.97/377.20	c bounds 1564 >= 882 @ 232.731
374.97/377.20	c bounds 1563 >= 882 @ 232.93
374.97/377.20	c bounds 1562 >= 882 @ 234.098
374.97/377.20	c bounds 1561 >= 882 @ 234.847
374.97/377.20	c #Conflicts:      55000 | #Constraints:      15907
374.97/377.20	c bounds 1560 >= 882 @ 235.993
374.97/377.20	c bounds 1559 >= 882 @ 237.317
374.97/377.20	c bounds 1558 >= 882 @ 237.659
374.97/377.20	c bounds 1557 >= 882 @ 238.301
374.97/377.20	c bounds 1557 >= 883 @ 238.311
374.97/377.20	c bounds 1557 >= 884 @ 238.315
374.97/377.20	c #Conflicts:      56000 | #Constraints:      16924
374.97/377.20	c #Conflicts:      57000 | #Constraints:      17924
374.97/377.20	c #Conflicts:      58000 | #Constraints:      18924
374.97/377.20	c #Conflicts:      59000 | #Constraints:      19924
374.97/377.20	c #Conflicts:      60000 | #Constraints:      20924
374.97/377.20	c #Conflicts:      61000 | #Constraints:      21924
374.97/377.20	c #Conflicts:      62000 | #Constraints:      22924
374.97/377.20	c #Conflicts:      63000 | #Constraints:      23924
374.97/377.20	c #Conflicts:      64000 | #Constraints:      24924
374.97/377.20	c #Conflicts:      65000 | #Constraints:      25924
374.97/377.20	c #Conflicts:      66000 | #Constraints:      26924
374.97/377.20	c #Conflicts:      67000 | #Constraints:      27924
374.97/377.20	c #Conflicts:      68000 | #Constraints:      28924
374.97/377.20	c #Conflicts:      69000 | #Constraints:      29924
374.97/377.20	c INPROCESSING
374.97/377.20	c GARBAGE COLLECT
374.97/377.20	c bounds 1556 >= 884 @ 294.585
374.97/377.20	c bounds 1555 >= 884 @ 295.053
374.97/377.20	c bounds 1554 >= 884 @ 295.725
374.97/377.20	c #Conflicts:      70000 | #Constraints:      19360
374.97/377.20	c bounds 1553 >= 884 @ 296.148
374.97/377.20	c bounds 1552 >= 884 @ 296.68
374.97/377.20	c #Conflicts:      71000 | #Constraints:      20362
374.97/377.20	c #Conflicts:      72000 | #Constraints:      21362
374.97/377.20	c bounds 1551 >= 884 @ 309.317
374.97/377.20	c bounds 1550 >= 884 @ 311.826
374.97/377.20	c bounds 1549 >= 884 @ 312.845
374.97/377.20	c #Conflicts:      73000 | #Constraints:      22365
374.97/377.20	c bounds 1548 >= 884 @ 315.152
374.97/377.20	c bounds 1547 >= 884 @ 316.807
374.97/377.20	c bounds 1546 >= 884 @ 317.639
374.97/377.20	c bounds 1545 >= 884 @ 318.946
374.97/377.20	c #Conflicts:      74000 | #Constraints:      23369
374.97/377.20	c bounds 1544 >= 884 @ 323.14
374.97/377.20	c bounds 1543 >= 884 @ 325.758
374.97/377.20	c #Conflicts:      75000 | #Constraints:      24371
374.97/377.20	c bounds 1542 >= 884 @ 327.856
374.97/377.20	c bounds 1541 >= 884 @ 331.617
374.97/377.20	c bounds 1540 >= 884 @ 333.196
374.97/377.20	c #Conflicts:      76000 | #Constraints:      25374
374.97/377.20	c bounds 1539 >= 884 @ 337.235
374.97/377.20	c INPROCESSING
374.97/377.20	c GARBAGE COLLECT
374.97/377.20	c bounds 1537 >= 884 @ 340.827
374.97/377.20	c bounds 1536 >= 884 @ 341.59
374.97/377.20	c #Conflicts:      77000 | #Constraints:      16910
374.97/377.20	c bounds 1535 >= 884 @ 342.161
374.97/377.20	c bounds 1534 >= 884 @ 342.71
374.97/377.20	c bounds 1533 >= 884 @ 344.112
374.97/377.20	c #Conflicts:      78000 | #Constraints:      17913
374.97/377.20	c bounds 1532 >= 884 @ 355.626
647.07/650.04	c bounds 1531 >= 884 @ 356.506
647.07/650.04	c #Conflicts:      79000 | #Constraints:      18915
647.07/650.04	c bounds 1530 >= 884 @ 357.341
647.07/650.04	c bounds 1529 >= 884 @ 358.626
647.07/650.04	c #Conflicts:      80000 | #Constraints:      19917
647.07/650.04	c bounds 1528 >= 884 @ 363.232
647.07/650.04	c bounds 1526 >= 884 @ 364.883
647.07/650.04	c #Conflicts:      81000 | #Constraints:      20919
647.07/650.04	c bounds 1525 >= 884 @ 368.351
647.07/650.04	c bounds 1524 >= 884 @ 370.646
647.07/650.04	c bounds 1523 >= 884 @ 371.892
647.07/650.04	c #Conflicts:      82000 | #Constraints:      21922
647.07/650.04	c bounds 1522 >= 884 @ 375.398
647.07/650.04	c bounds 1521 >= 884 @ 377.211
647.07/650.04	c bounds 1520 >= 884 @ 378.241
647.07/650.04	c bounds 1519 >= 884 @ 378.71
647.07/650.04	c #Conflicts:      83000 | #Constraints:      22926
647.07/650.04	c bounds 1518 >= 884 @ 379.95
647.07/650.04	c bounds 1517 >= 884 @ 381.315
647.07/650.04	c bounds 1516 >= 884 @ 385.846
647.07/650.04	c #Conflicts:      84000 | #Constraints:      23929
647.07/650.04	c bounds 1515 >= 884 @ 387.239
647.07/650.04	c bounds 1514 >= 884 @ 387.637
647.07/650.04	c #Conflicts:      85000 | #Constraints:      24931
647.07/650.04	c #Conflicts:      86000 | #Constraints:      25931
647.07/650.04	c bounds 1513 >= 884 @ 418.927
647.07/650.04	c bounds 1513 >= 885 @ 418.99
647.07/650.04	c #Conflicts:      87000 | #Constraints:      26934
647.07/650.04	c #Conflicts:      88000 | #Constraints:      27934
647.07/650.04	c #Conflicts:      89000 | #Constraints:      28934
647.07/650.04	c #Conflicts:      90000 | #Constraints:      29934
647.07/650.04	c #Conflicts:      91000 | #Constraints:      30934
647.07/650.04	c #Conflicts:      92000 | #Constraints:      31934
647.07/650.04	c #Conflicts:      93000 | #Constraints:      32934
647.07/650.04	c #Conflicts:      94000 | #Constraints:      33934
647.07/650.04	c #Conflicts:      95000 | #Constraints:      34934
647.07/650.04	c #Conflicts:      96000 | #Constraints:      35934
647.07/650.04	c INPROCESSING
647.07/650.04	c GARBAGE COLLECT
647.07/650.04	c #Conflicts:      97000 | #Constraints:      22297
647.07/650.04	c bounds 1512 >= 885 @ 492.802
647.07/650.04	c #Conflicts:      98000 | #Constraints:      23298
647.07/650.04	c #Conflicts:      99000 | #Constraints:      24298
647.07/650.04	c bounds 1511 >= 885 @ 513.149
647.07/650.04	c #Conflicts:     100000 | #Constraints:      25300
647.07/650.04	c bounds 1510 >= 885 @ 519.296
647.07/650.04	c bounds 1509 >= 885 @ 521.096
647.07/650.04	c bounds 1508 >= 885 @ 521.537
647.07/650.04	c bounds 1507 >= 885 @ 523.333
647.07/650.04	c bounds 1506 >= 885 @ 525.935
647.07/650.04	c bounds 1505 >= 885 @ 528.619
647.07/650.04	c #Conflicts:     101000 | #Constraints:      26461
647.07/650.04	c bounds 1504 >= 885 @ 530.925
647.07/650.04	c bounds 1502 >= 885 @ 533.125
647.07/650.04	c bounds 1501 >= 885 @ 536.695
647.07/650.04	c #Conflicts:     102000 | #Constraints:      27620
647.07/650.04	c bounds 1500 >= 885 @ 544.723
647.07/650.04	c #Conflicts:     103000 | #Constraints:      28654
647.07/650.04	c #Conflicts:     104000 | #Constraints:      29654
647.07/650.04	c #Conflicts:     105000 | #Constraints:      30654
647.07/650.04	c INPROCESSING
647.07/650.04	c GARBAGE COLLECT
647.07/650.04	c rational objective 1054.05
983.58/987.45	c #Conflicts:     106000 | #Constraints:      20005
983.58/987.45	c #Conflicts:     107000 | #Constraints:      21005
983.58/987.45	c #Conflicts:     108000 | #Constraints:      22005
983.58/987.45	c bounds 1499 >= 885 @ 645.533
983.58/987.45	c #Conflicts:     109000 | #Constraints:      23006
983.58/987.45	c #Conflicts:     110000 | #Constraints:      24006
983.58/987.45	c #Conflicts:     111000 | #Constraints:      25006
983.58/987.45	c #Conflicts:     112000 | #Constraints:      26006
983.58/987.45	c #Conflicts:     113000 | #Constraints:      27006
983.58/987.45	c INPROCESSING
983.58/987.45	c GARBAGE COLLECT
983.58/987.45	c bounds 1498 >= 885 @ 671.026
983.58/987.45	c bounds 1497 >= 885 @ 671.664
983.58/987.45	c bounds 1496 >= 885 @ 672.256
983.58/987.45	c bounds 1495 >= 885 @ 672.662
983.58/987.45	c #Conflicts:     114000 | #Constraints:      17851
983.58/987.45	c bounds 1494 >= 885 @ 673.822
983.58/987.45	c bounds 1493 >= 885 @ 675.248
983.58/987.45	c bounds 1492 >= 885 @ 677.188
983.58/987.45	c bounds 1491 >= 885 @ 677.347
983.58/987.45	c bounds 1490 >= 885 @ 678.49
983.58/987.45	c #Conflicts:     115000 | #Constraints:      18856
983.58/987.45	c bounds 1489 >= 885 @ 679.2
983.58/987.45	c bounds 1488 >= 885 @ 680.88
983.58/987.45	c bounds 1487 >= 885 @ 684.563
983.58/987.45	c #Conflicts:     116000 | #Constraints:      19859
983.58/987.45	c bounds 1486 >= 885 @ 687.233
983.58/987.45	c bounds 1485 >= 885 @ 689.491
983.58/987.45	c bounds 1484 >= 885 @ 690.769
983.58/987.45	c #Conflicts:     117000 | #Constraints:      20862
983.58/987.45	c bounds 1483 >= 885 @ 692.191
983.58/987.45	c bounds 1482 >= 885 @ 698.891
983.58/987.45	c #Conflicts:     118000 | #Constraints:      21864
983.58/987.45	c #Conflicts:     119000 | #Constraints:      22864
983.58/987.45	c bounds 1481 >= 885 @ 711.926
983.58/987.45	c #Conflicts:     120000 | #Constraints:      23865
983.58/987.45	c #Conflicts:     121000 | #Constraints:      24865
983.58/987.45	c #Conflicts:     122000 | #Constraints:      25865
983.58/987.45	c #Conflicts:     123000 | #Constraints:      26865
983.58/987.45	c #Conflicts:     124000 | #Constraints:      27865
983.58/987.45	c #Conflicts:     125000 | #Constraints:      28865
983.58/987.45	c #Conflicts:     126000 | #Constraints:      29865
983.58/987.45	c #Conflicts:     127000 | #Constraints:      30865
983.58/987.45	c #Conflicts:     128000 | #Constraints:      31865
983.58/987.45	c #Conflicts:     129000 | #Constraints:      32865
983.58/987.45	c #Conflicts:     130000 | #Constraints:      33865
983.58/987.45	c #Conflicts:     131000 | #Constraints:      34865
983.58/987.45	c #Conflicts:     132000 | #Constraints:      35865
983.58/987.45	c #Conflicts:     133000 | #Constraints:      36865
983.58/987.45	c #Conflicts:     134000 | #Constraints:      37865
983.58/987.45	c #Conflicts:     135000 | #Constraints:      38865
983.58/987.45	c #Conflicts:     136000 | #Constraints:      39865
983.58/987.45	c #Conflicts:     137000 | #Constraints:      40865
983.58/987.45	c bounds 1481 >= 886 @ 909.928
983.58/987.45	c INPROCESSING
983.58/987.45	c GARBAGE COLLECT
983.58/987.45	c rational objective 1054.05
1419.65/1424.60	c bounds 1480 >= 886 @ 955.013
1419.65/1424.60	c bounds 1479 >= 886 @ 955.459
1419.65/1424.60	c #Conflicts:     138000 | #Constraints:      24681
1419.65/1424.60	c #Conflicts:     139000 | #Constraints:      25681
1419.65/1424.60	c #Conflicts:     140000 | #Constraints:      26681
1419.65/1424.60	c #Conflicts:     141000 | #Constraints:      27681
1419.65/1424.60	c #Conflicts:     142000 | #Constraints:      28681
1419.65/1424.60	c #Conflicts:     143000 | #Constraints:      29681
1419.65/1424.60	c #Conflicts:     144000 | #Constraints:      30681
1419.65/1424.60	c #Conflicts:     145000 | #Constraints:      31681
1419.65/1424.60	c #Conflicts:     146000 | #Constraints:      32681
1419.65/1424.60	c #Conflicts:     147000 | #Constraints:      33681
1419.65/1424.60	c INPROCESSING
1419.65/1424.60	c GARBAGE COLLECT
1419.65/1424.60	c bounds 1478 >= 886 @ 1065.34
1419.65/1424.60	c #Conflicts:     148000 | #Constraints:      21161
1419.65/1424.60	c bounds 1477 >= 886 @ 1066.17
1419.65/1424.60	c bounds 1476 >= 886 @ 1071.63
1419.65/1424.60	c #Conflicts:     149000 | #Constraints:      22163
1419.65/1424.60	c bounds 1475 >= 886 @ 1078.27
1419.65/1424.60	c #Conflicts:     150000 | #Constraints:      23164
1419.65/1424.60	c bounds 1474 >= 886 @ 1080.12
1419.65/1424.60	c #Conflicts:     151000 | #Constraints:      24165
1419.65/1424.60	c bounds 1473 >= 886 @ 1087.6
1419.65/1424.60	c bounds 1472 >= 886 @ 1094.71
1419.65/1424.60	c #Conflicts:     152000 | #Constraints:      25167
1419.65/1424.60	c #Conflicts:     153000 | #Constraints:      26167
1419.65/1424.60	c #Conflicts:     154000 | #Constraints:      27167
1419.65/1424.60	c #Conflicts:     155000 | #Constraints:      28167
1419.65/1424.60	c bounds 1471 >= 886 @ 1150.23
1419.65/1424.60	c #Conflicts:     156000 | #Constraints:      29168
1419.65/1424.60	c #Conflicts:     157000 | #Constraints:      30168
1419.65/1424.60	c INPROCESSING
1419.65/1424.60	c GARBAGE COLLECT
1419.65/1424.60	c #Conflicts:     158000 | #Constraints:      19608
1419.65/1424.60	c #Conflicts:     159000 | #Constraints:      20608
1419.65/1424.60	c #Conflicts:     160000 | #Constraints:      21608
1419.65/1424.60	c #Conflicts:     161000 | #Constraints:      22608
1419.65/1424.60	c #Conflicts:     162000 | #Constraints:      23608
1419.65/1424.60	c #Conflicts:     163000 | #Constraints:      24608
1419.65/1424.60	c #Conflicts:     164000 | #Constraints:      25608
1419.65/1424.60	c #Conflicts:     165000 | #Constraints:      26608
1419.65/1424.60	c bounds 1471 >= 887 @ 1174.14
1419.65/1424.60	c #Conflicts:     166000 | #Constraints:      27652
1419.65/1424.60	c #Conflicts:     167000 | #Constraints:      28652
1419.65/1424.60	c #Conflicts:     168000 | #Constraints:      29652
1419.65/1424.60	c #Conflicts:     169000 | #Constraints:      30652
1419.65/1424.60	c #Conflicts:     170000 | #Constraints:      31652
1419.65/1424.60	c #Conflicts:     171000 | #Constraints:      32652
1419.65/1424.60	c #Conflicts:     172000 | #Constraints:      33652
1419.65/1424.60	c #Conflicts:     173000 | #Constraints:      34652
1419.65/1424.60	c #Conflicts:     174000 | #Constraints:      35652
1419.65/1424.60	c #Conflicts:     175000 | #Constraints:      36652
1419.65/1424.60	c #Conflicts:     176000 | #Constraints:      37652
1419.65/1424.60	c #Conflicts:     177000 | #Constraints:      38652
1419.65/1424.60	c #Conflicts:     178000 | #Constraints:      39652
1419.65/1424.60	c #Conflicts:     179000 | #Constraints:      40652
1419.65/1424.60	c #Conflicts:     180000 | #Constraints:      41652
1419.65/1424.60	c #Conflicts:     181000 | #Constraints:      42652
1419.65/1424.60	c #Conflicts:     182000 | #Constraints:      43652
1419.65/1424.60	c #Conflicts:     183000 | #Constraints:      44652
1419.65/1424.60	c #Conflicts:     184000 | #Constraints:      45652
1419.65/1424.60	c #Conflicts:     185000 | #Constraints:      46652
1419.65/1424.60	c #Conflicts:     186000 | #Constraints:      47652
1419.65/1424.60	c INPROCESSING
1419.65/1424.60	c GARBAGE COLLECT
1419.65/1424.60	c rational objective 1054.05
1660.62/1666.23	c #Conflicts:     187000 | #Constraints:      28563
1660.62/1666.23	c #Conflicts:     188000 | #Constraints:      29563
1660.62/1666.23	c #Conflicts:     189000 | #Constraints:      30563
1660.62/1666.23	c #Conflicts:     190000 | #Constraints:      31563
1660.62/1666.23	c #Conflicts:     191000 | #Constraints:      32563
1660.62/1666.23	c #Conflicts:     192000 | #Constraints:      33563
1660.62/1666.23	c bounds 1470 >= 887 @ 1453.35
1660.62/1666.23	c #Conflicts:     193000 | #Constraints:      34564
1660.62/1666.23	c #Conflicts:     194000 | #Constraints:      35564
1660.62/1666.23	c #Conflicts:     195000 | #Constraints:      36564
1660.62/1666.23	c #Conflicts:     196000 | #Constraints:      37564
1660.62/1666.23	c #Conflicts:     197000 | #Constraints:      38564
1660.62/1666.23	c INPROCESSING
1660.62/1666.23	c GARBAGE COLLECT
1660.62/1666.23	c rational objective 1054.05
2619.58/2627.74	c #Conflicts:     198000 | #Constraints:      23722
2619.58/2627.74	c #Conflicts:     199000 | #Constraints:      24722
2619.58/2627.74	c #Conflicts:     200000 | #Constraints:      25722
2619.58/2627.74	c #Conflicts:     201000 | #Constraints:      26722
2619.58/2627.74	c #Conflicts:     202000 | #Constraints:      27722
2619.58/2627.74	c #Conflicts:     203000 | #Constraints:      28722
2619.58/2627.74	c #Conflicts:     204000 | #Constraints:      29722
2619.58/2627.74	c #Conflicts:     205000 | #Constraints:      30722
2619.58/2627.74	c #Conflicts:     206000 | #Constraints:      31722
2619.58/2627.74	c #Conflicts:     207000 | #Constraints:      32722
2619.58/2627.74	c #Conflicts:     208000 | #Constraints:      33722
2619.58/2627.74	c #Conflicts:     209000 | #Constraints:      34722
2619.58/2627.74	c INPROCESSING
2619.58/2627.74	c GARBAGE COLLECT
2619.58/2627.74	c #Conflicts:     210000 | #Constraints:      24260
2619.58/2627.74	c #Conflicts:     211000 | #Constraints:      25260
2619.58/2627.74	c #Conflicts:     212000 | #Constraints:      26260
2619.58/2627.74	c #Conflicts:     213000 | #Constraints:      27260
2619.58/2627.74	c #Conflicts:     214000 | #Constraints:      28260
2619.58/2627.74	c #Conflicts:     215000 | #Constraints:      29260
2619.58/2627.74	c #Conflicts:     216000 | #Constraints:      30260
2619.58/2627.74	c #Conflicts:     217000 | #Constraints:      31260
2619.58/2627.74	c #Conflicts:     218000 | #Constraints:      32260
2619.58/2627.74	c #Conflicts:     219000 | #Constraints:      33260
2619.58/2627.74	c #Conflicts:     220000 | #Constraints:      34260
2619.58/2627.74	c #Conflicts:     221000 | #Constraints:      35260
2619.58/2627.74	c #Conflicts:     222000 | #Constraints:      36260
2619.58/2627.74	c #Conflicts:     223000 | #Constraints:      37260
2619.58/2627.74	c #Conflicts:     224000 | #Constraints:      38260
2619.58/2627.74	c #Conflicts:     225000 | #Constraints:      39260
2619.58/2627.74	c #Conflicts:     226000 | #Constraints:      40260
2619.58/2627.74	c #Conflicts:     227000 | #Constraints:      41260
2619.58/2627.74	c #Conflicts:     228000 | #Constraints:      42260
2619.58/2627.74	c #Conflicts:     229000 | #Constraints:      43260
2619.58/2627.74	c #Conflicts:     230000 | #Constraints:      44260
2619.58/2627.74	c #Conflicts:     231000 | #Constraints:      45260
2619.58/2627.74	c #Conflicts:     232000 | #Constraints:      46260
2619.58/2627.74	c #Conflicts:     233000 | #Constraints:      47260
2619.58/2627.74	c #Conflicts:     234000 | #Constraints:      48260
2619.58/2627.74	c #Conflicts:     235000 | #Constraints:      49260
2619.58/2627.74	c #Conflicts:     236000 | #Constraints:      50260
2619.58/2627.74	c #Conflicts:     237000 | #Constraints:      51260
2619.58/2627.74	c #Conflicts:     238000 | #Constraints:      52260
2619.58/2627.74	c #Conflicts:     239000 | #Constraints:      53260
2619.58/2627.74	c #Conflicts:     240000 | #Constraints:      54260
2619.58/2627.74	c #Conflicts:     241000 | #Constraints:      55260
2619.58/2627.74	c INPROCESSING
2619.58/2627.74	c GARBAGE COLLECT
2619.58/2627.74	c #Conflicts:     242000 | #Constraints:      32127
2619.58/2627.74	c #Conflicts:     243000 | #Constraints:      33127
2619.58/2627.74	c #Conflicts:     244000 | #Constraints:      34127
2619.58/2627.74	c bounds 1469 >= 887 @ 2403.78
2619.58/2627.74	c bounds 1468 >= 887 @ 2406.4
2619.58/2627.74	c bounds 1467 >= 887 @ 2407.93
2619.58/2627.74	c bounds 1466 >= 887 @ 2409.76
2619.58/2627.74	c #Conflicts:     245000 | #Constraints:      35131
2619.58/2627.74	c bounds 1465 >= 887 @ 2412.6
2619.58/2627.74	c #Conflicts:     246000 | #Constraints:      36132
2619.58/2627.74	c #Conflicts:     247000 | #Constraints:      37132
2619.58/2627.74	c #Conflicts:     248000 | #Constraints:      38132
2619.58/2627.74	c #Conflicts:     249000 | #Constraints:      39132
2619.58/2627.74	c bounds 1464 >= 887 @ 2457.23
2619.58/2627.74	c #Conflicts:     250000 | #Constraints:      40133
2619.58/2627.74	c #Conflicts:     251000 | #Constraints:      41133
2619.58/2627.74	c bounds 1463 >= 887 @ 2477.38
2619.58/2627.74	c bounds 1462 >= 887 @ 2477.88
2619.58/2627.74	c bounds 1460 >= 887 @ 2480.89
2619.58/2627.74	c #Conflicts:     252000 | #Constraints:      42136
2619.58/2627.74	c bounds 1459 >= 887 @ 2485.87
2619.58/2627.74	c #Conflicts:     253000 | #Constraints:      43137
2619.58/2627.74	c #Conflicts:     254000 | #Constraints:      44137
2619.58/2627.74	c INPROCESSING
2619.58/2627.74	c GARBAGE COLLECT
2619.58/2627.74	c #Conflicts:     255000 | #Constraints:      26495
2619.58/2627.74	c bounds 1458 >= 887 @ 2521.62
2619.58/2627.74	c #Conflicts:     256000 | #Constraints:      27496
2619.58/2627.74	c bounds 1456 >= 887 @ 2534.8
2619.58/2627.74	c #Conflicts:     257000 | #Constraints:      28497
2619.58/2627.74	c bounds 1455 >= 887 @ 2539.37
2619.58/2627.74	c bounds 1454 >= 887 @ 2540.91
2619.58/2627.74	c #Conflicts:     258000 | #Constraints:      29499
2619.58/2627.74	c bounds 1453 >= 887 @ 2543.14
2619.58/2627.74	c bounds 1452 >= 887 @ 2547.76
2619.58/2627.74	c bounds 1451 >= 887 @ 2548.89
2619.58/2627.74	c #Conflicts:     259000 | #Constraints:      30555
2619.58/2627.74	c bounds 1450 >= 887 @ 2555.04
2619.58/2627.74	c #Conflicts:     260000 | #Constraints:      31634
2619.58/2627.74	c bounds 1449 >= 887 @ 2560.88
2619.58/2627.74	c bounds 1448 >= 887 @ 2562.95
2619.58/2627.74	c bounds 1447 >= 887 @ 2569
2619.58/2627.74	c #Conflicts:     261000 | #Constraints:      32727
2619.58/2627.74	c bounds 1446 >= 887 @ 2573.53
3265.89/3276.02	c bounds 1445 >= 887 @ 2577.46
3265.89/3276.02	c #Conflicts:     262000 | #Constraints:      33801
3265.89/3276.02	c bounds 1444 >= 887 @ 2582.2
3265.89/3276.02	c bounds 1443 >= 887 @ 2584.61
3265.89/3276.02	c bounds 1442 >= 887 @ 2587.83
3265.89/3276.02	c #Conflicts:     263000 | #Constraints:      34906
3265.89/3276.02	c bounds 1441 >= 887 @ 2600.02
3265.89/3276.02	c #Conflicts:     264000 | #Constraints:      35934
3265.89/3276.02	c bounds 1440 >= 887 @ 2611.82
3265.89/3276.02	c #Conflicts:     265000 | #Constraints:      36995
3265.89/3276.02	c #Conflicts:     266000 | #Constraints:      38006
3265.89/3276.02	c #Conflicts:     267000 | #Constraints:      39012
3265.89/3276.02	c #Conflicts:     268000 | #Constraints:      40015
3265.89/3276.02	c #Conflicts:     269000 | #Constraints:      41017
3265.89/3276.02	c #Conflicts:     270000 | #Constraints:      42019
3265.89/3276.02	c #Conflicts:     271000 | #Constraints:      43025
3265.89/3276.02	c #Conflicts:     272000 | #Constraints:      44030
3265.89/3276.02	c #Conflicts:     273000 | #Constraints:      45059
3265.89/3276.02	c #Conflicts:     274000 | #Constraints:      46085
3265.89/3276.02	c #Conflicts:     275000 | #Constraints:      47100
3265.89/3276.02	c #Conflicts:     276000 | #Constraints:      48106
3265.89/3276.02	c #Conflicts:     277000 | #Constraints:      49121
3265.89/3276.02	c #Conflicts:     278000 | #Constraints:      50146
3265.89/3276.02	c #Conflicts:     279000 | #Constraints:      51152
3265.89/3276.02	c #Conflicts:     280000 | #Constraints:      52159
3265.89/3276.02	c #Conflicts:     281000 | #Constraints:      53165
3265.89/3276.02	c #Conflicts:     282000 | #Constraints:      54180
3265.89/3276.02	c bounds 1439 >= 887 @ 2933.67
3265.89/3276.02	c #Conflicts:     283000 | #Constraints:      55214
3265.89/3276.02	c #Conflicts:     284000 | #Constraints:      56214
3265.89/3276.02	c #Conflicts:     285000 | #Constraints:      57214
3265.89/3276.02	c #Conflicts:     286000 | #Constraints:      58214
3265.89/3276.02	c #Conflicts:     287000 | #Constraints:      59214
3265.89/3276.02	c #Conflicts:     288000 | #Constraints:      60214
3265.89/3276.02	c #Conflicts:     289000 | #Constraints:      61214
3265.89/3276.02	c #Conflicts:     290000 | #Constraints:      62214
3265.89/3276.02	c INPROCESSING
3265.89/3276.02	c GARBAGE COLLECT
3265.89/3276.02	c rational objective 1054.05
3508.82/3519.73	c #Conflicts:     291000 | #Constraints:      35863
3508.82/3519.73	c #Conflicts:     292000 | #Constraints:      36863
3508.82/3519.73	c #Conflicts:     293000 | #Constraints:      37863
3508.82/3519.73	c #Conflicts:     294000 | #Constraints:      38863
3508.82/3519.73	c #Conflicts:     295000 | #Constraints:      39863
3508.82/3519.73	c #Conflicts:     296000 | #Constraints:      40863
3508.82/3519.73	c #Conflicts:     297000 | #Constraints:      41863
3508.82/3519.73	c #Conflicts:     298000 | #Constraints:      42863
3508.82/3519.73	c #Conflicts:     299000 | #Constraints:      43863
3508.82/3519.73	c #Conflicts:     300000 | #Constraints:      44863
3508.82/3519.73	c #Conflicts:     301000 | #Constraints:      45863
3508.82/3519.73	c #Conflicts:     302000 | #Constraints:      46863
3508.82/3519.73	c #Conflicts:     303000 | #Constraints:      47863
3508.82/3519.73	c #Conflicts:     304000 | #Constraints:      48863
3508.82/3519.73	c INPROCESSING
3508.82/3519.73	c GARBAGE COLLECT
3508.82/3519.73	c rational objective 1054.05

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: 63968 MiB (63343 MiB free)
  memory of node 1: 64473 MiB (63924 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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

solver pid=7378, runsolver pid=7375

[startup+0.100095 s]*
/proc/loadavg: 0.10 0.10 0.09 1/247 7379
/proc/meminfo: memFree=130321000/131524600 swapFree=131071996/131071996
[pid=7378] ppid=7375 vsize=37376 memory=2584 CPUtime=0 cores=1,3
/proc/7378/stat : 7378 (roundingsat) D 7375 7378 7335 0 -1 4194304 215 0 0 0 0 0 0 0 20 0 1 0 676267 38273024 646 134679101440 4194304 8255733 140735070297984 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 9037040 9046032 29224960 140735070303070 140735070303332 140735070303332 140735070310345 0
/proc/7378/statm: 9344 646 589 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2584 KiB

[startup+0.204919 s]*
/proc/loadavg: 0.10 0.10 0.09 2/248 7380
/proc/meminfo: memFree=130320508/131524600 swapFree=131071996/131071996
[pid=7378] ppid=7375 vsize=37376 memory=2584 CPUtime=0 cores=1,3
/proc/7378/stat : 7378 (roundingsat) D 7375 7378 7335 0 -1 4194304 215 0 0 0 0 0 0 0 20 0 1 0 676267 38273024 646 134679101440 4194304 8255733 140735070297984 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 9037040 9046032 29224960 140735070303070 140735070303332 140735070303332 140735070310345 0
/proc/7378/statm: 9344 646 589 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2584 KiB

[startup+0.304602 s]*
/proc/loadavg: 0.10 0.10 0.09 2/253 7399
/proc/meminfo: memFree=130307244/131524600 swapFree=131071996/131071996
[pid=7378] ppid=7375 vsize=37376 memory=2584 CPUtime=0 cores=1,3
/proc/7378/stat : 7378 (roundingsat) D 7375 7378 7335 0 -1 1078198272 215 0 0 0 0 0 0 0 20 0 1 0 676267 38273024 646 134679101440 4194304 8255733 140735070297984 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 9037040 9046032 29224960 140735070303070 140735070303332 140735070303332 140735070310345 0
/proc/7378/statm: 9344 646 589 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2584 KiB

[startup+0.700193 s]
/proc/loadavg: 0.10 0.10 0.09 1/259 7409
/proc/meminfo: memFree=130305116/131524600 swapFree=131071996/131071996
[pid=7378] ppid=7375 vsize=37376 memory=2584 CPUtime=0 cores=1,3
/proc/7378/stat : 7378 (roundingsat) D 7375 7378 7335 0 -1 4194304 215 0 0 0 0 0 0 0 20 0 1 0 676267 38273024 646 134679101440 4194304 8255733 140735070297984 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 9037040 9046032 29224960 140735070303070 140735070303332 140735070303332 140735070310345 0
/proc/7378/statm: 9344 646 589 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2584 KiB

[startup+1.50048 s]
/proc/loadavg: 0.10 0.10 0.09 2/259 7409
/proc/meminfo: memFree=130282612/131524600 swapFree=131071996/131071996
[pid=7378] ppid=7375 vsize=68184 memory=38116 CPUtime=0.31 cores=1,3
/proc/7378/stat : 7378 (roundingsat) R 7375 7378 7335 0 -1 4194304 9956 0 0 0 29 2 0 0 20 0 1 0 676267 69820416 9529 134679101440 4194304 8255733 140735070297984 0 0 0 0 0 25182210 0 0 0 17 3 0 0 0 0 0 9037040 9046032 29224960 140735070303070 140735070303332 140735070303332 140735070310345 0
/proc/7378/statm: 17046 9529 1765 992 0 8904 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 68184 KiB
Current children cumulated memory: 38116 KiB

[startup+3.10523 s]
/proc/loadavg: 0.10 0.10 0.09 3/249 7425
/proc/meminfo: memFree=130131144/131524600 swapFree=131071996/131071996
[pid=7378] ppid=7375 vsize=81504 memory=53444 CPUtime=1.9 cores=1,3
/proc/7378/stat : 7378 (roundingsat) R 7375 7378 7335 0 -1 4194304 13197 0 0 0 111 79 0 0 20 0 1 0 676267 83460096 13361 134679101440 4194304 8255733 140735070297984 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 29224960 140735070303070 140735070303332 140735070303332 140735070310345 0
/proc/7378/statm: 20376 13361 1813 992 0 12234 0
Current children cumulated CPU time: 1.9 s
Current children cumulated vsize: 81504 KiB
Current children cumulated memory: 53444 KiB
heavy processes:

[startup+6.30015 s]
/proc/loadavg: 0.33 0.14 0.11 5/261 7505
/proc/meminfo: memFree=129958648/131524600 swapFree=131071996/131071996
[pid=7378] ppid=7375 vsize=103636 memory=72768 CPUtime=5.08 cores=1,3
/proc/7378/stat : 7378 (roundingsat) R 7375 7378 7335 0 -1 4194304 17023 0 0 0 227 281 0 0 20 0 1 0 676267 106123264 18192 134679101440 4194304 8255733 140735070297984 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 29224960 140735070303070 140735070303332 140735070303332 140735070310345 0
/proc/7378/statm: 25909 18192 1813 992 0 17767 0
Current children cumulated CPU time: 5.08 s
Current children cumulated vsize: 103636 KiB
Current children cumulated memory: 72768 KiB

[startup+12.7002 s]
/proc/loadavg: 0.63 0.21 0.13 5/262 7508
/proc/meminfo: memFree=129672132/131524600 swapFree=131071996/131071996
[pid=7378] ppid=7375 vsize=231444 memory=188476 CPUtime=11.47 cores=1,3
/proc/7378/stat : 7378 (roundingsat) R 7375 7378 7335 0 -1 4194304 35254 0 0 0 521 626 0 0 20 0 1 0 676267 236998656 47119 134679101440 4194304 8255733 140735070297984 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 29224960 140735070303070 140735070303332 140735070303332 140735070310345 0
/proc/7378/statm: 57861 47119 1813 992 0 49719 0
Current children cumulated CPU time: 11.47 s
Current children cumulated vsize: 231444 KiB
Current children cumulated memory: 188476 KiB

[startup+25.5002 s]
/proc/loadavg: 1.45 0.41 0.20 5/262 7509
/proc/meminfo: memFree=129334092/131524600 swapFree=131071996/131071996
[pid=7378] ppid=7375 vsize=244788 memory=201948 CPUtime=24.24 cores=1,3
/proc/7378/stat : 7378 (roundingsat) R 7375 7378 7335 0 -1 4194304 38106 0 0 0 1675 749 0 0 20 0 1 0 676267 250662912 50487 134679101440 4194304 8255733 140735070297984 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 29224960 140735070303070 140735070303332 140735070303332 140735070310345 0
/proc/7378/statm: 61197 50487 1874 992 0 53055 0
Current children cumulated CPU time: 24.24 s
Current children cumulated vsize: 244788 KiB
Current children cumulated memory: 201948 KiB

[startup+51.1056 s]
/proc/loadavg: 2.32 0.70 0.30 5/264 7518
/proc/meminfo: memFree=128614900/131524600 swapFree=131071996/131071996
[pid=7378] ppid=7375 vsize=582096 memory=479556 CPUtime=49.78 cores=1,3
/proc/7378/stat : 7378 (roundingsat) R 7375 7378 7335 0 -1 4194304 86086 0 0 0 4112 866 0 0 20 0 1 0 676267 596066304 119889 134679101440 4194304 8255733 140735070297984 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 29224960 140735070303070 140735070303332 140735070303332 140735070310345 0
/proc/7378/statm: 145524 119889 1874 992 0 137382 0
Current children cumulated CPU time: 49.78 s
Current children cumulated vsize: 582096 KiB
Current children cumulated memory: 479556 KiB

[startup+102.3 s]
/proc/loadavg: 3.39 1.24 0.50 5/263 7538
/proc/meminfo: memFree=127148716/131524600 swapFree=131071996/131071996
[pid=7378] ppid=7375 vsize=1022372 memory=922656 CPUtime=100.81 cores=1,3
/proc/7378/stat : 7378 (roundingsat) R 7375 7378 7335 0 -1 4194304 152953 0 0 0 9029 1052 0 0 20 0 1 0 676267 1046908928 230664 134679101440 4194304 8255733 140735070297984 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 29224960 140735070303070 140735070303332 140735070303332 140735070310345 0
/proc/7378/statm: 255593 230664 1874 992 0 247451 0
Current children cumulated CPU time: 100.81 s
Current children cumulated vsize: 1022372 KiB
Current children cumulated memory: 922656 KiB

[startup+162.3 s]
/proc/loadavg: 3.84 1.76 0.73 5/263 7549
/proc/meminfo: memFree=125449112/131524600 swapFree=131071996/131071996
[pid=7378] ppid=7375 vsize=2302672 memory=1922872 CPUtime=160.65 cores=1,3
/proc/7378/stat : 7378 (roundingsat) R 7375 7378 7335 0 -1 4194304 307390 0 0 0 14737 1328 0 0 20 0 1 0 676267 2357936128 480718 134679101440 4194304 8255733 140735070297984 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 29224960 140735070303070 140735070303332 140735070303332 140735070310345 0
/proc/7378/statm: 575668 480718 1874 992 0 567526 0
Current children cumulated CPU time: 160.65 s
Current children cumulated vsize: 2302672 KiB
Current children cumulated memory: 1922872 KiB

[startup+222.3 s]
/proc/loadavg: 3.99 2.19 0.94 6/265 7564
/proc/meminfo: memFree=124546472/131524600 swapFree=131071996/131071996
[pid=7378] ppid=7375 vsize=2308984 memory=1928372 CPUtime=220.49 cores=1,3
/proc/7378/stat : 7378 (roundingsat) R 7375 7378 7335 0 -1 4194304 308870 0 0 0 20626 1423 0 0 20 0 1 0 676267 2364399616 482093 134679101440 4194304 8255733 140735070297984 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 29224960 140735070303070 140735070303332 140735070303332 140735070310345 0
/proc/7378/statm: 577246 482093 1874 992 0 569104 0
Current children cumulated CPU time: 220.49 s
Current children cumulated vsize: 2308984 KiB
Current children cumulated memory: 1928372 KiB

[startup+282.3 s]
/proc/loadavg: 4.10 2.55 1.15 5/263 7574
/proc/meminfo: memFree=123983244/131524600 swapFree=131071996/131071996
[pid=7378] ppid=7375 vsize=2308984 memory=1928380 CPUtime=280.33 cores=1,3
/proc/7378/stat : 7378 (roundingsat) R 7375 7378 7335 0 -1 4194304 309279 0 0 0 26377 1656 0 0 20 0 1 0 676267 2364399616 482095 134679101440 4194304 8255733 140735070297984 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 29224960 140735070303070 140735070303332 140735070303332 140735070310345 0
/proc/7378/statm: 577246 482095 1874 992 0 569104 0
Current children cumulated CPU time: 280.33 s
Current children cumulated vsize: 2308984 KiB
Current children cumulated memory: 1928380 KiB

[startup+342.3 s]
/proc/loadavg: 4.09 2.83 1.33 5/262 7584
/proc/meminfo: memFree=123249996/131524600 swapFree=131071996/131071996
[pid=7378] ppid=7375 vsize=2308984 memory=1930008 CPUtime=340.18 cores=1,3
/proc/7378/stat : 7378 (roundingsat) R 7375 7378 7335 0 -1 4194304 309924 0 0 0 32177 1841 0 0 20 0 1 0 676267 2364399616 482502 134679101440 4194304 8255733 140735070297984 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 29224960 140735070303070 140735070303332 140735070303332 140735070310345 0
/proc/7378/statm: 577246 482502 1874 992 0 569104 0
Current children cumulated CPU time: 340.18 s
Current children cumulated vsize: 2308984 KiB
Current children cumulated memory: 1930008 KiB

[startup+402.3 s]
/proc/loadavg: 4.07 3.06 1.51 5/260 7596
/proc/meminfo: memFree=122075376/131524600 swapFree=131071996/131071996
[pid=7378] ppid=7375 vsize=3057324 memory=2341552 CPUtime=400 cores=1,3
/proc/7378/stat : 7378 (roundingsat) R 7375 7378 7335 0 -1 4194304 361243 0 0 0 38011 1989 0 0 20 0 1 0 676267 3130699776 585388 134679101440 4194304 8255733 140735070297984 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 29224960 140735070303070 140735070303332 140735070303332 140735070310345 0
/proc/7378/statm: 764331 585388 1874 992 0 756189 0
Current children cumulated CPU time: 400 s
Current children cumulated vsize: 3057324 KiB
Current children cumulated memory: 2341552 KiB

[startup+462.3 s]
/proc/loadavg: 4.48 3.35 1.70 5/260 7607
/proc/meminfo: memFree=119751200/131524600 swapFree=131071996/131071996
[pid=7378] ppid=7375 vsize=4149660 memory=3714216 CPUtime=459.85 cores=1,3
/proc/7378/stat : 7378 (roundingsat) R 7375 7378 7335 0 -1 4194304 583690 0 0 0 43856 2129 0 0 20 0 1 0 676267 4249251840 928554 134679101440 4194304 8255733 140735070297984 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 29224960 140735070303070 140735070303332 140735070303332 140735070310345 0

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

[startup+3042.3 s]
/proc/loadavg: 4.14 4.13 4.02 5/261 8703
/proc/meminfo: memFree=91695848/131524600 swapFree=131071996/131071996
[pid=7378] ppid=7375 vsize=12317004 memory=9410740 CPUtime=3032.96 cores=1,3
/proc/7378/stat : 7378 (roundingsat) R 7375 7378 7335 0 -1 4194304 1329387 0 0 0 297947 5349 0 0 20 0 1 0 676267 12612612096 2352685 134679101440 4194304 8255733 140735070297984 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 29224960 140735070303070 140735070303332 140735070303332 140735070310345 0
/proc/7378/statm: 3079251 2352685 1890 992 0 3071109 0
Current children cumulated CPU time: 3032.96 s
Current children cumulated vsize: 12317004 KiB
Current children cumulated memory: 9410740 KiB

[startup+3102.3 s]
/proc/loadavg: 4.10 4.12 4.02 5/260 8717
/proc/meminfo: memFree=91507040/131524600 swapFree=131071996/131071996
[pid=7378] ppid=7375 vsize=12345680 memory=9437292 CPUtime=3092.76 cores=1,3
/proc/7378/stat : 7378 (roundingsat) R 7375 7378 7335 0 -1 4194304 1335485 0 0 0 303885 5391 0 0 20 0 1 0 676267 12641976320 2359323 134679101440 4194304 8255733 140735070297984 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 29224960 140735070303070 140735070303332 140735070303332 140735070310345 0
/proc/7378/statm: 3086420 2359323 1890 992 0 3078278 0
Current children cumulated CPU time: 3092.76 s
Current children cumulated vsize: 12345680 KiB
Current children cumulated memory: 9437292 KiB

[startup+3162.3 s]
/proc/loadavg: 4.14 4.12 4.02 5/259 8727
/proc/meminfo: memFree=91345928/131524600 swapFree=131071996/131071996
[pid=7378] ppid=7375 vsize=12367184 memory=9460460 CPUtime=3152.56 cores=1,3
/proc/7378/stat : 7378 (roundingsat) R 7375 7378 7335 0 -1 4194304 1343021 0 0 0 309826 5430 0 0 20 0 1 0 676267 12663996416 2365115 134679101440 4194304 8255733 140735070297984 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 29224960 140735070303070 140735070303332 140735070303332 140735070310345 0
/proc/7378/statm: 3091796 2365115 1890 992 0 3083654 0
Current children cumulated CPU time: 3152.56 s
Current children cumulated vsize: 12367184 KiB
Current children cumulated memory: 9460460 KiB

[startup+3222.3 s]
/proc/loadavg: 4.11 4.11 4.02 5/258 8737
/proc/meminfo: memFree=91182484/131524600 swapFree=131071996/131071996
[pid=7378] ppid=7375 vsize=12389200 memory=9481824 CPUtime=3212.35 cores=1,3
/proc/7378/stat : 7378 (roundingsat) R 7375 7378 7335 0 -1 4194304 1348350 0 0 0 315772 5463 0 0 20 0 1 0 676267 12686540800 2370456 134679101440 4194304 8255733 140735070297984 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 29224960 140735070303070 140735070303332 140735070303332 140735070310345 0
/proc/7378/statm: 3097300 2370456 1890 992 0 3089158 0
Current children cumulated CPU time: 3212.35 s
Current children cumulated vsize: 12389200 KiB
Current children cumulated memory: 9481824 KiB

[startup+3282.3 s]
/proc/loadavg: 4.08 4.11 4.02 5/258 8748
/proc/meminfo: memFree=90913396/131524600 swapFree=131071996/131071996
[pid=7378] ppid=7375 vsize=12394180 memory=9485228 CPUtime=3272.17 cores=1,3
/proc/7378/stat : 7378 (roundingsat) R 7375 7378 7335 0 -1 4194304 1352316 0 0 0 321731 5486 0 0 20 0 1 0 676267 12691640320 2371307 134679101440 4194304 8255733 140735070297984 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 29224960 140735070303070 140735070303332 140735070303332 140735070310345 0
/proc/7378/statm: 3098545 2371307 1890 992 0 3090403 0
Current children cumulated CPU time: 3272.17 s
Current children cumulated vsize: 12394180 KiB
Current children cumulated memory: 9485228 KiB

[startup+3342.3 s]
/proc/loadavg: 4.13 4.12 4.03 5/259 8760
/proc/meminfo: memFree=89934420/131524600 swapFree=131071996/131071996
[pid=7378] ppid=7375 vsize=12398508 memory=9491644 CPUtime=3331.99 cores=1,3
/proc/7378/stat : 7378 (roundingsat) R 7375 7378 7335 0 -1 4194304 1356431 0 0 0 327641 5558 0 0 20 0 1 0 676267 12696072192 2372911 134679101440 4194304 8255733 140735070297984 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 29224960 140735070303070 140735070303332 140735070303332 140735070310345 0
/proc/7378/statm: 3099627 2372911 1890 992 0 3091485 0
Current children cumulated CPU time: 3331.99 s
Current children cumulated vsize: 12398508 KiB
Current children cumulated memory: 9491644 KiB

[startup+3402.3 s]
/proc/loadavg: 4.19 4.15 4.05 5/259 9157
/proc/meminfo: memFree=89142792/131524600 swapFree=131071996/131071996
[pid=7378] ppid=7375 vsize=12398508 memory=9491644 CPUtime=3391.8 cores=1,3
/proc/7378/stat : 7378 (roundingsat) R 7375 7378 7335 0 -1 4194304 1359328 0 0 0 333534 5646 0 0 20 0 1 0 676267 12696072192 2372911 134679101440 4194304 8255733 140735070297984 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 29224960 140735070303070 140735070303332 140735070303332 140735070310345 0
/proc/7378/statm: 3099627 2372911 1890 992 0 3091485 0
Current children cumulated CPU time: 3391.8 s
Current children cumulated vsize: 12398508 KiB
Current children cumulated memory: 9491644 KiB

[startup+3462.3 s]
/proc/loadavg: 4.19 4.15 4.05 5/262 9171
/proc/meminfo: memFree=88276964/131524600 swapFree=131071996/131071996
[pid=7378] ppid=7375 vsize=12398508 memory=9491644 CPUtime=3451.6 cores=1,3
/proc/7378/stat : 7378 (roundingsat) R 7375 7378 7335 0 -1 4194304 1363342 0 0 0 339447 5713 0 0 20 0 1 0 676267 12696072192 2372911 134679101440 4194304 8255733 140735070297984 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 29224960 140735070303070 140735070303332 140735070303332 140735070310345 0
/proc/7378/statm: 3099627 2372911 1890 992 0 3091485 0
Current children cumulated CPU time: 3451.6 s
Current children cumulated vsize: 12398508 KiB
Current children cumulated memory: 9491644 KiB

[startup+3522.3 s]
/proc/loadavg: 4.13 4.14 4.05 5/262 9183
/proc/meminfo: memFree=87574792/131524600 swapFree=131071996/131071996
[pid=7378] ppid=7375 vsize=12398508 memory=9491644 CPUtime=3511.41 cores=1,3
/proc/7378/stat : 7378 (roundingsat) R 7375 7378 7335 0 -1 4194304 1366035 0 0 0 345346 5795 0 0 20 0 1 0 676267 12696072192 2372911 134679101440 4194304 8255733 140735070297984 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 29224960 140735070303070 140735070303332 140735070303332 140735070310345 0
/proc/7378/statm: 3099627 2372911 1890 992 0 3091485 0
Current children cumulated CPU time: 3511.41 s
Current children cumulated vsize: 12398508 KiB
Current children cumulated memory: 9491644 KiB

[startup+3582.3 s]
/proc/loadavg: 4.16 4.14 4.06 5/264 9363
/proc/meminfo: memFree=87305052/131524600 swapFree=131071996/131071996
[pid=7378] ppid=7375 vsize=12398508 memory=9491644 CPUtime=3571.23 cores=1,3
/proc/7378/stat : 7378 (roundingsat) R 7375 7378 7335 0 -1 4194304 1367964 0 0 0 351250 5873 0 0 20 0 1 0 676267 12696072192 2372911 134679101440 4194304 8255733 140735070297984 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 29224960 140735070303070 140735070303332 140735070303332 140735070310345 0
/proc/7378/statm: 3099627 2372911 1890 992 0 3091485 0
Current children cumulated CPU time: 3571.23 s
Current children cumulated vsize: 12398508 KiB
Current children cumulated memory: 9491644 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.2 s]
/proc/loadavg: 4.15 4.14 4.06 5/264 9369
/proc/meminfo: memFree=87165392/131524600 swapFree=131071996/131071996
[pid=7378] ppid=7375 vsize=12398508 memory=9491644 CPUtime=3600.04 cores=1,3
/proc/7378/stat : 7378 (roundingsat) R 7375 7378 7335 0 -1 4194304 1369294 0 0 0 354105 5899 0 0 20 0 1 0 676267 12696072192 2372911 134679101440 4194304 8255733 140735070297984 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 29224960 140735070303070 140735070303332 140735070303332 140735070310345 0
/proc/7378/statm: 3099627 2372911 1890 992 0 3091485 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 12398508 KiB
Current children cumulated memory: 9491644 KiB

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

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

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

# cumulated CPU time of all completed processes:  user=3543.04 s, system=59.1776 s

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

[startup+3612 s]*
/proc/loadavg: 4.15 4.14 4.06 5/264 9369
/proc/meminfo: memFree=87163432/131524600 swapFree=131071996/131071996
[pid=7378] ppid=7375 vsize=12398508 memory=9491644 CPUtime=3600.84 cores=1,3
/proc/7378/stat : 7378 (roundingsat) R 7375 7378 7335 0 -1 4194304 1369294 0 0 0 354185 5899 0 0 20 0 1 0 676267 12696072192 2372911 134679101440 4194304 8255733 140735070297984 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 29224960 140735070303070 140735070303332 140735070303332 140735070310345 0
/proc/7378/statm: 3099627 2372911 1890 992 0 3091485 0
Current children cumulated CPU time: 3600.84 s
Current children cumulated vsize: 12398508 KiB
Current children cumulated memory: 9491644 KiB

[startup+3612.8 s]
/proc/loadavg: 4.15 4.14 4.06 5/264 9369
/proc/meminfo: memFree=87163432/131524600 swapFree=131071996/131071996
[pid=7378] ppid=7375 vsize=12398508 memory=9491644 CPUtime=3601.63 cores=1,3
/proc/7378/stat : 7378 (roundingsat) R 7375 7378 7335 0 -1 4194304 1369297 0 0 0 354263 5900 0 0 20 0 1 0 676267 12696072192 2372911 134679101440 4194304 8255733 140735070297984 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 29224960 140735070303070 140735070303332 140735070303332 140735070310345 0
/proc/7378/statm: 3099627 2372911 1890 992 0 3091485 0
Current children cumulated CPU time: 3601.63 s
Current children cumulated vsize: 12398508 KiB
Current children cumulated memory: 9491644 KiB

[startup+3613.2 s]
/proc/loadavg: 4.15 4.14 4.06 5/264 9369
/proc/meminfo: memFree=87160000/131524600 swapFree=131071996/131071996
[pid=7378] ppid=7375 vsize=12398508 memory=9491644 CPUtime=3602.03 cores=1,3
/proc/7378/stat : 7378 (roundingsat) R 7375 7378 7335 0 -1 4194304 1369297 0 0 0 354303 5900 0 0 20 0 1 0 676267 12696072192 2372911 134679101440 4194304 8255733 140735070297984 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 29224960 140735070303070 140735070303332 140735070303332 140735070310345 0
/proc/7378/statm: 3099627 2372911 1890 992 0 3091485 0
Current children cumulated CPU time: 3602.03 s
Current children cumulated vsize: 12398508 KiB
Current children cumulated memory: 9491644 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 3647.5
CPU time (s): 3602.21
CPU user time (s): 3543.04
CPU system time (s): 59.1776
CPU usage (%): 98.7584
Max. virtual memory (cumulated for all children) (KiB): 12398508
Max. memory (cumulated for all children) (KiB): 9491644

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3543.04
system time used= 59.1776
maximum resident set size= 9491644
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1369297
page faults= 0
swaps= 0
block input operations= 0
block output operations= 40641424
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 940
involuntary context switches= 5158


# summary of solver processes directly reported to runsolver:
#   pid: 7378
#   total CPU time (s): 3602.21
#   total CPU user time (s): 3543.04
#   total CPU system time (s): 59.1776

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.64721 second user time and 18.0071 second system time

The end

Begin job on nodeC025 at 2024-07-30 13:59:24
IDJOB=4462497
IDBENCH=146800
IDSOLVER=3089
FILE ID=nodeC025/4462497-1722340764
RUNJOBID= nodeC025-1722340763-7348
SLURM_JOB_ID= 8248998
Free space on /tmp= 890076 MiB

SOLVER NAME= RoundingSat log
BENCH NAME= PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-core4284-1064.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-4462497-1722340764/watcher-4462497-1722340764 -o /tmp/evaluation-result-4462497-1722340764/solver-4462497-1722340764 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1722340763-7348 --watchdog 3760  roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4462497-1722340764 --lp-cut-gomory=0 HOME/instance-4462497-1722340764.opb

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

MD5SUM BENCH= 9634c234ec2c2f6b5ee1ba365a629db0
RANDOM SEED=1492646933

nodeC025.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		: 3501.201
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.10
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		: 3692.007
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	: 7005.96
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		: 3466.808
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.10
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		: 3680.539
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	: 7005.96
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		: 2987.395
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.10
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		: 3646.238
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	: 7005.96
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		: 2915.538
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.10
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		: 3631.609
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	: 7005.96
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        130322784 kB
MemAvailable:   129905044 kB
Buffers:           38328 kB
Cached:           340220 kB
SwapCached:            0 kB
Active:           125480 kB
Inactive:         621536 kB
Active(anon):       1436 kB
Inactive(anon):   388360 kB
Active(file):     124044 kB
Inactive(file):   233176 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             14956 kB
Writeback:             0 kB
AnonPages:        368600 kB
Mapped:            88848 kB
Shmem:             21336 kB
KReclaimable:      43772 kB
Slab:             117320 kB
SReclaimable:      43772 kB
SUnreclaim:        73548 kB
KernelStack:        3776 kB
PageTables:         9924 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     679224 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:             8928 kB
HardwareCorrupted:     0 kB
AnonHugePages:    253952 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:      230100 kB
DirectMap2M:    10029056 kB
DirectMap1G:    125829120 kB

Free space on /tmp at the end= 890056 MiB
End job on nodeC025 at 2024-07-30 15:00:11