0.00/0.00 c RoundingSat 2
0.00/0.00 c branch
0.00/0.00 c commit
0.00/0.00 c [STEP] parsing instance
0.00/0.01 c [STEP] solving
0.00/0.01 c #variables 2340 #constraints 390
0.00/0.01 c SMALL=int, LARGE=long long
0.00/0.01 c bounds - >= 0 @ 0.003263
0.00/0.01 c stratification level: 0
0.00/0.05 c bounds - >= 3 @ 0.005485
0.00/0.05 c bounds - >= 6 @ 0.00562
0.00/0.05 c bounds - >= 9 @ 0.005884
0.00/0.05 c bounds - >= 12 @ 0.006145
0.00/0.05 c bounds - >= 15 @ 0.006325
0.00/0.05 c bounds - >= 18 @ 0.006513
0.00/0.05 c bounds - >= 21 @ 0.00677
0.00/0.05 c bounds - >= 24 @ 0.007027
0.00/0.05 c bounds - >= 27 @ 0.007287
0.00/0.05 c bounds - >= 30 @ 0.007398
0.00/0.05 c bounds - >= 33 @ 0.007398
0.00/0.05 c bounds - >= 36 @ 0.007398
0.00/0.05 c bounds - >= 39 @ 0.007398
0.00/0.05 c bounds - >= 42 @ 0.007654
0.00/0.05 c bounds - >= 45 @ 0.007907
0.00/0.05 c bounds - >= 48 @ 0.008162
0.00/0.05 c bounds - >= 51 @ 0.008396
0.00/0.05 c bounds - >= 54 @ 0.008653
0.00/0.05 c bounds - >= 57 @ 0.008906
0.00/0.05 c bounds - >= 60 @ 0.009158
0.00/0.05 c bounds - >= 62 @ 0.009429
0.00/0.05 c bounds - >= 64 @ 0.009693
0.00/0.05 c bounds - >= 66 @ 0.009955
0.00/0.05 c bounds - >= 68 @ 0.010218
0.00/0.05 c bounds - >= 70 @ 0.010479
0.00/0.05 c bounds - >= 72 @ 0.01074
0.00/0.05 c bounds - >= 74 @ 0.011
0.00/0.05 c bounds - >= 76 @ 0.011261
0.00/0.05 c bounds - >= 78 @ 0.011522
0.00/0.05 c bounds - >= 80 @ 0.011783
0.00/0.05 c bounds - >= 82 @ 0.012041
0.00/0.05 c bounds - >= 84 @ 0.012299
0.00/0.05 c bounds - >= 86 @ 0.012558
0.00/0.05 c bounds - >= 88 @ 0.01282
0.00/0.05 c bounds - >= 90 @ 0.013079
0.00/0.05 c bounds - >= 92 @ 0.013336
0.00/0.05 c bounds - >= 94 @ 0.013597
0.00/0.05 c bounds - >= 96 @ 0.013852
0.00/0.05 c bounds - >= 98 @ 0.014107
0.00/0.05 c bounds - >= 100 @ 0.014366
0.00/0.05 c bounds - >= 102 @ 0.014633
0.00/0.05 c bounds - >= 104 @ 0.014902
0.00/0.05 c bounds - >= 106 @ 0.015172
0.00/0.05 c bounds - >= 108 @ 0.015432
0.00/0.05 c bounds - >= 110 @ 0.015696
0.00/0.05 c bounds - >= 112 @ 0.015958
0.00/0.05 c bounds - >= 114 @ 0.016222
0.00/0.05 c bounds - >= 116 @ 0.016484
0.00/0.05 c bounds - >= 118 @ 0.016769
0.00/0.05 c bounds - >= 120 @ 0.017029
0.00/0.05 c bounds - >= 122 @ 0.017289
0.00/0.05 c bounds - >= 124 @ 0.017552
0.00/0.05 c bounds - >= 126 @ 0.017811
0.00/0.05 c bounds - >= 128 @ 0.018068
0.00/0.05 c bounds - >= 130 @ 0.018323
0.00/0.05 c bounds - >= 132 @ 0.018593
0.00/0.05 c bounds - >= 134 @ 0.018851
0.00/0.05 c bounds - >= 136 @ 0.019107
0.00/0.05 c bounds - >= 138 @ 0.019362
0.00/0.05 c bounds - >= 140 @ 0.019619
0.00/0.05 c bounds - >= 142 @ 0.019879
0.00/0.05 c bounds - >= 144 @ 0.020137
0.00/0.05 c bounds - >= 146 @ 0.020395
0.00/0.05 c bounds - >= 148 @ 0.020655
0.00/0.05 c bounds - >= 150 @ 0.020913
0.00/0.05 c bounds - >= 152 @ 0.021174
0.00/0.05 c bounds - >= 154 @ 0.021436
0.00/0.05 c bounds - >= 156 @ 0.021696
0.00/0.05 c bounds - >= 158 @ 0.021952
0.00/0.05 c bounds - >= 160 @ 0.022207
0.00/0.05 c bounds - >= 162 @ 0.022461
0.00/0.05 c bounds - >= 164 @ 0.022718
0.00/0.05 c bounds - >= 166 @ 0.022971
0.00/0.05 c bounds - >= 168 @ 0.023226
0.00/0.05 c bounds - >= 170 @ 0.02348
0.00/0.05 c bounds - >= 172 @ 0.023732
0.00/0.05 c bounds - >= 174 @ 0.023985
0.00/0.05 c bounds - >= 176 @ 0.024236
0.00/0.05 c bounds - >= 178 @ 0.02449
0.00/0.05 c bounds - >= 180 @ 0.024743
0.00/0.05 c bounds - >= 182 @ 0.025001
0.00/0.05 c bounds - >= 184 @ 0.025258
0.00/0.05 c bounds - >= 186 @ 0.025513
0.00/0.05 c bounds - >= 188 @ 0.025765
0.00/0.05 c bounds - >= 190 @ 0.02602
0.00/0.05 c bounds - >= 192 @ 0.026273
0.00/0.05 c bounds - >= 194 @ 0.02653
0.00/0.05 c bounds - >= 196 @ 0.026779
0.00/0.05 c bounds - >= 198 @ 0.027027
0.00/0.05 c bounds - >= 200 @ 0.027279
0.00/0.05 c bounds - >= 202 @ 0.027527
0.00/0.05 c bounds - >= 204 @ 0.027776
0.00/0.05 c bounds - >= 206 @ 0.028022
0.00/0.05 c bounds - >= 208 @ 0.02827
0.00/0.05 c bounds - >= 210 @ 0.028519
0.00/0.05 c bounds - >= 212 @ 0.028766
0.00/0.05 c bounds - >= 214 @ 0.029012
0.00/0.05 c bounds - >= 216 @ 0.029264
0.00/0.05 c bounds - >= 218 @ 0.029511
0.00/0.05 c bounds - >= 220 @ 0.029761
0.00/0.05 c bounds - >= 222 @ 0.030011
0.00/0.05 c bounds - >= 224 @ 0.030258
0.00/0.05 c bounds - >= 226 @ 0.030508
0.00/0.05 c bounds - >= 228 @ 0.030755
0.00/0.05 c bounds - >= 230 @ 0.030998
0.00/0.05 c bounds - >= 232 @ 0.031243
0.00/0.05 c bounds - >= 234 @ 0.031489
0.00/0.05 c bounds - >= 236 @ 0.03174
0.00/0.05 c bounds - >= 238 @ 0.031984
0.00/0.05 c bounds - >= 240 @ 0.032229
0.00/0.05 c bounds - >= 242 @ 0.032473
0.00/0.05 c bounds - >= 244 @ 0.032725
0.00/0.05 c bounds - >= 246 @ 0.032969
0.00/0.05 c bounds - >= 248 @ 0.033214
0.00/0.05 c bounds - >= 250 @ 0.033458
0.00/0.05 c bounds - >= 252 @ 0.033704
0.00/0.05 c bounds - >= 254 @ 0.033944
0.00/0.05 c bounds - >= 256 @ 0.034188
0.00/0.05 c bounds - >= 258 @ 0.034431
0.00/0.05 c bounds - >= 260 @ 0.034673
0.00/0.05 c bounds - >= 262 @ 0.034918
0.00/0.05 c bounds - >= 264 @ 0.035166
0.00/0.05 c bounds - >= 266 @ 0.03541
0.00/0.05 c bounds - >= 268 @ 0.035655
0.00/0.05 c bounds - >= 270 @ 0.035895
0.00/0.05 c bounds - >= 272 @ 0.036137
0.00/0.05 c bounds - >= 274 @ 0.036382
0.00/0.05 c bounds - >= 276 @ 0.03663
0.00/0.05 c bounds - >= 278 @ 0.036877
0.00/0.05 c bounds - >= 280 @ 0.037128
0.00/0.05 c bounds - >= 282 @ 0.037367
0.00/0.05 c bounds - >= 284 @ 0.037649
0.00/0.05 c bounds - >= 286 @ 0.037888
0.00/0.05 c bounds - >= 288 @ 0.038134
0.00/0.05 c bounds - >= 290 @ 0.038373
0.00/0.05 c bounds - >= 292 @ 0.038609
0.00/0.05 c bounds - >= 294 @ 0.038847
0.00/0.05 c bounds - >= 296 @ 0.039082
0.00/0.05 c bounds - >= 298 @ 0.039318
0.00/0.05 c bounds - >= 300 @ 0.039558
0.00/0.05 c bounds - >= 302 @ 0.039801
0.00/0.05 c bounds - >= 304 @ 0.04004
0.00/0.05 c bounds - >= 306 @ 0.040276
0.00/0.05 c bounds - >= 308 @ 0.040363
0.00/0.08 c bounds - >= 310 @ 0.040363
0.00/0.08 c bounds - >= 312 @ 0.040371
0.00/0.08 c bounds - >= 314 @ 0.040557
0.00/0.08 c bounds - >= 316 @ 0.040774
0.00/0.08 c bounds - >= 318 @ 0.041007
0.00/0.08 c bounds - >= 320 @ 0.041626
0.00/0.08 c bounds - >= 322 @ 0.041856
0.00/0.08 c bounds - >= 324 @ 0.042087
0.00/0.08 c bounds - >= 326 @ 0.042312
0.00/0.08 c bounds - >= 328 @ 0.04254
0.00/0.08 c bounds - >= 330 @ 0.042768
0.00/0.08 c bounds - >= 332 @ 0.042994
0.00/0.08 c bounds - >= 334 @ 0.043221
0.00/0.08 c bounds - >= 336 @ 0.043446
0.00/0.08 c bounds - >= 338 @ 0.043674
0.00/0.08 c bounds - >= 340 @ 0.043899
0.00/0.08 c bounds - >= 342 @ 0.044125
0.00/0.08 c bounds - >= 344 @ 0.044353
0.00/0.08 c bounds - >= 346 @ 0.044578
0.00/0.08 c bounds - >= 348 @ 0.044807
0.00/0.08 c bounds - >= 350 @ 0.045033
0.00/0.08 c bounds - >= 352 @ 0.045257
0.00/0.08 c bounds - >= 354 @ 0.045482
0.00/0.08 c bounds - >= 356 @ 0.045707
0.00/0.08 c bounds - >= 358 @ 0.04594
0.00/0.08 c bounds - >= 360 @ 0.046166
0.00/0.08 c bounds - >= 362 @ 0.046395
0.00/0.08 c bounds - >= 364 @ 0.046617
0.00/0.08 c bounds - >= 366 @ 0.046842
0.00/0.08 c bounds - >= 368 @ 0.047067
0.00/0.08 c bounds - >= 370 @ 0.04729
0.00/0.08 c bounds - >= 372 @ 0.047513
0.00/0.08 c bounds - >= 374 @ 0.047737
0.00/0.08 c bounds - >= 376 @ 0.047958
0.00/0.08 c bounds - >= 378 @ 0.048181
0.00/0.08 c bounds - >= 380 @ 0.048401
0.00/0.08 c bounds - >= 382 @ 0.048624
0.00/0.08 c bounds - >= 384 @ 0.048847
0.00/0.08 c bounds - >= 386 @ 0.04907
0.00/0.08 c bounds - >= 388 @ 0.049291
0.00/0.08 c bounds - >= 390 @ 0.049511
0.00/0.08 c bounds - >= 392 @ 0.049732
0.00/0.08 c bounds - >= 394 @ 0.049952
0.00/0.08 c bounds - >= 396 @ 0.050172
0.00/0.08 c bounds - >= 398 @ 0.050389
0.00/0.08 c bounds - >= 400 @ 0.050608
0.00/0.08 c bounds - >= 402 @ 0.050828
0.00/0.08 c bounds - >= 404 @ 0.051046
0.00/0.08 c bounds - >= 406 @ 0.051264
0.00/0.08 c bounds - >= 408 @ 0.051483
0.00/0.08 c bounds - >= 410 @ 0.051701
0.00/0.08 c bounds - >= 412 @ 0.051919
0.00/0.08 c bounds - >= 414 @ 0.052135
0.00/0.08 c bounds - >= 416 @ 0.05235
0.00/0.08 c bounds - >= 418 @ 0.052565
0.00/0.08 c bounds - >= 420 @ 0.052634
0.00/0.08 c bounds - >= 422 @ 0.052634
0.00/0.08 c bounds - >= 424 @ 0.052634
0.00/0.08 c bounds - >= 426 @ 0.052634
0.00/0.08 c bounds - >= 428 @ 0.052765
0.00/0.08 c bounds - >= 430 @ 0.05298
0.00/0.08 c bounds - >= 432 @ 0.053192
0.00/0.08 c bounds - >= 434 @ 0.053379
0.00/0.08 c bounds - >= 436 @ 0.053556
0.00/0.08 c bounds - >= 438 @ 0.053756
0.00/0.08 c bounds - >= 440 @ 0.053969
0.00/0.08 c bounds - >= 442 @ 0.054181
0.00/0.08 c bounds - >= 444 @ 0.054393
0.00/0.08 c bounds - >= 446 @ 0.054603
0.00/0.08 c bounds - >= 448 @ 0.054655
0.00/0.08 c bounds - >= 450 @ 0.054655
0.00/0.08 c bounds - >= 452 @ 0.054655
0.00/0.08 c bounds - >= 454 @ 0.054655
0.00/0.08 c bounds - >= 456 @ 0.054655
0.00/0.08 c bounds - >= 458 @ 0.054862
0.00/0.08 c bounds - >= 460 @ 0.055072
0.00/0.08 c bounds - >= 462 @ 0.055283
0.00/0.08 c bounds - >= 464 @ 0.055492
0.00/0.08 c bounds - >= 466 @ 0.055699
0.00/0.08 c bounds - >= 468 @ 0.055909
0.00/0.08 c bounds - >= 470 @ 0.056119
0.00/0.08 c bounds - >= 472 @ 0.056325
0.00/0.08 c bounds - >= 474 @ 0.056535
0.00/0.08 c bounds - >= 476 @ 0.056737
0.00/0.08 c bounds - >= 478 @ 0.056945
0.00/0.08 c bounds - >= 480 @ 0.057149
0.00/0.08 c bounds - >= 482 @ 0.057356
0.00/0.08 c bounds - >= 484 @ 0.057564
0.00/0.08 c bounds - >= 486 @ 0.057767
0.00/0.08 c bounds - >= 488 @ 0.057975
0.00/0.08 c bounds - >= 490 @ 0.058179
0.00/0.08 c bounds - >= 492 @ 0.058384
0.00/0.08 c bounds - >= 494 @ 0.058586
0.00/0.08 c bounds - >= 496 @ 0.058792
0.00/0.08 c bounds - >= 498 @ 0.058997
0.00/0.08 c bounds - >= 500 @ 0.059202
0.00/0.08 c bounds - >= 502 @ 0.059405
0.00/0.08 c bounds - >= 504 @ 0.05961
0.00/0.08 c bounds - >= 506 @ 0.059809
0.00/0.08 c bounds - >= 508 @ 0.060021
0.00/0.08 c bounds - >= 510 @ 0.060223
0.00/0.08 c bounds - >= 512 @ 0.060429
0.00/0.08 c bounds - >= 514 @ 0.060633
0.00/0.08 c bounds - >= 516 @ 0.060838
0.00/0.08 c bounds - >= 518 @ 0.061045
0.00/0.08 c bounds - >= 520 @ 0.06125
0.00/0.08 c bounds - >= 522 @ 0.061454
0.00/0.08 c bounds - >= 524 @ 0.061658
0.00/0.08 c bounds - >= 526 @ 0.061862
0.00/0.08 c bounds - >= 528 @ 0.062063
0.00/0.08 c bounds - >= 530 @ 0.062267
0.00/0.08 c bounds - >= 532 @ 0.062469
0.00/0.08 c bounds - >= 534 @ 0.06269
0.00/0.08 c bounds - >= 536 @ 0.062903
0.00/0.08 c bounds - >= 538 @ 0.063106
0.00/0.08 c bounds - >= 540 @ 0.063312
0.00/0.08 c bounds - >= 542 @ 0.063517
0.00/0.08 c bounds - >= 544 @ 0.063721
0.00/0.08 c bounds - >= 546 @ 0.06393
0.00/0.08 c bounds - >= 548 @ 0.064128
0.00/0.08 c bounds - >= 550 @ 0.064327
0.00/0.08 c bounds - >= 552 @ 0.064525
0.00/0.08 c bounds - >= 554 @ 0.064723
0.00/0.08 c bounds - >= 556 @ 0.064919
0.00/0.08 c bounds - >= 558 @ 0.065114
0.00/0.08 c bounds - >= 560 @ 0.065308
0.00/0.08 c bounds - >= 562 @ 0.065503
0.00/0.08 c bounds - >= 564 @ 0.065702
0.00/0.08 c bounds - >= 566 @ 0.065896
0.00/0.08 c bounds - >= 568 @ 0.06609
0.00/0.08 c bounds - >= 570 @ 0.066285
0.00/0.08 c bounds - >= 572 @ 0.066477
0.00/0.08 c bounds - >= 574 @ 0.066672
0.00/0.08 c bounds - >= 576 @ 0.066864
0.00/0.08 c bounds - >= 578 @ 0.067061
0.00/0.08 c bounds - >= 580 @ 0.067257
0.00/0.08 c bounds - >= 582 @ 0.067453
0.00/0.08 c bounds - >= 584 @ 0.067649
0.00/0.08 c bounds - >= 586 @ 0.067844
0.00/0.08 c bounds - >= 588 @ 0.06804
0.00/0.08 c bounds - >= 590 @ 0.068233
0.09/0.10 c bounds - >= 592 @ 0.068438
0.09/0.10 c bounds - >= 594 @ 0.068635
0.09/0.10 c bounds - >= 596 @ 0.06883
0.09/0.10 c bounds - >= 598 @ 0.069026
0.09/0.10 c bounds - >= 600 @ 0.069224
0.09/0.10 c bounds - >= 602 @ 0.069418
0.09/0.10 c bounds - >= 604 @ 0.069616
0.09/0.10 c bounds - >= 606 @ 0.069809
0.09/0.10 c bounds - >= 608 @ 0.070001
0.09/0.10 c bounds - >= 610 @ 0.070191
0.09/0.10 c bounds - >= 612 @ 0.07038
0.09/0.10 c bounds - >= 614 @ 0.070568
0.09/0.10 c bounds - >= 616 @ 0.070757
0.09/0.10 c bounds - >= 618 @ 0.070945
0.09/0.10 c bounds - >= 620 @ 0.071127
0.09/0.10 c bounds - >= 622 @ 0.071312
0.09/0.10 c bounds - >= 624 @ 0.071495
0.09/0.10 c bounds - >= 626 @ 0.07168
0.09/0.10 c bounds - >= 628 @ 0.071864
0.09/0.10 c bounds - >= 630 @ 0.072057
0.09/0.10 c bounds - >= 632 @ 0.072238
0.09/0.10 c bounds - >= 634 @ 0.072428
0.09/0.10 c bounds - >= 636 @ 0.072614
0.09/0.10 c bounds - >= 638 @ 0.072798
0.09/0.10 c bounds - >= 640 @ 0.072982
0.09/0.10 c bounds - >= 642 @ 0.073165
0.09/0.10 c bounds - >= 644 @ 0.073344
0.09/0.10 c bounds - >= 646 @ 0.073525
0.09/0.10 c bounds - >= 648 @ 0.073713
0.09/0.10 c bounds - >= 650 @ 0.0739
0.09/0.10 c bounds - >= 652 @ 0.074083
0.09/0.10 c bounds - >= 654 @ 0.074265
0.09/0.10 c bounds - >= 656 @ 0.074449
0.09/0.10 c bounds - >= 658 @ 0.074631
0.09/0.10 c bounds - >= 660 @ 0.074813
0.09/0.10 c bounds - >= 662 @ 0.07499
0.09/0.10 c bounds - >= 664 @ 0.07517
0.09/0.10 c bounds - >= 666 @ 0.075352
0.09/0.10 c bounds - >= 668 @ 0.075533
0.09/0.10 c bounds - >= 670 @ 0.075717
0.09/0.10 c bounds - >= 672 @ 0.0759
0.09/0.10 c bounds - >= 674 @ 0.076081
0.09/0.10 c bounds - >= 676 @ 0.076261
0.09/0.10 c bounds - >= 678 @ 0.07644
0.09/0.10 c bounds - >= 680 @ 0.076615
0.09/0.10 c bounds - >= 682 @ 0.076794
0.09/0.10 c bounds - >= 684 @ 0.076968
0.09/0.10 c bounds - >= 686 @ 0.077145
0.09/0.10 c bounds - >= 688 @ 0.077323
0.09/0.10 c bounds - >= 690 @ 0.077508
0.09/0.10 c bounds - >= 692 @ 0.0777
0.09/0.10 c bounds - >= 694 @ 0.077876
0.09/0.10 c bounds - >= 696 @ 0.078051
0.09/0.10 c bounds - >= 698 @ 0.078227
0.09/0.10 c bounds - >= 700 @ 0.078399
0.09/0.10 c bounds - >= 702 @ 0.078572
0.09/0.10 c bounds - >= 704 @ 0.078757
0.09/0.10 c bounds - >= 706 @ 0.078934
0.09/0.10 c bounds - >= 708 @ 0.079119
0.09/0.10 c bounds - >= 710 @ 0.079301
0.09/0.10 c bounds - >= 712 @ 0.079483
0.09/0.10 c bounds - >= 714 @ 0.079669
0.09/0.10 c bounds - >= 716 @ 0.079845
0.09/0.10 c bounds - >= 718 @ 0.080026
0.09/0.10 c bounds - >= 720 @ 0.080203
0.09/0.10 c bounds - >= 722 @ 0.080381
0.09/0.10 c bounds - >= 724 @ 0.080554
0.09/0.10 c bounds - >= 726 @ 0.080573
0.09/0.10 c bounds - >= 728 @ 0.080573
0.09/0.10 c bounds - >= 730 @ 0.080573
0.09/0.10 c bounds - >= 732 @ 0.080573
0.09/0.10 c bounds - >= 734 @ 0.080573
0.09/0.10 c bounds - >= 736 @ 0.080709
0.09/0.10 c bounds - >= 738 @ 0.08089
0.09/0.10 c bounds - >= 740 @ 0.081071
0.09/0.10 c bounds - >= 742 @ 0.081249
0.09/0.10 c bounds - >= 744 @ 0.081435
0.09/0.10 c bounds - >= 746 @ 0.081608
0.09/0.10 c bounds - >= 748 @ 0.081761
0.09/0.10 c bounds - >= 750 @ 0.081915
0.09/0.10 c bounds - >= 752 @ 0.082065
0.09/0.10 c bounds - >= 754 @ 0.082238
0.09/0.10 c bounds - >= 756 @ 0.082417
0.09/0.10 c bounds - >= 758 @ 0.082593
0.09/0.10 c bounds - >= 760 @ 0.082774
0.09/0.10 c bounds - >= 762 @ 0.082955
0.09/0.10 c bounds - >= 764 @ 0.083131
0.09/0.10 c bounds - >= 766 @ 0.083147
0.09/0.10 c bounds - >= 768 @ 0.083147
0.09/0.10 c bounds - >= 770 @ 0.083147
0.09/0.10 c bounds - >= 772 @ 0.083147
0.09/0.10 c bounds - >= 774 @ 0.083147
0.09/0.10 c bounds - >= 776 @ 0.08329
0.09/0.10 c bounds - >= 778 @ 0.083471
0.09/0.10 c bounds - >= 780 @ 0.083642
0.09/0.10 c bounds - >= 782 @ 0.083792
0.09/0.10 c bounds - >= 784 @ 0.083943
0.09/0.10 c bounds - >= 786 @ 0.084094
0.09/0.10 c bounds - >= 788 @ 0.084261
0.09/0.10 c bounds - >= 790 @ 0.084434
0.09/0.10 c bounds - >= 792 @ 0.084603
0.09/0.10 c bounds - >= 794 @ 0.084774
0.09/0.10 c bounds - >= 796 @ 0.084949
0.09/0.10 c bounds - >= 798 @ 0.085122
0.09/0.10 c bounds - >= 800 @ 0.085302
0.09/0.10 c finalizing WCE round: reformulating cores
54.04/54.25 c bounds 1170 >= 2 @ 0.092362
54.04/54.25 c #Conflicts: 1000 | #Constraints: 1784
54.04/54.25 c bounds 1170 >= 5 @ 0.495696
54.04/54.25 c #Conflicts: 2000 | #Constraints: 2788
54.04/54.25 c INPROCESSING
54.04/54.25 c GARBAGE COLLECT
54.04/54.25 c bounds 1170 >= 8 @ 1.38248
54.04/54.25 c #Conflicts: 3000 | #Constraints: 2418
54.04/54.25 c bounds 1170 >= 11 @ 2.06215
54.04/54.25 c #Conflicts: 4000 | #Constraints: 3422
54.04/54.25 c INPROCESSING
54.04/54.25 c GARBAGE COLLECT
54.04/54.25 c bounds 1170 >= 14 @ 3.19217
54.04/54.25 c #Conflicts: 5000 | #Constraints: 2861
54.04/54.25 c bounds 1170 >= 17 @ 3.78005
54.04/54.25 c #Conflicts: 6000 | #Constraints: 3865
54.04/54.25 c bounds 1170 >= 20 @ 4.4631
54.04/54.25 c INPROCESSING
54.04/54.25 c GARBAGE COLLECT
54.04/54.25 c #Conflicts: 7000 | #Constraints: 2871
54.04/54.25 c bounds 1170 >= 23 @ 5.16021
54.04/54.25 c #Conflicts: 8000 | #Constraints: 3875
54.04/54.25 c bounds 1170 >= 26 @ 5.93609
54.04/54.25 c bounds 1170 >= 29 @ 6.91293
54.04/54.25 c #Conflicts: 9000 | #Constraints: 4883
54.04/54.25 c INPROCESSING
54.04/54.25 c GARBAGE COLLECT
54.04/54.25 c bounds 1170 >= 32 @ 8.07251
54.04/54.25 c #Conflicts: 10000 | #Constraints: 3579
54.04/54.25 c bounds 1170 >= 35 @ 8.75713
54.04/54.25 c #Conflicts: 11000 | #Constraints: 4583
54.04/54.25 c bounds 1170 >= 38 @ 9.84926
54.04/54.25 c #Conflicts: 12000 | #Constraints: 5587
54.04/54.25 c INPROCESSING
54.04/54.25 c GARBAGE COLLECT
54.04/54.25 c bounds 1170 >= 41 @ 11.7471
54.04/54.25 c #Conflicts: 13000 | #Constraints: 4031
54.04/54.25 c bounds 1170 >= 44 @ 12.726
54.04/54.25 c #Conflicts: 14000 | #Constraints: 5035
54.04/54.25 c bounds 1170 >= 47 @ 13.679
54.04/54.25 c #Conflicts: 15000 | #Constraints: 6039
54.04/54.25 c INPROCESSING
54.04/54.25 c GARBAGE COLLECT
54.04/54.25 c bounds 1170 >= 50 @ 15.1643
54.04/54.25 c #Conflicts: 16000 | #Constraints: 4264
54.04/54.25 c bounds 1170 >= 53 @ 15.72
54.04/54.25 c #Conflicts: 17000 | #Constraints: 5268
54.04/54.25 c bounds 1170 >= 56 @ 16.3778
54.04/54.25 c #Conflicts: 18000 | #Constraints: 6272
54.04/54.25 c bounds 1170 >= 59 @ 17.2018
54.04/54.25 c INPROCESSING
54.04/54.25 c GARBAGE COLLECT
54.04/54.25 c bounds 1170 >= 62 @ 18.0245
54.04/54.25 c #Conflicts: 19000 | #Constraints: 4280
54.04/54.25 c bounds 1170 >= 65 @ 19.0823
54.04/54.25 c #Conflicts: 20000 | #Constraints: 5284
54.04/54.25 c bounds 1170 >= 68 @ 20.0982
54.04/54.25 c #Conflicts: 21000 | #Constraints: 6288
54.04/54.25 c bounds 1170 >= 71 @ 21.5794
54.04/54.25 c INPROCESSING
54.04/54.25 c GARBAGE COLLECT
54.04/54.25 c #Conflicts: 22000 | #Constraints: 4084
54.04/54.25 c bounds 1170 >= 74 @ 22.7879
54.04/54.25 c #Conflicts: 23000 | #Constraints: 5088
54.04/54.25 c bounds 1170 >= 77 @ 23.5462
54.04/54.25 c bounds 1170 >= 80 @ 24.5073
54.04/54.25 c #Conflicts: 24000 | #Constraints: 6096
54.04/54.25 c bounds 1170 >= 83 @ 25.7191
54.04/54.25 c #Conflicts: 25000 | #Constraints: 7100
54.04/54.25 c INPROCESSING
54.04/54.25 c GARBAGE COLLECT
54.04/54.25 c bounds 1170 >= 86 @ 26.944
54.04/54.25 c #Conflicts: 26000 | #Constraints: 4691
54.04/54.25 c bounds 1170 >= 89 @ 27.5576
54.04/54.25 c #Conflicts: 27000 | #Constraints: 5695
54.04/54.25 c bounds 1170 >= 92 @ 28.3843
54.04/54.25 c #Conflicts: 28000 | #Constraints: 6699
54.04/54.25 c bounds 1170 >= 95 @ 29.597
54.04/54.25 c bounds 1170 >= 98 @ 31.3485
54.04/54.25 c #Conflicts: 29000 | #Constraints: 7707
54.04/54.25 c INPROCESSING
54.04/54.25 c GARBAGE COLLECT
54.04/54.25 c #Conflicts: 30000 | #Constraints: 5109
54.04/54.25 c bounds 1170 >= 103 @ 32.9733
54.04/54.25 c #Conflicts: 31000 | #Constraints: 6113
54.04/54.25 c bounds 1170 >= 106 @ 34.5
54.04/54.25 c #Conflicts: 32000 | #Constraints: 7117
54.04/54.25 c bounds 1170 >= 109 @ 36.0272
54.04/54.25 c bounds 1170 >= 112 @ 37.5504
54.04/54.25 c #Conflicts: 33000 | #Constraints: 8125
54.04/54.25 c INPROCESSING
54.04/54.25 c GARBAGE COLLECT
54.04/54.25 c bounds 1170 >= 115 @ 38.7695
54.04/54.25 c #Conflicts: 34000 | #Constraints: 5338
54.04/54.25 c #Conflicts: 35000 | #Constraints: 6340
54.04/54.25 c bounds 1170 >= 120 @ 40.2454
54.04/54.25 c #Conflicts: 36000 | #Constraints: 7344
54.04/54.25 c bounds 1170 >= 123 @ 41.2477
54.04/54.25 c bounds 1170 >= 126 @ 42.2523
54.04/54.25 c #Conflicts: 37000 | #Constraints: 8352
54.04/54.25 c INPROCESSING
54.04/54.25 c GARBAGE COLLECT
54.04/54.25 c bounds 1170 >= 129 @ 43.7091
54.04/54.25 c #Conflicts: 38000 | #Constraints: 5344
54.04/54.25 c bounds 1170 >= 132 @ 44.5677
54.04/54.25 c #Conflicts: 39000 | #Constraints: 6348
54.04/54.25 c bounds 1170 >= 135 @ 45.6604
54.04/54.25 c #Conflicts: 40000 | #Constraints: 7352
54.04/54.25 c bounds 1170 >= 138 @ 46.774
54.04/54.25 c #Conflicts: 41000 | #Constraints: 8358
54.04/54.25 c bounds 1170 >= 141 @ 48.4017
54.04/54.25 c INPROCESSING
54.04/54.25 c GARBAGE COLLECT
54.04/54.25 c #Conflicts: 42000 | #Constraints: 5150
54.04/54.25 c #Conflicts: 43000 | #Constraints: 6152
54.04/54.25 c bounds 1170 >= 146 @ 52.0269
54.04/54.25 c bounds 1170 >= 149 @ 53.2194
125.04/125.49 c #Conflicts: 44000 | #Constraints: 7160
125.04/125.49 c bounds 1170 >= 152 @ 54.6644
125.04/125.49 c #Conflicts: 45000 | #Constraints: 8164
125.04/125.49 c bounds 1170 >= 155 @ 57.3253
125.04/125.49 c #Conflicts: 46000 | #Constraints: 9168
125.04/125.49 c bounds 1170 >= 158 @ 58.6499
125.04/125.49 c INPROCESSING
125.04/125.49 c GARBAGE COLLECT
125.04/125.49 c bounds 1170 >= 161 @ 59.4986
125.04/125.49 c #Conflicts: 47000 | #Constraints: 5771
125.04/125.49 c bounds 1170 >= 164 @ 60.1185
125.04/125.49 c #Conflicts: 48000 | #Constraints: 6775
125.04/125.49 c bounds 1170 >= 167 @ 61.5818
125.04/125.49 c #Conflicts: 49000 | #Constraints: 7779
125.04/125.49 c bounds 1170 >= 170 @ 62.9591
125.04/125.49 c bounds 1170 >= 173 @ 64.792
125.04/125.49 c #Conflicts: 50000 | #Constraints: 8787
125.04/125.49 c bounds 1170 >= 176 @ 66.5047
125.04/125.49 c #Conflicts: 51000 | #Constraints: 9791
125.04/125.49 c INPROCESSING
125.04/125.49 c GARBAGE COLLECT
125.04/125.49 c bounds 1170 >= 179 @ 68.1479
125.04/125.49 c #Conflicts: 52000 | #Constraints: 6180
125.04/125.49 c bounds 1170 >= 182 @ 69.0946
125.04/125.49 c #Conflicts: 53000 | #Constraints: 7184
125.04/125.49 c bounds 1170 >= 185 @ 70.2678
125.04/125.49 c #Conflicts: 54000 | #Constraints: 8188
125.04/125.49 c bounds 1170 >= 188 @ 71.6404
125.04/125.49 c bounds 1170 >= 191 @ 73.2643
125.04/125.49 c #Conflicts: 55000 | #Constraints: 9196
125.04/125.49 c bounds 1170 >= 194 @ 74.4531
125.04/125.49 c #Conflicts: 56000 | #Constraints: 10200
125.04/125.49 c INPROCESSING
125.04/125.49 c GARBAGE COLLECT
125.04/125.49 c bounds 1170 >= 197 @ 76.509
125.04/125.49 c #Conflicts: 57000 | #Constraints: 6389
125.04/125.49 c bounds 1170 >= 200 @ 77.5335
125.04/125.49 c #Conflicts: 58000 | #Constraints: 7393
125.04/125.49 c bounds 1170 >= 203 @ 78.515
125.04/125.49 c #Conflicts: 59000 | #Constraints: 8397
125.04/125.49 c bounds 1170 >= 206 @ 79.3415
125.04/125.49 c bounds 1170 >= 209 @ 80.1976
125.04/125.49 c #Conflicts: 60000 | #Constraints: 9405
125.04/125.49 c bounds 1170 >= 212 @ 81.2481
125.04/125.49 c #Conflicts: 61000 | #Constraints: 10409
125.04/125.49 c INPROCESSING
125.04/125.49 c GARBAGE COLLECT
125.04/125.49 c #Conflicts: 62000 | #Constraints: 6410
125.04/125.49 c bounds 1170 >= 215 @ 83.6894
125.04/125.49 c bounds 1170 >= 218 @ 84.307
125.04/125.49 c #Conflicts: 63000 | #Constraints: 7416
125.04/125.49 c bounds 1170 >= 221 @ 84.9724
125.04/125.49 c #Conflicts: 64000 | #Constraints: 8420
125.04/125.49 c bounds 1170 >= 224 @ 86.1233
125.04/125.49 c #Conflicts: 65000 | #Constraints: 9424
125.04/125.49 c bounds 1170 >= 227 @ 87.6654
125.04/125.49 c #Conflicts: 66000 | #Constraints: 10430
125.04/125.49 c bounds 1170 >= 230 @ 89.5193
125.04/125.49 c INPROCESSING
125.04/125.49 c GARBAGE COLLECT
125.04/125.49 c #Conflicts: 67000 | #Constraints: 6226
125.04/125.49 c bounds 1170 >= 233 @ 91.3435
125.04/125.49 c #Conflicts: 68000 | #Constraints: 7230
125.04/125.49 c bounds 1170 >= 236 @ 92.1446
125.04/125.49 c bounds 1170 >= 239 @ 93.6408
125.04/125.49 c #Conflicts: 69000 | #Constraints: 8238
125.04/125.49 c bounds 1170 >= 242 @ 94.9957
125.04/125.49 c #Conflicts: 70000 | #Constraints: 9242
125.04/125.49 c #Conflicts: 71000 | #Constraints: 10244
125.04/125.49 c bounds 1170 >= 247 @ 97.4789
125.04/125.49 c bounds 1170 >= 250 @ 98.9951
125.04/125.49 c #Conflicts: 72000 | #Constraints: 11252
125.04/125.49 c INPROCESSING
125.04/125.49 c GARBAGE COLLECT
125.04/125.49 c #Conflicts: 73000 | #Constraints: 6832
125.04/125.49 c bounds 1170 >= 255 @ 102.12
125.04/125.49 c #Conflicts: 74000 | #Constraints: 7836
125.04/125.49 c bounds 1170 >= 258 @ 103.369
125.04/125.49 c #Conflicts: 75000 | #Constraints: 8840
125.04/125.49 c bounds 1170 >= 261 @ 104.915
125.04/125.49 c #Conflicts: 76000 | #Constraints: 9844
125.04/125.49 c bounds 1170 >= 264 @ 107.599
125.04/125.49 c #Conflicts: 77000 | #Constraints: 10850
125.04/125.49 c bounds 1170 >= 269 @ 111.363
125.04/125.49 c #Conflicts: 78000 | #Constraints: 11854
125.04/125.49 c INPROCESSING
125.04/125.49 c GARBAGE COLLECT
125.04/125.49 c bounds 1170 >= 272 @ 112.731
125.04/125.49 c #Conflicts: 79000 | #Constraints: 7235
125.04/125.49 c bounds 1170 >= 275 @ 113.363
125.04/125.49 c #Conflicts: 80000 | #Constraints: 8239
125.04/125.49 c bounds 1170 >= 278 @ 115.101
125.04/125.49 c #Conflicts: 81000 | #Constraints: 9243
125.04/125.49 c #Conflicts: 82000 | #Constraints: 10245
125.04/125.49 c bounds 1170 >= 283 @ 116.66
125.04/125.49 c bounds 1170 >= 286 @ 117.649
125.04/125.49 c #Conflicts: 83000 | #Constraints: 11253
125.04/125.49 c bounds 1170 >= 289 @ 118.72
125.04/125.49 c #Conflicts: 84000 | #Constraints: 12257
125.04/125.49 c INPROCESSING
125.04/125.49 c GARBAGE COLLECT
125.04/125.49 c bounds 1170 >= 292 @ 120.07
125.04/125.49 c #Conflicts: 85000 | #Constraints: 7456
125.04/125.49 c bounds 1170 >= 295 @ 120.608
125.04/125.49 c #Conflicts: 86000 | #Constraints: 8460
125.04/125.49 c bounds 1170 >= 298 @ 121.402
125.04/125.49 c #Conflicts: 87000 | #Constraints: 9464
125.04/125.49 c bounds 1170 >= 301 @ 122.135
125.04/125.49 c bounds 1170 >= 304 @ 122.954
125.04/125.49 c #Conflicts: 88000 | #Constraints: 10472
203.82/204.43 c bounds 1170 >= 307 @ 123.935
203.82/204.43 c #Conflicts: 89000 | #Constraints: 11476
203.82/204.43 c bounds 1170 >= 310 @ 125.566
203.82/204.43 c #Conflicts: 90000 | #Constraints: 12480
203.82/204.43 c INPROCESSING
203.82/204.43 c GARBAGE COLLECT
203.82/204.43 c bounds 1170 >= 313 @ 127.298
203.82/204.43 c #Conflicts: 91000 | #Constraints: 7462
203.82/204.43 c #Conflicts: 92000 | #Constraints: 8464
203.82/204.43 c bounds 1170 >= 318 @ 128.637
203.82/204.43 c #Conflicts: 93000 | #Constraints: 9468
203.82/204.43 c bounds 1170 >= 321 @ 129.509
203.82/204.43 c #Conflicts: 94000 | #Constraints: 10474
203.82/204.43 c bounds 1170 >= 324 @ 130.823
203.82/204.43 c #Conflicts: 95000 | #Constraints: 11476
203.82/204.43 c bounds 1170 >= 327 @ 131.687
203.82/204.43 c bounds 1170 >= 330 @ 132.62
203.82/204.43 c #Conflicts: 96000 | #Constraints: 12484
203.82/204.43 c INPROCESSING
203.82/204.43 c GARBAGE COLLECT
203.82/204.43 c #Conflicts: 97000 | #Constraints: 7277
203.82/204.43 c bounds 1170 >= 333 @ 134.792
203.82/204.43 c #Conflicts: 98000 | #Constraints: 8281
203.82/204.43 c bounds 1170 >= 336 @ 135.385
203.82/204.43 c bounds 1170 >= 339 @ 136.144
203.82/204.43 c #Conflicts: 99000 | #Constraints: 9289
203.82/204.43 c bounds 1170 >= 342 @ 137.073
203.82/204.43 c #Conflicts: 100000 | #Constraints: 10293
203.82/204.43 c bounds 1170 >= 345 @ 139.803
203.82/204.43 c #Conflicts: 101000 | #Constraints: 11297
203.82/204.43 c bounds 1170 >= 348 @ 141.862
203.82/204.43 c bounds 1170 >= 351 @ 143.859
203.82/204.43 c #Conflicts: 102000 | #Constraints: 12305
203.82/204.43 c bounds 1170 >= 354 @ 145.856
203.82/204.43 c #Conflicts: 103000 | #Constraints: 13309
203.82/204.43 c INPROCESSING
203.82/204.43 c GARBAGE COLLECT
203.82/204.43 c bounds 1170 >= 357 @ 149.065
203.82/204.43 c #Conflicts: 104000 | #Constraints: 7910
203.82/204.43 c bounds 1170 >= 360 @ 149.855
203.82/204.43 c #Conflicts: 105000 | #Constraints: 8914
203.82/204.43 c bounds 1170 >= 363 @ 150.925
203.82/204.43 c #Conflicts: 106000 | #Constraints: 9918
203.82/204.43 c bounds 1170 >= 366 @ 152.182
203.82/204.43 c bounds 1170 >= 369 @ 153.287
203.82/204.43 c #Conflicts: 107000 | #Constraints: 10926
203.82/204.43 c bounds 1170 >= 372 @ 154.831
203.82/204.43 c #Conflicts: 108000 | #Constraints: 11930
203.82/204.43 c bounds 1170 >= 375 @ 156.102
203.82/204.43 c #Conflicts: 109000 | #Constraints: 12934
203.82/204.43 c bounds 1170 >= 378 @ 157.27
203.82/204.43 c bounds 1170 >= 381 @ 158.593
203.82/204.43 c #Conflicts: 110000 | #Constraints: 13942
203.82/204.43 c INPROCESSING
203.82/204.43 c GARBAGE COLLECT
203.82/204.43 c bounds 1170 >= 384 @ 159.523
203.82/204.43 c #Conflicts: 111000 | #Constraints: 8328
203.82/204.43 c bounds 1170 >= 387 @ 160.221
203.82/204.43 c #Conflicts: 112000 | #Constraints: 9332
203.82/204.43 c bounds 1170 >= 390 @ 161.237
203.82/204.43 c #Conflicts: 113000 | #Constraints: 10336
203.82/204.43 c bounds 1170 >= 393 @ 163.307
203.82/204.43 c #Conflicts: 114000 | #Constraints: 11342
203.82/204.43 c bounds 1170 >= 398 @ 166.832
203.82/204.43 c #Conflicts: 115000 | #Constraints: 12346
203.82/204.43 c bounds 1170 >= 401 @ 168.93
203.82/204.43 c #Conflicts: 116000 | #Constraints: 13350
203.82/204.43 c bounds 1170 >= 404 @ 171.005
203.82/204.43 c #Conflicts: 117000 | #Constraints: 14356
203.82/204.43 c INPROCESSING
203.82/204.43 c GARBAGE COLLECT
203.82/204.43 c bounds 1170 >= 407 @ 174.307
203.82/204.43 c #Conflicts: 118000 | #Constraints: 8563
203.82/204.43 c bounds 1170 >= 410 @ 176.065
203.82/204.43 c #Conflicts: 119000 | #Constraints: 9565
203.82/204.43 c #Conflicts: 120000 | #Constraints: 10569
203.82/204.43 c bounds 1170 >= 417 @ 179.849
203.82/204.43 c #Conflicts: 121000 | #Constraints: 11573
203.82/204.43 c bounds 1170 >= 420 @ 180.563
203.82/204.43 c #Conflicts: 122000 | #Constraints: 12577
203.82/204.43 c bounds 1170 >= 423 @ 181.643
203.82/204.43 c bounds 1170 >= 426 @ 182.617
203.82/204.43 c #Conflicts: 123000 | #Constraints: 13585
203.82/204.43 c bounds 1170 >= 429 @ 183.95
203.82/204.43 c #Conflicts: 124000 | #Constraints: 14589
203.82/204.43 c INPROCESSING
203.82/204.43 c GARBAGE COLLECT
203.82/204.43 c bounds 1170 >= 432 @ 185.572
203.82/204.43 c #Conflicts: 125000 | #Constraints: 8573
203.82/204.43 c bounds 1170 >= 435 @ 186.481
203.82/204.43 c #Conflicts: 126000 | #Constraints: 9577
203.82/204.43 c bounds 1170 >= 438 @ 187.673
203.82/204.43 c #Conflicts: 127000 | #Constraints: 10581
203.82/204.43 c bounds 1170 >= 441 @ 188.914
203.82/204.43 c bounds 1170 >= 444 @ 190.408
203.82/204.43 c #Conflicts: 128000 | #Constraints: 11589
203.82/204.43 c bounds 1170 >= 447 @ 191.714
203.82/204.43 c #Conflicts: 129000 | #Constraints: 12593
203.82/204.43 c bounds 1170 >= 450 @ 192.916
203.82/204.43 c #Conflicts: 130000 | #Constraints: 13597
203.82/204.43 c bounds 1170 >= 453 @ 195.258
203.82/204.43 c bounds 1170 >= 456 @ 197.336
203.82/204.43 c #Conflicts: 131000 | #Constraints: 14605
203.82/204.43 c INPROCESSING
203.82/204.43 c GARBAGE COLLECT
203.82/204.43 c #Conflicts: 132000 | #Constraints: 8393
203.82/204.43 c bounds 1170 >= 459 @ 200.26
203.82/204.43 c #Conflicts: 133000 | #Constraints: 9397
291.38/292.23 c bounds 1170 >= 462 @ 201.587
291.38/292.23 c bounds 1170 >= 465 @ 202.636
291.38/292.23 c #Conflicts: 134000 | #Constraints: 10405
291.38/292.23 c bounds 1170 >= 468 @ 204.143
291.38/292.23 c #Conflicts: 135000 | #Constraints: 11409
291.38/292.23 c bounds 1170 >= 471 @ 205.32
291.38/292.23 c #Conflicts: 136000 | #Constraints: 12413
291.38/292.23 c bounds 1170 >= 474 @ 206.653
291.38/292.23 c bounds 1170 >= 477 @ 207.837
291.38/292.23 c #Conflicts: 137000 | #Constraints: 13421
291.38/292.23 c bounds 1170 >= 480 @ 209.607
291.38/292.23 c #Conflicts: 138000 | #Constraints: 14425
291.38/292.23 c bounds 1170 >= 483 @ 211.034
291.38/292.23 c #Conflicts: 139000 | #Constraints: 15429
291.38/292.23 c INPROCESSING
291.38/292.23 c GARBAGE COLLECT
291.38/292.23 c bounds 1170 >= 486 @ 212.983
291.38/292.23 c #Conflicts: 140000 | #Constraints: 9014
291.38/292.23 c bounds 1170 >= 489 @ 213.593
291.38/292.23 c #Conflicts: 141000 | #Constraints: 10018
291.38/292.23 c bounds 1170 >= 492 @ 214.305
291.38/292.23 c #Conflicts: 142000 | #Constraints: 11022
291.38/292.23 c bounds 1170 >= 495 @ 215.078
291.38/292.23 c bounds 1170 >= 498 @ 215.868
291.38/292.23 c #Conflicts: 143000 | #Constraints: 12030
291.38/292.23 c bounds 1170 >= 501 @ 216.742
291.38/292.23 c #Conflicts: 144000 | #Constraints: 13034
291.38/292.23 c bounds 1170 >= 504 @ 217.882
291.38/292.23 c #Conflicts: 145000 | #Constraints: 14038
291.38/292.23 c bounds 1170 >= 507 @ 219.022
291.38/292.23 c #Conflicts: 146000 | #Constraints: 15044
291.38/292.23 c bounds 1170 >= 510 @ 221.322
291.38/292.23 c bounds 1170 >= 513 @ 222.71
291.38/292.23 c #Conflicts: 147000 | #Constraints: 16050
291.38/292.23 c INPROCESSING
291.38/292.23 c GARBAGE COLLECT
291.38/292.23 c bounds 1170 >= 516 @ 224.067
291.38/292.23 c #Conflicts: 148000 | #Constraints: 9430
291.38/292.23 c bounds 1170 >= 519 @ 224.874
291.38/292.23 c #Conflicts: 149000 | #Constraints: 10434
291.38/292.23 c bounds 1170 >= 522 @ 225.965
291.38/292.23 c #Conflicts: 150000 | #Constraints: 11438
291.38/292.23 c bounds 1170 >= 525 @ 226.849
291.38/292.23 c bounds 1170 >= 528 @ 228.313
291.38/292.23 c #Conflicts: 151000 | #Constraints: 12446
291.38/292.23 c bounds 1170 >= 531 @ 230.064
291.38/292.23 c #Conflicts: 152000 | #Constraints: 13450
291.38/292.23 c bounds 1170 >= 534 @ 232.515
291.38/292.23 c #Conflicts: 153000 | #Constraints: 14454
291.38/292.23 c bounds 1170 >= 537 @ 234.122
291.38/292.23 c bounds 1170 >= 540 @ 235.624
291.38/292.23 c #Conflicts: 154000 | #Constraints: 15462
291.38/292.23 c bounds 1170 >= 543 @ 237.296
291.38/292.23 c #Conflicts: 155000 | #Constraints: 16466
291.38/292.23 c INPROCESSING
291.38/292.23 c GARBAGE COLLECT
291.38/292.23 c bounds 1170 >= 546 @ 239.151
291.38/292.23 c #Conflicts: 156000 | #Constraints: 9627
291.38/292.23 c bounds 1170 >= 549 @ 239.949
291.38/292.23 c #Conflicts: 157000 | #Constraints: 10631
291.38/292.23 c #Conflicts: 158000 | #Constraints: 11633
291.38/292.23 c bounds 1170 >= 554 @ 242.117
291.38/292.23 c bounds 1170 >= 557 @ 243.858
291.38/292.23 c #Conflicts: 159000 | #Constraints: 12641
291.38/292.23 c bounds 1170 >= 560 @ 245.531
291.38/292.23 c #Conflicts: 160000 | #Constraints: 13645
291.38/292.23 c bounds 1170 >= 563 @ 248.054
291.38/292.23 c #Conflicts: 161000 | #Constraints: 14649
291.38/292.23 c bounds 1170 >= 566 @ 249.712
291.38/292.23 c bounds 1170 >= 569 @ 251.38
291.38/292.23 c #Conflicts: 162000 | #Constraints: 15657
291.38/292.23 c bounds 1170 >= 572 @ 252.845
291.38/292.23 c #Conflicts: 163000 | #Constraints: 16661
291.38/292.23 c INPROCESSING
291.38/292.23 c GARBAGE COLLECT
291.38/292.23 c bounds 1170 >= 575 @ 255.205
291.38/292.23 c #Conflicts: 164000 | #Constraints: 9663
291.38/292.23 c bounds 1170 >= 578 @ 255.871
291.38/292.23 c #Conflicts: 165000 | #Constraints: 10667
291.38/292.23 c bounds 1170 >= 581 @ 256.625
291.38/292.23 c #Conflicts: 166000 | #Constraints: 11671
291.38/292.23 c bounds 1170 >= 586 @ 259.275
291.38/292.23 c #Conflicts: 167000 | #Constraints: 12677
291.38/292.23 c bounds 1170 >= 589 @ 260.985
291.38/292.23 c #Conflicts: 168000 | #Constraints: 13681
291.38/292.23 c bounds 1170 >= 592 @ 263.181
291.38/292.23 c #Conflicts: 169000 | #Constraints: 14685
291.38/292.23 c bounds 1170 >= 595 @ 264.685
291.38/292.23 c bounds 1170 >= 598 @ 268.005
291.38/292.23 c #Conflicts: 170000 | #Constraints: 15693
291.38/292.23 c bounds 1170 >= 601 @ 270.352
291.38/292.23 c #Conflicts: 171000 | #Constraints: 16697
291.38/292.23 c bounds 1170 >= 604 @ 274.019
291.38/292.23 c INPROCESSING
291.38/292.23 c GARBAGE COLLECT
291.38/292.23 c #Conflicts: 172000 | #Constraints: 9479
291.38/292.23 c #Conflicts: 173000 | #Constraints: 10481
291.38/292.23 c bounds 1170 >= 612 @ 277.568
291.38/292.23 c #Conflicts: 174000 | #Constraints: 11487
291.38/292.23 c #Conflicts: 175000 | #Constraints: 12489
291.38/292.23 c bounds 1170 >= 617 @ 280.821
291.38/292.23 c #Conflicts: 176000 | #Constraints: 13493
291.38/292.23 c bounds 1170 >= 620 @ 284.396
291.38/292.23 c #Conflicts: 177000 | #Constraints: 14497
291.38/292.23 c bounds 1170 >= 623 @ 285.848
291.38/292.23 c #Conflicts: 178000 | #Constraints: 15501
370.06/371.15 c #Conflicts: 179000 | #Constraints: 16505
370.06/371.15 c bounds 1170 >= 628 @ 296.99
370.06/371.15 c #Conflicts: 180000 | #Constraints: 17509
370.06/371.15 c INPROCESSING
370.06/371.15 c GARBAGE COLLECT
370.06/371.15 c #Conflicts: 181000 | #Constraints: 10102
370.06/371.15 c bounds 1170 >= 635 @ 305.149
370.06/371.15 c #Conflicts: 182000 | #Constraints: 11106
370.06/371.15 c #Conflicts: 183000 | #Constraints: 12108
370.06/371.15 c #Conflicts: 184000 | #Constraints: 13110
370.06/371.15 c bounds 1170 >= 642 @ 308.556
370.06/371.15 c bounds 1170 >= 645 @ 309.684
370.06/371.15 c #Conflicts: 185000 | #Constraints: 14118
370.06/371.15 c bounds 1170 >= 648 @ 311.15
370.06/371.15 c #Conflicts: 186000 | #Constraints: 15122
370.06/371.15 c bounds 1170 >= 651 @ 313.091
370.06/371.15 c #Conflicts: 187000 | #Constraints: 16126
370.06/371.15 c bounds 1170 >= 654 @ 315.587
370.06/371.15 c bounds 1170 >= 657 @ 316.957
370.06/371.15 c #Conflicts: 188000 | #Constraints: 17134
370.06/371.15 c bounds 1170 >= 660 @ 318.561
370.06/371.15 c #Conflicts: 189000 | #Constraints: 18138
370.06/371.15 c INPROCESSING
370.06/371.15 c GARBAGE COLLECT
370.06/371.15 c bounds 1170 >= 663 @ 320.732
370.06/371.15 c #Conflicts: 190000 | #Constraints: 10534
370.06/371.15 c bounds 1170 >= 666 @ 321.589
370.06/371.15 c #Conflicts: 191000 | #Constraints: 11538
370.06/371.15 c bounds 1170 >= 669 @ 322.646
370.06/371.15 c #Conflicts: 192000 | #Constraints: 12542
370.06/371.15 c bounds 1170 >= 672 @ 323.758
370.06/371.15 c bounds 1170 >= 675 @ 324.931
370.06/371.15 c #Conflicts: 193000 | #Constraints: 13550
370.06/371.15 c bounds 1170 >= 678 @ 326.083
370.06/371.15 c #Conflicts: 194000 | #Constraints: 14554
370.06/371.15 c bounds 1170 >= 681 @ 327.142
370.06/371.15 c #Conflicts: 195000 | #Constraints: 15558
370.06/371.15 c bounds 1170 >= 684 @ 328.179
370.06/371.15 c bounds 1170 >= 687 @ 329.578
370.06/371.15 c #Conflicts: 196000 | #Constraints: 16566
370.06/371.15 c bounds 1170 >= 690 @ 330.822
370.06/371.15 c #Conflicts: 197000 | #Constraints: 17570
370.06/371.15 c bounds 1170 >= 693 @ 332.126
370.06/371.15 c #Conflicts: 198000 | #Constraints: 18574
370.06/371.15 c INPROCESSING
370.06/371.15 c GARBAGE COLLECT
370.06/371.15 c bounds 1170 >= 696 @ 333.419
370.06/371.15 c #Conflicts: 199000 | #Constraints: 10770
370.06/371.15 c bounds 1170 >= 699 @ 334.125
370.06/371.15 c #Conflicts: 200000 | #Constraints: 11774
370.06/371.15 c #Conflicts: 201000 | #Constraints: 12776
370.06/371.15 c bounds 1170 >= 704 @ 335.515
370.06/371.15 c bounds 1170 >= 707 @ 336.507
370.06/371.15 c #Conflicts: 202000 | #Constraints: 13784
370.06/371.15 c bounds 1170 >= 710 @ 337.535
370.06/371.15 c #Conflicts: 203000 | #Constraints: 14788
370.06/371.15 c bounds 1170 >= 713 @ 338.509
370.06/371.15 c #Conflicts: 204000 | #Constraints: 15792
370.06/371.15 c bounds 1170 >= 716 @ 339.365
370.06/371.15 c bounds 1170 >= 719 @ 340.648
370.06/371.15 c #Conflicts: 205000 | #Constraints: 16800
370.06/371.15 c bounds 1170 >= 722 @ 341.685
370.06/371.15 c #Conflicts: 206000 | #Constraints: 17804
370.06/371.15 c bounds 1170 >= 725 @ 342.831
370.06/371.15 c #Conflicts: 207000 | #Constraints: 18808
370.06/371.15 c bounds 1170 >= 728 @ 343.751
370.06/371.15 c INPROCESSING
370.06/371.15 c GARBAGE COLLECT
370.06/371.15 c bounds 1170 >= 731 @ 344.763
370.06/371.15 c #Conflicts: 208000 | #Constraints: 10813
370.06/371.15 c bounds 1170 >= 734 @ 345.261
370.06/371.15 c #Conflicts: 209000 | #Constraints: 11817
370.06/371.15 c bounds 1170 >= 737 @ 345.826
370.06/371.15 c #Conflicts: 210000 | #Constraints: 12821
370.06/371.15 c bounds 1170 >= 740 @ 346.534
370.06/371.15 c bounds 1170 >= 743 @ 347.179
370.06/371.15 c #Conflicts: 211000 | #Constraints: 13829
370.06/371.15 c bounds 1170 >= 746 @ 347.955
370.06/371.15 c #Conflicts: 212000 | #Constraints: 14833
370.06/371.15 c bounds 1170 >= 749 @ 348.788
370.06/371.15 c #Conflicts: 213000 | #Constraints: 15837
370.06/371.15 c bounds 1170 >= 754 @ 350.847
370.06/371.15 c #Conflicts: 214000 | #Constraints: 16843
370.06/371.15 c bounds 1170 >= 757 @ 352.227
370.06/371.15 c #Conflicts: 215000 | #Constraints: 17847
370.06/371.15 c bounds 1170 >= 760 @ 353.737
370.06/371.15 c #Conflicts: 216000 | #Constraints: 18851
370.06/371.15 c bounds 1170 >= 763 @ 355.036
370.06/371.15 c INPROCESSING
370.06/371.15 c GARBAGE COLLECT
370.06/371.15 c #Conflicts: 217000 | #Constraints: 10634
370.06/371.15 c #Conflicts: 218000 | #Constraints: 11636
370.06/371.15 c bounds 1170 >= 770 @ 357.806
370.06/371.15 c #Conflicts: 219000 | #Constraints: 12642
370.06/371.15 c bounds 1170 >= 773 @ 358.568
370.06/371.15 c #Conflicts: 220000 | #Constraints: 13646
370.06/371.15 c bounds 1170 >= 776 @ 359.353
370.06/371.15 c #Conflicts: 221000 | #Constraints: 14650
370.06/371.15 c bounds 1170 >= 779 @ 360.21
370.06/371.15 c bounds 1170 >= 782 @ 361.067
370.06/371.15 c #Conflicts: 222000 | #Constraints: 15658
370.06/371.15 c bounds 1170 >= 785 @ 361.97
370.06/371.15 c #Conflicts: 223000 | #Constraints: 16662
370.06/371.15 c #Conflicts: 224000 | #Constraints: 17664
370.06/371.15 c bounds 1170 >= 790 @ 364.139
370.06/371.15 c bounds 1170 >= 793 @ 365.431
487.14/488.56 c #Conflicts: 225000 | #Constraints: 18672
487.14/488.56 c bounds 1170 >= 796 @ 367.041
487.14/488.56 c #Conflicts: 226000 | #Constraints: 19676
487.14/488.56 c INPROCESSING
487.14/488.56 c GARBAGE COLLECT
487.14/488.56 c bounds 1170 >= 799 @ 368.898
487.14/488.56 c #Conflicts: 227000 | #Constraints: 11269
487.14/488.56 c bounds 1170 >= 802 @ 369.557
487.14/488.56 c #Conflicts: 228000 | #Constraints: 12273
487.14/488.56 c bounds 1170 >= 805 @ 370.226
487.14/488.56 c #Conflicts: 229000 | #Constraints: 13277
487.14/488.56 c bounds 1170 >= 808 @ 371.077
487.14/488.56 c bounds 1170 >= 811 @ 372.039
487.14/488.56 c #Conflicts: 230000 | #Constraints: 14285
487.14/488.56 c bounds 1170 >= 814 @ 373.556
487.14/488.56 c #Conflicts: 231000 | #Constraints: 15289
487.14/488.56 c bounds 1170 >= 817 @ 375.351
487.14/488.56 c #Conflicts: 232000 | #Constraints: 16293
487.14/488.56 c bounds 1170 >= 820 @ 377.576
487.14/488.56 c bounds 1170 >= 823 @ 379.325
487.14/488.56 c #Conflicts: 233000 | #Constraints: 17301
487.14/488.56 c bounds 1170 >= 826 @ 381.2
487.14/488.56 c #Conflicts: 234000 | #Constraints: 18305
487.14/488.56 c bounds 1170 >= 829 @ 383.969
487.14/488.56 c #Conflicts: 235000 | #Constraints: 19309
487.14/488.56 c bounds 1170 >= 832 @ 387.01
487.14/488.56 c bounds 1170 >= 835 @ 390.306
487.14/488.56 c #Conflicts: 236000 | #Constraints: 20317
487.14/488.56 c INPROCESSING
487.14/488.56 c GARBAGE COLLECT
487.14/488.56 c bounds 1170 >= 838 @ 391.575
487.14/488.56 c #Conflicts: 237000 | #Constraints: 11686
487.14/488.56 c bounds 1170 >= 841 @ 392.164
487.14/488.56 c #Conflicts: 238000 | #Constraints: 12690
487.14/488.56 c bounds 1170 >= 844 @ 392.915
487.14/488.56 c #Conflicts: 239000 | #Constraints: 13694
487.14/488.56 c bounds 1170 >= 847 @ 394.628
487.14/488.56 c bounds 1170 >= 850 @ 396.373
487.14/488.56 c #Conflicts: 240000 | #Constraints: 14702
487.14/488.56 c bounds 1170 >= 853 @ 398.366
487.14/488.56 c #Conflicts: 241000 | #Constraints: 15706
487.14/488.56 c bounds 1170 >= 856 @ 399.746
487.14/488.56 c #Conflicts: 242000 | #Constraints: 16710
487.14/488.56 c bounds 1170 >= 859 @ 402.109
487.14/488.56 c bounds 1170 >= 862 @ 405.117
487.14/488.56 c #Conflicts: 243000 | #Constraints: 17718
487.14/488.56 c bounds 1170 >= 865 @ 408.728
487.14/488.56 c #Conflicts: 244000 | #Constraints: 18722
487.14/488.56 c bounds 1170 >= 868 @ 411.332
487.14/488.56 c #Conflicts: 245000 | #Constraints: 19726
487.14/488.56 c bounds 1170 >= 871 @ 414.156
487.14/488.56 c #Conflicts: 246000 | #Constraints: 20732
487.14/488.56 c INPROCESSING
487.14/488.56 c GARBAGE COLLECT
487.14/488.56 c bounds 1170 >= 874 @ 417.589
487.14/488.56 c bounds 1170 >= 877 @ 418.341
487.14/488.56 c #Conflicts: 247000 | #Constraints: 11901
487.14/488.56 c bounds 1170 >= 880 @ 419.151
487.14/488.56 c #Conflicts: 248000 | #Constraints: 12905
487.14/488.56 c bounds 1170 >= 883 @ 419.886
487.14/488.56 c #Conflicts: 249000 | #Constraints: 13909
487.14/488.56 c bounds 1170 >= 886 @ 420.855
487.14/488.56 c bounds 1170 >= 889 @ 422.429
487.14/488.56 c #Conflicts: 250000 | #Constraints: 14917
487.14/488.56 c bounds 1170 >= 892 @ 424.305
487.14/488.56 c #Conflicts: 251000 | #Constraints: 15921
487.14/488.56 c bounds 1170 >= 895 @ 426.986
487.14/488.56 c #Conflicts: 252000 | #Constraints: 16925
487.14/488.56 c bounds 1170 >= 898 @ 429.578
487.14/488.56 c bounds 1170 >= 901 @ 432.477
487.14/488.56 c #Conflicts: 253000 | #Constraints: 17933
487.14/488.56 c bounds 1170 >= 904 @ 436.821
487.14/488.56 c #Conflicts: 254000 | #Constraints: 18937
487.14/488.56 c #Conflicts: 255000 | #Constraints: 19939
487.14/488.56 c bounds 1170 >= 909 @ 444.481
487.14/488.56 c bounds 1170 >= 912 @ 447.675
487.14/488.56 c #Conflicts: 256000 | #Constraints: 20947
487.14/488.56 c INPROCESSING
487.14/488.56 c GARBAGE COLLECT
487.14/488.56 c bounds 1170 >= 915 @ 450.822
487.14/488.56 c #Conflicts: 257000 | #Constraints: 11933
487.14/488.56 c bounds 1170 >= 918 @ 452.192
487.14/488.56 c #Conflicts: 258000 | #Constraints: 12937
487.14/488.56 c #Conflicts: 259000 | #Constraints: 13939
487.14/488.56 c #Conflicts: 260000 | #Constraints: 14943
487.14/488.56 c bounds 1170 >= 927 @ 460.31
487.14/488.56 c #Conflicts: 261000 | #Constraints: 15947
487.14/488.56 c bounds 1170 >= 930 @ 463.82
487.14/488.56 c #Conflicts: 262000 | #Constraints: 16951
487.14/488.56 c bounds 1170 >= 933 @ 466.239
487.14/488.56 c #Conflicts: 263000 | #Constraints: 17955
487.14/488.56 c bounds 1170 >= 936 @ 468.477
487.14/488.56 c bounds 1170 >= 939 @ 470.032
487.14/488.56 c #Conflicts: 264000 | #Constraints: 18963
487.14/488.56 c #Conflicts: 265000 | #Constraints: 19965
487.14/488.56 c bounds 1170 >= 944 @ 473.583
487.14/488.56 c #Conflicts: 266000 | #Constraints: 20969
487.14/488.56 c INPROCESSING
487.14/488.56 c GARBAGE COLLECT
487.14/488.56 c #Conflicts: 267000 | #Constraints: 11765
487.14/488.56 c bounds 1170 >= 949 @ 478.182
487.14/488.56 c #Conflicts: 268000 | #Constraints: 12769
487.14/488.56 c bounds 1170 >= 952 @ 478.986
487.14/488.56 c bounds 1170 >= 955 @ 479.941
487.14/488.56 c #Conflicts: 269000 | #Constraints: 13777
487.14/488.56 c bounds 1170 >= 958 @ 480.789
487.14/488.56 c #Conflicts: 270000 | #Constraints: 14781
626.07/627.81 c bounds 1170 >= 961 @ 482.113
626.07/627.81 c #Conflicts: 271000 | #Constraints: 15785
626.07/627.81 c bounds 1170 >= 964 @ 484.569
626.07/627.81 c bounds 1170 >= 967 @ 485.664
626.07/627.81 c #Conflicts: 272000 | #Constraints: 16793
626.07/627.81 c bounds 1170 >= 970 @ 486.992
626.07/627.81 c #Conflicts: 273000 | #Constraints: 17797
626.07/627.81 c bounds 1170 >= 973 @ 488.595
626.07/627.81 c #Conflicts: 274000 | #Constraints: 18801
626.07/627.81 c bounds 1170 >= 976 @ 490.175
626.07/627.81 c bounds 1170 >= 979 @ 491.729
626.07/627.81 c #Conflicts: 275000 | #Constraints: 19809
626.07/627.81 c bounds 1170 >= 982 @ 495.389
626.07/627.81 c #Conflicts: 276000 | #Constraints: 20813
626.07/627.81 c bounds 1170 >= 985 @ 498.988
626.07/627.81 c #Conflicts: 277000 | #Constraints: 21817
626.07/627.81 c bounds 1170 >= 988 @ 503.973
626.07/627.81 c INPROCESSING
626.07/627.81 c GARBAGE COLLECT
626.07/627.81 c bounds 1170 >= 991 @ 505.394
626.07/627.81 c #Conflicts: 278000 | #Constraints: 12411
626.07/627.81 c bounds 1170 >= 994 @ 506.409
626.07/627.81 c #Conflicts: 279000 | #Constraints: 13415
626.07/627.81 c bounds 1170 >= 997 @ 507.686
626.07/627.81 c #Conflicts: 280000 | #Constraints: 14419
626.07/627.81 c bounds 1170 >= 1000 @ 509.441
626.07/627.81 c bounds 1170 >= 1003 @ 511.235
626.07/627.81 c #Conflicts: 281000 | #Constraints: 15427
626.07/627.81 c bounds 1170 >= 1006 @ 512.865
626.07/627.81 c #Conflicts: 282000 | #Constraints: 16431
626.07/627.81 c bounds 1170 >= 1009 @ 514.337
626.07/627.81 c #Conflicts: 283000 | #Constraints: 17435
626.07/627.81 c bounds 1170 >= 1012 @ 516.519
626.07/627.81 c bounds 1170 >= 1015 @ 519.635
626.07/627.81 c #Conflicts: 284000 | #Constraints: 18443
626.07/627.81 c bounds 1170 >= 1018 @ 522.361
626.07/627.81 c #Conflicts: 285000 | #Constraints: 19447
626.07/627.81 c bounds 1170 >= 1021 @ 525.92
626.07/627.81 c #Conflicts: 286000 | #Constraints: 20451
626.07/627.81 c bounds 1170 >= 1024 @ 528.173
626.07/627.81 c bounds 1170 >= 1027 @ 533.4
626.07/627.81 c #Conflicts: 287000 | #Constraints: 21459
626.07/627.81 c bounds 1170 >= 1030 @ 537.253
626.07/627.81 c #Conflicts: 288000 | #Constraints: 22463
626.07/627.81 c INPROCESSING
626.07/627.81 c GARBAGE COLLECT
626.07/627.81 c bounds 1170 >= 1033 @ 539.887
626.07/627.81 c #Conflicts: 289000 | #Constraints: 12841
626.07/627.81 c bounds 1170 >= 1036 @ 540.756
626.07/627.81 c #Conflicts: 290000 | #Constraints: 13845
626.07/627.81 c bounds 1170 >= 1039 @ 541.642
626.07/627.81 c #Conflicts: 291000 | #Constraints: 14849
626.07/627.81 c bounds 1170 >= 1042 @ 543.387
626.07/627.81 c #Conflicts: 292000 | #Constraints: 15853
626.07/627.81 c bounds 1170 >= 1045 @ 544.629
626.07/627.81 c bounds 1170 >= 1048 @ 545.999
626.07/627.81 c #Conflicts: 293000 | #Constraints: 16861
626.07/627.81 c bounds 1170 >= 1051 @ 547.201
626.07/627.81 c #Conflicts: 294000 | #Constraints: 17865
626.07/627.81 c bounds 1170 >= 1054 @ 549.028
626.07/627.81 c #Conflicts: 295000 | #Constraints: 18869
626.07/627.81 c bounds 1170 >= 1057 @ 552.515
626.07/627.81 c bounds 1170 >= 1060 @ 556.323
626.07/627.81 c #Conflicts: 296000 | #Constraints: 19877
626.07/627.81 c bounds 1170 >= 1063 @ 560.388
626.07/627.81 c #Conflicts: 297000 | #Constraints: 20881
626.07/627.81 c bounds 1170 >= 1066 @ 563.097
626.07/627.81 c #Conflicts: 298000 | #Constraints: 21885
626.07/627.81 c bounds 1170 >= 1069 @ 567.427
626.07/627.81 c #Conflicts: 299000 | #Constraints: 22891
626.07/627.81 c INPROCESSING
626.07/627.81 c GARBAGE COLLECT
626.07/627.81 c bounds 1170 >= 1072 @ 573.518
626.07/627.81 c bounds 1170 >= 1075 @ 575.043
626.07/627.81 c #Conflicts: 300000 | #Constraints: 13076
626.07/627.81 c bounds 1170 >= 1078 @ 576.129
626.07/627.81 c #Conflicts: 301000 | #Constraints: 14080
626.07/627.81 c #Conflicts: 302000 | #Constraints: 15082
626.07/627.81 c #Conflicts: 303000 | #Constraints: 16084
626.07/627.81 c #Conflicts: 304000 | #Constraints: 17088
626.07/627.81 c #Conflicts: 305000 | #Constraints: 18090
626.07/627.81 c #Conflicts: 306000 | #Constraints: 19092
626.07/627.81 c #Conflicts: 307000 | #Constraints: 20096
626.07/627.81 c #Conflicts: 308000 | #Constraints: 21098
626.07/627.81 c #Conflicts: 309000 | #Constraints: 22100
626.07/627.81 c #Conflicts: 310000 | #Constraints: 23104
626.07/627.81 c INPROCESSING
626.07/627.81 c GARBAGE COLLECT
626.07/627.81 c #Conflicts: 311000 | #Constraints: 13089
626.07/627.81 c #Conflicts: 312000 | #Constraints: 14091
626.07/627.81 c #Conflicts: 313000 | #Constraints: 15093
626.07/627.81 c #Conflicts: 314000 | #Constraints: 16097
626.07/627.81 c #Conflicts: 315000 | #Constraints: 17099
626.07/627.81 c #Conflicts: 316000 | #Constraints: 18101
626.07/627.81 c bounds 1170 >= 1139 @ 618.76
626.07/627.81 c bounds 1170 >= 1140 @ 618.785
626.07/627.81 c bounds 1170 >= 1141 @ 618.811
626.07/627.81 c bounds 1170 >= 1142 @ 618.839
626.07/627.81 c bounds 1170 >= 1143 @ 618.884
626.07/627.81 c bounds 1170 >= 1144 @ 618.924
626.07/627.81 c bounds 1170 >= 1145 @ 618.972
626.07/627.81 c bounds 1170 >= 1146 @ 619.088
626.07/627.81 c bounds 1170 >= 1147 @ 619.19
668.16/670.00 c bounds 1170 >= 1148 @ 619.304
668.16/670.00 c bounds 1170 >= 1149 @ 619.457
668.16/670.00 c bounds 1170 >= 1150 @ 619.599
668.16/670.00 c bounds 1170 >= 1151 @ 619.753
668.16/670.00 c bounds 1170 >= 1152 @ 619.935
668.16/670.00 c bounds 1170 >= 1153 @ 620.114
668.16/670.00 c bounds 1170 >= 1154 @ 620.3
668.16/670.00 c bounds 1170 >= 1155 @ 620.538
668.16/670.00 c bounds 1170 >= 1156 @ 620.773
668.16/670.00 c bounds 1170 >= 1157 @ 621.051
668.16/670.00 c bounds 1170 >= 1158 @ 621.352
668.16/670.00 c bounds 1170 >= 1159 @ 621.714
668.16/670.00 c bounds 1170 >= 1160 @ 622.072
668.16/670.00 c bounds 1170 >= 1161 @ 622.429
668.16/670.00 c bounds 1170 >= 1162 @ 622.794
668.16/670.00 c bounds 1170 >= 1163 @ 623.175
668.16/670.00 c bounds 1170 >= 1164 @ 623.738
668.16/670.00 c bounds 1170 >= 1165 @ 624.167
668.16/670.00 c bounds 1170 >= 1166 @ 624.555
668.16/670.00 c bounds 1170 >= 1167 @ 625.019
668.16/670.00 c bounds 1170 >= 1168 @ 625.405
668.16/670.00 c #Conflicts: 317000 | #Constraints: 19192
668.16/670.00 c bounds 1170 >= 1169 @ 625.785
668.16/670.00 c #Conflicts: 318000 | #Constraints: 20195
668.16/670.00 c #Conflicts: 319000 | #Constraints: 21195
668.16/670.00 c #Conflicts: 320000 | #Constraints: 22195
668.16/670.00 c #Conflicts: 321000 | #Constraints: 23195
668.16/670.00 c INPROCESSING
668.16/670.00 c GARBAGE COLLECT
668.16/670.00 c #Conflicts: 322000 | #Constraints: 12840
668.16/670.00 c #Conflicts: 323000 | #Constraints: 13840
668.16/670.00 c #Conflicts: 324000 | #Constraints: 14840
668.16/670.00 c #Conflicts: 325000 | #Constraints: 15840
668.16/670.00 c #Conflicts: 326000 | #Constraints: 16840
668.16/670.00 c #Conflicts: 327000 | #Constraints: 17840
668.16/670.00 c #Conflicts: 328000 | #Constraints: 18840
668.16/670.00 c #Conflicts: 329000 | #Constraints: 19840
668.16/670.00 c #Conflicts: 330000 | #Constraints: 20840
668.16/670.00 c #Conflicts: 331000 | #Constraints: 21840
668.16/670.00 c #Conflicts: 332000 | #Constraints: 22840
668.16/670.00 c #Conflicts: 333000 | #Constraints: 23840
668.16/670.00 c INPROCESSING
668.16/670.00 c GARBAGE COLLECT
668.16/670.00 c bounds 1170 >= 1170 @ 660.94
668.16/670.00 d SOLVEDBY oll
668.16/670.00 c cpu time 660.94 s
668.16/670.00 c deterministic time 52024043294 5.20e+10
668.16/670.00 c optimization time 618.76 s
668.16/670.00 c total solve time 42.1763 s
668.16/670.00 c core-guided solve time 42.1763 s
668.16/670.00 c propagation time 474.76 s
668.16/670.00 c conflict analysis time 89.0091 s
668.16/670.00 c propagations 16814762
668.16/670.00 c resolve steps 550822
668.16/670.00 c decisions 5663904
668.16/670.00 c conflicts 333670
668.16/670.00 c restarts 772
668.16/670.00 c inprocessing phases 49
668.16/670.00 c input clauses 376
668.16/670.00 c input cardinalities 1202
668.16/670.00 c input general constraints 1130
668.16/670.00 c input average constraint length 371.22
668.16/670.00 c input average constraint degree 76.54
668.16/670.00 c learned clauses 12805
668.16/670.00 c learned cardinalities 310
668.16/670.00 c learned general constraints 320555
668.16/670.00 c learned average constraint length 1857.38
668.16/670.00 c learned average constraint degree 95447838.22
668.16/670.00 c watched constraints 67566
668.16/670.00 c counting constraints 254119
668.16/670.00 c gcd simplifications 3287
668.16/670.00 c detected cardinalities 20
668.16/670.00 c weakened non-implied lits 12165667
668.16/670.00 c weakened non-implying lits 429
668.16/670.00 c original variables 2340
668.16/670.00 c clausal propagations 25342
668.16/670.00 c cardinality propagations 1506435
668.16/670.00 c watched propagations 4730190
668.16/670.00 c counting propagations 10435820
668.16/670.00 c watch lookups 11632805640
668.16/670.00 c watch backjump lookups 11451880982
668.16/670.00 c watch checks 21212078496
668.16/670.00 c propagation checks 6937577021
668.16/670.00 c constraint additions 744410911
668.16/670.00 c trail pops 22811577
668.16/670.00 c formula constraints 390
668.16/670.00 c learned constraints 333670
668.16/670.00 c bound constraints 798
668.16/670.00 c core-guided constraints 1520
668.16/670.00 c encountered formula constraints 199916
668.16/670.00 c encountered learned constraints 563714
668.16/670.00 c encountered bound constraints 55
668.16/670.00 c encountered core-guided constraints 120807
668.16/670.00 c LP total time 0 s
668.16/670.00 c LP solve time 0 s
668.16/670.00 c LP constraints added 0
668.16/670.00 c LP constraints removed 0
668.16/670.00 c LP pivots internal 0
668.16/670.00 c LP pivots root 0
668.16/670.00 c LP calls 0
668.16/670.00 c LP optimalities 0
668.16/670.00 c LP no pivot count 0
668.16/670.00 c LP infeasibilities 0
668.16/670.00 c LP valid Farkas constraints 0
668.16/670.00 c LP learned Farkas constraints 0
668.16/670.00 c LP basis resets 0
668.16/670.00 c LP cycling count 0
668.16/670.00 c LP singular count 0
668.16/670.00 c LP no primal count 0
668.16/670.00 c LP no farkas count 0
668.16/670.00 c LP other issue count 0
668.16/670.00 c LP Gomory cuts 0
668.16/670.00 c LP learned cuts 0
668.16/670.00 c LP deleted cuts 0
668.16/670.00 c LP encountered Gomory constraints 0
668.16/670.00 c LP encountered Farkas constraints 0
668.16/670.00 c LP encountered learned Farkas constraints 0
668.16/670.00 c CG auxiliary variables introduced 760
668.16/670.00 c CG solutions found 1
668.16/670.00 c CG cores constructed 421
668.16/670.00 c CG core cardinality constraints returned 390
668.16/670.00 c CG unit cores 31
668.16/670.00 c CG single cores 390
668.16/670.00 c CG blocks removed during cardinality reduction 0
668.16/670.00 c CG first core best 0
668.16/670.00 c CG decision core best 0
668.16/670.00 c CG core reduction tie 0
668.16/670.00 c CG core degree average 2.05
668.16/670.00 c CG core slack average 3.95
668.16/670.00 c CG exhausted 338
668.16/670.00 c CG exhaust time 595.059 s
668.16/670.00 c CG trimmed 0
668.16/670.00 c CG trim time 0.004534 s
668.16/670.00 c CG minimized 0
668.16/670.00 c CG minimize time 0 s
668.16/670.00 c CG am1 prop time 0.001754 s
668.16/670.00 c CG # am1s reformulated 0
668.16/670.00 c CG lower bound derived from am1s 0
668.16/670.00 c CG # clausal cores 0
668.16/670.00 c CG # cardinality cores 390
668.16/670.00 c CG # pb cores 0
668.16/670.00 c CG # pb reforms 0
668.16/670.00 c CG # cores discarded because of pb reform 0
668.16/670.00 d LOWERBOUND 1170
668.16/670.00 d NCORES 421
668.16/670.00 d NPBCORES 0
668.16/670.00 d NPBREFORM 0
668.16/670.00 d NTRIMMED 0
668.16/670.00 d NEXHAUSTED 338
668.16/670.00 d NAM1S 0
668.16/670.00 d AM1LB 0
668.16/670.00 o 1170
668.16/670.00 s OPTIMUM FOUND
668.16/670.00 v -x1 -x2 -x3 x4 x5 x6 -x7 -x8 -x9 x10 x11 x12 -x13 -x14 -x15 x16 x17 x18 -x19 -x20 -x21 x22 x23 x24 -x25 -x26 -x27 x28 x29 x30 -x31 -x32 -x33 x34 x35 x36 -x37 -x38 -x39 x40 x41 x42 -x43 -x44 -x45 x46 x47 x48 -x49 -x50 -x51 x52 x53 x54 -x55 -x56 -x57 x58 x59 x60 -x61 -x62 -x63 x64 x65 x66 -x67 -x68 -x69 x70 x71 x72 -x73 -x74 -x75 x76 x77 x78 -x79 -x80 -x81 x82 x83 x84 -x85 -x86 -x87 x88 x89 x90 -x91 -x92 -x93 x94 x95 x96 -x97 -x98 -x99 x100 x101 x102 -x103 -x104 -x105 x106 x107 x108 -x109 -x110 -x111 x112 x113 x114 -x115 -x116 -x117 x118 x119 x120 -x121 -x122 -x123 x124 x125 x126 -x127 -x128 -x129 x130 x131 x132 -x133 -x134 -x135 x136 x137 x138 -x139 -x140 -x141 x142 x143 x144 -x145 -x146 -x147 x148 x149 x150 -x151 -x152 -x153 x154 x155 x156 -x157 -x158 -x159 x160 x161 x162 -x163 -x164 -x165 x166 x167 x168 -x169 -x170 -x171 x172 x173 x174 -x175 -x176 -x177 x178 x179 x180 -x181 -x182 -x183 x184 x185 x186 -x187 -x188 -x189 x190 x191 x192 -x193 -x194 -x195 x196 x197 x198 -x199 -x200 -x201 x202 x203 x204 -x205 -x206 -x207 x208 x209 x210 -x211 -x212 -x213 x214 x215 x216 -x217 -x218 -x219 x220 x221 x222 -x223 -x224 -x225 x226 x227 x228 -x229 -x230 -x231 x232 x233 x234 -x235 -x236 -x237 x238 x239 x240 -x241 -x242 -x243 x244 x245 x246 -x247 -x248 -x249 x250 x251 x252 -x253 -x254 -x255 x256 x257 x258 -x259 -x260 -x261 x262 x263 x264 -x265 -x266 -x267 x268 x269 x270 -x271 -x272 -x273 x274 x275 x276 -x277 -x278 -x279 x280 x281 x282 -x283 -x284 -x285 x286 x287 x288 -x289 -x290 -x291 x292 x293 x294 -x295 -x296 -x297 x298 x299 x300 -x301 -x302 -x303 x304 x305 x306 -x307 -x308 -x309 x310 x311 x312 -x313 -x314 -x315 x316 x317 x318 -x319 -x320 -x321 x322 x323 x324 -x325 -x326 -x327 x328 x329 x330 -x331 -x332 -x333 x334 x335 x336 -x337 -x338 -x339 x340 x341 x342 -x343 -x344 -x345 x346 x347 x348 -x349 -x350 -x351 x352 x353 x354 -x355 -x356 -x357 x358 x359 x360 -x361 -x362 -x363 x364 x365 x366 -x367 -x368 -x369 x370 x371 x372 -x373 -x374 -x375 x376 x377 x378 -x379 -x380 -x381 x382 x383 x384 -x385 -x386 -x387 x388 x389 x390 -x391 -x392 -x393 x394 x395 x396 -x397 -x398 -x399 x400 x401 x402 -x403 -x404 -x405 x406 x407 x408 -x409 -x410 -x411 x412 x413 x414 -x415 -x416 -x417 x418 x419 x420 -x421 -x422 -x423 x424 x425 x426 -x427 -x428 -x429 x430 x431 x432 -x433 -x434 -x435 x436 x437 x438 -x439 -x440 -x441 x442 x443 x444 -x445 -x446 -x447 x448 x449 x450 -x451 -x452 -x453 x454 x455 x456 -x457 -x458 -x459 x460 x461 x462 -x463 -x464 -x465 x466 x467 x468 -x469 -x470 -x471 x472 x473 x474 -x475 -x476 -x477 x478 x479 x480 -x481 -x482 -x483 x484 x485 x486 -x487 -x488 -x489 x490 x491 x492 -x493 -x494 -x495 x496 x497 x498 -x499 -x500 -x501 x502 x503 x504 -x505 -x506 -x507 x508 x509 x510 -x511 -x512 -x513 x514 x515 x516 -x517 -x518 -x519 x520 x521 x522 -x523 -x524 -x525 x526 x527 x528 -x529 -x530 -x531 x532 x533 x534 -x535 -x536 -x537 x538 x539 x540 -x541 -x542 -x543 x544 x545 x546 -x547 -x548 -x549 x550 x551 x552 -x553 -x554 -x555 x556 x557 x558 -x559 -x560 -x561 x562 x563 x564 -x565 -x566 -x567 x568 x569 x570 -x571 -x572 -x573 x574 x575 x576 -x577 -x578 -x579 x580 x581 x582 -x583 -x584 -x585 x586 x587 x588 -x589 -x590 -x591 x592 x593 x594 -x595 -x596 -x597 x598 x599 x600 -x601 -x602 -x603 x604 x605 x606 -x607 -x608 -x609 x610 x611 x612 -x613 -x614 -x615 x616 x617 x618 -x619 -x620 -x621 x622 x623 x624 -x625 -x626 -x627 x628 x629 x630 -x631 -x632 -x633 x634 x635 x636 -x637 -x638 -x639 x640 x641 x642 -x643 -x644 -x645 x646 x647 x648 -x649 -x650 -x651 x652 x653 x654 -x655 -x656 -x657 x658 x659 x660 -x661 -x662 -x663 x664 x665 x666 -x667 -x668 -x669 x670 x671 x672 -x673 -x674 -x675 x676 x677 x678 -x679 -x680 -x681 x682 x683 x684 -x685 -x686 -x687 x688 x689 x690 -x691 -x692 -x693 x694 x695 x696 -x697 -x698 -x699 x700 x701 x702 -x703 -x704 -x705 x706 x707 x708 -x709 -x710 -x711 x712 x713 x714 -x715 -x716 -x717 x718 x719 x720 -x721 -x722 -x723 x724 x725 x726 -x727 -x728 -x729 x730 x731 x732 -x733 -x734 -x735 x736 x737 x738 -x739 -x740 -x741 x742 x743 x744 -x745 -x746 -x747 x748 x749 x750 -x751 -x752 -x753 x754 x755 x756 -x757 -x758 -x759 x760 x761 x762 -x763 -x764 -x765 x766 x767 x768 -x769 -x770 -x771 x772 x773 x774 -x775 -x776 -x777 x778 x779 x780 -x781 -x782 -x783 x784 x785 x786 -x787 -x788 -x789 x790 x791 x792 -x793 -x794 -x795 x796 x797 x798 -x799 -x800 -x801 x802 x803 x804 -x805 -x806 -x807 x808 x809 x810 -x811 -x812 -x813 x814 x815 x816 -x817 -x818 -x819 x820 x821 x822 -x823 -x824 -x825 x826 x827 x828 -x829 -x830 -x831 x832 x833 x834 -x835 -x836 -x837 x838 x839 x840 -x841 -x842 -x843 x844 x845 x846 -x847 -x848 -x849 x850 x851 x852 -x853 -x854 -x855 x856 x857 x858 -x859 -x860 -x861 x862 x863 x864 -x865 -x866 -x867 x868 x869 x870 -x871 -x872 -x873 x874 x875 x876 -x877 -x878 -x879 x880 x881 x882 -x883 -x884 -x885 x886 x887 x888 -x889 -x890 -x891 x892 x893 x894 -x895 -x896 -x897 x898 x899 x900 -x901 -x902 -x903 x904 x905 x906 -x907 -x908 -x909 x910 x911 x912 -x913 -x914 -x915 x916 x917 x918 -x919 -x920 -x921 x922 x923 x924 -x925 -x926 -x927 x928 x929 x930 -x931 -x932 -x933 x934 x935 x936 -x937 -x938 -x939 x940 x941 x942 -x943 -x944 -x945 x946 x947 x948 -x949 -x950 -x951 x952 x953 x954 -x955 -x956 -x957 x958 x959 x960 -x961 -x962 -x963 x964 x965 x966 -x967 -x968 -x969 x970 x971 x972 -x973 -x974 -x975 x976 x977 x978 -x979 -x980 -x981 x982 x983 x984 -x985 -x986 -x987 x988 x989 x990 -x991 -x992 -x993 x994 x995 x996 -x997 -x998 -x999 x1000 x1001 x1002 -x1003 -x1004 -x1005 x1006 x1007 x1008 -x1009 -x1010 -x1011 x1012 x1013 x1014 -x1015 -x1016 -x1017 x1018 x1019 x1020 -x1021 -x1022 -x1023 x1024 x1025 x1026 -x1027 -x1028 -x1029 x1030 x1031 x1032 -x1033 -x1034 -x1035 x1036 x1037 x1038 -x1039 -x1040 -x1041 x1042 x1043 x1044 -x1045 -x1046 -x1047 x1048 x1049 x1050 -x1051 -x1052 -x1053 x1054 x1055 x1056 -x1057 -x1058 -x1059 x1060 x1061 x1062 -x1063 -x1064 -x1065 x1066 x1067 x1068 -x1069 -x1070 -x1071 x1072 x1073 x1074 -x1075 -x1076 -x1077 x1078 x1079 x1080 -x1081 -x1082 -x1083 x1084 x1085 x1086 -x1087 -x1088 -x1089 x1090 x1091 x1092 -x1093 -x1094 -x1095 x1096 x1097 x1098 -x1099 -x1100 -x1101 x1102 x1103 x1104 -x1105 -x1106 -x1107 x1108 x1109 x1110 -x1111 -x1112 -x1113 x1114 x1115 x1116 -x1117 -x1118 -x1119 x1120 x1121 x1122 -x1123 -x1124 -x1125 x1126 x1127 x1128 -x1129 -x1130 -x1131 x1132 x1133 x1134 -x1135 -x1136 -x1137 x1138 x1139 x1140 -x1141 -x1142 -x1143 x1144 x1145 x1146 -x1147 -x1148 -x1149 x1150 x1151 x1152 -x1153 -x1154 -x1155 x1156 x1157 x1158 -x1159 -x1160 -x1161 x1162 x1163 x1164 -x1165 -x1166 -x1167 x1168 x1169 x1170 -x1171 -x1172 -x1173 x1174 x1175 x1176 -x1177 -x1178 -x1179 x1180 x1181 x1182 -x1183 -x1184 -x1185 x1186 x1187 x1188 -x1189 -x1190 -x1191 x1192 x1193 x1194 -x1195 -x1196 -x1197 x1198 x1199 x1200 -x1201 -x1202 -x1203 x1204 x1205 x1206 -x1207 -x1208 -x1209 x1210 x1211 x1212 -x1213 -x1214 -x1215 x1216 x1217 x1218 -x1219 -x1220 -x1221 x1222 x1223 x1224 -x1225 -x1226 -x1227 x1228 x1229 x1230 -x1231 -x1232 -x1233 x1234 x1235 x1236 -x1237 -x1238 -x1239 x1240 x1241 x1242 -x1243 -x1244 -x1245 x1246 x1247 x1248 -x1249 -x1250 -x1251 x1252 x1253 x1254 -x1255 -x1256 -x1257 x1258 x1259 x1260 -x1261 -x1262 -x1263 x1264 x1265 x1266 -x1267 -x1268 -x1269 x1270 x1271 x1272 -x1273 -x1274 -x1275 x1276 x1277 x1278 -x1279 -x1280 -x1281 x1282 x1283 x1284 -x1285 -x1286 -x1287 x1288 x1289 x1290 -x1291 -x1292 -x1293 x1294 x1295 x1296 -x1297 -x1298 -x1299 x1300 x1301 x1302 -x1303 -x1304 -x1305 x1306 x1307 x1308 -x1309 -x1310 -x1311 x1312 x1313 x1314 -x1315 -x1316 -x1317 x1318 x1319 x1320 -x1321 -x1322 -x1323 x1324 x1325 x1326 -x1327 -x1328 -x1329 x1330 x1331 x1332 -x1333 -x1334 -x1335 x1336 x1337 x1338 -x1339 -x1340 -x1341 x1342 x1343 x1344 -x1345 -x1346 -x1347 x1348 x1349 x1350 -x1351 -x1352 -x1353 x1354 x1355 x1356 -x1357 -x1358 -x1359 x1360 x1361 x1362 -x1363 -x1364 -x1365 x1366 x1367 x1368 -x1369 -x1370 -x1371 x1372 x1373 x1374 -x1375 -x1376 -x1377 x1378 x1379 x1380 -x1381 -x1382 -x1383 x1384 x1385 x1386 -x1387 -x1388 -x1389 x1390 x1391 x1392 -x1393 -x1394 -x1395 x1396 x1397 x1398 -x1399 -x1400 -x1401 x1402 x1403 x1404 -x1405 -x1406 -x1407 x1408 x1409 x1410 -x1411 -x1412 -x1413 x1414 x1415 x1416 -x1417 -x1418 -x1419 x1420 x1421 x1422 -x1423 -x1424 -x1425 x1426 x1427 x1428 -x1429 -x1430 -x1431 x1432 x1433 x1434 -x1435 -x1436 -x1437 x1438 x1439 x1440 -x1441 -x1442 -x1443 x1444 x1445 x1446 -x1447 -x1448 -x1449 x1450 x1451 x1452 -x1453 -x1454 -x1455 x1456 x1457 x1458 -x1459 -x1460 -x1461 x1462 x1463 x1464 -x1465 -x1466 -x1467 x1468 x1469 x1470 -x1471 -x1472 -x1473 x1474 x1475 x1476 -x1477 -x1478 -x1479 x1480 x1481 x1482 -x1483 -x1484 -x1485 x1486 x1487 x1488 -x1489 -x1490 -x1491 x1492 x1493 x1494 -x1495 -x1496 -x1497 x1498 x1499 x1500 -x1501 -x1502 -x1503 x1504 x1505 x1506 -x1507 -x1508 -x1509 x1510 x1511 x1512 -x1513 -x1514 -x1515 x1516 x1517 x1518 -x1519 -x1520 -x1521 x1522 x1523 x1524 -x1525 -x1526 -x1527 x1528 x1529 x1530 -x1531 -x1532 -x1533 x1534 x1535 x1536 -x1537 -x1538 -x1539 x1540 x1541 x1542 -x1543 -x1544 -x1545 x1546 x1547 x1548 -x1549 -x1550 -x1551 x1552 x1553 x1554 -x1555 -x1556 -x1557 x1558 x1559 x1560 -x1561 -x1562 -x1563 x1564 x1565 x1566 -x1567 -x1568 -x1569 x1570 x1571 x1572 -x1573 -x1574 -x1575 x1576 x1577 x1578 -x1579 -x1580 -x1581 x1582 x1583 x1584 -x1585 -x1586 -x1587 x1588 x1589 x1590 -x1591 -x1592 -x1593 x1594 x1595 x1596 -x1597 -x1598 -x1599 x1600 x1601 x1602 -x1603 -x1604 -x1605 x1606 x1607 x1608 -x1609 -x1610 -x1611 x1612 x1613 x1614 -x1615 -x1616 -x1617 x1618 x1619 x1620 -x1621 -x1622 -x1623 x1624 x1625 x1626 -x1627 -x1628 -x1629 x1630 x1631 x1632 -x1633 -x1634 -x1635 x1636 x1637 x1638 -x1639 -x1640 -x1641 x1642 x1643 x1644 -x1645 -x1646 -x1647 x1648 x1649 x1650 -x1651 -x1652 -x1653 x1654 x1655 x1656 -x1657 -x1658 -x1659 x1660 x1661 x1662 -x1663 -x1664 -x1665 x1666 x1667 x1668 -x1669 -x1670 -x1671 x1672 x1673 x1674 -x1675 -x1676 -x1677 x1678 x1679 x1680 -x1681 -x1682 -x1683 x1684 x1685 x1686 -x1687 -x1688 -x1689 x1690 x1691 x1692 -x1693 -x1694 -x1695 x1696 x1697 x1698 -x1699 -x1700 -x1701 x1702 x1703 x1704 -x1705 -x1706 -x1707 x1708 x1709 x1710 -x1711 -x1712 -x1713 x1714 x1715 x1716 -x1717 -x1718 -x1719 x1720 x1721 x1722 -x1723 -x1724 -x1725 x1726 x1727 x1728 -x1729 -x1730 -x1731 x1732 x1733 x1734 -x1735 -x1736 -x1737 x1738 x1739 x1740 -x1741 -x1742 -x1743 x1744 x1745 x1746 -x1747 -x1748 -x1749 x1750 x1751 x1752 -x1753 -x1754 -x1755 x1756 x1757 x1758 -x1759 -x1760 -x1761 x1762 x1763 x1764 -x1765 -x1766 -x1767 x1768 x1769 x1770 -x1771 -x1772 -x1773 x1774 x1775 x1776 -x1777 -x1778 -x1779 x1780 x1781 x1782 -x1783 -x1784 -x1785 x1786 x1787 x1788 -x1789 -x1790 -x1791 x1792 x1793 x1794 -x1795 -x1796 -x1797 x1798 x1799 x1800 -x1801 -x1802 -x1803 x1804 x1805 x1806 -x1807 -x1808 -x1809 x1810 x1811 x1812 -x1813 -x1814 -x1815 x1816 x1817 x1818 -x1819 -x1820 -x1821 x1822 x1823 x1824 -x1825 -x1826 -x1827 x1828 x1829 x1830 -x1831 -x1832 -x1833 x1834 x1835 x1836 -x1837 -x1838 -x1839 x1840 x1841 x1842 -x1843 -x1844 -x1845 x1846 x1847 x1848 -x1849 -x1850 -x1851 x1852 x1853 x1854 -x1855 -x1856 -x1857 x1858 x1859 x1860 -x1861 -x1862 -x1863 x1864 x1865 x1866 -x1867 -x1868 -x1869 x1870 x1871 x1872 -x1873 -x1874 -x1875 x1876 x1877 x1878 -x1879 -x1880 -x1881 x1882 x1883 x1884 -x1885 -x1886 -x1887 x1888 x1889 x1890 -x1891 -x1892 -x1893 x1894 x1895 x1896 -x1897 -x1898 -x1899 x1900 x1901 x1902 -x1903 -x1904 -x1905 x1906 x1907 x1908 -x1909 -x1910 -x1911 x1912 x1913 x1914 -x1915 -x1916 -x1917 x1918 x1919 x1920 -x1921 -x1922 -x1923 x1924 x1925 x1926 -x1927 -x1928 -x1929 x1930 x1931 x1932 -x1933 -x1934 -x1935 x1936 x1937 x1938 -x1939 -x1940 -x1941 x1942 x1943 x1944 -x1945 -x1946 -x1947 x1948 x1949 x1950 -x1951 -x1952 -x1953 x1954 x1955 x1956 -x1957 -x1958 -x1959 x1960 x1961 x1962 -x1963 -x1964 -x1965 x1966 x1967 x1968 -x1969 -x1970 -x1971 x1972 x1973 x1974 -x1975 -x1976 -x1977 x1978 x1979 x1980 -x1981 -x1982 -x1983 x1984 x1985 x1986 -x1987 -x1988 -x1989 x1990 x1991 x1992 -x1993 -x1994 -x1995 x1996 x1997 x1998 -x1999 -x2000 -x2001 x2002 x2003 x2004 -x2005 -x2006 -x2007 x2008 x2009 x2010 -x2011 -x2012 -x2013 x2014 x2015 x2016 -x2017 -x2018 -x2019 x2020 x2021 x2022 -x2023 -x2024 -x2025 x2026 x2027 x2028 -x2029 -x2030 -x2031 x2032 x2033 x2034 -x2035 -x2036 -x2037 x2038 x2039 x2040 -x2041 -x2042 -x2043 x2044 x2045 x2046 -x2047 -x2048 -x2049 x2050 x2051 x2052 -x2053 -x2054 -x2055 x2056 x2057 x2058 -x2059 -x2060 -x2061 x2062 x2063 x2064 -x2065 -x2066 -x2067 x2068 x2069 x2070 -x2071 -x2072 -x2073 x2074 x2075 x2076 -x2077 -x2078 -x2079 x2080 x2081 x2082 -x2083 -x2084 -x2085 x2086 x2087 x2088 -x2089 -x2090 -x2091 x2092 x2093 x2094 -x2095 -x2096 -x2097 x2098 x2099 x2100 -x2101 -x2102 -x2103 x2104 x2105 x2106 -x2107 -x2108 -x2109 x2110 x2111 x2112 -x2113 -x2114 -x2115 x2116 x2117 x2118 -x2119 -x2120 -x2121 x2122 x2123 x2124 -x2125 -x2126 -x2127 x2128 x2129 x2130 -x2131 -x2132 -x2133 x2134 x2135 x2136 -x2137 -x2138 -x2139 x2140 x2141 x2142 -x2143 -x2144 -x2145 x2146 x2147 x2148 -x2149 -x2150 -x2151 x2152 x2153 x2154 -x2155 -x2156 -x2157 x2158 x2159 x2160 -x2161 -x2162 -x2163 x2164 x2165 x2166 -x2167 -x2168 -x2169 x2170 x2171 x2172 -x2173 -x2174 -x2175 x2176 x2177 x2178 -x2179 -x2180 -x2181 x2182 x2183 x2184 -x2185 -x2186 -x2187 x2188 x2189 x2190 -x2191 -x2192 -x2193 x2194 x2195 x2196 -x2197 -x2198 -x2199 x2200 x2201 x2202 -x2203 -x2204 -x2205 x2206 x2207 x2208 -x2209 -x2210 -x2211 x2212 x2213 x2214 -x2215 -x2216 -x2217 x2218 x2219 x2220 -x2221 -x2222 -x2223 x2224 x2225 x2226 -x2227 -x2228 -x2229 x2230 x2231 x2232 -x2233 -x2234 -x2235 x2236 x2237 x2238 -x2239 -x2240 -x2241 x2242 x2243 x2244 -x2245 -x2246 -x2247 x2248 x2249 x2250 -x2251 -x2252 -x2253 x2254 x2255 x2256 -x2257 -x2258 -x2259 x2260 x2261 x2262 -x2263 -x2264 -x2265 x2266 x2267 x2268 -x2269 -x2270 -x2271 x2272 x2273 x2274 -x2275 -x2276 -x2277 x2278 x2279 x2280 -x2281 -x2282 -x2283 x2284 x2285 x2286 -x2287 -x2288 -x2289 x2290 x2291 x2292 -x2293 -x2294 -x2295 x2296 x2297 x2298 -x2299 -x2300 -x2301 x2302 x2303 x2304 -x2305 -x2306 -x2307 x2308 x2309 x2310 -x2311 -x2312 -x2313 x2314 x2315 x2316 -x2317 -x2318 -x2319 x2320 x2321 x2322 -x2323 -x2324 -x2325 x2326 x2327 x2328 -x2329 -x2330 -x2331 x2332 x2333 x2334 -x2335 x2336 -x2337 -x2338 x2339 x2340
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: 63708 MiB (61640 MiB free)
memory of node 1: 64465 MiB (61569 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4520384-1751569676/watcher-4520384-1751569676 -o /tmp/evaluation-result-4520384-1751569676/solver-4520384-1751569676 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751565852-81860 --watchdog 3760 pb-oll-rs HOME/instance-4520384-1751569676.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=82381, runsolver pid=82378
Current StackSize limit: 8192 KiB
[startup+0.100067 s]*
/proc/loadavg: 4.11 4.09 4.04 5/265 82382
/proc/meminfo: memFree=126163232/131249996 swapFree=33006296/33010684
[pid=82381] ppid=82378 vsize=22548 memory=11952 CPUtime=0.09 cores=0,2
/proc/82381/stat : 82381 (pb-oll-rs) R 82378 82381 81850 0 -1 4194304 1392 0 0 0 8 1 0 0 20 0 1 0 72645053 23089152 2988 18446744073709551615 4218880 5211445 140735100973696 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 7270400 140735100975516 140735100975593 140735100975593 140735100981195 0
/proc/82381/statm: 5637 2988 1376 243 0 1886 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 22548 KiB
Current children cumulated memory: 11952 KiB
[startup+0.205566 s]*
/proc/loadavg: 4.11 4.09 4.04 5/265 82382
/proc/meminfo: memFree=126155168/131249996 swapFree=33006296/33010684
[pid=82381] ppid=82378 vsize=30792 memory=20456 CPUtime=0.19 cores=0,2
/proc/82381/stat : 82381 (pb-oll-rs) R 82378 82381 81850 0 -1 4194304 2990 0 0 0 18 1 0 0 20 0 1 0 72645053 31531008 5114 18446744073709551615 4218880 5211445 140735100973696 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 7270400 140735100975516 140735100975593 140735100975593 140735100981195 0
/proc/82381/statm: 7698 5114 1376 243 0 3947 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 30792 KiB
Current children cumulated memory: 20456 KiB
[startup+0.30539 s]*
/proc/loadavg: 4.11 4.09 4.04 5/265 82382
/proc/meminfo: memFree=126142784/131249996 swapFree=33006296/33010684
[pid=82381] ppid=82378 vsize=39708 memory=28168 CPUtime=0.29 cores=0,2
/proc/82381/stat : 82381 (pb-oll-rs) R 82378 82381 81850 0 -1 4194304 4411 0 0 0 28 1 0 0 20 0 1 0 72645053 40660992 7042 18446744073709551615 4218880 5211445 140735100973696 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 7270400 140735100975516 140735100975593 140735100975593 140735100981195 0
/proc/82381/statm: 9927 7042 1376 243 0 6176 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 39708 KiB
Current children cumulated memory: 28168 KiB
[startup+0.700178 s]
/proc/loadavg: 4.11 4.09 4.04 5/265 82382
/proc/meminfo: memFree=126102588/131249996 swapFree=33006296/33010684
[pid=82381] ppid=82378 vsize=67960 memory=46600 CPUtime=0.68 cores=0,2
/proc/82381/stat : 82381 (pb-oll-rs) R 82378 82381 81850 0 -1 4194304 7492 0 0 0 65 3 0 0 20 0 1 0 72645053 69591040 11650 18446744073709551615 4218880 5211445 140735100973696 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 7270400 140735100975516 140735100975593 140735100975593 140735100981195 0
/proc/82381/statm: 16990 11650 1376 243 0 13239 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 67960 KiB
Current children cumulated memory: 46600 KiB
[startup+1.50018 s]
/proc/loadavg: 4.11 4.09 4.04 5/265 82382
/proc/meminfo: memFree=126078268/131249996 swapFree=33006296/33010684
[pid=82381] ppid=82378 vsize=85304 memory=65992 CPUtime=1.47 cores=0,2
/proc/82381/stat : 82381 (pb-oll-rs) R 82378 82381 81850 0 -1 4194304 11318 0 0 0 142 5 0 0 20 0 1 0 72645053 87351296 16498 18446744073709551615 4218880 5211445 140735100973696 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 7270400 140735100975516 140735100975593 140735100975593 140735100981195 0
/proc/82381/statm: 21326 16498 1376 243 0 17575 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 85304 KiB
Current children cumulated memory: 65992 KiB
[startup+3.10533 s]
/proc/loadavg: 4.11 4.09 4.04 5/265 82382
/proc/meminfo: memFree=126074676/131249996 swapFree=33006296/33010684
[pid=82381] ppid=82378 vsize=86448 memory=75704 CPUtime=3.08 cores=0,2
/proc/82381/stat : 82381 (pb-oll-rs) R 82378 82381 81850 0 -1 4194304 12713 0 0 0 298 10 0 0 20 0 1 0 72645053 88522752 18926 18446744073709551615 4218880 5211445 140735100973696 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 7270400 140735100975516 140735100975593 140735100975593 140735100981195 0
/proc/82381/statm: 21612 18926 1376 243 0 17861 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 86448 KiB
Current children cumulated memory: 75704 KiB
[startup+6.30017 s]
/proc/loadavg: 4.10 4.08 4.04 5/265 82382
/proc/meminfo: memFree=126030888/131249996 swapFree=33006296/33010684
[pid=82381] ppid=82378 vsize=142076 memory=118080 CPUtime=6.26 cores=0,2
/proc/82381/stat : 82381 (pb-oll-rs) R 82378 82381 81850 0 -1 4194304 19736 0 0 0 608 18 0 0 20 0 1 0 72645053 145485824 29520 18446744073709551615 4218880 5211445 140735100973696 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 7270400 140735100975516 140735100975593 140735100975593 140735100981195 0
/proc/82381/statm: 35519 29520 1376 243 0 31768 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 142076 KiB
Current children cumulated memory: 118080 KiB
[startup+12.7002 s]
/proc/loadavg: 4.09 4.08 4.04 5/265 82382
/proc/meminfo: memFree=126006256/131249996 swapFree=33006296/33010684
[pid=82381] ppid=82378 vsize=176096 memory=141388 CPUtime=12.65 cores=0,2
/proc/82381/stat : 82381 (pb-oll-rs) R 82378 82381 81850 0 -1 4194304 22523 0 0 0 1236 29 0 0 20 0 1 0 72645053 180322304 35347 18446744073709551615 4218880 5211445 140735100973696 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 7270400 140735100975516 140735100975593 140735100975593 140735100981195 0
/proc/82381/statm: 44024 35347 1376 243 0 40273 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 176096 KiB
Current children cumulated memory: 141388 KiB
[startup+25.5002 s]
/proc/loadavg: 4.07 4.08 4.03 5/265 82383
/proc/meminfo: memFree=125937932/131249996 swapFree=33006296/33010684
[pid=82381] ppid=82378 vsize=214056 memory=183788 CPUtime=25.41 cores=0,2
/proc/82381/stat : 82381 (pb-oll-rs) R 82378 82381 81850 0 -1 4194304 29025 0 0 0 2492 49 0 0 20 0 1 0 72645053 219193344 45947 18446744073709551615 4218880 5211445 140735100973696 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 7270400 140735100975516 140735100975593 140735100975593 140735100981195 0
/proc/82381/statm: 53514 45947 1376 243 0 49763 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 214056 KiB
Current children cumulated memory: 183788 KiB
[startup+51.1055 s]
/proc/loadavg: 4.11 4.09 4.04 5/265 82383
/proc/meminfo: memFree=125862068/131249996 swapFree=33006296/33010684
[pid=82381] ppid=82378 vsize=301340 memory=243744 CPUtime=50.94 cores=0,2
/proc/82381/stat : 82381 (pb-oll-rs) R 82378 82381 81850 0 -1 4194304 37870 0 0 0 5010 84 0 0 20 0 1 0 72645053 308572160 60936 18446744073709551615 4218880 5211445 140735100973696 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 7270400 140735100975516 140735100975593 140735100975593 140735100981195 0
/proc/82381/statm: 75335 60936 1376 243 0 71584 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 301340 KiB
Current children cumulated memory: 243744 KiB
[startup+102.3 s]
/proc/loadavg: 4.11 4.09 4.04 5/265 82387
/proc/meminfo: memFree=125597332/131249996 swapFree=33006296/33010684
[pid=82381] ppid=82378 vsize=426764 memory=308912 CPUtime=102 cores=0,2
/proc/82381/stat : 82381 (pb-oll-rs) R 82378 82381 81850 0 -1 4194304 47014 0 0 0 10044 156 0 0 20 0 1 0 72645053 437006336 77228 18446744073709551615 4218880 5211445 140735100973696 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 7270400 140735100975516 140735100975593 140735100975593 140735100981195 0
/proc/82381/statm: 106691 77228 1376 243 0 102940 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 426764 KiB
Current children cumulated memory: 308912 KiB
[startup+162.3 s]
/proc/loadavg: 4.24 4.12 4.05 5/265 82389
/proc/meminfo: memFree=125363888/131249996 swapFree=33006296/33010684
[pid=82381] ppid=82378 vsize=464912 memory=351400 CPUtime=161.84 cores=0,2
/proc/82381/stat : 82381 (pb-oll-rs) R 82378 82381 81850 0 -1 4194304 54093 0 0 0 15951 233 0 0 20 0 1 0 72645053 476069888 87850 18446744073709551615 4218880 5211445 140735100973696 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 7270400 140735100975516 140735100975593 140735100975593 140735100981195 0
/proc/82381/statm: 116228 87850 1376 243 0 112477 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 464912 KiB
Current children cumulated memory: 351400 KiB
[startup+222.3 s]
/proc/loadavg: 4.26 4.15 4.07 5/264 82392
/proc/meminfo: memFree=125204012/131249996 swapFree=33006296/33010684
[pid=82381] ppid=82378 vsize=491028 memory=388560 CPUtime=221.67 cores=0,2
/proc/82381/stat : 82381 (pb-oll-rs) R 82378 82381 81850 0 -1 4194304 59303 0 0 0 21860 307 0 0 20 0 1 0 72645053 502812672 97140 18446744073709551615 4218880 5211445 140735100973696 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 7270400 140735100975516 140735100975593 140735100975593 140735100981195 0
/proc/82381/statm: 122757 97140 1376 243 0 119006 0
Current children cumulated CPU time: 221.67 s
Current children cumulated vsize: 491028 KiB
Current children cumulated memory: 388560 KiB
[startup+282.3 s]
/proc/loadavg: 4.15 4.14 4.07 5/265 82397
/proc/meminfo: memFree=124994292/131249996 swapFree=33006296/33010684
[pid=82381] ppid=82378 vsize=534808 memory=440680 CPUtime=281.51 cores=0,2
/proc/82381/stat : 82381 (pb-oll-rs) R 82378 82381 81850 0 -1 4194304 67285 0 0 0 27780 371 0 0 20 0 1 0 72645053 547643392 110170 18446744073709551615 4218880 5211445 140735100973696 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 7270400 140735100975516 140735100975593 140735100975593 140735100981195 0
/proc/82381/statm: 133702 110170 1376 243 0 129951 0
Current children cumulated CPU time: 281.51 s
Current children cumulated vsize: 534808 KiB
Current children cumulated memory: 440680 KiB
[startup+342.3 s]
/proc/loadavg: 4.12 4.14 4.07 5/265 82399
/proc/meminfo: memFree=124706360/131249996 swapFree=33006296/33010684
[pid=82381] ppid=82378 vsize=539928 memory=447464 CPUtime=341.35 cores=0,2
/proc/82381/stat : 82381 (pb-oll-rs) R 82378 82381 81850 0 -1 4194304 68963 0 0 0 33696 439 0 0 20 0 1 0 72645053 552886272 111866 18446744073709551615 4218880 5211445 140735100973696 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 7270400 140735100975516 140735100975593 140735100975593 140735100981195 0
/proc/82381/statm: 134982 111866 1376 243 0 131231 0
Current children cumulated CPU time: 341.35 s
Current children cumulated vsize: 539928 KiB
Current children cumulated memory: 447464 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 4.13 4.07 5/265 82406
/proc/meminfo: memFree=124404592/131249996 swapFree=33006296/33010684
[pid=82381] ppid=82378 vsize=686688 memory=494876 CPUtime=401.17 cores=0,2
/proc/82381/stat : 82381 (pb-oll-rs) R 82378 82381 81850 0 -1 4194304 73676 0 0 0 39616 501 0 0 20 0 1 0 72645053 703168512 123719 18446744073709551615 4218880 5211445 140735100973696 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 7270400 140735100975516 140735100975593 140735100975593 140735100981195 0
/proc/82381/statm: 171672 123719 1376 243 0 167921 0
Current children cumulated CPU time: 401.17 s
Current children cumulated vsize: 686688 KiB
Current children cumulated memory: 494876 KiB
[startup+462.3 s]
/proc/loadavg: 4.07 4.11 4.07 5/265 82409
/proc/meminfo: memFree=124325072/131249996 swapFree=33006296/33010684
[pid=82381] ppid=82378 vsize=691300 memory=519464 CPUtime=461.01 cores=0,2
/proc/82381/stat : 82381 (pb-oll-rs) R 82378 82381 81850 0 -1 4194304 76254 0 0 0 45548 553 0 0 20 0 1 0 72645053 707891200 129866 18446744073709551615 4218880 5211445 140735100973696 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 7270400 140735100975516 140735100975593 140735100975593 140735100981195 0
/proc/82381/statm: 172825 129866 1376 243 0 169074 0
Current children cumulated CPU time: 461.01 s
Current children cumulated vsize: 691300 KiB
Current children cumulated memory: 519464 KiB
[startup+522.3 s]
/proc/loadavg: 4.13 4.12 4.08 5/265 82411
/proc/meminfo: memFree=124245452/131249996 swapFree=33006296/33010684
[pid=82381] ppid=82378 vsize=692928 memory=524584 CPUtime=520.85 cores=0,2
/proc/82381/stat : 82381 (pb-oll-rs) R 82378 82381 81850 0 -1 4194304 77507 0 0 0 51477 608 0 0 20 0 1 0 72645053 709558272 131146 18446744073709551615 4218880 5211445 140735100973696 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 7270400 140735100975516 140735100975593 140735100975593 140735100981195 0
/proc/82381/statm: 173232 131146 1376 243 0 169481 0
Current children cumulated CPU time: 520.85 s
Current children cumulated vsize: 692928 KiB
Current children cumulated memory: 524584 KiB
[startup+582.3 s]
/proc/loadavg: 4.10 4.11 4.08 5/264 82413
/proc/meminfo: memFree=124115512/131249996 swapFree=33006296/33010684
[pid=82381] ppid=82378 vsize=695360 memory=546608 CPUtime=580.68 cores=0,2
/proc/82381/stat : 82381 (pb-oll-rs) R 82378 82381 81850 0 -1 4194304 79470 0 0 0 57416 652 0 0 20 0 1 0 72645053 712048640 136652 18446744073709551615 4218880 5211445 140735100973696 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 7270400 140735100975516 140735100975593 140735100975593 140735100981195 0
/proc/82381/statm: 173840 136652 1376 243 0 170089 0
Current children cumulated CPU time: 580.68 s
Current children cumulated vsize: 695360 KiB
Current children cumulated memory: 546608 KiB
[startup+642.3 s]
/proc/loadavg: 4.12 4.11 4.08 5/264 82415
/proc/meminfo: memFree=123872052/131249996 swapFree=33006296/33010684
[pid=82381] ppid=82378 vsize=696384 memory=549680 CPUtime=640.52 cores=0,2
/proc/82381/stat : 82381 (pb-oll-rs) R 82378 82381 81850 0 -1 4194304 80215 0 0 0 63352 700 0 0 20 0 1 0 72645053 713097216 137420 18446744073709551615 4218880 5211445 140735100973696 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 7270400 140735100975516 140735100975593 140735100975593 140735100981195 0
/proc/82381/statm: 174096 137420 1376 243 0 170345 0
Current children cumulated CPU time: 640.52 s
Current children cumulated vsize: 696384 KiB
Current children cumulated memory: 549680 KiB
[startup+670.032 s]
# the end of solver process 82381 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=660.941 s, system=7.25136 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+652.8 s]
/proc/loadavg: 4.10 4.10 4.08 5/264 82415
/proc/meminfo: memFree=123851596/131249996 swapFree=33006296/33010684
[pid=82381] ppid=82378 vsize=696640 memory=563480 CPUtime=651 cores=0,2
/proc/82381/stat : 82381 (pb-oll-rs) R 82378 82381 81850 0 -1 4194304 80605 0 0 0 64389 711 0 0 20 0 1 0 72645053 713359360 140870 18446744073709551615 4218880 5211445 140735100973696 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 7270400 140735100975516 140735100975593 140735100975593 140735100981195 0
/proc/82381/statm: 174160 140870 1376 243 0 170409 0
Current children cumulated CPU time: 651 s
Current children cumulated vsize: 696640 KiB
Current children cumulated memory: 563480 KiB
[startup+659.2 s]
/proc/loadavg: 4.09 4.10 4.08 5/264 82415
/proc/meminfo: memFree=123835212/131249996 swapFree=33006296/33010684
[pid=82381] ppid=82378 vsize=696640 memory=563608 CPUtime=657.38 cores=0,2
/proc/82381/stat : 82381 (pb-oll-rs) R 82378 82381 81850 0 -1 4194304 80645 0 0 0 65023 715 0 0 20 0 1 0 72645053 713359360 140902 18446744073709551615 4218880 5211445 140735100973696 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 7270400 140735100975516 140735100975593 140735100975593 140735100981195 0
/proc/82381/statm: 174160 140902 1376 243 0 170409 0
Current children cumulated CPU time: 657.38 s
Current children cumulated vsize: 696640 KiB
Current children cumulated memory: 563608 KiB
[startup+665.6 s]
/proc/loadavg: 4.08 4.10 4.08 5/265 82417
/proc/meminfo: memFree=123832128/131249996 swapFree=33006296/33010684
[pid=82381] ppid=82378 vsize=696640 memory=564760 CPUtime=663.76 cores=0,2
/proc/82381/stat : 82381 (pb-oll-rs) R 82378 82381 81850 0 -1 4194304 80940 0 0 0 65657 719 0 0 20 0 1 0 72645053 713359360 141190 18446744073709551615 4218880 5211445 140735100973696 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 7270400 140735100975516 140735100975593 140735100975593 140735100981195 0
/proc/82381/statm: 174160 141190 1376 243 0 170409 0
Current children cumulated CPU time: 663.76 s
Current children cumulated vsize: 696640 KiB
Current children cumulated memory: 564760 KiB
[startup+667.2 s]
/proc/loadavg: 4.08 4.10 4.08 5/265 82417
/proc/meminfo: memFree=123831880/131249996 swapFree=33006296/33010684
[pid=82381] ppid=82378 vsize=698944 memory=566936 CPUtime=665.36 cores=0,2
/proc/82381/stat : 82381 (pb-oll-rs) R 82378 82381 81850 0 -1 4194304 81479 0 0 0 65816 720 0 0 20 0 1 0 72645053 715718656 141734 18446744073709551615 4218880 5211445 140735100973696 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 7270400 140735100975516 140735100975593 140735100975593 140735100981195 0
/proc/82381/statm: 174736 141734 1376 243 0 170985 0
Current children cumulated CPU time: 665.36 s
Current children cumulated vsize: 698944 KiB
Current children cumulated memory: 566936 KiB
[startup+668.8 s]
/proc/loadavg: 4.08 4.10 4.08 5/265 82417
/proc/meminfo: memFree=123823816/131249996 swapFree=33006296/33010684
[pid=82381] ppid=82378 vsize=701248 memory=569368 CPUtime=666.95 cores=0,2
/proc/82381/stat : 82381 (pb-oll-rs) R 82378 82381 81850 0 -1 4194304 82081 0 0 0 65974 721 0 0 20 0 1 0 72645053 718077952 142342 18446744073709551615 4218880 5211445 140735100973696 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 7270400 140735100975516 140735100975593 140735100975593 140735100981195 0
/proc/82381/statm: 175312 142342 1376 243 0 171561 0
Current children cumulated CPU time: 666.95 s
Current children cumulated vsize: 701248 KiB
Current children cumulated memory: 569368 KiB
[startup+669.6 s]
/proc/loadavg: 4.08 4.10 4.08 5/265 82417
/proc/meminfo: memFree=123823816/131249996 swapFree=33006296/33010684
[pid=82381] ppid=82378 vsize=701504 memory=569624 CPUtime=667.75 cores=0,2
/proc/82381/stat : 82381 (pb-oll-rs) R 82378 82381 81850 0 -1 4194304 82153 0 0 0 66053 722 0 0 20 0 1 0 72645053 718340096 142406 18446744073709551615 4218880 5211445 140735100973696 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 7270400 140735100975516 140735100975593 140735100975593 140735100981195 0
/proc/82381/statm: 175376 142406 1376 243 0 171625 0
Current children cumulated CPU time: 667.75 s
Current children cumulated vsize: 701504 KiB
Current children cumulated memory: 569624 KiB
[startup+670 s]*
/proc/loadavg: 4.07 4.10 4.08 5/265 82417
/proc/meminfo: memFree=123823816/131249996 swapFree=33006296/33010684
[pid=82381] ppid=82378 vsize=701504 memory=569624 CPUtime=668.16 cores=0,2
/proc/82381/stat : 82381 (pb-oll-rs) R 82378 82381 81850 0 -1 4194304 82153 0 0 0 66093 723 0 0 20 0 1 0 72645053 718340096 142406 18446744073709551615 4218880 5211445 140735100973696 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 7270400 140735100975516 140735100975593 140735100975593 140735100981195 0
/proc/82381/statm: 175376 142406 1376 243 0 171625 0
Current children cumulated CPU time: 668.16 s
Current children cumulated vsize: 701504 KiB
Current children cumulated memory: 569624 KiB
Child status: 0
Real time (s): 670.032
CPU time (s): 668.193
CPU user time (s): 660.941
CPU system time (s): 7.25136
CPU usage (%): 99.7256
Max. virtual memory (cumulated for all children) (KiB): 701504
Max. memory (cumulated for all children) (KiB): 569624
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 660.941
system time used= 7.25136
maximum resident set size= 569624
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 82164
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 82
involuntary context switches= 918
# summary of solver processes directly reported to runsolver:
# pid: 82381
# total CPU time (s): 668.193
# total CPU user time (s): 660.941
# total CPU system time (s): 7.25136
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.10244 second user time and 3.14036 second system time
The end
Begin job on nodeC015 at 2025-07-03 21:07:56
IDJOB=4520384
IDBENCH=177928
IDSOLVER=3345
FILE ID=nodeC015/4520384-1751569676
RUNJOBID= nodeC015-1751565852-81860
SLURM_JOB_ID= 9598775
Free space on /tmp= 432364 MiB
SOLVER NAME= pb-oll-rs-2024 2025-05-06
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/linpeb/linearized_pebbling_opt_layeredfan_down/normalized-linearized_pebbling_opt_layeredfan_down_r10_c20_a6.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4520384-1751569676/watcher-4520384-1751569676 -o /tmp/evaluation-result-4520384-1751569676/solver-4520384-1751569676 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751565852-81860 --watchdog 3760 pb-oll-rs HOME/instance-4520384-1751569676.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= bb8972597309f3cb9474209886ec1b04
RANDOM SEED=1685277639
nodeC015 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/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 : 3600.076
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
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 : 3599.618
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
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 : 3598.972
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
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 : 3571.698
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
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 : 3600.083
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
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 : 3599.924
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
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 : 3598.220
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
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 : 3613.276
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 126171108 kB
MemAvailable: 126807388 kB
Buffers: 1508 kB
Cached: 1419268 kB
SwapCached: 3880 kB
Active: 3225388 kB
Inactive: 1181416 kB
Active(anon): 2951372 kB
Inactive(anon): 48808 kB
Active(file): 274016 kB
Inactive(file): 1132608 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33006296 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 1628 kB
Writeback: 0 kB
AnonPages: 2985216 kB
Mapped: 104180 kB
Shmem: 14152 kB
KReclaimable: 137792 kB
Slab: 228472 kB
SReclaimable: 137792 kB
SUnreclaim: 90680 kB
KernelStack: 4336 kB
PageTables: 9180 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 3860240 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150552 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 436224 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 205524 kB
DirectMap2M: 11100160 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 432364 MiB
End job on nodeC015 at 2025-07-03 21:19:06