0.00/0.00	c RoundingSat 2
0.00/0.00	c branch 
0.00/0.00	c commit 
6.27/6.32	c #variables 214302 #constraints 1368957
17.95/18.06	c bounds - >= 6 @ 5.23095
17.95/18.06	c bounds 646365 >= 6 @ 11.8538
17.95/18.06	c bounds 646365 >= 587 @ 11.8591
17.95/18.06	c bounds 646365 >= 1168 @ 11.8633
17.95/18.06	c bounds 646365 >= 1749 @ 11.8666
17.95/18.06	c bounds 646365 >= 2330 @ 11.8689
17.95/18.06	c bounds 646365 >= 2911 @ 11.872
17.95/18.06	c bounds 646365 >= 3492 @ 11.8748
17.95/18.06	c bounds 646365 >= 4073 @ 11.8765
17.95/18.06	c bounds 646365 >= 4654 @ 11.8814
17.95/18.06	c bounds 646365 >= 5235 @ 11.8851
17.95/18.06	c bounds 646365 >= 5816 @ 11.889
17.95/18.06	c bounds 646365 >= 6397 @ 11.8942
17.95/18.06	c bounds 646365 >= 6978 @ 11.8985
17.95/18.06	c bounds 646365 >= 7559 @ 11.9004
17.95/18.06	c bounds 646365 >= 7560 @ 11.9039
17.95/18.06	c bounds 646365 >= 8141 @ 11.9086
17.95/18.06	c bounds 646365 >= 8722 @ 11.9144
17.95/18.06	c bounds 646365 >= 9303 @ 11.9175
17.95/18.06	c bounds 646365 >= 9884 @ 11.9222
17.95/18.06	c bounds 646365 >= 10465 @ 11.9299
17.95/18.06	c bounds 646365 >= 11046 @ 11.9382
17.95/18.06	c bounds 646365 >= 11627 @ 11.9436
17.95/18.06	c bounds 646365 >= 12208 @ 11.9495
17.95/18.06	c bounds 645784 >= 12208 @ 12.0193
17.95/18.06	c bounds 645784 >= 12789 @ 12.0285
17.95/18.06	c bounds 645784 >= 13370 @ 12.036
17.95/18.06	c bounds 645784 >= 13951 @ 12.0443
17.95/18.06	c bounds 645784 >= 14532 @ 12.0514
17.95/18.06	c bounds 645784 >= 15113 @ 12.0568
17.95/18.06	c bounds 645784 >= 15694 @ 12.0653
17.95/18.06	c bounds 645784 >= 16275 @ 12.0744
17.95/18.06	c bounds 645784 >= 16856 @ 12.0807
17.95/18.06	c bounds 642298 >= 16856 @ 12.129
17.95/18.06	c bounds 642298 >= 17437 @ 12.1372
17.95/18.06	c bounds 642298 >= 18018 @ 12.1424
17.95/18.06	c bounds 642298 >= 18599 @ 12.1529
17.95/18.06	c bounds 641717 >= 18599 @ 12.1911
17.95/18.06	c bounds 641717 >= 19180 @ 12.199
17.95/18.06	c bounds 641717 >= 19181 @ 12.2152
17.95/18.06	c bounds 641717 >= 19182 @ 12.2287
17.95/18.06	c bounds 641136 >= 19182 @ 12.2672
17.95/18.06	c bounds 641136 >= 19183 @ 12.2851
17.95/18.06	c bounds 641136 >= 19762 @ 12.2986
17.95/18.06	c bounds 640555 >= 19762 @ 12.348
17.95/18.06	c bounds 640555 >= 19763 @ 12.3668
17.95/18.06	c bounds 640555 >= 20344 @ 12.3757
17.95/18.06	c bounds 640555 >= 20924 @ 12.3906
17.95/18.06	c bounds 639974 >= 20924 @ 12.4536
17.95/18.06	c bounds 639974 >= 21505 @ 12.464
17.95/18.06	c bounds 639974 >= 22086 @ 12.473
17.95/18.06	c bounds 639974 >= 22667 @ 12.4826
17.95/18.06	c bounds 639974 >= 22668 @ 12.4958
17.95/18.06	c bounds 639974 >= 22669 @ 12.5169
17.95/18.06	c bounds 639393 >= 22669 @ 12.5961
17.95/18.06	c bounds 639393 >= 23249 @ 12.6167
17.95/18.06	c bounds 639393 >= 23829 @ 12.628
17.95/18.06	c bounds 639393 >= 23830 @ 12.6396
17.95/18.06	c bounds 639393 >= 24408 @ 12.6681
17.95/18.06	c bounds 639392 >= 24408 @ 12.7131
17.95/18.06	c bounds 639392 >= 24411 @ 12.7236
17.95/18.06	c bounds 639392 >= 24412 @ 12.7412
17.95/18.06	c bounds 639391 >= 24412 @ 12.7823
17.95/18.06	c bounds 639391 >= 24413 @ 12.795
17.95/18.06	c bounds 639391 >= 24994 @ 12.8026
17.95/18.06	c bounds 639390 >= 24994 @ 12.8733
17.95/18.06	c bounds 639390 >= 25571 @ 12.8849
17.95/18.06	c bounds 639390 >= 25575 @ 12.8984
17.95/18.06	c bounds 639390 >= 26156 @ 12.916
17.95/18.06	c bounds 639390 >= 26737 @ 12.9291
17.95/18.06	c bounds 639390 >= 27310 @ 12.9372
17.95/18.06	c bounds 639390 >= 27311 @ 12.9509
17.95/18.06	c bounds 638809 >= 27311 @ 12.9922
17.95/18.06	c bounds 638809 >= 27312 @ 13.0046
17.95/18.06	c bounds 638809 >= 27313 @ 13.0168
17.95/18.06	c bounds 638228 >= 27313 @ 13.0525
17.95/18.06	c bounds 638228 >= 27314 @ 13.0664
17.95/18.06	c bounds 638228 >= 27315 @ 13.078
17.95/18.06	c bounds 637647 >= 27315 @ 13.1188
17.95/18.06	c bounds 637647 >= 27316 @ 13.1356
17.95/18.06	c bounds 637066 >= 27316 @ 13.1776
17.95/18.06	c bounds 637066 >= 27317 @ 13.2385
17.95/18.06	c bounds 636485 >= 27317 @ 13.2769
17.95/18.06	c bounds 635904 >= 27317 @ 13.3234
17.95/18.06	c bounds 635323 >= 27317 @ 13.3668
17.95/18.06	c bounds 634742 >= 27317 @ 13.4209
17.95/18.06	c bounds 634161 >= 27317 @ 13.4679
17.95/18.06	c bounds 634161 >= 27898 @ 13.4983
17.95/18.06	c bounds 633580 >= 27898 @ 13.5362
17.95/18.06	c bounds 633580 >= 28479 @ 13.5465
17.95/18.06	c bounds 632999 >= 28479 @ 13.5835
17.95/18.06	c bounds 632999 >= 29060 @ 13.597
17.95/18.06	c bounds 632999 >= 29061 @ 13.6155
17.95/18.06	c bounds 632999 >= 29641 @ 13.6299
17.95/18.06	c bounds 632418 >= 29641 @ 13.6746
17.95/18.06	c bounds 632418 >= 29642 @ 13.6844
17.95/18.06	c bounds 632418 >= 29643 @ 13.6974
17.95/18.06	c bounds 631837 >= 29643 @ 13.7399
17.95/18.06	c bounds 631837 >= 29644 @ 13.7526
17.95/18.06	c bounds 631837 >= 29645 @ 13.7653
17.95/18.06	c bounds 631256 >= 29645 @ 13.808
17.95/18.06	c bounds 631256 >= 29646 @ 13.8172
17.95/18.06	c bounds 631256 >= 30226 @ 13.8247
17.95/18.06	c bounds 630675 >= 30226 @ 13.8628
17.95/18.06	c bounds 630675 >= 30227 @ 13.8746
17.95/18.06	c bounds 630675 >= 30808 @ 13.8842
17.95/18.06	c bounds 630675 >= 30809 @ 13.8943
17.95/18.06	c bounds 630094 >= 30809 @ 13.9458
17.95/18.06	c bounds 630094 >= 30810 @ 13.9593
17.95/18.06	c bounds 630094 >= 30811 @ 13.9832
17.95/18.06	c bounds 630093 >= 30811 @ 14.0189
17.95/18.06	c bounds 629512 >= 30811 @ 14.072
17.95/18.06	c bounds 629512 >= 31392 @ 14.082
17.95/18.06	c bounds 629512 >= 31973 @ 14.0948
17.95/18.06	c bounds 629512 >= 32554 @ 14.1073
17.95/18.06	c bounds 629511 >= 32554 @ 14.1526
17.95/18.06	c bounds 629511 >= 32555 @ 14.1755
17.95/18.06	c bounds 629510 >= 32555 @ 14.2191
17.95/18.06	c bounds 629510 >= 33131 @ 14.2292
45.63/45.89	c bounds 629510 >= 33132 @ 14.2396
45.63/45.89	c bounds 629509 >= 33132 @ 14.2769
45.63/45.89	c bounds 629509 >= 33136 @ 14.2891
45.63/45.89	c bounds 629509 >= 33137 @ 14.3018
45.63/45.89	c bounds 629509 >= 33138 @ 14.3162
45.63/45.89	c bounds 629508 >= 33138 @ 14.3624
45.63/45.89	c bounds 629508 >= 33139 @ 14.3774
45.63/45.89	c bounds 629508 >= 33720 @ 14.3858
45.63/45.89	c bounds 629507 >= 33720 @ 14.431
45.63/45.89	c bounds 629507 >= 33721 @ 14.445
45.63/45.89	c bounds 629507 >= 33722 @ 14.469
45.63/45.89	c bounds 629506 >= 33722 @ 14.5043
45.63/45.89	c bounds 629506 >= 33723 @ 14.5198
45.63/45.89	c bounds 629506 >= 33724 @ 14.5347
45.63/45.89	c bounds 629505 >= 33724 @ 14.5809
45.63/45.89	c bounds 629505 >= 33725 @ 14.594
45.63/45.89	c bounds 629505 >= 33726 @ 14.6108
45.63/45.89	c bounds 628924 >= 33726 @ 14.6584
45.63/45.89	c bounds 628924 >= 34307 @ 14.6693
45.63/45.89	c bounds 628923 >= 34307 @ 14.7115
45.63/45.89	c bounds 628923 >= 34308 @ 14.7251
45.63/45.89	c bounds 628923 >= 34889 @ 14.7429
45.63/45.89	c bounds 628922 >= 34889 @ 14.7858
45.63/45.89	c bounds 628922 >= 35470 @ 14.8031
45.63/45.89	c bounds 628922 >= 36051 @ 14.8158
45.63/45.89	c bounds 628922 >= 36632 @ 14.8317
45.63/45.89	c bounds 628921 >= 36632 @ 14.8715
45.63/45.89	c bounds 628921 >= 37213 @ 14.8933
45.63/45.89	c bounds 628920 >= 37213 @ 14.96
45.63/45.89	c bounds 628920 >= 37214 @ 14.9744
45.63/45.89	c bounds 628920 >= 37795 @ 14.9844
45.63/45.89	c bounds 628920 >= 37796 @ 14.9956
45.63/45.89	c bounds 628920 >= 38370 @ 15.008
45.63/45.89	c bounds 628339 >= 38370 @ 15.0529
45.63/45.89	c bounds 628339 >= 38377 @ 15.0696
45.63/45.89	c bounds 628339 >= 38378 @ 15.0895
45.63/45.89	c bounds 627758 >= 38378 @ 15.1298
45.63/45.89	c bounds 627758 >= 38379 @ 15.1436
45.63/45.89	c bounds 627177 >= 38379 @ 15.1817
45.63/45.89	c bounds 627177 >= 38380 @ 15.2315
45.63/45.89	c bounds 626596 >= 38380 @ 15.2718
45.63/45.89	c bounds 626015 >= 38380 @ 15.3136
45.63/45.89	c #Conflicts:       1000 | #Constraints:    1370492
45.63/45.89	c bounds 626015 >= 38381 @ 15.3631
45.63/45.89	c bounds 625434 >= 38381 @ 15.3966
45.63/45.89	c bounds 624853 >= 38381 @ 15.4332
45.63/45.89	c bounds 624272 >= 38381 @ 15.4736
45.63/45.89	c bounds 623691 >= 38381 @ 15.5093
45.63/45.89	c bounds 623691 >= 38382 @ 15.5427
45.63/45.89	c bounds 623110 >= 38382 @ 15.5869
45.63/45.89	c bounds 622529 >= 38382 @ 15.63
45.63/45.89	c bounds 621948 >= 38382 @ 15.6682
45.63/45.89	c bounds 621948 >= 38963 @ 15.7061
45.63/45.89	c bounds 621367 >= 38963 @ 15.7495
45.63/45.89	c bounds 620786 >= 38963 @ 15.7919
45.63/45.89	c bounds 620786 >= 39544 @ 15.7996
45.63/45.89	c bounds 620786 >= 39545 @ 15.8216
45.63/45.89	c bounds 620205 >= 39545 @ 15.8675
45.63/45.89	c bounds 619624 >= 39545 @ 15.9145
45.63/45.89	c bounds 619624 >= 39546 @ 15.9606
45.63/45.89	c bounds 619043 >= 39546 @ 16.0606
45.63/45.89	c bounds 619043 >= 39547 @ 16.0816
45.63/45.89	c bounds 619043 >= 39548 @ 16.0948
45.63/45.89	c bounds 618462 >= 39548 @ 16.1494
45.63/45.89	c bounds 618462 >= 39549 @ 16.1981
45.63/45.89	c bounds 617881 >= 39549 @ 16.2407
45.63/45.89	c bounds 617300 >= 39549 @ 16.2824
45.63/45.89	c bounds 616719 >= 39549 @ 16.3218
45.63/45.89	c bounds 616138 >= 39549 @ 16.3639
45.63/45.89	c bounds 616138 >= 39550 @ 16.3983
45.63/45.89	c bounds 615557 >= 39550 @ 16.4386
45.63/45.89	c bounds 614976 >= 39550 @ 16.4803
45.63/45.89	c bounds 614976 >= 39551 @ 16.5384
45.63/45.89	c bounds 614395 >= 39551 @ 16.5919
45.63/45.89	c bounds 613814 >= 39551 @ 16.6353
45.63/45.89	c bounds 613233 >= 39551 @ 16.671
45.63/45.89	c bounds 613233 >= 40132 @ 16.6791
45.63/45.89	c bounds 612652 >= 40132 @ 16.7205
45.63/45.89	c bounds 612652 >= 40713 @ 16.7898
45.63/45.89	c bounds 612071 >= 40713 @ 16.8273
45.63/45.89	c bounds 611490 >= 40713 @ 16.8704
45.63/45.89	c bounds 610909 >= 40713 @ 16.9155
45.63/45.89	c bounds 610328 >= 40713 @ 16.9522
45.63/45.89	c bounds 609747 >= 40713 @ 16.988
45.63/45.89	c bounds 609166 >= 40713 @ 17.0298
45.63/45.89	c bounds 609166 >= 40714 @ 17.0765
45.63/45.89	c bounds 608585 >= 40714 @ 17.1143
45.63/45.89	c bounds 608004 >= 40714 @ 17.1607
45.63/45.89	c bounds 608003 >= 40714 @ 17.215
45.63/45.89	c bounds 608003 >= 40715 @ 17.2431
45.63/45.89	c bounds 607422 >= 40715 @ 17.2983
45.63/45.89	c bounds 607422 >= 41296 @ 17.311
45.63/45.89	c bounds 607422 >= 41297 @ 17.3424
45.63/45.89	c bounds 606841 >= 41297 @ 17.3981
45.63/45.89	c bounds 606841 >= 41878 @ 17.421
45.63/45.89	c bounds 606260 >= 41878 @ 17.4568
45.63/45.89	c bounds 606260 >= 41879 @ 17.4876
45.63/45.89	c bounds 605679 >= 41879 @ 17.523
45.63/45.89	c bounds 605679 >= 41880 @ 17.5405
45.63/45.89	c bounds 605098 >= 41880 @ 17.5761
45.63/45.89	c bounds 605098 >= 41881 @ 17.6157
45.63/45.89	c bounds 604517 >= 41881 @ 17.6576
45.63/45.89	c bounds 603936 >= 41881 @ 17.6993
45.63/45.89	c bounds 603936 >= 41882 @ 17.7224
45.63/45.89	c bounds 603355 >= 41882 @ 17.7625
45.63/45.89	c #Conflicts:       2000 | #Constraints:    1371653
45.63/45.89	c INPROCESSING
45.63/45.89	c GARBAGE COLLECT
45.63/45.89	c bounds 602774 >= 41882 @ 38.3102
45.63/45.89	c bounds 602193 >= 41882 @ 38.3482
45.63/45.89	c bounds 601612 >= 41882 @ 38.3912
45.63/45.89	c bounds 601031 >= 41882 @ 38.4272
45.63/45.89	c bounds 600450 >= 41882 @ 38.4651
45.63/45.89	c bounds 599869 >= 41882 @ 38.5032
45.63/45.89	c bounds 599869 >= 42463 @ 38.5134
45.63/45.89	c bounds 599869 >= 43044 @ 38.5274
45.63/45.89	c bounds 599288 >= 43044 @ 38.5759
53.21/53.46	c bounds 599288 >= 43625 @ 38.5922
53.21/53.46	c bounds 599288 >= 44204 @ 38.605
53.21/53.46	c bounds 599288 >= 44206 @ 38.6171
53.21/53.46	c bounds 598707 >= 44206 @ 38.6561
53.21/53.46	c bounds 598707 >= 44207 @ 38.6942
53.21/53.46	c bounds 598126 >= 44207 @ 38.7403
53.21/53.46	c bounds 597545 >= 44207 @ 38.7812
53.21/53.46	c bounds 597545 >= 44787 @ 38.8312
53.21/53.46	c bounds 596964 >= 44787 @ 38.8748
53.21/53.46	c bounds 596963 >= 44787 @ 38.9159
53.21/53.46	c bounds 596962 >= 44787 @ 38.9568
53.21/53.46	c bounds 596961 >= 44787 @ 38.994
53.21/53.46	c bounds 596380 >= 44787 @ 39.0497
53.21/53.46	c bounds 596380 >= 44788 @ 39.063
53.21/53.46	c bounds 596380 >= 45367 @ 39.0729
53.21/53.46	c bounds 596380 >= 45368 @ 39.0854
53.21/53.46	c bounds 596380 >= 45948 @ 39.1005
53.21/53.46	c bounds 595799 >= 45948 @ 39.1647
53.21/53.46	c bounds 595799 >= 46529 @ 39.1798
53.21/53.46	c bounds 595799 >= 46530 @ 39.2174
53.21/53.46	c bounds 595798 >= 46530 @ 39.267
53.21/53.46	c bounds 595798 >= 47105 @ 39.3119
53.21/53.46	c bounds 595797 >= 47105 @ 39.3565
53.21/53.46	c bounds 595796 >= 47105 @ 39.3987
53.21/53.46	c bounds 595796 >= 47106 @ 39.4094
53.21/53.46	c bounds 595796 >= 47107 @ 39.4261
53.21/53.46	c bounds 595795 >= 47107 @ 39.4922
53.21/53.46	c bounds 595795 >= 47688 @ 39.5067
53.21/53.46	c bounds 595795 >= 48269 @ 39.5155
53.21/53.46	c bounds 595795 >= 48270 @ 39.5377
53.21/53.46	c bounds 595794 >= 48270 @ 39.5888
53.21/53.46	c bounds 595794 >= 48271 @ 39.6149
53.21/53.46	c bounds 595793 >= 48271 @ 39.6591
53.21/53.46	c bounds 595793 >= 48272 @ 39.6749
53.21/53.46	c bounds 595792 >= 48272 @ 39.7116
53.21/53.46	c bounds 595792 >= 48273 @ 39.7277
53.21/53.46	c bounds 595791 >= 48273 @ 39.7671
53.21/53.46	c bounds 595791 >= 48274 @ 39.8044
53.21/53.46	c bounds 595790 >= 48274 @ 39.8613
53.21/53.46	c bounds 595790 >= 48275 @ 39.885
53.21/53.46	c bounds 595209 >= 48275 @ 39.9293
53.21/53.46	c bounds 595209 >= 48276 @ 39.9442
53.21/53.46	c bounds 595209 >= 48277 @ 40.0837
53.21/53.46	c bounds 594628 >= 48277 @ 40.1243
53.21/53.46	c bounds 594047 >= 48277 @ 40.1623
53.21/53.46	c bounds 593466 >= 48277 @ 40.2049
53.21/53.46	c bounds 592885 >= 48277 @ 40.2417
53.21/53.46	c bounds 592304 >= 48277 @ 40.2861
53.21/53.46	c bounds 591723 >= 48277 @ 40.3273
53.21/53.46	c bounds 591142 >= 48277 @ 40.369
53.21/53.46	c bounds 590561 >= 48277 @ 40.4152
53.21/53.46	c bounds 590561 >= 48278 @ 40.4791
53.21/53.46	c bounds 589980 >= 48278 @ 40.5205
53.21/53.46	c bounds 589399 >= 48278 @ 40.5638
53.21/53.46	c bounds 588818 >= 48278 @ 40.6092
53.21/53.46	c bounds 588237 >= 48278 @ 40.6553
53.21/53.46	c bounds 588237 >= 48279 @ 40.688
53.21/53.46	c bounds 587656 >= 48279 @ 40.7217
53.21/53.46	c bounds 587075 >= 48279 @ 40.7615
53.21/53.46	c bounds 587075 >= 48859 @ 40.7792
53.21/53.46	c bounds 586494 >= 48859 @ 40.8205
53.21/53.46	c bounds 586494 >= 48860 @ 40.8334
53.21/53.46	c bounds 586494 >= 49440 @ 40.8453
53.21/53.46	c bounds 586494 >= 49441 @ 40.8588
53.21/53.46	c bounds 585913 >= 49441 @ 40.8956
53.21/53.46	c bounds 585913 >= 50016 @ 40.9051
53.21/53.46	c bounds 585913 >= 50022 @ 40.9177
53.21/53.46	c bounds 585332 >= 50022 @ 40.9614
53.21/53.46	c bounds 585332 >= 50023 @ 40.9786
53.21/53.46	c bounds 585332 >= 50024 @ 40.9999
53.21/53.46	c bounds 584751 >= 50024 @ 41.0448
53.21/53.46	c bounds 584751 >= 50025 @ 41.0734
53.21/53.46	c bounds 584170 >= 50025 @ 41.1077
53.21/53.46	c bounds 584170 >= 50026 @ 41.1376
53.21/53.46	c bounds 583589 >= 50026 @ 41.1761
53.21/53.46	c bounds 583008 >= 50026 @ 41.2105
53.21/53.46	c bounds 583008 >= 50027 @ 41.2391
53.21/53.46	c bounds 582427 >= 50027 @ 41.288
53.21/53.46	c bounds 581846 >= 50027 @ 41.3351
53.21/53.46	c bounds 581265 >= 50027 @ 41.3699
53.21/53.46	c bounds 581265 >= 50028 @ 41.3891
53.21/53.46	c bounds 580684 >= 50028 @ 41.4313
53.21/53.46	c #Conflicts:       3000 | #Constraints:     940429
53.21/53.46	c bounds 580684 >= 50029 @ 41.4516
53.21/53.46	c bounds 580103 >= 50029 @ 41.4935
53.21/53.46	c bounds 580103 >= 50030 @ 41.5172
53.21/53.46	c bounds 579522 >= 50030 @ 41.5563
53.21/53.46	c bounds 578941 >= 50030 @ 41.6036
53.21/53.46	c bounds 578941 >= 50031 @ 41.6405
53.21/53.46	c bounds 578360 >= 50031 @ 41.6807
53.21/53.46	c bounds 577779 >= 50031 @ 41.7226
53.21/53.46	c bounds 577198 >= 50031 @ 41.7653
53.21/53.46	c bounds 577198 >= 50032 @ 41.8203
53.21/53.46	c bounds 576617 >= 50032 @ 41.8523
53.21/53.46	c bounds 576036 >= 50032 @ 41.8916
53.21/53.46	c bounds 575455 >= 50032 @ 41.9337
53.21/53.46	c bounds 574874 >= 50032 @ 41.9746
53.21/53.46	c bounds 574293 >= 50032 @ 42.0154
53.21/53.46	c bounds 574293 >= 50033 @ 42.0985
53.21/53.46	c bounds 573712 >= 50033 @ 42.1386
53.21/53.46	c bounds 573131 >= 50033 @ 42.1802
53.21/53.46	c bounds 572550 >= 50033 @ 42.2142
53.21/53.46	c bounds 571969 >= 50033 @ 42.2548
53.21/53.46	c bounds 571388 >= 50033 @ 42.2941
53.21/53.46	c bounds 570807 >= 50033 @ 42.3332
53.21/53.46	c bounds 570226 >= 50033 @ 42.3779
53.21/53.46	c bounds 569645 >= 50033 @ 42.4197
53.21/53.46	c bounds 569645 >= 50034 @ 42.5266
53.21/53.46	c bounds 569064 >= 50034 @ 42.57
53.21/53.46	c bounds 568483 >= 50034 @ 42.6115
53.21/53.46	c bounds 567902 >= 50034 @ 42.6552
53.21/53.46	c bounds 567321 >= 50034 @ 42.689
53.21/53.46	c bounds 566740 >= 50034 @ 42.728
53.21/53.46	c bounds 566159 >= 50034 @ 42.77
53.21/53.46	c bounds 565578 >= 50034 @ 42.811
53.21/53.46	c bounds 564997 >= 50034 @ 42.8533
53.21/53.46	c bounds 564416 >= 50034 @ 42.8939
63.67/63.93	c bounds 563835 >= 50034 @ 42.9331
63.67/63.93	c bounds 563835 >= 50035 @ 43.1653
63.67/63.93	c bounds 563254 >= 50035 @ 43.2086
63.67/63.93	c bounds 562673 >= 50035 @ 43.244
63.67/63.93	c bounds 562092 >= 50035 @ 43.2846
63.67/63.93	c bounds 561511 >= 50035 @ 43.3302
63.67/63.93	c bounds 560930 >= 50035 @ 43.3727
63.67/63.93	c bounds 560349 >= 50035 @ 43.4205
63.67/63.93	c bounds 559768 >= 50035 @ 43.4631
63.67/63.93	c bounds 559187 >= 50035 @ 43.5076
63.67/63.93	c bounds 558606 >= 50035 @ 43.5482
63.67/63.93	c bounds 558025 >= 50035 @ 43.5941
63.67/63.93	c bounds 557444 >= 50035 @ 43.6367
63.67/63.93	c bounds 556863 >= 50035 @ 43.6771
63.67/63.93	c bounds 556282 >= 50035 @ 43.7191
63.67/63.93	c bounds 555701 >= 50035 @ 43.7655
63.67/63.93	c bounds 555120 >= 50035 @ 43.8021
63.67/63.93	c bounds 554539 >= 50035 @ 43.8428
63.67/63.93	c bounds 553958 >= 50035 @ 43.8829
63.67/63.93	c bounds 553377 >= 50035 @ 43.9191
63.67/63.93	c bounds 552796 >= 50035 @ 43.9583
63.67/63.93	c #Conflicts:       4000 | #Constraints:     941540
63.67/63.93	c bounds 552796 >= 50036 @ 44.2687
63.67/63.93	c bounds 552215 >= 50036 @ 44.3121
63.67/63.93	c bounds 551634 >= 50036 @ 44.3566
63.67/63.93	c bounds 551053 >= 50036 @ 44.3989
63.67/63.93	c bounds 550472 >= 50036 @ 44.4408
63.67/63.93	c bounds 549891 >= 50036 @ 44.4992
63.67/63.93	c bounds 549310 >= 50036 @ 44.554
63.67/63.93	c bounds 548729 >= 50036 @ 44.6062
63.67/63.93	c bounds 548148 >= 50036 @ 44.6435
63.67/63.93	c bounds 547567 >= 50036 @ 44.6774
63.67/63.93	c bounds 546986 >= 50036 @ 44.722
63.67/63.93	c bounds 546405 >= 50036 @ 44.7603
63.67/63.93	c bounds 545824 >= 50036 @ 44.7999
63.67/63.93	c bounds 545243 >= 50036 @ 44.8371
63.67/63.93	c bounds 544662 >= 50036 @ 44.8791
63.67/63.93	c bounds 544081 >= 50036 @ 44.9209
63.67/63.93	c bounds 543500 >= 50036 @ 44.9614
63.67/63.93	c bounds 542919 >= 50036 @ 45.0031
63.67/63.93	c bounds 542338 >= 50036 @ 45.0443
63.67/63.93	c bounds 541757 >= 50036 @ 45.0889
63.67/63.93	c bounds 541176 >= 50036 @ 45.1317
63.67/63.93	c bounds 540595 >= 50036 @ 45.1772
63.67/63.93	c bounds 540014 >= 50036 @ 45.221
63.67/63.93	c bounds 539433 >= 50036 @ 45.2604
63.67/63.93	c bounds 538852 >= 50036 @ 45.2973
63.67/63.93	c INPROCESSING
63.67/63.93	c GARBAGE COLLECT
63.67/63.93	c bounds 538271 >= 50036 @ 45.9334
63.67/63.93	c bounds 537690 >= 50036 @ 45.9737
63.67/63.93	c bounds 537109 >= 50036 @ 46.0153
63.67/63.93	c bounds 536528 >= 50036 @ 46.0557
63.67/63.93	c bounds 535947 >= 50036 @ 46.0928
63.67/63.93	c bounds 535366 >= 50036 @ 46.1245
63.67/63.93	c bounds 534785 >= 50036 @ 46.1616
63.67/63.93	c bounds 534204 >= 50036 @ 46.2044
63.67/63.93	c bounds 533623 >= 50036 @ 46.2438
63.67/63.93	c bounds 533623 >= 50037 @ 46.3313
63.67/63.93	c bounds 533042 >= 50037 @ 46.3726
63.67/63.93	c bounds 532461 >= 50037 @ 46.415
63.67/63.93	c bounds 531880 >= 50037 @ 46.458
63.67/63.93	c bounds 531299 >= 50037 @ 46.498
63.67/63.93	c bounds 530718 >= 50037 @ 46.5308
63.67/63.93	c bounds 530137 >= 50037 @ 46.5724
63.67/63.93	c bounds 530137 >= 50038 @ 46.7476
63.67/63.93	c bounds 529556 >= 50038 @ 46.7879
63.67/63.93	c bounds 528975 >= 50038 @ 46.8345
63.67/63.93	c bounds 528394 >= 50038 @ 46.8707
63.67/63.93	c bounds 527813 >= 50038 @ 46.913
63.67/63.93	c bounds 527232 >= 50038 @ 46.9567
63.67/63.93	c bounds 526651 >= 50038 @ 46.9956
63.67/63.93	c bounds 526070 >= 50038 @ 47.0326
63.67/63.93	c bounds 525489 >= 50038 @ 47.0737
63.67/63.93	c bounds 524908 >= 50038 @ 47.1138
63.67/63.93	c bounds 524908 >= 50039 @ 47.2394
63.67/63.93	c bounds 524327 >= 50039 @ 47.277
63.67/63.93	c bounds 523746 >= 50039 @ 47.3114
63.67/63.93	c bounds 523165 >= 50039 @ 47.3503
63.67/63.93	c bounds 522584 >= 50039 @ 47.3878
63.67/63.93	c bounds 522003 >= 50039 @ 47.435
63.67/63.93	c bounds 521422 >= 50039 @ 47.4782
63.67/63.93	c bounds 520841 >= 50039 @ 47.5162
63.67/63.93	c bounds 520841 >= 50040 @ 47.8449
63.67/63.93	c bounds 520260 >= 50040 @ 47.8868
63.67/63.93	c bounds 519679 >= 50040 @ 47.9273
63.67/63.93	c bounds 519098 >= 50040 @ 47.9685
63.67/63.93	c bounds 518517 >= 50040 @ 48.0124
63.67/63.93	c bounds 517936 >= 50040 @ 48.055
63.67/63.93	c bounds 517355 >= 50040 @ 48.0971
63.67/63.93	c bounds 516774 >= 50040 @ 48.1373
63.67/63.93	c bounds 516193 >= 50040 @ 48.1888
63.67/63.93	c bounds 515612 >= 50040 @ 48.2316
63.67/63.93	c bounds 515031 >= 50040 @ 48.2813
63.67/63.93	c bounds 514450 >= 50040 @ 48.3212
63.67/63.93	c bounds 513869 >= 50040 @ 48.3593
63.67/63.93	c bounds 513288 >= 50040 @ 48.4041
63.67/63.93	c bounds 512707 >= 50040 @ 48.4503
63.67/63.93	c bounds 512126 >= 50040 @ 48.4919
63.67/63.93	c bounds 511545 >= 50040 @ 48.5257
63.67/63.93	c bounds 510964 >= 50040 @ 48.5695
63.67/63.93	c bounds 510383 >= 50040 @ 48.6152
63.67/63.93	c bounds 509802 >= 50040 @ 48.6626
63.67/63.93	c bounds 509221 >= 50040 @ 48.702
63.67/63.93	c bounds 508640 >= 50040 @ 48.7385
63.67/63.93	c bounds 508059 >= 50040 @ 48.7686
63.67/63.93	c bounds 507478 >= 50040 @ 48.8135
63.67/63.93	c bounds 506897 >= 50040 @ 48.8536
63.67/63.93	c bounds 506316 >= 50040 @ 48.8966
63.67/63.93	c #Conflicts:       5000 | #Constraints:     940934
63.67/63.93	c bounds 506316 >= 50041 @ 49.039
63.67/63.93	c bounds 505735 >= 50041 @ 49.0846
63.67/63.93	c bounds 505154 >= 50041 @ 49.1262
63.67/63.93	c bounds 504573 >= 50041 @ 49.1683
63.67/63.93	c bounds 503992 >= 50041 @ 49.2121
63.67/63.93	c bounds 503411 >= 50041 @ 49.2551
63.67/63.93	c bounds 502830 >= 50041 @ 49.2954
63.67/63.93	c bounds 502249 >= 50041 @ 49.3402
99.54/99.94	c bounds 501668 >= 50041 @ 49.3865
99.54/99.94	c bounds 501087 >= 50041 @ 49.427
99.54/99.94	c bounds 500506 >= 50041 @ 49.4695
99.54/99.94	c bounds 499925 >= 50041 @ 49.5135
99.54/99.94	c bounds 499344 >= 50041 @ 49.5656
99.54/99.94	c bounds 499344 >= 50042 @ 49.8707
99.54/99.94	c bounds 498763 >= 50042 @ 49.9228
99.54/99.94	c bounds 498182 >= 50042 @ 49.9648
99.54/99.94	c bounds 497601 >= 50042 @ 50.004
99.54/99.94	c bounds 497020 >= 50042 @ 50.0485
99.54/99.94	c bounds 496439 >= 50042 @ 50.0934
99.54/99.94	c bounds 495858 >= 50042 @ 50.1352
99.54/99.94	c bounds 495277 >= 50042 @ 50.1757
99.54/99.94	c bounds 494696 >= 50042 @ 50.2177
99.54/99.94	c bounds 494115 >= 50042 @ 50.2501
99.54/99.94	c bounds 493534 >= 50042 @ 50.2928
99.54/99.94	c bounds 492953 >= 50042 @ 50.329
99.54/99.94	c bounds 492372 >= 50042 @ 50.3675
99.54/99.94	c bounds 491791 >= 50042 @ 50.4103
99.54/99.94	c bounds 491210 >= 50042 @ 50.4498
99.54/99.94	c bounds 490629 >= 50042 @ 50.4906
99.54/99.94	c bounds 490048 >= 50042 @ 50.5378
99.54/99.94	c bounds 489467 >= 50042 @ 50.5857
99.54/99.94	c bounds 488886 >= 50042 @ 50.6248
99.54/99.94	c bounds 488305 >= 50042 @ 50.666
99.54/99.94	c bounds 487724 >= 50042 @ 50.7038
99.54/99.94	c bounds 487143 >= 50042 @ 50.7512
99.54/99.94	c bounds 486562 >= 50042 @ 50.7956
99.54/99.94	c bounds 485981 >= 50042 @ 50.8406
99.54/99.94	c bounds 485400 >= 50042 @ 50.8838
99.54/99.94	c bounds 485400 >= 50043 @ 51.0901
99.54/99.94	c bounds 484819 >= 50043 @ 51.1402
99.54/99.94	c bounds 484238 >= 50043 @ 51.2023
99.54/99.94	c bounds 483657 >= 50043 @ 51.2567
99.54/99.94	c bounds 483076 >= 50043 @ 51.3093
99.54/99.94	c bounds 482495 >= 50043 @ 51.3555
99.54/99.94	c bounds 481914 >= 50043 @ 51.4024
99.54/99.94	c bounds 481333 >= 50043 @ 51.4893
99.54/99.94	c bounds 480752 >= 50043 @ 51.5296
99.54/99.94	c bounds 480171 >= 50043 @ 51.5845
99.54/99.94	c bounds 479590 >= 50043 @ 51.6346
99.54/99.94	c bounds 479009 >= 50043 @ 51.6806
99.54/99.94	c bounds 478428 >= 50043 @ 51.7297
99.54/99.94	c bounds 478428 >= 50044 @ 51.8708
99.54/99.94	c bounds 477847 >= 50044 @ 51.9096
99.54/99.94	c bounds 477266 >= 50044 @ 51.9554
99.54/99.94	c bounds 476685 >= 50044 @ 52.0021
99.54/99.94	c bounds 476104 >= 50044 @ 52.0498
99.54/99.94	c bounds 475523 >= 50044 @ 52.0922
99.54/99.94	c bounds 474942 >= 50044 @ 52.1373
99.54/99.94	c bounds 474361 >= 50044 @ 52.1869
99.54/99.94	c bounds 473780 >= 50044 @ 52.2342
99.54/99.94	c bounds 473199 >= 50044 @ 52.2761
99.54/99.94	c bounds 472618 >= 50044 @ 52.3146
99.54/99.94	c bounds 472037 >= 50044 @ 52.3553
99.54/99.94	c bounds 472037 >= 50045 @ 52.5171
99.54/99.94	c bounds 471456 >= 50045 @ 52.5582
99.54/99.94	c bounds 470875 >= 50045 @ 52.6074
99.54/99.94	c bounds 470294 >= 50045 @ 52.6657
99.54/99.94	c bounds 469713 >= 50045 @ 52.7173
99.54/99.94	c bounds 469132 >= 50045 @ 52.8141
99.54/99.94	c bounds 468551 >= 50045 @ 52.8802
99.54/99.94	c bounds 467970 >= 50045 @ 52.9323
99.54/99.94	c bounds 467389 >= 50045 @ 52.9763
99.54/99.94	c bounds 466808 >= 50045 @ 53.022
99.54/99.94	c bounds 466227 >= 50045 @ 53.0637
99.54/99.94	c bounds 466227 >= 50046 @ 53.2572
99.54/99.94	c bounds 465646 >= 50046 @ 53.3039
99.54/99.94	c bounds 465065 >= 50046 @ 53.3552
99.54/99.94	c bounds 464484 >= 50046 @ 53.4122
99.54/99.94	c bounds 463903 >= 50046 @ 53.4573
99.54/99.94	c bounds 463322 >= 50046 @ 53.5033
99.54/99.94	c bounds 462741 >= 50046 @ 53.5518
99.54/99.94	c bounds 462160 >= 50046 @ 53.5921
99.54/99.94	c bounds 462160 >= 50047 @ 53.7165
99.54/99.94	c bounds 461579 >= 50047 @ 53.7686
99.54/99.94	c bounds 460998 >= 50047 @ 53.8338
99.54/99.94	c bounds 460417 >= 50047 @ 53.8703
99.54/99.94	c bounds 459836 >= 50047 @ 53.9115
99.54/99.94	c bounds 459255 >= 50047 @ 53.9521
99.54/99.94	c bounds 458675 >= 50047 @ 54.0095
99.54/99.94	c bounds 458094 >= 50047 @ 54.0526
99.54/99.94	c bounds 457513 >= 50047 @ 54.095
99.54/99.94	c bounds 456932 >= 50047 @ 54.1401
99.54/99.94	c bounds 456932 >= 50626 @ 54.1528
99.54/99.94	c bounds 456351 >= 50626 @ 54.2084
99.54/99.94	c bounds 456351 >= 50627 @ 54.226
99.54/99.94	c #Conflicts:       6000 | #Constraints:     942095
99.54/99.94	c bounds 456351 >= 51204 @ 79.9216
99.54/99.94	c bounds 455770 >= 51204 @ 79.9815
99.54/99.94	c bounds 455769 >= 51204 @ 80.0752
99.54/99.94	c bounds 455769 >= 51208 @ 80.0884
99.54/99.94	c bounds 455769 >= 51782 @ 80.1366
99.54/99.94	c bounds 455188 >= 51782 @ 80.1924
99.54/99.94	c bounds 454607 >= 51782 @ 80.2448
99.54/99.94	c bounds 454607 >= 51784 @ 80.2545
99.54/99.94	c bounds 454607 >= 51785 @ 80.2948
99.54/99.94	c bounds 454026 >= 51785 @ 80.3496
99.54/99.94	c bounds 454026 >= 51789 @ 80.3911
99.54/99.94	c bounds 453445 >= 51789 @ 80.447
99.54/99.94	c bounds 452864 >= 51789 @ 80.4954
99.54/99.94	c bounds 452283 >= 51789 @ 80.5502
99.54/99.94	c bounds 452283 >= 52366 @ 80.6305
99.54/99.94	c bounds 451702 >= 52366 @ 80.6744
99.54/99.94	c bounds 451122 >= 52366 @ 80.7315
99.54/99.94	c bounds 450541 >= 52366 @ 80.783
99.54/99.94	c bounds 449960 >= 52366 @ 80.8235
99.54/99.94	c bounds 449379 >= 52366 @ 80.8728
99.54/99.94	c bounds 448798 >= 52366 @ 80.9182
99.54/99.94	c bounds 448217 >= 52366 @ 80.9622
99.54/99.94	c bounds 448217 >= 52946 @ 80.9745
99.54/99.94	c bounds 448217 >= 52947 @ 81.1368
99.54/99.94	c bounds 447636 >= 52947 @ 81.18
99.54/99.94	c bounds 447055 >= 52947 @ 81.2259
99.54/99.94	c bounds 446474 >= 52947 @ 81.2674
99.54/99.94	c bounds 445893 >= 52947 @ 81.3048
99.54/99.94	c bounds 445312 >= 52947 @ 81.3533
109.81/110.25	c bounds 444731 >= 52947 @ 81.4019
109.81/110.25	c bounds 444150 >= 52947 @ 81.4549
109.81/110.25	c bounds 443569 >= 52947 @ 81.5031
109.81/110.25	c bounds 442988 >= 52947 @ 81.5566
109.81/110.25	c bounds 442407 >= 52947 @ 81.6045
109.81/110.25	c bounds 442407 >= 52948 @ 81.738
109.81/110.25	c bounds 441826 >= 52948 @ 81.7885
109.81/110.25	c bounds 441245 >= 52948 @ 81.846
109.81/110.25	c bounds 440664 >= 52948 @ 81.9004
109.81/110.25	c bounds 440083 >= 52948 @ 81.994
109.81/110.25	c bounds 439502 >= 52948 @ 82.0858
109.81/110.25	c bounds 439502 >= 52951 @ 82.0993
109.81/110.25	c bounds 439502 >= 52952 @ 82.1344
109.81/110.25	c bounds 438921 >= 52952 @ 82.1961
109.81/110.25	c INPROCESSING
109.81/110.25	c GARBAGE COLLECT
109.81/110.25	c bounds 438340 >= 52952 @ 82.8014
109.81/110.25	c bounds 437759 >= 52952 @ 82.8482
109.81/110.25	c bounds 437178 >= 52952 @ 82.9021
109.81/110.25	c bounds 437178 >= 52953 @ 83.2852
109.81/110.25	c bounds 436597 >= 52953 @ 83.3305
109.81/110.25	c bounds 436016 >= 52953 @ 83.3748
109.81/110.25	c bounds 435435 >= 52953 @ 83.4161
109.81/110.25	c bounds 434854 >= 52953 @ 83.4657
109.81/110.25	c bounds 434273 >= 52953 @ 83.4996
109.81/110.25	c bounds 433692 >= 52953 @ 83.5333
109.81/110.25	c bounds 433111 >= 52953 @ 83.5749
109.81/110.25	c bounds 432530 >= 52953 @ 83.6181
109.81/110.25	c bounds 431949 >= 52953 @ 83.6576
109.81/110.25	c bounds 431368 >= 52953 @ 83.6973
109.81/110.25	c bounds 430787 >= 52953 @ 83.7445
109.81/110.25	c bounds 430206 >= 52953 @ 83.7785
109.81/110.25	c bounds 429625 >= 52953 @ 83.8147
109.81/110.25	c bounds 429044 >= 52953 @ 83.8443
109.81/110.25	c bounds 428463 >= 52953 @ 83.8901
109.81/110.25	c bounds 427882 >= 52953 @ 83.9343
109.81/110.25	c bounds 427301 >= 52953 @ 83.9745
109.81/110.25	c bounds 426720 >= 52953 @ 84.0171
109.81/110.25	c bounds 426139 >= 52953 @ 84.0549
109.81/110.25	c bounds 425558 >= 52953 @ 84.0935
109.81/110.25	c bounds 424977 >= 52953 @ 84.1426
109.81/110.25	c bounds 424396 >= 52953 @ 84.1894
109.81/110.25	c bounds 423815 >= 52953 @ 84.229
109.81/110.25	c bounds 423234 >= 52953 @ 84.2869
109.81/110.25	c bounds 422653 >= 52953 @ 84.3304
109.81/110.25	c bounds 422072 >= 52953 @ 84.3756
109.81/110.25	c bounds 421491 >= 52953 @ 84.4086
109.81/110.25	c bounds 420910 >= 52953 @ 84.4444
109.81/110.25	c bounds 420329 >= 52953 @ 84.4895
109.81/110.25	c bounds 420329 >= 52954 @ 84.5463
109.81/110.25	c bounds 419748 >= 52954 @ 84.5954
109.81/110.25	c bounds 419167 >= 52954 @ 84.6583
109.81/110.25	c bounds 418586 >= 52954 @ 84.7172
109.81/110.25	c bounds 418005 >= 52954 @ 84.772
109.81/110.25	c #Conflicts:       7000 | #Constraints:     940624
109.81/110.25	c bounds 418005 >= 52955 @ 84.8266
109.81/110.25	c bounds 417424 >= 52955 @ 84.901
109.81/110.25	c bounds 416843 >= 52955 @ 84.9501
109.81/110.25	c bounds 416262 >= 52955 @ 85.0051
109.81/110.25	c bounds 416262 >= 52956 @ 85.0908
109.81/110.25	c bounds 415681 >= 52956 @ 85.1405
109.81/110.25	c bounds 415100 >= 52956 @ 85.1909
109.81/110.25	c bounds 414519 >= 52956 @ 85.2396
109.81/110.25	c bounds 413938 >= 52956 @ 85.2942
109.81/110.25	c bounds 413357 >= 52956 @ 85.342
109.81/110.25	c bounds 412776 >= 52956 @ 85.3819
109.81/110.25	c bounds 412195 >= 52956 @ 85.4165
109.81/110.25	c bounds 411614 >= 52956 @ 85.4592
109.81/110.25	c bounds 411033 >= 52956 @ 85.502
109.81/110.25	c bounds 410452 >= 52956 @ 85.549
109.81/110.25	c bounds 409871 >= 52956 @ 85.5862
109.81/110.25	c bounds 409871 >= 52957 @ 85.6589
109.81/110.25	c bounds 409290 >= 52957 @ 85.7078
109.81/110.25	c bounds 408710 >= 52957 @ 85.7531
109.81/110.25	c bounds 408709 >= 52957 @ 85.7886
109.81/110.25	c bounds 408128 >= 52957 @ 85.8397
109.81/110.25	c bounds 407547 >= 52957 @ 85.8912
109.81/110.25	c bounds 406966 >= 52957 @ 85.9398
109.81/110.25	c bounds 406966 >= 52958 @ 86.0514
109.81/110.25	c bounds 406385 >= 52958 @ 86.101
109.81/110.25	c bounds 405804 >= 52958 @ 86.1379
109.81/110.25	c bounds 405223 >= 52958 @ 86.1739
109.81/110.25	c bounds 404642 >= 52958 @ 86.2166
109.81/110.25	c bounds 404061 >= 52958 @ 86.2549
109.81/110.25	c bounds 403480 >= 52958 @ 86.3006
109.81/110.25	c bounds 402899 >= 52958 @ 86.3424
109.81/110.25	c bounds 402318 >= 52958 @ 86.3887
109.81/110.25	c bounds 401737 >= 52958 @ 86.4337
109.81/110.25	c bounds 401737 >= 52959 @ 86.6793
109.81/110.25	c bounds 401156 >= 52959 @ 86.7366
109.81/110.25	c bounds 400575 >= 52959 @ 86.7925
109.81/110.25	c bounds 399994 >= 52959 @ 86.8448
109.81/110.25	c bounds 399413 >= 52959 @ 86.8929
109.81/110.25	c bounds 398832 >= 52959 @ 86.9339
109.81/110.25	c bounds 398251 >= 52959 @ 86.9855
109.81/110.25	c bounds 397670 >= 52959 @ 87.0211
109.81/110.25	c bounds 397089 >= 52959 @ 87.0604
109.81/110.25	c bounds 396508 >= 52959 @ 87.1098
109.81/110.25	c bounds 395927 >= 52959 @ 87.1586
109.81/110.25	c bounds 395346 >= 52959 @ 87.208
109.81/110.25	c bounds 394765 >= 52959 @ 87.2541
109.81/110.25	c bounds 394184 >= 52959 @ 87.2939
109.81/110.25	c bounds 393603 >= 52959 @ 87.334
109.81/110.25	c bounds 393022 >= 52959 @ 87.3793
109.81/110.25	c bounds 392441 >= 52959 @ 87.4182
109.81/110.25	c bounds 391860 >= 52959 @ 87.4671
109.81/110.25	c bounds 391279 >= 52959 @ 87.5097
109.81/110.25	c bounds 390698 >= 52959 @ 87.5495
109.81/110.25	c bounds 390117 >= 52959 @ 87.5954
109.81/110.25	c bounds 389536 >= 52959 @ 87.6381
109.81/110.25	c bounds 389536 >= 53527 @ 87.6695
109.81/110.25	c bounds 388955 >= 53527 @ 87.716
109.81/110.25	c bounds 388374 >= 53527 @ 87.7586
109.81/110.25	c bounds 387793 >= 53527 @ 87.7985
109.81/110.25	c bounds 387793 >= 53530 @ 87.8117
109.81/110.25	c bounds 387793 >= 53531 @ 87.8358
109.81/110.25	c bounds 387212 >= 53531 @ 87.8828
109.81/110.25	c bounds 387212 >= 53532 @ 87.9027
167.80/168.41	c bounds 386631 >= 53532 @ 87.943
167.80/168.41	c bounds 386631 >= 53533 @ 87.9716
167.80/168.41	c bounds 386050 >= 53533 @ 88.013
167.80/168.41	c bounds 385469 >= 53533 @ 88.0494
167.80/168.41	c bounds 385469 >= 53534 @ 88.119
167.80/168.41	c bounds 384888 >= 53534 @ 88.1625
167.80/168.41	c bounds 384307 >= 53534 @ 88.2074
167.80/168.41	c bounds 383727 >= 53534 @ 88.2639
167.80/168.41	c bounds 383146 >= 53534 @ 88.3101
167.80/168.41	c bounds 383146 >= 53535 @ 88.3272
167.80/168.41	c bounds 382565 >= 53535 @ 88.3683
167.80/168.41	c bounds 382565 >= 53536 @ 88.3825
167.80/168.41	c bounds 381984 >= 53536 @ 88.43
167.80/168.41	c bounds 381984 >= 53537 @ 88.4656
167.80/168.41	c bounds 381403 >= 53537 @ 88.5114
167.80/168.41	c bounds 380822 >= 53537 @ 88.5514
167.80/168.41	c bounds 380822 >= 53538 @ 88.6486
167.80/168.41	c bounds 380241 >= 53538 @ 88.6852
167.80/168.41	c bounds 379660 >= 53538 @ 88.7306
167.80/168.41	c bounds 379079 >= 53538 @ 88.7711
167.80/168.41	c bounds 378498 >= 53538 @ 88.833
167.80/168.41	c bounds 377917 >= 53538 @ 88.8928
167.80/168.41	c bounds 377336 >= 53538 @ 88.947
167.80/168.41	c bounds 376755 >= 53538 @ 88.9979
167.80/168.41	c bounds 376174 >= 53538 @ 89.0447
167.80/168.41	c bounds 376174 >= 53539 @ 89.1315
167.80/168.41	c bounds 375593 >= 53539 @ 89.2033
167.80/168.41	c bounds 375012 >= 53539 @ 89.2637
167.80/168.41	c bounds 374431 >= 53539 @ 89.3447
167.80/168.41	c bounds 373850 >= 53539 @ 89.4026
167.80/168.41	c bounds 373269 >= 53539 @ 89.5297
167.80/168.41	c bounds 373269 >= 53540 @ 89.6049
167.80/168.41	c bounds 372688 >= 53540 @ 89.6613
167.80/168.41	c bounds 372107 >= 53540 @ 89.7257
167.80/168.41	c bounds 372107 >= 53541 @ 89.8466
167.80/168.41	c bounds 371526 >= 53541 @ 89.8997
167.80/168.41	c bounds 370945 >= 53541 @ 89.9561
167.80/168.41	c bounds 370364 >= 53541 @ 90.0575
167.80/168.41	c #Conflicts:       8000 | #Constraints:     941854
167.80/168.41	c bounds 370363 >= 53541 @ 90.1203
167.80/168.41	c bounds 369782 >= 53541 @ 90.2029
167.80/168.41	c bounds 369201 >= 53541 @ 90.2479
167.80/168.41	c bounds 368620 >= 53541 @ 90.2968
167.80/168.41	c bounds 368039 >= 53541 @ 90.3403
167.80/168.41	c bounds 367458 >= 53541 @ 90.384
167.80/168.41	c bounds 367458 >= 54103 @ 90.4028
167.80/168.41	c bounds 366877 >= 54103 @ 90.4419
167.80/168.41	c bounds 366877 >= 54104 @ 90.4639
167.80/168.41	c bounds 366877 >= 54105 @ 90.4761
167.80/168.41	c bounds 366296 >= 54105 @ 90.532
167.80/168.41	c bounds 366296 >= 54106 @ 90.5535
167.80/168.41	c bounds 366296 >= 54107 @ 90.5727
167.80/168.41	c bounds 365715 >= 54107 @ 90.624
167.80/168.41	c bounds 365134 >= 54107 @ 90.6668
167.80/168.41	c bounds 365134 >= 54108 @ 90.6928
167.80/168.41	c bounds 364553 >= 54108 @ 90.7365
167.80/168.41	c bounds 363972 >= 54108 @ 90.7816
167.80/168.41	c bounds 363972 >= 54109 @ 90.8224
167.80/168.41	c bounds 363391 >= 54109 @ 90.8635
167.80/168.41	c bounds 362810 >= 54109 @ 90.9049
167.80/168.41	c bounds 362229 >= 54109 @ 90.9541
167.80/168.41	c bounds 361648 >= 54109 @ 91.0415
167.80/168.41	c bounds 361648 >= 54110 @ 91.0838
167.80/168.41	c bounds 361067 >= 54110 @ 91.1533
167.80/168.41	c bounds 360486 >= 54110 @ 91.2225
167.80/168.41	c bounds 360486 >= 54111 @ 91.2771
167.80/168.41	c bounds 359905 >= 54111 @ 91.3417
167.80/168.41	c bounds 359324 >= 54111 @ 91.4119
167.80/168.41	c bounds 358743 >= 54111 @ 91.4751
167.80/168.41	c bounds 358162 >= 54111 @ 91.536
167.80/168.41	c bounds 357581 >= 54111 @ 91.5964
167.80/168.41	c bounds 357581 >= 54112 @ 91.6827
167.80/168.41	c bounds 357000 >= 54112 @ 91.7444
167.80/168.41	c bounds 356419 >= 54112 @ 91.8229
167.80/168.41	c bounds 356418 >= 54112 @ 91.8976
167.80/168.41	c bounds 355837 >= 54112 @ 92.0387
167.80/168.41	c bounds 355837 >= 54113 @ 92.0553
167.80/168.41	c bounds 355256 >= 54113 @ 92.108
167.80/168.41	c bounds 355256 >= 54114 @ 92.1904
167.80/168.41	c bounds 354675 >= 54114 @ 92.2432
167.80/168.41	c bounds 354674 >= 54114 @ 92.2942
167.80/168.41	c bounds 354093 >= 54114 @ 92.3562
167.80/168.41	c bounds 353512 >= 54114 @ 92.438
167.80/168.41	c bounds 352931 >= 54114 @ 92.4912
167.80/168.41	c bounds 352350 >= 54114 @ 92.5721
167.80/168.41	c bounds 352350 >= 54115 @ 92.6746
167.80/168.41	c bounds 351769 >= 54115 @ 92.7215
167.80/168.41	c bounds 351188 >= 54115 @ 92.7609
167.80/168.41	c bounds 350607 >= 54115 @ 92.8436
167.80/168.41	c bounds 350026 >= 54115 @ 92.923
167.80/168.41	c bounds 349445 >= 54115 @ 92.9953
167.80/168.41	c bounds 349445 >= 54116 @ 93.1592
167.80/168.41	c #Conflicts:       9000 | #Constraints:     943077
167.80/168.41	c bounds 349444 >= 54116 @ 93.6657
167.80/168.41	c bounds 348863 >= 54116 @ 93.7839
167.80/168.41	c bounds 348282 >= 54116 @ 93.8763
167.80/168.41	c bounds 347701 >= 54116 @ 93.9609
167.80/168.41	c bounds 347120 >= 54116 @ 94.0459
167.80/168.41	c bounds 346539 >= 54116 @ 94.1479
167.80/168.41	c INPROCESSING
167.80/168.41	c GARBAGE COLLECT
167.80/168.41	c bounds 345958 >= 54116 @ 138.683
167.80/168.41	c bounds 345377 >= 54116 @ 138.927
167.80/168.41	c bounds 344796 >= 54116 @ 139.088
167.80/168.41	c bounds 344215 >= 54116 @ 139.952
167.80/168.41	c bounds 344214 >= 54116 @ 140.234
167.80/168.41	c bounds 344214 >= 54117 @ 140.344
167.80/168.41	c bounds 343633 >= 54117 @ 140.574
167.80/168.41	c #Conflicts:      10000 | #Constraints:     938316
167.80/168.41	c bounds 343633 >= 54118 @ 141.275
167.80/168.41	c bounds 343052 >= 54118 @ 141.341
167.80/168.41	c bounds 342471 >= 54118 @ 141.435
167.80/168.41	c bounds 341890 >= 54118 @ 141.517
167.80/168.41	c bounds 341309 >= 54118 @ 141.602
167.80/168.41	c bounds 340728 >= 54118 @ 141.676
167.80/168.41	c bounds 340147 >= 54118 @ 141.743
167.80/168.41	c bounds 339566 >= 54118 @ 141.817
180.85/181.56	c bounds 338985 >= 54118 @ 141.887
180.85/181.56	c bounds 338404 >= 54118 @ 141.955
180.85/181.56	c bounds 337823 >= 54118 @ 142.022
180.85/181.56	c bounds 337242 >= 54118 @ 142.081
180.85/181.56	c bounds 336661 >= 54118 @ 142.145
180.85/181.56	c bounds 336080 >= 54118 @ 142.201
180.85/181.56	c bounds 335499 >= 54118 @ 142.261
180.85/181.56	c bounds 334918 >= 54118 @ 142.316
180.85/181.56	c bounds 334337 >= 54118 @ 142.373
180.85/181.56	c bounds 333756 >= 54118 @ 142.429
180.85/181.56	c bounds 333175 >= 54118 @ 142.484
180.85/181.56	c bounds 332594 >= 54118 @ 142.528
180.85/181.56	c bounds 332013 >= 54118 @ 142.566
180.85/181.56	c bounds 331432 >= 54118 @ 142.6
180.85/181.56	c bounds 330851 >= 54118 @ 142.638
180.85/181.56	c bounds 330270 >= 54118 @ 142.673
180.85/181.56	c bounds 329689 >= 54118 @ 142.71
180.85/181.56	c bounds 329108 >= 54118 @ 142.78
180.85/181.56	c bounds 328527 >= 54118 @ 142.83
180.85/181.56	c bounds 327946 >= 54118 @ 142.866
180.85/181.56	c bounds 327366 >= 54118 @ 142.96
180.85/181.56	c bounds 326785 >= 54118 @ 143.2
180.85/181.56	c bounds 326204 >= 54118 @ 143.34
180.85/181.56	c bounds 325623 >= 54118 @ 143.392
180.85/181.56	c bounds 325042 >= 54118 @ 143.436
180.85/181.56	c bounds 325042 >= 54119 @ 143.589
180.85/181.56	c bounds 325041 >= 54119 @ 143.632
180.85/181.56	c bounds 325040 >= 54119 @ 143.68
180.85/181.56	c bounds 324459 >= 54119 @ 143.73
180.85/181.56	c bounds 323878 >= 54119 @ 143.782
180.85/181.56	c bounds 323297 >= 54119 @ 143.826
180.85/181.56	c bounds 322716 >= 54119 @ 143.867
180.85/181.56	c bounds 322135 >= 54119 @ 143.906
180.85/181.56	c bounds 321554 >= 54119 @ 143.945
180.85/181.56	c bounds 320973 >= 54119 @ 143.992
180.85/181.56	c bounds 320392 >= 54119 @ 144.034
180.85/181.56	c bounds 319811 >= 54119 @ 144.088
180.85/181.56	c bounds 319230 >= 54119 @ 144.137
180.85/181.56	c bounds 318649 >= 54119 @ 144.188
180.85/181.56	c bounds 318068 >= 54119 @ 144.232
180.85/181.56	c bounds 317487 >= 54119 @ 144.272
180.85/181.56	c bounds 316906 >= 54119 @ 144.325
180.85/181.56	c bounds 316325 >= 54119 @ 144.378
180.85/181.56	c bounds 316325 >= 54120 @ 144.44
180.85/181.56	c bounds 315744 >= 54120 @ 144.483
180.85/181.56	c bounds 315163 >= 54120 @ 144.527
180.85/181.56	c bounds 314582 >= 54120 @ 144.572
180.85/181.56	c bounds 314001 >= 54120 @ 144.62
180.85/181.56	c bounds 313420 >= 54120 @ 144.665
180.85/181.56	c bounds 313420 >= 54121 @ 144.771
180.85/181.56	c bounds 312839 >= 54121 @ 144.83
180.85/181.56	c bounds 312258 >= 54121 @ 144.877
180.85/181.56	c bounds 311677 >= 54121 @ 144.916
180.85/181.56	c bounds 311096 >= 54121 @ 144.959
180.85/181.56	c bounds 310515 >= 54121 @ 145.008
180.85/181.56	c bounds 309934 >= 54121 @ 145.049
180.85/181.56	c bounds 309353 >= 54121 @ 145.094
180.85/181.56	c bounds 308772 >= 54121 @ 145.14
180.85/181.56	c #Conflicts:      11000 | #Constraints:     939429
180.85/181.56	c bounds 308772 >= 54122 @ 145.336
180.85/181.56	c bounds 308191 >= 54122 @ 145.381
180.85/181.56	c bounds 307610 >= 54122 @ 145.422
180.85/181.56	c bounds 307029 >= 54122 @ 145.463
180.85/181.56	c bounds 306448 >= 54122 @ 145.515
180.85/181.56	c bounds 305867 >= 54122 @ 145.591
180.85/181.56	c bounds 305286 >= 54122 @ 145.677
180.85/181.56	c bounds 304705 >= 54122 @ 145.79
180.85/181.56	c bounds 304124 >= 54122 @ 145.87
180.85/181.56	c bounds 303543 >= 54122 @ 146.034
180.85/181.56	c bounds 303543 >= 54123 @ 147.395
180.85/181.56	c bounds 302962 >= 54123 @ 147.512
180.85/181.56	c bounds 302381 >= 54123 @ 147.62
180.85/181.56	c #Conflicts:      12000 | #Constraints:     940476
180.85/181.56	c INPROCESSING
180.85/181.56	c GARBAGE COLLECT
180.85/181.56	c bounds 301800 >= 54123 @ 148.306
180.85/181.56	c bounds 301219 >= 54123 @ 148.401
180.85/181.56	c bounds 300638 >= 54123 @ 148.499
180.85/181.56	c bounds 300057 >= 54123 @ 148.599
180.85/181.56	c bounds 299476 >= 54123 @ 148.703
180.85/181.56	c bounds 298895 >= 54123 @ 148.801
180.85/181.56	c bounds 298314 >= 54123 @ 148.894
180.85/181.56	c bounds 297733 >= 54123 @ 148.99
180.85/181.56	c bounds 297152 >= 54123 @ 149.079
180.85/181.56	c bounds 296571 >= 54123 @ 149.181
180.85/181.56	c bounds 296570 >= 54123 @ 149.27
180.85/181.56	c bounds 295989 >= 54123 @ 149.358
180.85/181.56	c bounds 295408 >= 54123 @ 149.444
180.85/181.56	c bounds 294827 >= 54123 @ 149.522
180.85/181.56	c bounds 294246 >= 54123 @ 149.594
180.85/181.56	c bounds 293665 >= 54123 @ 149.668
180.85/181.56	c bounds 293084 >= 54123 @ 149.741
180.85/181.56	c bounds 292503 >= 54123 @ 149.818
180.85/181.56	c bounds 291922 >= 54123 @ 149.884
180.85/181.56	c bounds 291341 >= 54123 @ 149.949
180.85/181.56	c bounds 290760 >= 54123 @ 150.015
180.85/181.56	c bounds 290179 >= 54123 @ 150.087
180.85/181.56	c bounds 290178 >= 54123 @ 150.164
180.85/181.56	c bounds 290177 >= 54123 @ 150.219
180.85/181.56	c bounds 290176 >= 54123 @ 150.281
180.85/181.56	c bounds 290175 >= 54123 @ 150.341
180.85/181.56	c bounds 289594 >= 54123 @ 150.401
180.85/181.56	c bounds 289593 >= 54123 @ 150.463
180.85/181.56	c bounds 289012 >= 54123 @ 150.529
180.85/181.56	c bounds 288431 >= 54123 @ 150.602
180.85/181.56	c bounds 287850 >= 54123 @ 150.668
180.85/181.56	c bounds 287269 >= 54123 @ 150.724
180.85/181.56	c bounds 286688 >= 54123 @ 150.831
180.85/181.56	c bounds 286687 >= 54123 @ 150.905
180.85/181.56	c bounds 286686 >= 54123 @ 150.961
180.85/181.56	c bounds 286685 >= 54123 @ 151.128
180.85/181.56	c bounds 286104 >= 54123 @ 151.234
180.85/181.56	c bounds 286103 >= 54123 @ 151.285
180.85/181.56	c bounds 285522 >= 54123 @ 151.356
180.85/181.56	c bounds 284941 >= 54123 @ 151.442
180.85/181.56	c bounds 284360 >= 54123 @ 151.502
180.85/181.56	c bounds 283779 >= 54123 @ 151.567
727.14/729.72	c bounds 283778 >= 54123 @ 151.609
727.14/729.72	c bounds 283197 >= 54123 @ 151.672
727.14/729.72	c bounds 282616 >= 54123 @ 151.733
727.14/729.72	c bounds 282615 >= 54123 @ 151.784
727.14/729.72	c bounds 282034 >= 54123 @ 151.834
727.14/729.72	c bounds 282033 >= 54123 @ 151.879
727.14/729.72	c bounds 282032 >= 54123 @ 151.925
727.14/729.72	c bounds 282031 >= 54123 @ 151.975
727.14/729.72	c bounds 282030 >= 54123 @ 152.026
727.14/729.72	c bounds 281449 >= 54123 @ 152.078
727.14/729.72	c bounds 280868 >= 54123 @ 152.14
727.14/729.72	c bounds 280287 >= 54123 @ 152.2
727.14/729.72	c bounds 279706 >= 54123 @ 152.258
727.14/729.72	c bounds 279125 >= 54123 @ 152.314
727.14/729.72	c bounds 278544 >= 54123 @ 152.363
727.14/729.72	c bounds 277963 >= 54123 @ 152.415
727.14/729.72	c bounds 277382 >= 54123 @ 152.467
727.14/729.72	c bounds 276801 >= 54123 @ 152.507
727.14/729.72	c bounds 276220 >= 54123 @ 152.569
727.14/729.72	c bounds 275639 >= 54123 @ 152.618
727.14/729.72	c bounds 275058 >= 54123 @ 152.664
727.14/729.72	c bounds 274477 >= 54123 @ 152.71
727.14/729.72	c bounds 273896 >= 54123 @ 152.745
727.14/729.72	c bounds 273315 >= 54123 @ 152.792
727.14/729.72	c bounds 272734 >= 54123 @ 152.833
727.14/729.72	c bounds 272153 >= 54123 @ 152.882
727.14/729.72	c bounds 271572 >= 54123 @ 152.927
727.14/729.72	c bounds 270991 >= 54123 @ 152.969
727.14/729.72	c bounds 270410 >= 54123 @ 153.007
727.14/729.72	c bounds 269829 >= 54123 @ 153.05
727.14/729.72	c bounds 269248 >= 54123 @ 153.096
727.14/729.72	c bounds 268667 >= 54123 @ 153.138
727.14/729.72	c bounds 268086 >= 54123 @ 153.179
727.14/729.72	c bounds 267505 >= 54123 @ 153.215
727.14/729.72	c bounds 266924 >= 54123 @ 153.255
727.14/729.72	c bounds 266343 >= 54123 @ 153.3
727.14/729.72	c bounds 265762 >= 54123 @ 153.339
727.14/729.72	c bounds 265181 >= 54123 @ 153.381
727.14/729.72	c bounds 264600 >= 54123 @ 153.427
727.14/729.72	c bounds 264019 >= 54123 @ 153.478
727.14/729.72	c bounds 263438 >= 54123 @ 153.519
727.14/729.72	c bounds 262857 >= 54123 @ 153.561
727.14/729.72	c bounds 262276 >= 54123 @ 153.603
727.14/729.72	c bounds 261695 >= 54123 @ 153.647
727.14/729.72	c bounds 261114 >= 54123 @ 153.704
727.14/729.72	c bounds 260533 >= 54123 @ 153.751
727.14/729.72	c bounds 259952 >= 54123 @ 153.799
727.14/729.72	c bounds 259371 >= 54123 @ 153.853
727.14/729.72	c bounds 258790 >= 54123 @ 153.902
727.14/729.72	c bounds 258209 >= 54123 @ 153.961
727.14/729.72	c bounds 257628 >= 54123 @ 154.071
727.14/729.72	c bounds 257049 >= 54123 @ 154.148
727.14/729.72	c bounds 256468 >= 54123 @ 154.246
727.14/729.72	c bounds 255887 >= 54123 @ 154.317
727.14/729.72	c bounds 255306 >= 54123 @ 154.387
727.14/729.72	c bounds 254726 >= 54123 @ 154.456
727.14/729.72	c bounds 254145 >= 54123 @ 154.572
727.14/729.72	c bounds 253564 >= 54123 @ 154.641
727.14/729.72	c bounds 252983 >= 54123 @ 154.7
727.14/729.72	c bounds 252402 >= 54123 @ 154.748
727.14/729.72	c bounds 251821 >= 54123 @ 154.811
727.14/729.72	c bounds 251820 >= 54123 @ 154.885
727.14/729.72	c #Conflicts:      13000 | #Constraints:     938846
727.14/729.72	c #Conflicts:      14000 | #Constraints:     939846
727.14/729.72	c #Conflicts:      15000 | #Constraints:     940846
727.14/729.72	c INPROCESSING
727.14/729.72	c GARBAGE COLLECT
727.14/729.72	c bounds 251239 >= 54123 @ 157.698
727.14/729.72	c bounds 250658 >= 54123 @ 157.892
727.14/729.72	c bounds 250077 >= 54123 @ 158.328
727.14/729.72	c bounds 249496 >= 54123 @ 159.17
727.14/729.72	c bounds 248915 >= 54123 @ 159.433
727.14/729.72	c bounds 248334 >= 54123 @ 166.085
727.14/729.72	c #Conflicts:      16000 | #Constraints:     939001
727.14/729.72	c bounds 247754 >= 54123 @ 169.044
727.14/729.72	c bounds 247754 >= 54124 @ 169.642
727.14/729.72	c bounds 247753 >= 54124 @ 169.764
727.14/729.72	c bounds 247172 >= 54124 @ 169.875
727.14/729.72	c bounds 246591 >= 54124 @ 169.985
727.14/729.72	c bounds 246010 >= 54124 @ 170.463
727.14/729.72	c #Conflicts:      17000 | #Constraints:     940012
727.14/729.72	c #Conflicts:      18000 | #Constraints:     941012
727.14/729.72	c INPROCESSING
727.14/729.72	c GARBAGE COLLECT
727.14/729.72	c bounds 245429 >= 54124 @ 172.905
727.14/729.72	c bounds 244848 >= 54124 @ 173.075
727.14/729.72	c bounds 244267 >= 54124 @ 173.196
727.14/729.72	c bounds 243686 >= 54124 @ 173.327
727.14/729.72	c bounds 243106 >= 54124 @ 173.467
727.14/729.72	c bounds 242525 >= 54124 @ 174.384
727.14/729.72	c bounds 241944 >= 54124 @ 174.81
727.14/729.72	c bounds 241363 >= 54124 @ 175.475
727.14/729.72	c #Conflicts:      19000 | #Constraints:     938558
727.14/729.72	c #Conflicts:      20000 | #Constraints:     939558
727.14/729.72	c #Conflicts:      21000 | #Constraints:     940558
727.14/729.72	c INPROCESSING
727.14/729.72	c GARBAGE COLLECT
727.14/729.72	c bounds 240782 >= 54124 @ 179.561
727.14/729.72	c bounds 240201 >= 54124 @ 179.703
727.14/729.72	c bounds 239620 >= 54124 @ 179.858
727.14/729.72	c bounds 239039 >= 54124 @ 179.997
727.14/729.72	c bounds 238458 >= 54124 @ 180.124
727.14/729.72	c bounds 237877 >= 54124 @ 180.263
727.14/729.72	c bounds 237296 >= 54124 @ 180.397
727.14/729.72	c bounds 237295 >= 54124 @ 180.524
727.14/729.72	c bounds 236714 >= 54124 @ 180.66
727.14/729.72	c bounds 236133 >= 54124 @ 180.8
727.14/729.72	c bounds 235552 >= 54124 @ 180.923
727.14/729.72	c bounds 235551 >= 54124 @ 181.05
727.14/729.72	c #Conflicts:      22000 | #Constraints:     938558
727.14/729.72	c bounds 235550 >= 54124 @ 691.263
727.14/729.72	c bounds 234969 >= 54124 @ 691.396
727.14/729.72	c bounds 234968 >= 54124 @ 691.527
727.14/729.72	c bounds 234387 >= 54124 @ 691.632
727.14/729.72	c bounds 233806 >= 54124 @ 691.765
727.14/729.72	c bounds 233225 >= 54124 @ 691.862
777.39/780.18	c bounds 232644 >= 54124 @ 691.975
777.39/780.18	c bounds 232643 >= 54124 @ 692.267
777.39/780.18	c bounds 232062 >= 54124 @ 692.425
777.39/780.18	c bounds 231481 >= 54124 @ 692.917
777.39/780.18	c bounds 230900 >= 54124 @ 693.269
777.39/780.18	c bounds 230320 >= 54124 @ 693.571
777.39/780.18	c bounds 229739 >= 54124 @ 693.884
777.39/780.18	c bounds 229158 >= 54124 @ 694.169
777.39/780.18	c bounds 228577 >= 54124 @ 694.776
777.39/780.18	c #Conflicts:      23000 | #Constraints:     939573
777.39/780.18	c bounds 227996 >= 54124 @ 695.324
777.39/780.18	c bounds 227415 >= 54124 @ 695.964
777.39/780.18	c bounds 226834 >= 54124 @ 696.5
777.39/780.18	c bounds 226253 >= 54124 @ 696.901
777.39/780.18	c bounds 225672 >= 54124 @ 698.112
777.39/780.18	c #Conflicts:      24000 | #Constraints:     940578
777.39/780.18	c bounds 225672 >= 54125 @ 698.549
777.39/780.18	c bounds 225671 >= 54125 @ 698.708
777.39/780.18	c bounds 225090 >= 54125 @ 698.963
777.39/780.18	c bounds 224509 >= 54125 @ 699.187
777.39/780.18	c bounds 223928 >= 54125 @ 699.432
777.39/780.18	c bounds 223347 >= 54125 @ 699.636
777.39/780.18	c bounds 223347 >= 54126 @ 700.426
777.39/780.18	c #Conflicts:      25000 | #Constraints:     941616
777.39/780.18	c bounds 222766 >= 54126 @ 701.381
777.39/780.18	c bounds 222186 >= 54126 @ 701.579
777.39/780.18	c bounds 222185 >= 54126 @ 701.806
777.39/780.18	c INPROCESSING
777.39/780.18	c GARBAGE COLLECT
777.39/780.18	c bounds 222184 >= 54126 @ 702.92
777.39/780.18	c bounds 221603 >= 54126 @ 703.093
777.39/780.18	c bounds 221602 >= 54126 @ 703.245
777.39/780.18	c bounds 221021 >= 54126 @ 703.401
777.39/780.18	c #Conflicts:      26000 | #Constraints:     939250
777.39/780.18	c #Conflicts:      27000 | #Constraints:     940250
777.39/780.18	c bounds 221021 >= 54127 @ 708.129
777.39/780.18	c bounds 220440 >= 54127 @ 708.287
777.39/780.18	c bounds 219859 >= 54127 @ 708.466
777.39/780.18	c bounds 219278 >= 54127 @ 708.706
777.39/780.18	c bounds 218697 >= 54127 @ 708.881
777.39/780.18	c bounds 218116 >= 54127 @ 709.047
777.39/780.18	c bounds 218115 >= 54127 @ 709.231
777.39/780.18	c bounds 217534 >= 54127 @ 709.463
777.39/780.18	c bounds 216953 >= 54127 @ 709.698
777.39/780.18	c bounds 216372 >= 54127 @ 709.872
777.39/780.18	c #Conflicts:      28000 | #Constraints:     941277
777.39/780.18	c bounds 215791 >= 54127 @ 710.026
777.39/780.18	c bounds 215210 >= 54127 @ 710.176
777.39/780.18	c bounds 214629 >= 54127 @ 710.332
777.39/780.18	c bounds 214048 >= 54127 @ 710.659
777.39/780.18	c bounds 213467 >= 54127 @ 710.91
777.39/780.18	c bounds 212886 >= 54127 @ 711.066
777.39/780.18	c bounds 212305 >= 54127 @ 711.215
777.39/780.18	c bounds 211724 >= 54127 @ 711.369
777.39/780.18	c bounds 211143 >= 54127 @ 711.543
777.39/780.18	c bounds 211142 >= 54127 @ 711.712
777.39/780.18	c bounds 210561 >= 54127 @ 711.891
777.39/780.18	c bounds 209980 >= 54127 @ 712.063
777.39/780.18	c bounds 209399 >= 54127 @ 712.29
777.39/780.18	c bounds 208818 >= 54127 @ 712.522
777.39/780.18	c bounds 208237 >= 54127 @ 712.681
777.39/780.18	c bounds 207656 >= 54127 @ 712.858
777.39/780.18	c bounds 207075 >= 54127 @ 713.044
777.39/780.18	c bounds 206494 >= 54127 @ 713.36
777.39/780.18	c bounds 205913 >= 54127 @ 713.694
777.39/780.18	c bounds 205332 >= 54127 @ 714.007
777.39/780.18	c #Conflicts:      29000 | #Constraints:     942297
777.39/780.18	c INPROCESSING
777.39/780.18	c GARBAGE COLLECT
777.39/780.18	c bounds 204751 >= 54127 @ 715.388
777.39/780.18	c bounds 204170 >= 54127 @ 715.787
777.39/780.18	c bounds 203589 >= 54127 @ 716.045
777.39/780.18	c bounds 203008 >= 54127 @ 716.355
777.39/780.18	c bounds 202427 >= 54127 @ 716.636
777.39/780.18	c bounds 201846 >= 54127 @ 718.654
777.39/780.18	c bounds 201845 >= 54127 @ 718.981
777.39/780.18	c #Conflicts:      30000 | #Constraints:     939509
777.39/780.18	c bounds 201264 >= 54127 @ 719.278
777.39/780.18	c bounds 201263 >= 54127 @ 719.782
777.39/780.18	c bounds 200682 >= 54127 @ 719.952
777.39/780.18	c bounds 200101 >= 54127 @ 720.263
777.39/780.18	c #Conflicts:      31000 | #Constraints:     940513
777.39/780.18	c #Conflicts:      32000 | #Constraints:     941513
777.39/780.18	c bounds 200101 >= 54128 @ 722.759
777.39/780.18	c bounds 200100 >= 54128 @ 722.915
777.39/780.18	c bounds 199519 >= 54128 @ 723.269
777.39/780.18	c bounds 198938 >= 54128 @ 724.189
777.39/780.18	c bounds 198357 >= 54128 @ 724.552
777.39/780.18	c bounds 198356 >= 54128 @ 724.824
777.39/780.18	c bounds 198355 >= 54128 @ 725.088
777.39/780.18	c bounds 197774 >= 54128 @ 725.35
777.39/780.18	c bounds 197193 >= 54128 @ 725.64
777.39/780.18	c bounds 196612 >= 54128 @ 726.043
777.39/780.18	c bounds 196031 >= 54128 @ 726.628
777.39/780.18	c bounds 195450 >= 54128 @ 726.908
777.39/780.18	c #Conflicts:      33000 | #Constraints:     942527
777.39/780.18	c INPROCESSING
777.39/780.18	c GARBAGE COLLECT
777.39/780.18	c bounds 194869 >= 54128 @ 729.019
777.39/780.18	c bounds 194288 >= 54128 @ 729.442
777.39/780.18	c bounds 193707 >= 54128 @ 729.662
777.39/780.18	c bounds 193126 >= 54128 @ 730.199
777.39/780.18	c #Conflicts:      34000 | #Constraints:     939641
777.39/780.18	c #Conflicts:      35000 | #Constraints:     940641
777.39/780.18	c #Conflicts:      36000 | #Constraints:     941641
777.39/780.18	c #Conflicts:      37000 | #Constraints:     942641
777.39/780.18	c INPROCESSING
777.39/780.18	c GARBAGE COLLECT
777.39/780.18	c bounds 192545 >= 54128 @ 735.811
777.39/780.18	c bounds 191964 >= 54128 @ 735.95
777.39/780.18	c bounds 191383 >= 54128 @ 736.083
777.39/780.18	c bounds 190802 >= 54128 @ 736.247
777.39/780.18	c bounds 190801 >= 54128 @ 736.423
777.39/780.18	c bounds 190800 >= 54128 @ 736.776
2159.41/2166.75	c bounds 190219 >= 54128 @ 736.934
2159.41/2166.75	c bounds 189638 >= 54128 @ 737.08
2159.41/2166.75	c bounds 189057 >= 54128 @ 737.231
2159.41/2166.75	c bounds 188476 >= 54128 @ 737.383
2159.41/2166.75	c bounds 188475 >= 54128 @ 737.528
2159.41/2166.75	c bounds 188474 >= 54128 @ 737.665
2159.41/2166.75	c bounds 188473 >= 54128 @ 737.852
2159.41/2166.75	c bounds 187892 >= 54128 @ 738.02
2159.41/2166.75	c bounds 187311 >= 54128 @ 738.26
2159.41/2166.75	c bounds 186730 >= 54128 @ 738.478
2159.41/2166.75	c bounds 186149 >= 54128 @ 738.703
2159.41/2166.75	c #Conflicts:      38000 | #Constraints:     939917
2159.41/2166.75	c bounds 185568 >= 54128 @ 739.458
2159.41/2166.75	c bounds 184987 >= 54128 @ 739.815
2159.41/2166.75	c bounds 184406 >= 54128 @ 743.722
2159.41/2166.75	c bounds 183825 >= 54128 @ 744.119
2159.41/2166.75	c #Conflicts:      39000 | #Constraints:     940921
2159.41/2166.75	c bounds 183824 >= 54128 @ 744.456
2159.41/2166.75	c bounds 183243 >= 54128 @ 744.853
2159.41/2166.75	c bounds 183242 >= 54128 @ 745.15
2159.41/2166.75	c bounds 182661 >= 54128 @ 745.449
2159.41/2166.75	c bounds 182080 >= 54128 @ 745.739
2159.41/2166.75	c bounds 181499 >= 54128 @ 746.035
2159.41/2166.75	c bounds 180918 >= 54128 @ 746.314
2159.41/2166.75	c bounds 180337 >= 54128 @ 746.609
2159.41/2166.75	c bounds 180336 >= 54128 @ 746.911
2159.41/2166.75	c bounds 179755 >= 54128 @ 747.258
2159.41/2166.75	c bounds 179754 >= 54128 @ 747.758
2159.41/2166.75	c bounds 179173 >= 54128 @ 748.102
2159.41/2166.75	c #Conflicts:      40000 | #Constraints:     941933
2159.41/2166.75	c #Conflicts:      41000 | #Constraints:     942933
2159.41/2166.75	c INPROCESSING
2159.41/2166.75	c GARBAGE COLLECT
2159.41/2166.75	c rational objective 54128
2259.88/2267.53	c bounds 178592 >= 54128 @ 2122.72
2259.88/2267.53	c bounds 178011 >= 54128 @ 2122.92
2259.88/2267.53	c bounds 177430 >= 54128 @ 2123.31
2259.88/2267.53	c bounds 176849 >= 54128 @ 2123.72
2259.88/2267.53	c #Conflicts:      42000 | #Constraints:     939885
2259.88/2267.53	c bounds 176268 >= 54128 @ 2124.1
2259.88/2267.53	c bounds 175687 >= 54128 @ 2124.43
2259.88/2267.53	c bounds 175106 >= 54128 @ 2124.78
2259.88/2267.53	c bounds 174525 >= 54128 @ 2125.18
2259.88/2267.53	c bounds 173945 >= 54128 @ 2125.58
2259.88/2267.53	c bounds 173944 >= 54128 @ 2125.93
2259.88/2267.53	c bounds 173363 >= 54128 @ 2126.11
2259.88/2267.53	c bounds 172782 >= 54128 @ 2126.47
2259.88/2267.53	c bounds 172781 >= 54128 @ 2126.65
2259.88/2267.53	c bounds 172200 >= 54128 @ 2126.97
2259.88/2267.53	c bounds 171619 >= 54128 @ 2127.69
2259.88/2267.53	c #Conflicts:      43000 | #Constraints:     940896
2259.88/2267.53	c bounds 171038 >= 54128 @ 2128.06
2259.88/2267.53	c bounds 171037 >= 54128 @ 2128.21
2259.88/2267.53	c bounds 170456 >= 54128 @ 2128.38
2259.88/2267.53	c bounds 169875 >= 54128 @ 2128.54
2259.88/2267.53	c bounds 169294 >= 54128 @ 2128.7
2259.88/2267.53	c bounds 168713 >= 54128 @ 2128.85
2259.88/2267.53	c bounds 168132 >= 54128 @ 2129.19
2259.88/2267.53	c #Conflicts:      44000 | #Constraints:     941903
2259.88/2267.53	c #Conflicts:      45000 | #Constraints:     942903
2259.88/2267.53	c #Conflicts:      46000 | #Constraints:     943903
2259.88/2267.53	c INPROCESSING
2259.88/2267.53	c GARBAGE COLLECT
2259.88/2267.53	c bounds 168131 >= 54128 @ 2134.74
2259.88/2267.53	c bounds 167550 >= 54128 @ 2135.05
2259.88/2267.53	c bounds 166969 >= 54128 @ 2135.49
2259.88/2267.53	c bounds 166388 >= 54128 @ 2135.76
2259.88/2267.53	c bounds 165807 >= 54128 @ 2136.1
2259.88/2267.53	c bounds 165226 >= 54128 @ 2136.32
2259.88/2267.53	c bounds 164645 >= 54128 @ 2136.46
2259.88/2267.53	c bounds 164064 >= 54128 @ 2136.63
2259.88/2267.53	c bounds 163483 >= 54128 @ 2136.79
2259.88/2267.53	c bounds 162902 >= 54128 @ 2136.94
2259.88/2267.53	c bounds 162901 >= 54128 @ 2137.25
2259.88/2267.53	c #Conflicts:      47000 | #Constraints:     940655
2259.88/2267.53	c bounds 162320 >= 54128 @ 2138.57
2259.88/2267.53	c bounds 161739 >= 54128 @ 2139.53
2259.88/2267.53	c bounds 161158 >= 54128 @ 2139.97
2259.88/2267.53	c bounds 160577 >= 54128 @ 2140.4
2259.88/2267.53	c bounds 159996 >= 54128 @ 2142.54
2259.88/2267.53	c #Conflicts:      48000 | #Constraints:     941660
2259.88/2267.53	c bounds 159995 >= 54128 @ 2145.61
2259.88/2267.53	c #Conflicts:      49000 | #Constraints:     942661
2259.88/2267.53	c #Conflicts:      50000 | #Constraints:     943661
2259.88/2267.53	c #Conflicts:      51000 | #Constraints:     944661
2259.88/2267.53	c INPROCESSING
2259.88/2267.53	c GARBAGE COLLECT
2259.88/2267.53	c bounds 159414 >= 54128 @ 2151.23
2259.88/2267.53	c bounds 158833 >= 54128 @ 2151.65
2259.88/2267.53	c bounds 158252 >= 54128 @ 2152.02
2259.88/2267.53	c bounds 157672 >= 54128 @ 2152.97
2259.88/2267.53	c bounds 157671 >= 54128 @ 2153.01
2259.88/2267.53	c bounds 157090 >= 54128 @ 2153.47
2259.88/2267.53	c bounds 156509 >= 54128 @ 2153.88
2259.88/2267.53	c bounds 155928 >= 54128 @ 2154.32
2259.88/2267.53	c bounds 155927 >= 54128 @ 2154.81
2259.88/2267.53	c #Conflicts:      52000 | #Constraints:     941199
2259.88/2267.53	c bounds 155926 >= 54128 @ 2155.48
2259.88/2267.53	c bounds 155345 >= 54128 @ 2156.31
2259.88/2267.53	c bounds 154765 >= 54128 @ 2157.05
2259.88/2267.53	c bounds 154184 >= 54128 @ 2157.74
2259.88/2267.53	c bounds 154183 >= 54128 @ 2158.7
2259.88/2267.53	c #Conflicts:      53000 | #Constraints:     942204
2259.88/2267.53	c bounds 154182 >= 54128 @ 2159.72
2259.88/2267.53	c bounds 153601 >= 54128 @ 2161.36
2259.88/2267.53	c bounds 153020 >= 54128 @ 2161.95
2259.88/2267.53	c #Conflicts:      54000 | #Constraints:     943207
2259.88/2267.53	c bounds 152439 >= 54128 @ 2163.33
2259.88/2267.53	c #Conflicts:      55000 | #Constraints:     944208
2259.88/2267.53	c bounds 151858 >= 54128 @ 2169.5
2259.88/2267.53	c #Conflicts:      56000 | #Constraints:     945209
2259.88/2267.53	c INPROCESSING
2259.88/2267.53	c GARBAGE COLLECT
2259.88/2267.53	c #Conflicts:      57000 | #Constraints:     941253
2259.88/2267.53	c #Conflicts:      58000 | #Constraints:     942253
2259.88/2267.53	c #Conflicts:      59000 | #Constraints:     943253
2259.88/2267.53	c #Conflicts:      60000 | #Constraints:     944253
2259.88/2267.54	c #Conflicts:      61000 | #Constraints:     945253
2259.88/2267.54	c INPROCESSING
2259.88/2267.54	c GARBAGE COLLECT
2259.88/2267.54	c bounds 151277 >= 54128 @ 2184.76
2259.88/2267.54	c bounds 150696 >= 54128 @ 2185.03
2259.88/2267.54	c bounds 150115 >= 54128 @ 2185.41
2259.88/2267.54	c bounds 149534 >= 54128 @ 2185.74
2259.88/2267.54	c bounds 148953 >= 54128 @ 2186.18
2259.88/2267.54	c bounds 148372 >= 54128 @ 2186.48
2259.88/2267.54	c bounds 148371 >= 54128 @ 2187.07
2259.88/2267.54	c bounds 147790 >= 54128 @ 2187.55
2259.88/2267.54	c bounds 147789 >= 54128 @ 2187.88
2259.88/2267.54	c #Conflicts:      62000 | #Constraints:     941407
2259.88/2267.54	c bounds 147208 >= 54128 @ 2189.12
2259.88/2267.54	c bounds 146627 >= 54128 @ 2189.36
2259.88/2267.54	c bounds 146046 >= 54128 @ 2189.83
2259.88/2267.54	c #Conflicts:      63000 | #Constraints:     942410
2259.88/2267.54	c bounds 146045 >= 54128 @ 2193.2
2259.88/2267.54	c bounds 146044 >= 54128 @ 2194.33
2259.88/2267.54	c bounds 145463 >= 54128 @ 2195.47
2259.88/2267.54	c #Conflicts:      64000 | #Constraints:     943413
2259.88/2267.54	c bounds 144882 >= 54128 @ 2196.7
2259.88/2267.54	c bounds 144301 >= 54128 @ 2200.37
2259.88/2267.54	c #Conflicts:      65000 | #Constraints:     944415
2259.88/2267.54	c #Conflicts:      66000 | #Constraints:     945415
2259.88/2267.54	c bounds 143720 >= 54128 @ 2207.78
2259.88/2267.54	c INPROCESSING
3147.72/3158.03	c GARBAGE COLLECT
3147.72/3158.03	c #Conflicts:      67000 | #Constraints:     940952
3147.72/3158.03	c #Conflicts:      68000 | #Constraints:     941952
3147.72/3158.03	c #Conflicts:      69000 | #Constraints:     942952
3147.72/3158.03	c #Conflicts:      70000 | #Constraints:     943952
3147.72/3158.03	c #Conflicts:      71000 | #Constraints:     944952
3147.72/3158.03	c #Conflicts:      72000 | #Constraints:     945952
3147.72/3158.03	c INPROCESSING
3147.72/3158.03	c GARBAGE COLLECT
3147.72/3158.03	c bounds 143139 >= 54128 @ 2222.53
3147.72/3158.03	c bounds 142558 >= 54128 @ 2222.77
3147.72/3158.03	c bounds 141977 >= 54128 @ 2222.99
3147.72/3158.03	c bounds 141396 >= 54128 @ 2223.17
3147.72/3158.03	c bounds 140815 >= 54128 @ 2223.45
3147.72/3158.03	c bounds 140234 >= 54128 @ 2223.65
3147.72/3158.03	c bounds 139653 >= 54128 @ 2224.27
3147.72/3158.03	c bounds 139652 >= 54128 @ 2224.66
3147.72/3158.03	c bounds 139071 >= 54128 @ 2225.07
3147.72/3158.03	c #Conflicts:      73000 | #Constraints:     941795
3147.72/3158.03	c bounds 139070 >= 54128 @ 2227.02
3147.72/3158.03	c bounds 138489 >= 54128 @ 2231.41
3147.72/3158.03	c bounds 137908 >= 54128 @ 2232.2
3147.72/3158.03	c #Conflicts:      74000 | #Constraints:     942798
3147.72/3158.03	c bounds 137327 >= 54128 @ 2232.88
3147.72/3158.03	c bounds 136746 >= 54128 @ 2233.29
3147.72/3158.03	c bounds 136165 >= 54128 @ 2233.78
3147.72/3158.03	c bounds 135584 >= 54128 @ 2234.34
3147.72/3158.03	c bounds 135583 >= 54128 @ 2235.24
3147.72/3158.03	c bounds 135002 >= 54128 @ 2235.48
3147.72/3158.03	c bounds 134421 >= 54128 @ 2236.13
3147.72/3158.03	c #Conflicts:      75000 | #Constraints:     943805
3147.72/3158.03	c bounds 133840 >= 54128 @ 2237.87
3147.72/3158.03	c bounds 133259 >= 54128 @ 2243.01
3147.72/3158.03	c #Conflicts:      76000 | #Constraints:     944807
3147.72/3158.03	c bounds 133258 >= 54128 @ 2250.27
3147.72/3158.03	c #Conflicts:      77000 | #Constraints:     945808
3147.72/3158.03	c bounds 132677 >= 54128 @ 2250.99
3147.72/3158.03	c bounds 132096 >= 54128 @ 2251.64
3147.72/3158.03	c bounds 132095 >= 54128 @ 2252.19
3147.72/3158.03	c bounds 131514 >= 54128 @ 2252.85
3147.72/3158.03	c bounds 131513 >= 54128 @ 2253.4
3147.72/3158.03	c bounds 130932 >= 54128 @ 2253.97
3147.72/3158.03	c bounds 130351 >= 54128 @ 2254.9
3147.72/3158.03	c #Conflicts:      78000 | #Constraints:     946815
3147.72/3158.03	c INPROCESSING
3147.72/3158.03	c GARBAGE COLLECT
3147.72/3158.03	c bounds 129770 >= 54128 @ 2256.51
3147.72/3158.03	c bounds 129189 >= 54128 @ 2257.67
3147.72/3158.03	c bounds 128608 >= 54128 @ 2258.16
3147.72/3158.03	c bounds 128607 >= 54128 @ 2258.45
3147.72/3158.03	c bounds 128026 >= 54128 @ 2258.95
3147.72/3158.03	c bounds 127445 >= 54128 @ 2259.49
3147.72/3158.03	c bounds 126864 >= 54128 @ 2259.93
3147.72/3158.03	c #Conflicts:      79000 | #Constraints:     939587
3147.72/3158.03	c bounds 126863 >= 54128 @ 2261.33
3147.72/3158.03	c #Conflicts:      80000 | #Constraints:     940588
3147.72/3158.03	c bounds 126863 >= 54677 @ 2262.88
3147.72/3158.03	c bounds 126862 >= 54677 @ 2263.1
3147.72/3158.03	c bounds 126861 >= 54677 @ 2263.54
3147.72/3158.03	c bounds 126280 >= 54677 @ 2263.82
3147.72/3158.03	c bounds 126279 >= 54677 @ 2264.06
3147.72/3158.03	c bounds 125698 >= 54677 @ 2264.29
3147.72/3158.03	c bounds 125117 >= 54677 @ 2264.52
3147.72/3158.03	c bounds 125116 >= 54677 @ 2264.98
3147.72/3158.03	c #Conflicts:      81000 | #Constraints:     941601
3147.72/3158.03	c bounds 124535 >= 54677 @ 2265.48
3147.72/3158.03	c bounds 123954 >= 54677 @ 2266.02
3147.72/3158.03	c bounds 123373 >= 54677 @ 2266.48
3147.72/3158.03	c bounds 122792 >= 54677 @ 2267.04
3147.72/3158.03	c bounds 122211 >= 54677 @ 2267.48
3147.72/3158.03	c bounds 122211 >= 54709 @ 2267.49
3147.72/3158.03	c bounds 122211 >= 54710 @ 2267.64
3147.72/3158.03	c bounds 121630 >= 54710 @ 2268.04
3147.72/3158.03	c bounds 121049 >= 54710 @ 2268.45
3147.72/3158.03	c #Conflicts:      82000 | #Constraints:     942614
3147.72/3158.03	c #Conflicts:      83000 | #Constraints:     943614
3147.72/3158.03	c #Conflicts:      84000 | #Constraints:     944614
3147.72/3158.03	c INPROCESSING
3147.72/3158.03	c GARBAGE COLLECT
3147.72/3158.03	c bounds 120468 >= 54710 @ 2274.03
3147.72/3158.03	c bounds 119887 >= 54710 @ 2275.58
3147.72/3158.03	c bounds 119306 >= 54710 @ 2276
3147.72/3158.03	c bounds 118725 >= 54710 @ 2276.54
3147.72/3158.03	c bounds 118724 >= 54710 @ 2277.05
3147.72/3158.03	c bounds 118143 >= 54710 @ 2278.32
3147.72/3158.03	c #Conflicts:      85000 | #Constraints:     939238
3147.72/3158.03	c bounds 117562 >= 54710 @ 2280.1
3147.72/3158.03	c bounds 116982 >= 54710 @ 2282.74
3147.72/3158.03	c #Conflicts:      86000 | #Constraints:     940240
3147.72/3158.03	c #Conflicts:      87000 | #Constraints:     941240
3147.72/3158.03	c bounds 116403 >= 54710 @ 3062.24
3147.72/3158.03	c #Conflicts:      88000 | #Constraints:     942241
3147.72/3158.03	c #Conflicts:      89000 | #Constraints:     943241
3147.72/3158.03	c #Conflicts:      90000 | #Constraints:     944241
3147.72/3158.03	c INPROCESSING
3147.72/3158.03	c GARBAGE COLLECT
3147.72/3158.03	c #Conflicts:      91000 | #Constraints:     939401
3147.72/3158.03	c #Conflicts:      92000 | #Constraints:     940401
3147.72/3158.03	c #Conflicts:      93000 | #Constraints:     941401
3147.72/3158.03	c #Conflicts:      94000 | #Constraints:     942401
3147.72/3158.03	c bounds 116403 >= 54711 @ 3083.86
3147.72/3158.03	c bounds 116402 >= 54711 @ 3084.14
3147.72/3158.03	c bounds 115821 >= 54711 @ 3084.36
3147.72/3158.03	c bounds 115240 >= 54711 @ 3084.94
3147.72/3158.03	c #Conflicts:      95000 | #Constraints:     943431
3147.72/3158.03	c bounds 114659 >= 54711 @ 3087.32
3147.72/3158.03	c bounds 114078 >= 54711 @ 3088.32
3147.72/3158.03	c bounds 113497 >= 54711 @ 3

ERROR: no interpretation found !

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 64059 MiB (60545 MiB free)
  memory of node 1: 64510 MiB (48305 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455336-1721464097/watcher-4455336-1721464097 -o /tmp/evaluation-result-4455336-1721464097/solver-4455336-1721464097 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721455877-1056970 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455336-1721464097.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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

solver pid=1062107, runsolver pid=1062104

[startup+0.100708 s]*
/proc/loadavg: 4.21 4.15 4.10 5/246 1062108
/proc/meminfo: memFree=111451832/131655788 swapFree=131071996/131071996
[pid=1062107] ppid=1062104 vsize=50616 memory=16552 CPUtime=0.1 cores=0,2
/proc/1062107/stat : 1062107 (roundingsat) R 1062104 1062107 1056960 0 -1 4194304 4137 0 0 0 8 2 0 0 20 0 1 0 198566476 51830784 4138 134679101440 4194304 7968373 140722412406736 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 29655040 140722412409788 140722412409952 140722412409952 140722412416969 0
/proc/1062107/statm: 12654 4138 1249 922 0 4606 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 50616 KiB
Current children cumulated memory: 16552 KiB

[startup+0.213832 s]*
/proc/loadavg: 4.21 4.15 4.10 5/246 1062108
/proc/meminfo: memFree=111447068/131655788 swapFree=131071996/131071996
[pid=1062107] ppid=1062104 vsize=60236 memory=30912 CPUtime=0.21 cores=0,2
/proc/1062107/stat : 1062107 (roundingsat) R 1062104 1062107 1056960 0 -1 4194304 6990 0 0 0 16 5 0 0 20 0 1 0 198566476 61681664 7728 134679101440 4194304 7968373 140722412406736 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 29655040 140722412409788 140722412409952 140722412409952 140722412416969 0
/proc/1062107/statm: 15059 7728 1249 922 0 7011 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 60236 KiB
Current children cumulated memory: 30912 KiB

[startup+0.313878 s]*
/proc/loadavg: 4.21 4.15 4.10 5/246 1062108
/proc/meminfo: memFree=111409896/131655788 swapFree=131071996/131071996
[pid=1062107] ppid=1062104 vsize=95660 memory=57640 CPUtime=0.31 cores=0,2
/proc/1062107/stat : 1062107 (roundingsat) R 1062104 1062107 1056960 0 -1 4194304 9899 0 0 0 24 7 0 0 20 0 1 0 198566476 97955840 14410 134679101440 4194304 7968373 140722412406736 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 29655040 140722412409788 140722412409952 140722412409952 140722412416969 0
/proc/1062107/statm: 23915 14410 1249 922 0 15867 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 95660 KiB
Current children cumulated memory: 57640 KiB

[startup+0.700342 s]
/proc/loadavg: 4.21 4.15 4.10 5/246 1062108
/proc/meminfo: memFree=111402732/131655788 swapFree=131071996/131071996
[pid=1062107] ppid=1062104 vsize=98380 memory=62832 CPUtime=0.69 cores=0,2
/proc/1062107/stat : 1062107 (roundingsat) R 1062104 1062107 1056960 0 -1 4194304 10179 0 0 0 56 13 0 0 20 0 1 0 198566476 100741120 15708 134679101440 4194304 7968373 140722412406736 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 29655040 140722412409788 140722412409952 140722412409952 140722412416969 0
/proc/1062107/statm: 24595 15708 1249 922 0 16547 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 98380 KiB
Current children cumulated memory: 62832 KiB

[startup+1.50032 s]
/proc/loadavg: 4.21 4.15 4.10 5/246 1062108
/proc/meminfo: memFree=111392764/131655788 swapFree=131071996/131071996
[pid=1062107] ppid=1062104 vsize=114600 memory=73648 CPUtime=1.49 cores=0,2
/proc/1062107/stat : 1062107 (roundingsat) R 1062104 1062107 1056960 0 -1 4194304 11361 0 0 0 123 26 0 0 20 0 1 0 198566476 117350400 18412 134679101440 4194304 7968373 140722412406736 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 29655040 140722412409788 140722412409952 140722412409952 140722412416969 0
/proc/1062107/statm: 28650 18412 1249 922 0 20602 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 114600 KiB
Current children cumulated memory: 73648 KiB

[startup+3.11367 s]
/proc/loadavg: 4.19 4.15 4.10 5/246 1062108
/proc/meminfo: memFree=111333936/131655788 swapFree=131071996/131071996
[pid=1062107] ppid=1062104 vsize=136632 memory=99672 CPUtime=3.1 cores=0,2
/proc/1062107/stat : 1062107 (roundingsat) R 1062104 1062107 1056960 0 -1 4194304 13810 0 0 0 258 52 0 0 20 0 1 0 198566476 139911168 24918 134679101440 4194304 7968373 140722412406736 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 29655040 140722412409788 140722412409952 140722412409952 140722412416969 0
/proc/1062107/statm: 34158 24918 1249 922 0 26110 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 136632 KiB
Current children cumulated memory: 99672 KiB

[startup+6.3003 s]
/proc/loadavg: 4.19 4.15 4.10 5/246 1062109
/proc/meminfo: memFree=111122576/131655788 swapFree=131071996/131071996
[pid=1062107] ppid=1062104 vsize=516884 memory=456608 CPUtime=6.27 cores=0,2
/proc/1062107/stat : 1062107 (roundingsat) R 1062104 1062107 1056960 0 -1 4194304 90092 0 0 0 521 106 0 0 20 0 1 0 198566476 529289216 114152 134679101440 4194304 7968373 140722412406736 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 29655040 140722412409788 140722412409952 140722412409952 140722412416969 0
/proc/1062107/statm: 129221 114152 1562 922 0 121173 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 516884 KiB
Current children cumulated memory: 456608 KiB

[startup+12.7003 s]
/proc/loadavg: 4.18 4.15 4.10 5/246 1062109
/proc/meminfo: memFree=110569084/131655788 swapFree=131071996/131071996
[pid=1062107] ppid=1062104 vsize=865436 memory=805568 CPUtime=12.64 cores=0,2
/proc/1062107/stat : 1062107 (roundingsat) R 1062104 1062107 1056960 0 -1 4194304 105146 0 0 0 1142 122 0 0 20 0 1 0 198566476 886206464 201392 134679101440 4194304 7968373 140722412406736 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 29655040 140722412409788 140722412409952 140722412409952 140722412416969 0
/proc/1062107/statm: 216359 201392 1642 922 0 208311 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 865436 KiB
Current children cumulated memory: 805568 KiB

[startup+25.5004 s]
/proc/loadavg: 4.14 4.14 4.10 5/246 1062112
/proc/meminfo: memFree=110359388/131655788 swapFree=131071996/131071996
[pid=1062107] ppid=1062104 vsize=924900 memory=853836 CPUtime=25.41 cores=0,2
/proc/1062107/stat : 1062107 (roundingsat) R 1062104 1062107 1056960 0 -1 4194304 106370 0 0 0 1856 685 0 0 20 0 1 0 198566476 947097600 213459 134679101440 4194304 7968373 140722412406736 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 29655040 140722412409788 140722412409952 140722412409952 140722412416969 0
/proc/1062107/statm: 231225 213459 1847 922 0 223177 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 924900 KiB
Current children cumulated memory: 853836 KiB

[startup+51.1139 s]
/proc/loadavg: 4.16 4.14 4.10 5/246 1062117
/proc/meminfo: memFree=110114976/131655788 swapFree=131071996/131071996
[pid=1062107] ppid=1062104 vsize=930764 memory=859700 CPUtime=50.93 cores=0,2
/proc/1062107/stat : 1062107 (roundingsat) R 1062104 1062107 1056960 0 -1 4194304 106932 0 0 0 4153 940 0 0 20 0 1 0 198566476 953102336 214925 134679101440 4194304 7968373 140722412406736 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 29655040 140722412409788 140722412409952 140722412409952 140722412416969 0
/proc/1062107/statm: 232691 214925 1847 922 0 224643 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 930764 KiB
Current children cumulated memory: 859700 KiB

[startup+102.3 s]
/proc/loadavg: 4.14 4.14 4.09 5/246 1062125
/proc/meminfo: memFree=109907528/131655788 swapFree=131071996/131071996
[pid=1062107] ppid=1062104 vsize=1018652 memory=946552 CPUtime=101.93 cores=0,2
/proc/1062107/stat : 1062107 (roundingsat) R 1062104 1062107 1056960 0 -1 4194304 117671 0 0 0 8305 1888 0 0 20 0 1 0 198566476 1043099648 236638 134679101440 4194304 7968373 140722412406736 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 29655040 140722412409788 140722412409952 140722412409952 140722412416969 0
/proc/1062107/statm: 254663 236638 1847 922 0 246615 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 1018652 KiB
Current children cumulated memory: 946552 KiB

[startup+162.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/246 1062192
/proc/meminfo: memFree=109797304/131655788 swapFree=131071996/131071996
[pid=1062107] ppid=1062104 vsize=1119100 memory=1052844 CPUtime=161.72 cores=0,2
/proc/1062107/stat : 1062107 (roundingsat) R 1062104 1062107 1056960 0 -1 4194304 133202 0 0 0 13639 2533 0 0 20 0 1 0 198566476 1145958400 263211 134679101440 4194304 7968373 140722412406736 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 29655040 140722412409788 140722412409952 140722412409952 140722412416969 0
/proc/1062107/statm: 279775 263211 1847 922 0 271727 0
Current children cumulated CPU time: 161.72 s
Current children cumulated vsize: 1119100 KiB
Current children cumulated memory: 1052844 KiB

[startup+222.3 s]
/proc/loadavg: 4.35 4.18 4.11 5/246 1062202
/proc/meminfo: memFree=109759468/131655788 swapFree=131071996/131071996
[pid=1062107] ppid=1062104 vsize=1123896 memory=1081408 CPUtime=221.52 cores=0,2
/proc/1062107/stat : 1062107 (roundingsat) R 1062104 1062107 1056960 0 -1 4194304 135359 0 0 0 18704 3448 0 0 20 0 1 0 198566476 1150869504 270352 134679101440 4194304 7968373 140722412406736 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 29655040 140722412409788 140722412409952 140722412409952 140722412416969 0
/proc/1062107/statm: 280974 270352 1847 922 0 272926 0
Current children cumulated CPU time: 221.52 s
Current children cumulated vsize: 1123896 KiB
Current children cumulated memory: 1081408 KiB

[startup+282.3 s]
/proc/loadavg: 4.18 4.16 4.10 5/245 1062213
/proc/meminfo: memFree=109727740/131655788 swapFree=131071996/131071996
[pid=1062107] ppid=1062104 vsize=1149944 memory=1092584 CPUtime=281.29 cores=0,2
/proc/1062107/stat : 1062107 (roundingsat) R 1062104 1062107 1056960 0 -1 4194304 135785 0 0 0 24639 3490 0 0 20 0 1 0 198566476 1177542656 273146 134679101440 4194304 7968373 140722412406736 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 29655040 140722412409788 140722412409952 140722412409952 140722412416969 0
/proc/1062107/statm: 287486 273146 1847 922 0 279438 0
Current children cumulated CPU time: 281.29 s
Current children cumulated vsize: 1149944 KiB
Current children cumulated memory: 1092584 KiB

[startup+342.3 s]
/proc/loadavg: 4.16 4.16 4.10 5/244 1062223
/proc/meminfo: memFree=109210272/131655788 swapFree=131071996/131071996
[pid=1062107] ppid=1062104 vsize=1165452 memory=1109184 CPUtime=341.09 cores=0,2
/proc/1062107/stat : 1062107 (roundingsat) R 1062104 1062107 1056960 0 -1 4194304 137574 0 0 0 30615 3494 0 0 20 0 1 0 198566476 1193422848 277296 134679101440 4194304 7968373 140722412406736 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 29655040 140722412409788 140722412409952 140722412409952 140722412416969 0
/proc/1062107/statm: 291363 277296 1847 922 0 283315 0
Current children cumulated CPU time: 341.09 s
Current children cumulated vsize: 1165452 KiB
Current children cumulated memory: 1109184 KiB

[startup+402.3 s]
/proc/loadavg: 4.17 4.16 4.10 5/244 1062234
/proc/meminfo: memFree=108527628/131655788 swapFree=131071996/131071996
[pid=1062107] ppid=1062104 vsize=1166644 memory=1113448 CPUtime=400.87 cores=0,2
/proc/1062107/stat : 1062107 (roundingsat) R 1062104 1062107 1056960 0 -1 4194304 138356 0 0 0 36589 3498 0 0 20 0 1 0 198566476 1194643456 278362 134679101440 4194304 7968373 140722412406736 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 29655040 140722412409788 140722412409952 140722412409952 140722412416969 0
/proc/1062107/statm: 291661 278362 1847 922 0 283613 0
Current children cumulated CPU time: 400.87 s
Current children cumulated vsize: 1166644 KiB
Current children cumulated memory: 1113448 KiB

[startup+462.3 s]
/proc/loadavg: 4.16 4.16 4.10 5/242 1062245
/proc/meminfo: memFree=108490632/131655788 swapFree=131071996/131071996
[pid=1062107] ppid=1062104 vsize=1174740 memory=1120672 CPUtime=460.67 cores=0,2
/proc/1062107/stat : 1062107 (roundingsat) R 1062104 1062107 1056960 0 -1 4194304 139411 0 0 0 42566 3501 0 0 20 0 1 0 198566476 1202933760 280168 134679101440 4194304 7968373 140722412406736 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 29655040 140722412409788 140722412409952 140722412409952 140722412416969 0
/proc/1062107/statm: 293685 280168 1847 922 0 285637 0

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

[startup+3102.3 s]
/proc/loadavg: 1.22 1.73 2.89 2/222 1063388
/proc/meminfo: memFree=124413900/131655788 swapFree=131071996/131071996
[pid=1062107] ppid=1062104 vsize=2882104 memory=2473676 CPUtime=3092.16 cores=0,2
/proc/1062107/stat : 1062107 (roundingsat) R 1062104 1062107 1056960 0 -1 4194304 361501 0 0 0 303486 5730 0 0 20 0 1 0 198566476 2951274496 618419 134679101440 4194304 7968373 140722412406736 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 29655040 140722412409788 140722412409952 140722412409952 140722412416969 0
/proc/1062107/statm: 720526 618419 1847 922 0 712478 0
Current children cumulated CPU time: 3092.16 s
Current children cumulated vsize: 2882104 KiB
Current children cumulated memory: 2473676 KiB

[startup+3162.3 s]
/proc/loadavg: 1.14 1.61 2.77 2/226 1063406
/proc/meminfo: memFree=124738084/131655788 swapFree=131071996/131071996
[pid=1062107] ppid=1062104 vsize=2924884 memory=2485164 CPUtime=3151.99 cores=0,2
/proc/1062107/stat : 1062107 (roundingsat) R 1062104 1062107 1056960 0 -1 4194304 363129 0 0 0 309330 5869 0 0 20 0 1 0 198566476 2995081216 621291 134679101440 4194304 7968373 140722412406736 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 29655040 140722412409788 140722412409952 140722412409952 140722412416969 0
/proc/1062107/statm: 731221 621291 1847 922 0 723173 0
Current children cumulated CPU time: 3151.99 s
Current children cumulated vsize: 2924884 KiB
Current children cumulated memory: 2485164 KiB

[startup+3222.3 s]
/proc/loadavg: 1.10 1.51 2.66 2/225 1063416
/proc/meminfo: memFree=124717428/131655788 swapFree=131071996/131071996
[pid=1062107] ppid=1062104 vsize=2924884 memory=2505724 CPUtime=3211.79 cores=0,2
/proc/1062107/stat : 1062107 (roundingsat) R 1062104 1062107 1056960 0 -1 4194304 363773 0 0 0 314828 6351 0 0 20 0 1 0 198566476 2995081216 626431 134679101440 4194304 7968373 140722412406736 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 29655040 140722412409788 140722412409952 140722412409952 140722412416969 0
/proc/1062107/statm: 731221 626431 1847 922 0 723173 0
Current children cumulated CPU time: 3211.79 s
Current children cumulated vsize: 2924884 KiB
Current children cumulated memory: 2505724 KiB

[startup+3282.3 s]
/proc/loadavg: 1.14 1.45 2.57 2/225 1063428
/proc/meminfo: memFree=124716852/131655788 swapFree=131071996/131071996
[pid=1062107] ppid=1062104 vsize=2924884 memory=2506048 CPUtime=3271.6 cores=0,2
/proc/1062107/stat : 1062107 (roundingsat) R 1062104 1062107 1056960 0 -1 4194304 364391 0 0 0 320549 6611 0 0 20 0 1 0 198566476 2995081216 626512 134679101440 4194304 7968373 140722412406736 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 29655040 140722412409788 140722412409952 140722412409952 140722412416969 0
/proc/1062107/statm: 731221 626512 1847 922 0 723173 0
Current children cumulated CPU time: 3271.6 s
Current children cumulated vsize: 2924884 KiB
Current children cumulated memory: 2506048 KiB

[startup+3342.3 s]
/proc/loadavg: 1.18 1.40 2.48 2/225 1063438
/proc/meminfo: memFree=124548756/131655788 swapFree=131071996/131071996
[pid=1062107] ppid=1062104 vsize=3274132 memory=2673484 CPUtime=3331.41 cores=0,2
/proc/1062107/stat : 1062107 (roundingsat) R 1062104 1062107 1056960 0 -1 4194304 367033 0 0 0 326139 7002 0 0 20 0 1 0 198566476 3352711168 668371 134679101440 4194304 7968373 140722412406736 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 29655040 140722412409788 140722412409952 140722412409952 140722412416969 0
/proc/1062107/statm: 818533 668371 1847 922 0 810485 0
Current children cumulated CPU time: 3331.41 s
Current children cumulated vsize: 3274132 KiB
Current children cumulated memory: 2673484 KiB

[startup+3402.3 s]
/proc/loadavg: 1.11 1.34 2.39 2/225 1063449
/proc/meminfo: memFree=124548108/131655788 swapFree=131071996/131071996
[pid=1062107] ppid=1062104 vsize=3274132 memory=2673664 CPUtime=3391.2 cores=0,2
/proc/1062107/stat : 1062107 (roundingsat) R 1062104 1062107 1056960 0 -1 4194304 367526 0 0 0 332048 7072 0 0 20 0 1 0 198566476 3352711168 668416 134679101440 4194304 7968373 140722412406736 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 29655040 140722412409788 140722412409952 140722412409952 140722412416969 0
/proc/1062107/statm: 818533 668416 1847 922 0 810485 0
Current children cumulated CPU time: 3391.2 s
Current children cumulated vsize: 3274132 KiB
Current children cumulated memory: 2673664 KiB

[startup+3462.3 s]
/proc/loadavg: 1.21 1.33 2.32 2/222 1063843
/proc/meminfo: memFree=124528436/131655788 swapFree=131071996/131071996
[pid=1062107] ppid=1062104 vsize=3274132 memory=2692940 CPUtime=3451 cores=0,2
/proc/1062107/stat : 1062107 (roundingsat) R 1062104 1062107 1056960 0 -1 4194304 367874 0 0 0 338024 7076 0 0 20 0 1 0 198566476 3352711168 673235 134679101440 4194304 7968373 140722412406736 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 29655040 140722412409788 140722412409952 140722412409952 140722412416969 0
/proc/1062107/statm: 818533 673235 1847 922 0 810485 0
Current children cumulated CPU time: 3451 s
Current children cumulated vsize: 3274132 KiB
Current children cumulated memory: 2692940 KiB

[startup+3522.3 s]
/proc/loadavg: 1.12 1.28 2.24 2/222 1063853
/proc/meminfo: memFree=124473400/131655788 swapFree=131071996/131071996
[pid=1062107] ppid=1062104 vsize=3295784 memory=2747780 CPUtime=3510.8 cores=0,2
/proc/1062107/stat : 1062107 (roundingsat) R 1062104 1062107 1056960 0 -1 4194304 368935 0 0 0 344000 7080 0 0 20 0 1 0 198566476 3374882816 686945 134679101440 4194304 7968373 140722412406736 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 29655040 140722412409788 140722412409952 140722412409952 140722412416969 0
/proc/1062107/statm: 823946 686945 1847 922 0 815898 0
Current children cumulated CPU time: 3510.8 s
Current children cumulated vsize: 3295784 KiB
Current children cumulated memory: 2747780 KiB

[startup+3582.3 s]
/proc/loadavg: 1.49 1.34 2.19 2/222 1063863
/proc/meminfo: memFree=124440264/131655788 swapFree=131071996/131071996
[pid=1062107] ppid=1062104 vsize=3295784 memory=2780688 CPUtime=3570.59 cores=0,2
/proc/1062107/stat : 1062107 (roundingsat) R 1062104 1062107 1056960 0 -1 4194304 369330 0 0 0 349977 7082 0 0 20 0 1 0 198566476 3374882816 695172 134679101440 4194304 7968373 140722412406736 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 29655040 140722412409788 140722412409952 140722412409952 140722412416969 0
/proc/1062107/statm: 823946 695172 1847 922 0 815898 0
Current children cumulated CPU time: 3570.59 s
Current children cumulated vsize: 3295784 KiB
Current children cumulated memory: 2780688 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.9 s]
/proc/loadavg: 1.81 1.44 2.20 2/223 1064037
/proc/meminfo: memFree=124423484/131655788 swapFree=131071996/131071996
[pid=1062107] ppid=1062104 vsize=3295784 memory=2797224 CPUtime=3600.09 cores=0,2
/proc/1062107/stat : 1062107 (roundingsat) R 1062104 1062107 1056960 0 -1 4194304 369583 0 0 0 352926 7083 0 0 20 0 1 0 198566476 3374882816 699306 134679101440 4194304 7968373 140722412406736 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 29655040 140722412409788 140722412409952 140722412409952 140722412416969 0
/proc/1062107/statm: 823946 699306 1847 922 0 815898 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 3295784 KiB
Current children cumulated memory: 2797224 KiB

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

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

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

# cumulated CPU time of all completed processes:  user=3531.26 s, system=70.8598 s

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

[startup+3612.8 s]
/proc/loadavg: 1.81 1.44 2.20 2/223 1064037
/proc/meminfo: memFree=124423484/131655788 swapFree=131071996/131071996
[pid=1062107] ppid=1062104 vsize=3295784 memory=2797224 CPUtime=3600.99 cores=0,2
/proc/1062107/stat : 1062107 (roundingsat) R 1062104 1062107 1056960 0 -1 4194304 369583 0 0 0 353016 7083 0 0 20 0 1 0 198566476 3374882816 699306 134679101440 4194304 7968373 140722412406736 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 29655040 140722412409788 140722412409952 140722412409952 140722412416969 0
/proc/1062107/statm: 823946 699306 1847 922 0 815898 0
Current children cumulated CPU time: 3600.99 s
Current children cumulated vsize: 3295784 KiB
Current children cumulated memory: 2797224 KiB

[startup+3613.6 s]
/proc/loadavg: 1.81 1.44 2.20 2/223 1064037
/proc/meminfo: memFree=124423492/131655788 swapFree=131071996/131071996
[pid=1062107] ppid=1062104 vsize=3295784 memory=2797224 CPUtime=3601.78 cores=0,2
/proc/1062107/stat : 1062107 (roundingsat) R 1062104 1062107 1056960 0 -1 4194304 369583 0 0 0 353095 7083 0 0 20 0 1 0 198566476 3374882816 699306 134679101440 4194304 7968373 140722412406736 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 29655040 140722412409788 140722412409952 140722412409952 140722412416969 0
/proc/1062107/statm: 823946 699306 1847 922 0 815898 0
Current children cumulated CPU time: 3601.78 s
Current children cumulated vsize: 3295784 KiB
Current children cumulated memory: 2797224 KiB

[startup+3613.8 s]
/proc/loadavg: 1.81 1.44 2.20 2/223 1064037
/proc/meminfo: memFree=124423492/131655788 swapFree=131071996/131071996
[pid=1062107] ppid=1062104 vsize=3295784 memory=2797224 CPUtime=3601.98 cores=0,2
/proc/1062107/stat : 1062107 (roundingsat) R 1062104 1062107 1056960 0 -1 4194304 369583 0 0 0 353115 7083 0 0 20 0 1 0 198566476 3374882816 699306 134679101440 4194304 7968373 140722412406736 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 29655040 140722412409788 140722412409952 140722412409952 140722412416969 0
/proc/1062107/statm: 823946 699306 1847 922 0 815898 0
Current children cumulated CPU time: 3601.98 s
Current children cumulated vsize: 3295784 KiB
Current children cumulated memory: 2797224 KiB

[startup+3613.9 s]
/proc/loadavg: 1.81 1.44 2.20 2/223 1064037
/proc/meminfo: memFree=124423492/131655788 swapFree=131071996/131071996
[pid=1062107] ppid=1062104 vsize=3295784 memory=2797224 CPUtime=3602.08 cores=0,2
/proc/1062107/stat : 1062107 (roundingsat) R 1062104 1062107 1056960 0 -1 4194304 369583 0 0 0 353125 7083 0 0 20 0 1 0 198566476 3374882816 699306 134679101440 4194304 7968373 140722412406736 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 29655040 140722412409788 140722412409952 140722412409952 140722412416969 0
/proc/1062107/statm: 823946 699306 1847 922 0 815898 0
Current children cumulated CPU time: 3602.08 s
Current children cumulated vsize: 3295784 KiB
Current children cumulated memory: 2797224 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 3613.92
CPU time (s): 3602.12
CPU user time (s): 3531.26
CPU system time (s): 70.8598
CPU usage (%): 99.6733
Max. virtual memory (cumulated for all children) (KiB): 3295784
Max. memory (cumulated for all children) (KiB): 2797224

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3531.26
system time used= 70.8598
maximum resident set size= 2797224
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 369583
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= 88
involuntary context switches= 25205


# summary of solver processes directly reported to runsolver:
#   pid: 1062107
#   total CPU time (s): 3602.12
#   total CPU user time (s): 3531.26
#   total CPU system time (s): 70.8598

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.4588 second user time and 36.8916 second system time

The end

Begin job on nodeC007 at 2024-07-20 10:28:31
IDJOB=4455336
IDBENCH=158206
IDSOLVER=3084
FILE ID=nodeC007/4455336-1721464097
RUNJOBID= nodeC007-1721455877-1056970
SLURM_JOB_ID= 7545690
Free space on /tmp= 723588 MiB

SOLVER NAME= RoundingSat nolog
BENCH NAME= PB24/normalized-PB12/OPT-LIN/graca/normalized-ped2.G.recomb10-0.20-12.opb
COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455336-1721464097/watcher-4455336-1721464097 -o /tmp/evaluation-result-4455336-1721464097/solver-4455336-1721464097 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721455877-1056970 --watchdog 3760  roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455336-1721464097.opb

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

MD5SUM BENCH= 0c5a5feecc6e9ebbd7fc1e1b28678077
RANDOM SEED=2144266106

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        111464424 kB
MemAvailable:   114557684 kB
Buffers:          553200 kB
Cached:          3374848 kB
SwapCached:            0 kB
Active:          1209720 kB
Inactive:       18372552 kB
Active(anon):       1460 kB
Inactive(anon): 15698668 kB
Active(file):    1208260 kB
Inactive(file):  2673884 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:            114584 kB
Writeback:             0 kB
AnonPages:      15654300 kB
Mapped:           117456 kB
Shmem:             45896 kB
KReclaimable:     102296 kB
Slab:             206232 kB
SReclaimable:     102296 kB
SUnreclaim:       103936 kB
KernelStack:        3968 kB
PageTables:        41176 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:   18276512 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            61888 kB
HardwareCorrupted:     0 kB
AnonHugePages:   4884480 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      279368 kB
DirectMap2M:    27936768 kB
DirectMap1G:    108003328 kB

Free space on /tmp at the end= 723672 MiB
End job on nodeC007 at 2024-07-20 11:28:45