0.00/0.00	c RoundingSat 2
0.00/0.00	c branch 
0.00/0.00	c commit 
9.05/9.14	c #variables 214302 #constraints 1368957
22.00/22.18	c bounds - >= 0 @ 7.83719
22.00/22.18	c bounds 646365 >= 0 @ 15.0464
22.00/22.18	c bounds 646365 >= 6 @ 15.0539
22.00/22.18	c bounds 646365 >= 587 @ 15.0623
22.00/22.18	c bounds 646365 >= 1168 @ 15.0716
22.00/22.18	c bounds 646365 >= 1749 @ 15.0801
22.00/22.18	c bounds 646365 >= 2330 @ 15.0876
22.00/22.18	c bounds 646365 >= 2911 @ 15.0958
22.00/22.18	c bounds 646365 >= 3492 @ 15.1039
22.00/22.18	c bounds 646365 >= 4073 @ 15.1117
22.00/22.18	c bounds 646365 >= 4654 @ 15.1204
22.00/22.18	c bounds 646365 >= 5235 @ 15.1277
22.00/22.18	c bounds 646365 >= 5816 @ 15.1352
22.00/22.18	c bounds 646365 >= 6397 @ 15.1449
22.00/22.18	c bounds 646365 >= 6978 @ 15.1537
22.00/22.18	c bounds 646365 >= 7559 @ 15.1648
22.00/22.18	c bounds 646365 >= 7560 @ 15.1749
22.00/22.18	c bounds 646365 >= 8141 @ 15.1833
22.00/22.18	c bounds 646365 >= 8722 @ 15.1941
22.00/22.18	c bounds 646365 >= 9303 @ 15.2057
22.00/22.18	c bounds 646365 >= 9884 @ 15.2157
22.00/22.18	c bounds 646365 >= 10465 @ 15.2269
22.00/22.18	c bounds 646365 >= 11046 @ 15.2361
22.00/22.18	c bounds 646365 >= 11627 @ 15.2487
22.00/22.18	c bounds 646365 >= 12208 @ 15.2639
22.00/22.18	c bounds 645784 >= 12208 @ 15.3424
22.00/22.18	c bounds 645784 >= 12789 @ 15.3546
22.00/22.18	c bounds 645784 >= 13370 @ 15.3694
22.00/22.18	c bounds 645784 >= 13951 @ 15.3815
22.00/22.18	c bounds 645784 >= 14532 @ 15.3918
22.00/22.18	c bounds 645784 >= 15113 @ 15.41
22.00/22.18	c bounds 645784 >= 15694 @ 15.4219
22.00/22.18	c bounds 645784 >= 16275 @ 15.4323
22.00/22.18	c bounds 645784 >= 16856 @ 15.4444
22.00/22.18	c bounds 642298 >= 16856 @ 15.5006
22.00/22.18	c bounds 642298 >= 17437 @ 15.5127
22.00/22.18	c bounds 642298 >= 18018 @ 15.5251
22.00/22.18	c bounds 642298 >= 18599 @ 15.5408
22.00/22.18	c bounds 641717 >= 18599 @ 15.5912
22.00/22.18	c bounds 641717 >= 19180 @ 15.6081
22.00/22.18	c bounds 641717 >= 19181 @ 15.6271
22.00/22.18	c bounds 641717 >= 19182 @ 15.6494
22.00/22.18	c bounds 641136 >= 19182 @ 15.7018
22.00/22.18	c bounds 641136 >= 19183 @ 15.7224
22.00/22.18	c bounds 641136 >= 19762 @ 15.7425
22.00/22.18	c bounds 640555 >= 19762 @ 15.7983
22.00/22.18	c bounds 640555 >= 19763 @ 15.8187
22.00/22.18	c bounds 640555 >= 20344 @ 15.8346
22.00/22.18	c bounds 640555 >= 20924 @ 15.8498
22.00/22.18	c bounds 639974 >= 20924 @ 15.9238
22.00/22.18	c bounds 639974 >= 21505 @ 15.9406
22.00/22.18	c bounds 639974 >= 22086 @ 15.9556
22.00/22.18	c bounds 639974 >= 22667 @ 15.9738
22.00/22.18	c bounds 639974 >= 22668 @ 16.0061
22.00/22.18	c bounds 639974 >= 22669 @ 16.0309
22.00/22.18	c bounds 639393 >= 22669 @ 16.1243
22.00/22.18	c bounds 639393 >= 23249 @ 16.145
22.00/22.18	c bounds 639393 >= 23829 @ 16.1614
22.00/22.18	c bounds 639393 >= 23830 @ 16.1791
22.00/22.18	c bounds 639393 >= 24408 @ 16.2165
22.00/22.18	c bounds 639392 >= 24408 @ 16.2667
22.00/22.18	c bounds 639392 >= 24411 @ 16.2847
22.00/22.18	c bounds 639392 >= 24412 @ 16.3114
22.00/22.18	c bounds 639391 >= 24412 @ 16.3675
22.00/22.18	c bounds 639391 >= 24413 @ 16.386
22.00/22.18	c bounds 639391 >= 24994 @ 16.4058
22.00/22.18	c bounds 639390 >= 24994 @ 16.481
22.00/22.18	c bounds 639390 >= 25571 @ 16.5
22.00/22.18	c bounds 639390 >= 25575 @ 16.5142
22.00/22.18	c bounds 639390 >= 26156 @ 16.5292
22.00/22.18	c bounds 639390 >= 26737 @ 16.5498
22.00/22.18	c bounds 639390 >= 27310 @ 16.5707
22.00/22.18	c bounds 639390 >= 27311 @ 16.5913
22.00/22.18	c bounds 638809 >= 27311 @ 16.6399
22.00/22.18	c bounds 638809 >= 27312 @ 16.6571
22.00/22.18	c bounds 638809 >= 27313 @ 16.6758
22.00/22.18	c bounds 638228 >= 27313 @ 16.7224
22.00/22.18	c bounds 638228 >= 27314 @ 16.7413
22.00/22.18	c bounds 638228 >= 27315 @ 16.7612
22.00/22.18	c bounds 637647 >= 27315 @ 16.8074
22.00/22.18	c bounds 637647 >= 27316 @ 16.8252
22.00/22.18	c bounds 637066 >= 27316 @ 16.8723
22.00/22.18	c bounds 637066 >= 27317 @ 16.953
22.00/22.18	c bounds 636485 >= 27317 @ 17
22.00/22.18	c bounds 635904 >= 27317 @ 17.0502
22.00/22.18	c bounds 635323 >= 27317 @ 17.0993
22.00/22.18	c bounds 634742 >= 27317 @ 17.1645
22.00/22.18	c bounds 634161 >= 27317 @ 17.2168
22.00/22.18	c bounds 634161 >= 27898 @ 17.2548
22.00/22.18	c bounds 633580 >= 27898 @ 17.3094
22.00/22.18	c bounds 633580 >= 28479 @ 17.3298
22.00/22.18	c bounds 632999 >= 28479 @ 17.3824
22.00/22.18	c bounds 632999 >= 29060 @ 17.4019
22.00/22.18	c bounds 632999 >= 29061 @ 17.4164
22.00/22.18	c bounds 632999 >= 29641 @ 17.4354
22.00/22.18	c bounds 632418 >= 29641 @ 17.4822
22.00/22.18	c bounds 632418 >= 29642 @ 17.5033
22.00/22.18	c bounds 632418 >= 29643 @ 17.522
22.00/22.18	c bounds 631837 >= 29643 @ 17.5692
22.00/22.18	c bounds 631837 >= 29644 @ 17.5871
22.00/22.18	c bounds 631837 >= 29645 @ 17.6028
22.00/22.18	c bounds 631256 >= 29645 @ 17.6531
22.00/22.18	c bounds 631256 >= 29646 @ 17.6688
22.00/22.18	c bounds 631256 >= 30226 @ 17.689
22.00/22.18	c bounds 630675 >= 30226 @ 17.739
22.00/22.18	c bounds 630675 >= 30227 @ 17.7543
22.00/22.18	c bounds 630675 >= 30808 @ 17.7739
22.00/22.18	c bounds 630675 >= 30809 @ 17.7905
22.00/22.18	c bounds 630094 >= 30809 @ 17.8485
22.00/22.18	c bounds 630094 >= 30810 @ 17.8711
22.00/22.18	c bounds 630094 >= 30811 @ 17.9051
22.00/22.18	c bounds 630093 >= 30811 @ 17.957
22.00/22.18	c bounds 629512 >= 30811 @ 18.0209
22.00/22.18	c bounds 629512 >= 31392 @ 18.0382
22.00/22.18	c bounds 629512 >= 31973 @ 18.0528
22.00/22.18	c bounds 629512 >= 32554 @ 18.0695
22.00/22.18	c bounds 629511 >= 32554 @ 18.1202
22.00/22.18	c bounds 629511 >= 32555 @ 18.1459
22.00/22.18	c bounds 629510 >= 32555 @ 18.197
50.69/50.91	c bounds 629510 >= 33131 @ 18.2157
50.69/50.91	c bounds 629510 >= 33132 @ 18.2348
50.69/50.91	c bounds 629509 >= 33132 @ 18.2867
50.69/50.91	c bounds 629509 >= 33136 @ 18.3045
50.69/50.91	c bounds 629509 >= 33137 @ 18.328
50.69/50.91	c bounds 629509 >= 33138 @ 18.3434
50.69/50.91	c bounds 629508 >= 33138 @ 18.3961
50.69/50.91	c bounds 629508 >= 33139 @ 18.4172
50.69/50.91	c bounds 629508 >= 33720 @ 18.4328
50.69/50.91	c bounds 629507 >= 33720 @ 18.486
50.69/50.91	c bounds 629507 >= 33721 @ 18.506
50.69/50.91	c bounds 629507 >= 33722 @ 18.534
50.69/50.91	c bounds 629506 >= 33722 @ 18.5792
50.69/50.91	c bounds 629506 >= 33723 @ 18.5956
50.69/50.91	c bounds 629506 >= 33724 @ 18.6184
50.69/50.91	c bounds 629505 >= 33724 @ 18.674
50.69/50.91	c bounds 629505 >= 33725 @ 18.6952
50.69/50.91	c bounds 629505 >= 33726 @ 18.7186
50.69/50.91	c bounds 628924 >= 33726 @ 18.7745
50.69/50.91	c bounds 628924 >= 34307 @ 18.7886
50.69/50.91	c bounds 628923 >= 34307 @ 18.8427
50.69/50.91	c bounds 628923 >= 34308 @ 18.8688
50.69/50.91	c bounds 628923 >= 34889 @ 18.8914
50.69/50.91	c bounds 628922 >= 34889 @ 18.9403
50.69/50.91	c bounds 628922 >= 35470 @ 18.9663
50.69/50.91	c bounds 628922 >= 36051 @ 18.985
50.69/50.91	c bounds 628922 >= 36632 @ 19.0058
50.69/50.91	c bounds 628921 >= 36632 @ 19.062
50.69/50.91	c bounds 628921 >= 37213 @ 19.0937
50.69/50.91	c bounds 628920 >= 37213 @ 19.1441
50.69/50.91	c bounds 628920 >= 37214 @ 19.1677
50.69/50.91	c bounds 628920 >= 37795 @ 19.1844
50.69/50.91	c bounds 628920 >= 37796 @ 19.2019
50.69/50.91	c bounds 628920 >= 38370 @ 19.2171
50.69/50.91	c bounds 628339 >= 38370 @ 19.2754
50.69/50.91	c bounds 628339 >= 38377 @ 19.2928
50.69/50.91	c bounds 628339 >= 38378 @ 19.3113
50.69/50.91	c bounds 627758 >= 38378 @ 19.3612
50.69/50.91	c bounds 627758 >= 38379 @ 19.3812
50.69/50.91	c bounds 627177 >= 38379 @ 19.4328
50.69/50.91	c bounds 627177 >= 38380 @ 19.4763
50.69/50.91	c bounds 626596 >= 38380 @ 19.5247
50.69/50.91	c bounds 626015 >= 38380 @ 19.5754
50.69/50.91	c #Conflicts:       1000 | #Constraints:    1370492
50.69/50.91	c bounds 626015 >= 38381 @ 19.6322
50.69/50.91	c bounds 625434 >= 38381 @ 19.6811
50.69/50.91	c bounds 624853 >= 38381 @ 19.7312
50.69/50.91	c bounds 624272 >= 38381 @ 19.7845
50.69/50.91	c bounds 623691 >= 38381 @ 19.8315
50.69/50.91	c bounds 623691 >= 38382 @ 19.8676
50.69/50.91	c bounds 623110 >= 38382 @ 19.9183
50.69/50.91	c bounds 622529 >= 38382 @ 19.9686
50.69/50.91	c bounds 621948 >= 38382 @ 20.0167
50.69/50.91	c bounds 621948 >= 38963 @ 20.0675
50.69/50.91	c bounds 621367 >= 38963 @ 20.1164
50.69/50.91	c bounds 620786 >= 38963 @ 20.1644
50.69/50.91	c bounds 620786 >= 39544 @ 20.1828
50.69/50.91	c bounds 620786 >= 39545 @ 20.2129
50.69/50.91	c bounds 620205 >= 39545 @ 20.2574
50.69/50.91	c bounds 619624 >= 39545 @ 20.3073
50.69/50.91	c bounds 619624 >= 39546 @ 20.3562
50.69/50.91	c bounds 619043 >= 39546 @ 20.4825
50.69/50.91	c bounds 619043 >= 39547 @ 20.5048
50.69/50.91	c bounds 619043 >= 39548 @ 20.5199
50.69/50.91	c bounds 618462 >= 39548 @ 20.5756
50.69/50.91	c bounds 618462 >= 39549 @ 20.6244
50.69/50.91	c bounds 617881 >= 39549 @ 20.6788
50.69/50.91	c bounds 617300 >= 39549 @ 20.731
50.69/50.91	c bounds 616719 >= 39549 @ 20.78
50.69/50.91	c bounds 616138 >= 39549 @ 20.8342
50.69/50.91	c bounds 616138 >= 39550 @ 20.8699
50.69/50.91	c bounds 615557 >= 39550 @ 20.9196
50.69/50.91	c bounds 614976 >= 39550 @ 20.9734
50.69/50.91	c bounds 614976 >= 39551 @ 21.0329
50.69/50.91	c bounds 614395 >= 39551 @ 21.087
50.69/50.91	c bounds 613814 >= 39551 @ 21.1371
50.69/50.91	c bounds 613233 >= 39551 @ 21.1782
50.69/50.91	c bounds 613233 >= 40132 @ 21.1927
50.69/50.91	c bounds 612652 >= 40132 @ 21.241
50.69/50.91	c bounds 612652 >= 40713 @ 21.3115
50.69/50.91	c bounds 612071 >= 40713 @ 21.3663
50.69/50.91	c bounds 611490 >= 40713 @ 21.4185
50.69/50.91	c bounds 610909 >= 40713 @ 21.4664
50.69/50.91	c bounds 610328 >= 40713 @ 21.5102
50.69/50.91	c bounds 609747 >= 40713 @ 21.5591
50.69/50.91	c bounds 609166 >= 40713 @ 21.61
50.69/50.91	c bounds 609166 >= 40714 @ 21.6611
50.69/50.91	c bounds 608585 >= 40714 @ 21.7057
50.69/50.91	c bounds 608004 >= 40714 @ 21.756
50.69/50.91	c bounds 608003 >= 40714 @ 21.8158
50.69/50.91	c bounds 608003 >= 40715 @ 21.8495
50.69/50.91	c bounds 607422 >= 40715 @ 21.9107
50.69/50.91	c bounds 607422 >= 41296 @ 21.9283
50.69/50.91	c bounds 607422 >= 41297 @ 21.9656
50.69/50.91	c bounds 606841 >= 41297 @ 22.0277
50.69/50.91	c bounds 606841 >= 41878 @ 22.0526
50.69/50.91	c bounds 606260 >= 41878 @ 22.104
50.69/50.91	c bounds 606260 >= 41879 @ 22.1319
50.69/50.91	c bounds 605679 >= 41879 @ 22.1781
50.69/50.91	c bounds 605679 >= 41880 @ 22.2048
50.69/50.91	c bounds 605098 >= 41880 @ 22.2592
50.69/50.91	c bounds 605098 >= 41881 @ 22.2948
50.69/50.91	c bounds 604517 >= 41881 @ 22.3418
50.69/50.91	c bounds 603936 >= 41881 @ 22.399
50.69/50.91	c bounds 603936 >= 41882 @ 22.429
50.69/50.91	c bounds 603355 >= 41882 @ 22.4821
50.69/50.91	c #Conflicts:       2000 | #Constraints:    1371653
50.69/50.91	c INPROCESSING
50.69/50.91	c GARBAGE COLLECT
50.69/50.91	c bounds 602774 >= 41882 @ 42.9606
50.69/50.91	c bounds 602193 >= 41882 @ 43.0082
50.69/50.91	c bounds 601612 >= 41882 @ 43.0563
50.69/50.91	c bounds 601031 >= 41882 @ 43.1071
50.69/50.91	c bounds 600450 >= 41882 @ 43.1543
50.69/50.91	c bounds 599869 >= 41882 @ 43.2071
50.69/50.91	c bounds 599869 >= 42463 @ 43.2236
50.69/50.91	c bounds 599869 >= 43044 @ 43.2372
50.69/50.91	c bounds 599288 >= 43044 @ 43.2808
59.35/59.61	c bounds 599288 >= 43625 @ 43.2968
59.35/59.61	c bounds 599288 >= 44204 @ 43.3145
59.35/59.61	c bounds 599288 >= 44206 @ 43.3322
59.35/59.61	c bounds 598707 >= 44206 @ 43.3873
59.35/59.61	c bounds 598707 >= 44207 @ 43.4311
59.35/59.61	c bounds 598126 >= 44207 @ 43.4898
59.35/59.61	c bounds 597545 >= 44207 @ 43.5509
59.35/59.61	c bounds 597545 >= 44787 @ 43.614
59.35/59.61	c bounds 596964 >= 44787 @ 43.6617
59.35/59.61	c bounds 596963 >= 44787 @ 43.7142
59.35/59.61	c bounds 596962 >= 44787 @ 43.7604
59.35/59.61	c bounds 596961 >= 44787 @ 43.8099
59.35/59.61	c bounds 596380 >= 44787 @ 43.8741
59.35/59.61	c bounds 596380 >= 44788 @ 43.8923
59.35/59.61	c bounds 596380 >= 45367 @ 43.9055
59.35/59.61	c bounds 596380 >= 45368 @ 43.927
59.35/59.61	c bounds 596380 >= 45948 @ 43.9409
59.35/59.61	c bounds 595799 >= 45948 @ 44.0191
59.35/59.61	c bounds 595799 >= 46529 @ 44.0398
59.35/59.61	c bounds 595799 >= 46530 @ 44.0869
59.35/59.61	c bounds 595798 >= 46530 @ 44.1442
59.35/59.61	c bounds 595798 >= 47105 @ 44.1842
59.35/59.61	c bounds 595797 >= 47105 @ 44.2335
59.35/59.61	c bounds 595796 >= 47105 @ 44.2876
59.35/59.61	c bounds 595796 >= 47106 @ 44.3105
59.35/59.61	c bounds 595796 >= 47107 @ 44.3311
59.35/59.61	c bounds 595795 >= 47107 @ 44.4219
59.35/59.61	c bounds 595795 >= 47688 @ 44.439
59.35/59.61	c bounds 595795 >= 48269 @ 44.4568
59.35/59.61	c bounds 595795 >= 48270 @ 44.4833
59.35/59.61	c bounds 595794 >= 48270 @ 44.5411
59.35/59.61	c bounds 595794 >= 48271 @ 44.5793
59.35/59.61	c bounds 595793 >= 48271 @ 44.6372
59.35/59.61	c bounds 595793 >= 48272 @ 44.6635
59.35/59.61	c bounds 595792 >= 48272 @ 44.7109
59.35/59.61	c bounds 595792 >= 48273 @ 44.7362
59.35/59.61	c bounds 595791 >= 48273 @ 44.7858
59.35/59.61	c bounds 595791 >= 48274 @ 44.8248
59.35/59.61	c bounds 595790 >= 48274 @ 44.8925
59.35/59.61	c bounds 595790 >= 48275 @ 44.9178
59.35/59.61	c bounds 595209 >= 48275 @ 44.969
59.35/59.61	c bounds 595209 >= 48276 @ 45.0002
59.35/59.61	c bounds 595209 >= 48277 @ 45.1501
59.35/59.61	c bounds 594628 >= 48277 @ 45.2097
59.35/59.61	c bounds 594047 >= 48277 @ 45.2616
59.35/59.61	c bounds 593466 >= 48277 @ 45.3086
59.35/59.61	c bounds 592885 >= 48277 @ 45.356
59.35/59.61	c bounds 592304 >= 48277 @ 45.4049
59.35/59.61	c bounds 591723 >= 48277 @ 45.4515
59.35/59.61	c bounds 591142 >= 48277 @ 45.5023
59.35/59.61	c bounds 590561 >= 48277 @ 45.5559
59.35/59.61	c bounds 590561 >= 48278 @ 45.6241
59.35/59.61	c bounds 589980 >= 48278 @ 45.6782
59.35/59.61	c bounds 589399 >= 48278 @ 45.7255
59.35/59.61	c bounds 588818 >= 48278 @ 45.7747
59.35/59.61	c bounds 588237 >= 48278 @ 45.8275
59.35/59.61	c bounds 588237 >= 48279 @ 45.8669
59.35/59.61	c bounds 587656 >= 48279 @ 45.9178
59.35/59.61	c bounds 587075 >= 48279 @ 45.9681
59.35/59.61	c bounds 587075 >= 48859 @ 45.9852
59.35/59.61	c bounds 586494 >= 48859 @ 46.0379
59.35/59.61	c bounds 586494 >= 48860 @ 46.0581
59.35/59.61	c bounds 586494 >= 49440 @ 46.0786
59.35/59.61	c bounds 586494 >= 49441 @ 46.0944
59.35/59.61	c bounds 585913 >= 49441 @ 46.1539
59.35/59.61	c bounds 585913 >= 50016 @ 46.1686
59.35/59.61	c bounds 585913 >= 50022 @ 46.1821
59.35/59.61	c bounds 585332 >= 50022 @ 46.2286
59.35/59.61	c bounds 585332 >= 50023 @ 46.247
59.35/59.61	c bounds 585332 >= 50024 @ 46.2694
59.35/59.61	c bounds 584751 >= 50024 @ 46.3178
59.35/59.61	c bounds 584751 >= 50025 @ 46.3491
59.35/59.61	c bounds 584170 >= 50025 @ 46.3961
59.35/59.61	c bounds 584170 >= 50026 @ 46.429
59.35/59.61	c bounds 583589 >= 50026 @ 46.4865
59.35/59.61	c bounds 583008 >= 50026 @ 46.5312
59.35/59.61	c bounds 583008 >= 50027 @ 46.5753
59.35/59.61	c bounds 582427 >= 50027 @ 46.6341
59.35/59.61	c bounds 581846 >= 50027 @ 46.6893
59.35/59.61	c bounds 581265 >= 50027 @ 46.745
59.35/59.61	c bounds 581265 >= 50028 @ 46.7708
59.35/59.61	c bounds 580684 >= 50028 @ 46.832
59.35/59.61	c #Conflicts:       3000 | #Constraints:     940429
59.35/59.61	c bounds 580684 >= 50029 @ 46.8599
59.35/59.61	c bounds 580103 >= 50029 @ 46.9116
59.35/59.61	c bounds 580103 >= 50030 @ 46.9388
59.35/59.61	c bounds 579522 >= 50030 @ 46.9942
59.35/59.61	c bounds 578941 >= 50030 @ 47.0485
59.35/59.61	c bounds 578941 >= 50031 @ 47.0985
59.35/59.61	c bounds 578360 >= 50031 @ 47.153
59.35/59.61	c bounds 577779 >= 50031 @ 47.209
59.35/59.61	c bounds 577198 >= 50031 @ 47.2571
59.35/59.61	c bounds 577198 >= 50032 @ 47.3332
59.35/59.61	c bounds 576617 >= 50032 @ 47.3767
59.35/59.61	c bounds 576036 >= 50032 @ 47.4336
59.35/59.61	c bounds 575455 >= 50032 @ 47.4811
59.35/59.61	c bounds 574874 >= 50032 @ 47.5305
59.35/59.61	c bounds 574293 >= 50032 @ 47.5801
59.35/59.61	c bounds 574293 >= 50033 @ 47.6764
59.35/59.61	c bounds 573712 >= 50033 @ 47.7251
59.35/59.61	c bounds 573131 >= 50033 @ 47.7765
59.35/59.61	c bounds 572550 >= 50033 @ 47.8324
59.35/59.61	c bounds 571969 >= 50033 @ 47.8794
59.35/59.61	c bounds 571388 >= 50033 @ 47.9295
59.35/59.61	c bounds 570807 >= 50033 @ 47.9787
59.35/59.61	c bounds 570226 >= 50033 @ 48.0316
59.35/59.61	c bounds 569645 >= 50033 @ 48.0805
59.35/59.61	c bounds 569645 >= 50034 @ 48.2212
59.35/59.61	c bounds 569064 >= 50034 @ 48.278
59.35/59.61	c bounds 568483 >= 50034 @ 48.3353
59.35/59.61	c bounds 567902 >= 50034 @ 48.3911
59.35/59.61	c bounds 567321 >= 50034 @ 48.4414
59.35/59.61	c bounds 566740 >= 50034 @ 48.4959
59.35/59.61	c bounds 566159 >= 50034 @ 48.5489
59.35/59.61	c bounds 565578 >= 50034 @ 48.5942
59.35/59.61	c bounds 564997 >= 50034 @ 48.6475
59.35/59.61	c bounds 564416 >= 50034 @ 48.6944
71.21/71.54	c bounds 563835 >= 50034 @ 48.7459
71.21/71.54	c bounds 563835 >= 50035 @ 49.0087
71.21/71.54	c bounds 563254 >= 50035 @ 49.0628
71.21/71.54	c bounds 562673 >= 50035 @ 49.1168
71.21/71.54	c bounds 562092 >= 50035 @ 49.1682
71.21/71.54	c bounds 561511 >= 50035 @ 49.2191
71.21/71.54	c bounds 560930 >= 50035 @ 49.2734
71.21/71.54	c bounds 560349 >= 50035 @ 49.326
71.21/71.54	c bounds 559768 >= 50035 @ 49.3789
71.21/71.54	c bounds 559187 >= 50035 @ 49.4322
71.21/71.54	c bounds 558606 >= 50035 @ 49.484
71.21/71.54	c bounds 558025 >= 50035 @ 49.538
71.21/71.54	c bounds 557444 >= 50035 @ 49.5884
71.21/71.54	c bounds 556863 >= 50035 @ 49.6457
71.21/71.54	c bounds 556282 >= 50035 @ 49.7047
71.21/71.54	c bounds 555701 >= 50035 @ 49.7502
71.21/71.54	c bounds 555120 >= 50035 @ 49.8011
71.21/71.54	c bounds 554539 >= 50035 @ 49.8473
71.21/71.54	c bounds 553958 >= 50035 @ 49.9026
71.21/71.54	c bounds 553377 >= 50035 @ 49.9499
71.21/71.54	c bounds 552796 >= 50035 @ 50.0001
71.21/71.54	c #Conflicts:       4000 | #Constraints:     941540
71.21/71.54	c bounds 552796 >= 50036 @ 50.3503
71.21/71.54	c bounds 552215 >= 50036 @ 50.4085
71.21/71.54	c bounds 551634 >= 50036 @ 50.4631
71.21/71.54	c bounds 551053 >= 50036 @ 50.5142
71.21/71.54	c bounds 550472 >= 50036 @ 50.5802
71.21/71.54	c bounds 549891 >= 50036 @ 50.6503
71.21/71.54	c bounds 549310 >= 50036 @ 50.7113
71.21/71.54	c bounds 548729 >= 50036 @ 50.7704
71.21/71.54	c bounds 548148 >= 50036 @ 50.8232
71.21/71.54	c bounds 547567 >= 50036 @ 50.8749
71.21/71.54	c bounds 546986 >= 50036 @ 50.9338
71.21/71.54	c bounds 546405 >= 50036 @ 50.9847
71.21/71.54	c bounds 545824 >= 50036 @ 51.0361
71.21/71.54	c bounds 545243 >= 50036 @ 51.0874
71.21/71.54	c bounds 544662 >= 50036 @ 51.1411
71.21/71.54	c bounds 544081 >= 50036 @ 51.1946
71.21/71.54	c bounds 543500 >= 50036 @ 51.2417
71.21/71.54	c bounds 542919 >= 50036 @ 51.2913
71.21/71.54	c bounds 542338 >= 50036 @ 51.3427
71.21/71.54	c bounds 541757 >= 50036 @ 51.39
71.21/71.54	c bounds 541176 >= 50036 @ 51.4471
71.21/71.54	c bounds 540595 >= 50036 @ 51.502
71.21/71.54	c bounds 540014 >= 50036 @ 51.5516
71.21/71.54	c bounds 539433 >= 50036 @ 51.6061
71.21/71.54	c bounds 538852 >= 50036 @ 51.6606
71.21/71.54	c INPROCESSING
71.21/71.54	c GARBAGE COLLECT
71.21/71.54	c bounds 538271 >= 50036 @ 52.3703
71.21/71.54	c bounds 537690 >= 50036 @ 52.4252
71.21/71.54	c bounds 537109 >= 50036 @ 52.4699
71.21/71.54	c bounds 536528 >= 50036 @ 52.5186
71.21/71.54	c bounds 535947 >= 50036 @ 52.5693
71.21/71.54	c bounds 535366 >= 50036 @ 52.6206
71.21/71.54	c bounds 534785 >= 50036 @ 52.6683
71.21/71.54	c bounds 534204 >= 50036 @ 52.7181
71.21/71.54	c bounds 533623 >= 50036 @ 52.7714
71.21/71.54	c bounds 533623 >= 50037 @ 52.8666
71.21/71.54	c bounds 533042 >= 50037 @ 52.9171
71.21/71.54	c bounds 532461 >= 50037 @ 52.9644
71.21/71.54	c bounds 531880 >= 50037 @ 53.0132
71.21/71.54	c bounds 531299 >= 50037 @ 53.0616
71.21/71.54	c bounds 530718 >= 50037 @ 53.1079
71.21/71.54	c bounds 530137 >= 50037 @ 53.1597
71.21/71.54	c bounds 530137 >= 50038 @ 53.3776
71.21/71.54	c bounds 529556 >= 50038 @ 53.4328
71.21/71.54	c bounds 528975 >= 50038 @ 53.4792
71.21/71.54	c bounds 528394 >= 50038 @ 53.5361
71.21/71.54	c bounds 527813 >= 50038 @ 53.5825
71.21/71.54	c bounds 527232 >= 50038 @ 53.6371
71.21/71.54	c bounds 526651 >= 50038 @ 53.6905
71.21/71.54	c bounds 526070 >= 50038 @ 53.741
71.21/71.54	c bounds 525489 >= 50038 @ 53.7993
71.21/71.54	c bounds 524908 >= 50038 @ 53.8547
71.21/71.54	c bounds 524908 >= 50039 @ 53.9992
71.21/71.54	c bounds 524327 >= 50039 @ 54.0517
71.21/71.54	c bounds 523746 >= 50039 @ 54.1065
71.21/71.54	c bounds 523165 >= 50039 @ 54.1529
71.21/71.54	c bounds 522584 >= 50039 @ 54.208
71.21/71.54	c bounds 522003 >= 50039 @ 54.273
71.21/71.54	c bounds 521422 >= 50039 @ 54.3313
71.21/71.54	c bounds 520841 >= 50039 @ 54.384
71.21/71.54	c bounds 520841 >= 50040 @ 54.7613
71.21/71.54	c bounds 520260 >= 50040 @ 54.813
71.21/71.54	c bounds 519679 >= 50040 @ 54.8751
71.21/71.54	c bounds 519098 >= 50040 @ 54.9273
71.21/71.54	c bounds 518517 >= 50040 @ 54.9802
71.21/71.54	c bounds 517936 >= 50040 @ 55.0257
71.21/71.54	c bounds 517355 >= 50040 @ 55.0886
71.21/71.54	c bounds 516774 >= 50040 @ 55.1382
71.21/71.54	c bounds 516193 >= 50040 @ 55.1927
71.21/71.54	c bounds 515612 >= 50040 @ 55.2451
71.21/71.54	c bounds 515031 >= 50040 @ 55.3064
71.21/71.54	c bounds 514450 >= 50040 @ 55.3616
71.21/71.54	c bounds 513869 >= 50040 @ 55.414
71.21/71.54	c bounds 513288 >= 50040 @ 55.4603
71.21/71.54	c bounds 512707 >= 50040 @ 55.5179
71.21/71.54	c bounds 512126 >= 50040 @ 55.5789
71.21/71.54	c bounds 511545 >= 50040 @ 55.6289
71.21/71.54	c bounds 510964 >= 50040 @ 55.6787
71.21/71.54	c bounds 510383 >= 50040 @ 55.7285
71.21/71.54	c bounds 509802 >= 50040 @ 55.7775
71.21/71.54	c bounds 509221 >= 50040 @ 55.824
71.21/71.54	c bounds 508640 >= 50040 @ 55.8754
71.21/71.54	c bounds 508059 >= 50040 @ 55.9254
71.21/71.54	c bounds 507478 >= 50040 @ 55.9727
71.21/71.54	c bounds 506897 >= 50040 @ 56.0206
71.21/71.54	c bounds 506316 >= 50040 @ 56.0728
71.21/71.54	c #Conflicts:       5000 | #Constraints:     940934
71.21/71.54	c bounds 506316 >= 50041 @ 56.2463
71.21/71.54	c bounds 505735 >= 50041 @ 56.3009
71.21/71.54	c bounds 505154 >= 50041 @ 56.3557
71.21/71.54	c bounds 504573 >= 50041 @ 56.4027
71.21/71.54	c bounds 503992 >= 50041 @ 56.4587
71.21/71.54	c bounds 503411 >= 50041 @ 56.5181
71.21/71.54	c bounds 502830 >= 50041 @ 56.5729
113.57/114.06	c bounds 502249 >= 50041 @ 56.6229
113.57/114.06	c bounds 501668 >= 50041 @ 56.6697
113.57/114.06	c bounds 501087 >= 50041 @ 56.716
113.57/114.06	c bounds 500506 >= 50041 @ 56.7694
113.57/114.06	c bounds 499925 >= 50041 @ 56.8243
113.57/114.06	c bounds 499344 >= 50041 @ 56.8842
113.57/114.06	c bounds 499344 >= 50042 @ 57.2121
113.57/114.06	c bounds 498763 >= 50042 @ 57.2766
113.57/114.06	c bounds 498182 >= 50042 @ 57.3315
113.57/114.06	c bounds 497601 >= 50042 @ 57.3814
113.57/114.06	c bounds 497020 >= 50042 @ 57.4306
113.57/114.06	c bounds 496439 >= 50042 @ 57.4834
113.57/114.06	c bounds 495858 >= 50042 @ 57.5302
113.57/114.06	c bounds 495277 >= 50042 @ 57.581
113.57/114.06	c bounds 494696 >= 50042 @ 57.6292
113.57/114.06	c bounds 494115 >= 50042 @ 57.6789
113.57/114.06	c bounds 493534 >= 50042 @ 57.7246
113.57/114.06	c bounds 492953 >= 50042 @ 57.7753
113.57/114.06	c bounds 492372 >= 50042 @ 57.8299
113.57/114.06	c bounds 491791 >= 50042 @ 57.8769
113.57/114.06	c bounds 491210 >= 50042 @ 57.9347
113.57/114.06	c bounds 490629 >= 50042 @ 57.984
113.57/114.06	c bounds 490048 >= 50042 @ 58.0365
113.57/114.06	c bounds 489467 >= 50042 @ 58.09
113.57/114.06	c bounds 488886 >= 50042 @ 58.1453
113.57/114.06	c bounds 488305 >= 50042 @ 58.1942
113.57/114.06	c bounds 487724 >= 50042 @ 58.2451
113.57/114.06	c bounds 487143 >= 50042 @ 58.2976
113.57/114.06	c bounds 486562 >= 50042 @ 58.3484
113.57/114.06	c bounds 485981 >= 50042 @ 58.4057
113.57/114.06	c bounds 485400 >= 50042 @ 58.4618
113.57/114.06	c bounds 485400 >= 50043 @ 58.6967
113.57/114.06	c bounds 484819 >= 50043 @ 58.761
113.57/114.06	c bounds 484238 >= 50043 @ 58.8317
113.57/114.06	c bounds 483657 >= 50043 @ 58.9062
113.57/114.06	c bounds 483076 >= 50043 @ 58.9575
113.57/114.06	c bounds 482495 >= 50043 @ 59.0169
113.57/114.06	c bounds 481914 >= 50043 @ 59.0766
113.57/114.06	c bounds 481333 >= 50043 @ 59.1806
113.57/114.06	c bounds 480752 >= 50043 @ 59.2371
113.57/114.06	c bounds 480171 >= 50043 @ 59.2964
113.57/114.06	c bounds 479590 >= 50043 @ 59.3482
113.57/114.06	c bounds 479009 >= 50043 @ 59.3984
113.57/114.06	c bounds 478428 >= 50043 @ 59.4572
113.57/114.06	c bounds 478428 >= 50044 @ 59.6194
113.57/114.06	c bounds 477847 >= 50044 @ 59.6772
113.57/114.06	c bounds 477266 >= 50044 @ 59.7389
113.57/114.06	c bounds 476685 >= 50044 @ 59.7904
113.57/114.06	c bounds 476104 >= 50044 @ 59.8419
113.57/114.06	c bounds 475523 >= 50044 @ 59.896
113.57/114.06	c bounds 474942 >= 50044 @ 59.9525
113.57/114.06	c bounds 474361 >= 50044 @ 60.011
113.57/114.06	c bounds 473780 >= 50044 @ 60.0695
113.57/114.06	c bounds 473199 >= 50044 @ 60.1198
113.57/114.06	c bounds 472618 >= 50044 @ 60.1681
113.57/114.06	c bounds 472037 >= 50044 @ 60.2213
113.57/114.06	c bounds 472037 >= 50045 @ 60.4103
113.57/114.06	c bounds 471456 >= 50045 @ 60.4656
113.57/114.06	c bounds 470875 >= 50045 @ 60.5266
113.57/114.06	c bounds 470294 >= 50045 @ 60.6051
113.57/114.06	c bounds 469713 >= 50045 @ 60.6712
113.57/114.06	c bounds 469132 >= 50045 @ 60.7753
113.57/114.06	c bounds 468551 >= 50045 @ 60.8532
113.57/114.06	c bounds 467970 >= 50045 @ 60.9106
113.57/114.06	c bounds 467389 >= 50045 @ 60.9626
113.57/114.06	c bounds 466808 >= 50045 @ 61.0121
113.57/114.06	c bounds 466227 >= 50045 @ 61.0611
113.57/114.06	c bounds 466227 >= 50046 @ 61.2776
113.57/114.06	c bounds 465646 >= 50046 @ 61.3379
113.57/114.06	c bounds 465065 >= 50046 @ 61.3976
113.57/114.06	c bounds 464484 >= 50046 @ 61.4736
113.57/114.06	c bounds 463903 >= 50046 @ 61.5369
113.57/114.06	c bounds 463322 >= 50046 @ 61.5892
113.57/114.06	c bounds 462741 >= 50046 @ 61.6409
113.57/114.06	c bounds 462160 >= 50046 @ 61.693
113.57/114.06	c bounds 462160 >= 50047 @ 61.8294
113.57/114.06	c bounds 461579 >= 50047 @ 61.8832
113.57/114.06	c bounds 460998 >= 50047 @ 61.9583
113.57/114.06	c bounds 460417 >= 50047 @ 62.0103
113.57/114.06	c bounds 459836 >= 50047 @ 62.0622
113.57/114.06	c bounds 459255 >= 50047 @ 62.1154
113.57/114.06	c bounds 458675 >= 50047 @ 62.1676
113.57/114.06	c bounds 458094 >= 50047 @ 62.2221
113.57/114.06	c bounds 457513 >= 50047 @ 62.2744
113.57/114.06	c bounds 456932 >= 50047 @ 62.3289
113.57/114.06	c bounds 456932 >= 50626 @ 62.3461
113.57/114.06	c bounds 456351 >= 50626 @ 62.4039
113.57/114.06	c bounds 456351 >= 50627 @ 62.4258
113.57/114.06	c #Conflicts:       6000 | #Constraints:     942095
113.57/114.06	c bounds 456351 >= 51204 @ 93.2598
113.57/114.06	c bounds 455770 >= 51204 @ 93.3355
113.57/114.06	c bounds 455769 >= 51204 @ 93.4445
113.57/114.06	c bounds 455769 >= 51208 @ 93.4631
113.57/114.06	c bounds 455769 >= 51782 @ 93.5293
113.57/114.06	c bounds 455188 >= 51782 @ 93.5971
113.57/114.06	c bounds 454607 >= 51782 @ 93.6646
113.57/114.06	c bounds 454607 >= 51784 @ 93.6814
113.57/114.06	c bounds 454607 >= 51785 @ 93.735
113.57/114.06	c bounds 454026 >= 51785 @ 93.8056
113.57/114.06	c bounds 454026 >= 51789 @ 93.8593
113.57/114.06	c bounds 453445 >= 51789 @ 93.9268
113.57/114.06	c bounds 452864 >= 51789 @ 93.992
113.57/114.06	c bounds 452283 >= 51789 @ 94.0632
113.57/114.06	c bounds 452283 >= 52366 @ 94.1709
113.57/114.06	c bounds 451702 >= 52366 @ 94.2281
113.57/114.06	c bounds 451122 >= 52366 @ 94.2847
113.57/114.06	c bounds 450541 >= 52366 @ 94.3397
113.57/114.06	c bounds 449960 >= 52366 @ 94.3964
113.57/114.06	c bounds 449379 >= 52366 @ 94.4447
113.57/114.06	c bounds 448798 >= 52366 @ 94.5047
113.57/114.06	c bounds 448217 >= 52366 @ 94.5647
113.57/114.06	c bounds 448217 >= 52946 @ 94.5817
113.57/114.06	c bounds 448217 >= 52947 @ 94.7796
113.57/114.06	c bounds 447636 >= 52947 @ 94.8365
113.57/114.06	c bounds 447055 >= 52947 @ 94.8933
113.57/114.06	c bounds 446474 >= 52947 @ 94.9491
113.57/114.06	c bounds 445893 >= 52947 @ 95.0084
126.81/127.33	c bounds 445312 >= 52947 @ 95.0661
126.81/127.33	c bounds 444731 >= 52947 @ 95.1325
126.81/127.33	c bounds 444150 >= 52947 @ 95.203
126.81/127.33	c bounds 443569 >= 52947 @ 95.2745
126.81/127.33	c bounds 442988 >= 52947 @ 95.3407
126.81/127.33	c bounds 442407 >= 52947 @ 95.4078
126.81/127.33	c bounds 442407 >= 52948 @ 95.5666
126.81/127.33	c bounds 441826 >= 52948 @ 95.6272
126.81/127.33	c bounds 441245 >= 52948 @ 95.7031
126.81/127.33	c bounds 440664 >= 52948 @ 95.7847
126.81/127.33	c bounds 440083 >= 52948 @ 95.9047
126.81/127.33	c bounds 439502 >= 52948 @ 96.005
126.81/127.33	c bounds 439502 >= 52951 @ 96.0211
126.81/127.33	c bounds 439502 >= 52952 @ 96.0728
126.81/127.33	c bounds 438921 >= 52952 @ 96.1464
126.81/127.33	c INPROCESSING
126.81/127.33	c GARBAGE COLLECT
126.81/127.33	c bounds 438340 >= 52952 @ 96.8153
126.81/127.33	c bounds 437759 >= 52952 @ 96.8728
126.81/127.33	c bounds 437178 >= 52952 @ 96.9331
126.81/127.33	c bounds 437178 >= 52953 @ 97.2449
126.81/127.33	c bounds 436597 >= 52953 @ 97.2954
126.81/127.33	c bounds 436016 >= 52953 @ 97.3613
126.81/127.33	c bounds 435435 >= 52953 @ 97.4149
126.81/127.33	c bounds 434854 >= 52953 @ 97.4644
126.81/127.33	c bounds 434273 >= 52953 @ 97.5151
126.81/127.33	c bounds 433692 >= 52953 @ 97.5649
126.81/127.33	c bounds 433111 >= 52953 @ 97.6215
126.81/127.33	c bounds 432530 >= 52953 @ 97.6674
126.81/127.33	c bounds 431949 >= 52953 @ 97.7185
126.81/127.33	c bounds 431368 >= 52953 @ 97.7661
126.81/127.33	c bounds 430787 >= 52953 @ 97.8172
126.81/127.33	c bounds 430206 >= 52953 @ 97.8761
126.81/127.33	c bounds 429625 >= 52953 @ 97.9403
126.81/127.33	c bounds 429044 >= 52953 @ 98.0047
126.81/127.33	c bounds 428463 >= 52953 @ 98.0592
126.81/127.33	c bounds 427882 >= 52953 @ 98.1295
126.81/127.33	c bounds 427301 >= 52953 @ 98.2754
126.81/127.33	c bounds 427301 >= 52954 @ 98.344
126.81/127.33	c #Conflicts:       7000 | #Constraints:     940610
126.81/127.33	c bounds 427300 >= 52954 @ 98.4162
126.81/127.33	c bounds 427300 >= 52955 @ 98.4868
126.81/127.33	c bounds 427299 >= 52955 @ 98.55
126.81/127.33	c bounds 426718 >= 52955 @ 98.608
126.81/127.33	c bounds 426718 >= 52956 @ 98.7403
126.81/127.33	c bounds 426717 >= 52956 @ 98.7951
126.81/127.33	c bounds 426716 >= 52956 @ 98.8495
126.81/127.33	c bounds 426715 >= 52956 @ 98.9097
126.81/127.33	c bounds 426134 >= 52956 @ 98.9789
126.81/127.33	c bounds 425553 >= 52956 @ 99.0439
126.81/127.33	c bounds 424972 >= 52956 @ 99.1145
126.81/127.33	c bounds 424972 >= 52957 @ 99.2306
126.81/127.33	c bounds 424391 >= 52957 @ 99.293
126.81/127.33	c bounds 423810 >= 52957 @ 99.3518
126.81/127.33	c bounds 423229 >= 52957 @ 99.4046
126.81/127.33	c bounds 422648 >= 52957 @ 99.4585
126.81/127.33	c bounds 422067 >= 52957 @ 99.5024
126.81/127.33	c bounds 421486 >= 52957 @ 99.5577
126.81/127.33	c bounds 421486 >= 52958 @ 99.9062
126.81/127.33	c bounds 420905 >= 52958 @ 99.9611
126.81/127.33	c bounds 420324 >= 52958 @ 100.018
126.81/127.33	c bounds 419743 >= 52958 @ 100.073
126.81/127.33	c bounds 419162 >= 52958 @ 100.125
126.81/127.33	c bounds 418581 >= 52958 @ 100.183
126.81/127.33	c bounds 418000 >= 52958 @ 100.267
126.81/127.33	c bounds 417419 >= 52958 @ 100.318
126.81/127.33	c bounds 416838 >= 52958 @ 100.368
126.81/127.33	c bounds 416257 >= 52958 @ 100.423
126.81/127.33	c bounds 415676 >= 52958 @ 100.478
126.81/127.33	c bounds 415095 >= 52958 @ 100.535
126.81/127.33	c bounds 414514 >= 52958 @ 100.59
126.81/127.33	c bounds 413933 >= 52958 @ 100.64
126.81/127.33	c bounds 413352 >= 52958 @ 100.698
126.81/127.33	c bounds 412771 >= 52958 @ 100.751
126.81/127.33	c bounds 412190 >= 52958 @ 100.798
126.81/127.33	c bounds 411609 >= 52958 @ 100.847
126.81/127.33	c bounds 411028 >= 52958 @ 100.902
126.81/127.33	c bounds 410447 >= 52958 @ 100.96
126.81/127.33	c bounds 409866 >= 52958 @ 101.011
126.81/127.33	c bounds 409285 >= 52958 @ 101.055
126.81/127.33	c bounds 408704 >= 52958 @ 101.104
126.81/127.33	c #Conflicts:       8000 | #Constraints:     941677
126.81/127.33	c bounds 408704 >= 52959 @ 102.267
126.81/127.33	c bounds 408123 >= 52959 @ 102.343
126.81/127.33	c bounds 407542 >= 52959 @ 102.424
126.81/127.33	c bounds 406961 >= 52959 @ 102.497
126.81/127.33	c bounds 406380 >= 52959 @ 102.585
126.81/127.33	c bounds 405799 >= 52959 @ 102.66
126.81/127.33	c bounds 405218 >= 52959 @ 102.723
126.81/127.33	c bounds 404637 >= 52959 @ 102.776
126.81/127.33	c bounds 404056 >= 52959 @ 102.833
126.81/127.33	c bounds 403475 >= 52959 @ 102.893
126.81/127.33	c bounds 402894 >= 52959 @ 102.95
126.81/127.33	c bounds 402313 >= 52959 @ 103.008
126.81/127.33	c bounds 401732 >= 52959 @ 103.063
126.81/127.33	c bounds 401151 >= 52959 @ 103.12
126.81/127.33	c bounds 400570 >= 52959 @ 103.177
126.81/127.33	c bounds 399989 >= 52959 @ 103.235
126.81/127.33	c bounds 399408 >= 52959 @ 103.288
126.81/127.33	c bounds 398827 >= 52959 @ 103.341
126.81/127.33	c bounds 398246 >= 52959 @ 103.408
126.81/127.33	c bounds 397665 >= 52959 @ 103.463
126.81/127.33	c bounds 397084 >= 52959 @ 103.516
126.81/127.33	c bounds 396503 >= 52959 @ 103.576
126.81/127.33	c bounds 395922 >= 52959 @ 103.632
126.81/127.33	c bounds 395341 >= 52959 @ 103.684
126.81/127.33	c bounds 394760 >= 52959 @ 103.737
126.81/127.33	c bounds 394179 >= 52959 @ 103.797
126.81/127.33	c bounds 393598 >= 52959 @ 103.862
126.81/127.33	c bounds 393017 >= 52959 @ 103.925
126.81/127.33	c bounds 392436 >= 52959 @ 103.98
126.81/127.33	c bounds 391855 >= 52959 @ 104.037
126.81/127.33	c bounds 391274 >= 52959 @ 104.085
126.81/127.33	c bounds 390693 >= 52959 @ 104.135
126.81/127.33	c bounds 390112 >= 52959 @ 104.192
126.81/127.33	c bounds 389531 >= 52959 @ 104.253
126.81/127.33	c bounds 388950 >= 52959 @ 104.31
202.72/203.50	c bounds 388369 >= 52959 @ 104.373
202.72/203.50	c bounds 387788 >= 52959 @ 104.424
202.72/203.50	c bounds 387207 >= 52959 @ 104.481
202.72/203.50	c bounds 386626 >= 52959 @ 104.537
202.72/203.50	c bounds 386045 >= 52959 @ 104.578
202.72/203.50	c bounds 385464 >= 52959 @ 104.63
202.72/203.50	c bounds 384883 >= 52959 @ 104.681
202.72/203.50	c bounds 384302 >= 52959 @ 104.734
202.72/203.50	c bounds 383721 >= 52959 @ 104.786
202.72/203.50	c bounds 383140 >= 52959 @ 104.836
202.72/203.50	c bounds 382559 >= 52959 @ 104.895
202.72/203.50	c bounds 381978 >= 52959 @ 104.956
202.72/203.50	c bounds 381399 >= 52959 @ 105.026
202.72/203.50	c bounds 380818 >= 52959 @ 105.133
202.72/203.50	c bounds 380237 >= 52959 @ 105.298
202.72/203.50	c bounds 380236 >= 52959 @ 105.377
202.72/203.50	c bounds 379655 >= 52959 @ 105.454
202.72/203.50	c bounds 379075 >= 52959 @ 105.58
202.72/203.50	c bounds 379074 >= 52959 @ 105.639
202.72/203.50	c bounds 378493 >= 52959 @ 105.727
202.72/203.50	c bounds 377912 >= 52959 @ 105.813
202.72/203.50	c bounds 377331 >= 52959 @ 105.919
202.72/203.50	c bounds 377331 >= 53527 @ 106.431
202.72/203.50	c bounds 376750 >= 53527 @ 106.503
202.72/203.50	c bounds 376169 >= 53527 @ 106.575
202.72/203.50	c bounds 375588 >= 53527 @ 106.644
202.72/203.50	c bounds 375007 >= 53527 @ 106.716
202.72/203.50	c bounds 374426 >= 53527 @ 106.777
202.72/203.50	c bounds 373845 >= 53527 @ 106.843
202.72/203.50	c bounds 373264 >= 53527 @ 106.898
202.72/203.50	c bounds 372683 >= 53527 @ 106.95
202.72/203.50	c bounds 372102 >= 53527 @ 107.004
202.72/203.50	c bounds 371521 >= 53527 @ 107.062
202.72/203.50	c bounds 370940 >= 53527 @ 107.14
202.72/203.50	c bounds 370359 >= 53527 @ 107.205
202.72/203.50	c bounds 369778 >= 53527 @ 107.275
202.72/203.50	c bounds 369197 >= 53527 @ 107.359
202.72/203.50	c bounds 368616 >= 53527 @ 107.42
202.72/203.50	c bounds 368035 >= 53527 @ 107.478
202.72/203.50	c bounds 367454 >= 53527 @ 107.534
202.72/203.50	c bounds 366873 >= 53527 @ 107.592
202.72/203.50	c bounds 366292 >= 53527 @ 107.65
202.72/203.50	c bounds 365711 >= 53527 @ 107.704
202.72/203.50	c bounds 365130 >= 53527 @ 107.766
202.72/203.50	c #Conflicts:       9000 | #Constraints:     942772
202.72/203.50	c bounds 364549 >= 53527 @ 107.867
202.72/203.50	c bounds 363968 >= 53527 @ 107.978
202.72/203.50	c bounds 363387 >= 53527 @ 108.076
202.72/203.50	c bounds 362806 >= 53527 @ 108.176
202.72/203.50	c bounds 362806 >= 53531 @ 108.201
202.72/203.50	c bounds 362806 >= 53532 @ 108.223
202.72/203.50	c bounds 362806 >= 53533 @ 108.297
202.72/203.50	c bounds 362225 >= 53533 @ 108.403
202.72/203.50	c bounds 361644 >= 53533 @ 108.491
202.72/203.50	c bounds 361644 >= 53534 @ 108.587
202.72/203.50	c bounds 361063 >= 53534 @ 108.685
202.72/203.50	c bounds 361063 >= 53535 @ 108.797
202.72/203.50	c INPROCESSING
202.72/203.50	c GARBAGE COLLECT
202.72/203.50	c bounds 360482 >= 53535 @ 169.113
202.72/203.50	c bounds 359901 >= 53535 @ 169.203
202.72/203.50	c bounds 359320 >= 53535 @ 169.285
202.72/203.50	c bounds 358739 >= 53535 @ 169.387
202.72/203.50	c bounds 358158 >= 53535 @ 169.507
202.72/203.50	c bounds 358158 >= 53537 @ 169.534
202.72/203.50	c bounds 358158 >= 53538 @ 169.549
202.72/203.50	c bounds 358158 >= 53539 @ 169.566
202.72/203.50	c bounds 358158 >= 53540 @ 169.583
202.72/203.50	c bounds 358158 >= 53541 @ 169.605
202.72/203.50	c bounds 358158 >= 53542 @ 169.623
202.72/203.50	c bounds 357577 >= 53542 @ 169.768
202.72/203.50	c bounds 357577 >= 53544 @ 169.789
202.72/203.50	c bounds 357577 >= 54102 @ 169.81
202.72/203.50	c bounds 357577 >= 54103 @ 169.828
202.72/203.50	c bounds 357577 >= 54104 @ 169.847
202.72/203.50	c bounds 357577 >= 54105 @ 169.869
202.72/203.50	c bounds 357577 >= 54106 @ 169.902
202.72/203.50	c bounds 357577 >= 54107 @ 169.972
202.72/203.50	c bounds 356996 >= 54107 @ 170.091
202.72/203.50	c bounds 356415 >= 54107 @ 170.215
202.72/203.50	c bounds 356415 >= 54108 @ 170.288
202.72/203.50	c bounds 355834 >= 54108 @ 170.405
202.72/203.50	c bounds 355834 >= 54109 @ 170.469
202.72/203.50	c bounds 355253 >= 54109 @ 170.681
202.72/203.50	c bounds 355253 >= 54110 @ 170.706
202.72/203.50	c bounds 355253 >= 54111 @ 170.953
202.72/203.50	c bounds 354672 >= 54111 @ 171.078
202.72/203.50	c bounds 354091 >= 54111 @ 171.19
202.72/203.50	c #Conflicts:      10000 | #Constraints:     939974
202.72/203.50	c bounds 353510 >= 54111 @ 171.303
202.72/203.50	c bounds 352929 >= 54111 @ 171.412
202.72/203.50	c bounds 352348 >= 54111 @ 171.518
202.72/203.50	c bounds 351767 >= 54111 @ 171.621
202.72/203.50	c bounds 351186 >= 54111 @ 171.725
202.72/203.50	c bounds 350605 >= 54111 @ 171.822
202.72/203.50	c bounds 350605 >= 54112 @ 172.023
202.72/203.50	c bounds 350025 >= 54112 @ 172.128
202.72/203.50	c bounds 350024 >= 54112 @ 172.176
202.72/203.50	c bounds 349443 >= 54112 @ 172.318
202.72/203.50	c bounds 348862 >= 54112 @ 172.445
202.72/203.50	c bounds 348281 >= 54112 @ 172.57
202.72/203.50	c bounds 347700 >= 54112 @ 172.709
202.72/203.50	c bounds 347119 >= 54112 @ 172.855
202.72/203.50	c bounds 347119 >= 54113 @ 173.292
202.72/203.50	c bounds 346538 >= 54113 @ 173.454
202.72/203.50	c bounds 345957 >= 54113 @ 173.592
202.72/203.50	c bounds 345376 >= 54113 @ 173.733
202.72/203.50	c bounds 344795 >= 54113 @ 173.875
202.72/203.50	c bounds 344214 >= 54113 @ 174.006
202.72/203.50	c bounds 343633 >= 54113 @ 174.159
202.72/203.50	c bounds 343052 >= 54113 @ 174.322
202.72/203.50	c #Conflicts:      11000 | #Constraints:     941043
202.72/203.50	c bounds 342471 >= 54113 @ 174.473
202.72/203.50	c bounds 341890 >= 54113 @ 174.635
202.72/203.50	c bounds 341889 >= 54113 @ 174.993
202.72/203.50	c bounds 341308 >= 54113 @ 175.245
202.72/203.50	c bounds 341308 >= 54114 @ 175.961
230.63/231.50	c bounds 341307 >= 54114 @ 176.155
230.63/231.50	c bounds 340726 >= 54114 @ 176.395
230.63/231.50	c bounds 340145 >= 54114 @ 176.658
230.63/231.50	c bounds 339564 >= 54114 @ 176.812
230.63/231.50	c bounds 338983 >= 54114 @ 176.983
230.63/231.50	c bounds 338402 >= 54114 @ 177.121
230.63/231.50	c bounds 337821 >= 54114 @ 177.242
230.63/231.50	c bounds 337240 >= 54114 @ 177.362
230.63/231.50	c bounds 336659 >= 54114 @ 177.482
230.63/231.50	c bounds 336078 >= 54114 @ 177.616
230.63/231.50	c bounds 335497 >= 54114 @ 177.732
230.63/231.50	c bounds 334916 >= 54114 @ 177.859
230.63/231.50	c #Conflicts:      12000 | #Constraints:     942086
230.63/231.50	c INPROCESSING
230.63/231.50	c GARBAGE COLLECT
230.63/231.50	c bounds 334336 >= 54114 @ 178.628
230.63/231.50	c bounds 334335 >= 54114 @ 178.678
230.63/231.50	c bounds 333754 >= 54114 @ 178.782
230.63/231.50	c bounds 333173 >= 54114 @ 178.887
230.63/231.50	c bounds 332592 >= 54114 @ 178.994
230.63/231.50	c bounds 332011 >= 54114 @ 179.087
230.63/231.50	c bounds 331430 >= 54114 @ 179.23
230.63/231.50	c bounds 330849 >= 54114 @ 179.38
230.63/231.50	c bounds 330848 >= 54114 @ 179.496
230.63/231.50	c bounds 330847 >= 54114 @ 179.61
230.63/231.50	c bounds 330846 >= 54114 @ 179.713
230.63/231.50	c bounds 330845 >= 54114 @ 179.816
230.63/231.50	c bounds 330844 >= 54114 @ 179.925
230.63/231.50	c bounds 330263 >= 54114 @ 180.029
230.63/231.50	c bounds 329682 >= 54114 @ 180.129
230.63/231.50	c bounds 329101 >= 54114 @ 180.233
230.63/231.50	c bounds 328520 >= 54114 @ 180.333
230.63/231.50	c bounds 327939 >= 54114 @ 180.444
230.63/231.50	c bounds 327358 >= 54114 @ 180.575
230.63/231.50	c bounds 327358 >= 54115 @ 181.057
230.63/231.50	c bounds 326777 >= 54115 @ 181.157
230.63/231.50	c bounds 326196 >= 54115 @ 181.294
230.63/231.50	c bounds 325615 >= 54115 @ 181.435
230.63/231.50	c bounds 325034 >= 54115 @ 181.562
230.63/231.50	c bounds 324453 >= 54115 @ 181.679
230.63/231.50	c bounds 323872 >= 54115 @ 181.803
230.63/231.50	c bounds 323291 >= 54115 @ 181.932
230.63/231.50	c bounds 322710 >= 54115 @ 182.093
230.63/231.50	c #Conflicts:      13000 | #Constraints:     940430
230.63/231.50	c bounds 322709 >= 54115 @ 182.223
230.63/231.50	c bounds 322128 >= 54115 @ 182.357
230.63/231.50	c bounds 321547 >= 54115 @ 182.485
230.63/231.50	c bounds 320966 >= 54115 @ 182.613
230.63/231.50	c bounds 320966 >= 54116 @ 182.917
230.63/231.50	c bounds 320385 >= 54116 @ 183.036
230.63/231.50	c bounds 319804 >= 54116 @ 183.18
230.63/231.50	c bounds 319223 >= 54116 @ 183.324
230.63/231.50	c bounds 319222 >= 54116 @ 183.619
230.63/231.50	c bounds 318641 >= 54116 @ 187.933
230.63/231.50	c bounds 318641 >= 54117 @ 188.119
230.63/231.50	c #Conflicts:      14000 | #Constraints:     941472
230.63/231.50	c bounds 318641 >= 54118 @ 188.482
230.63/231.50	c bounds 318060 >= 54118 @ 188.959
230.63/231.50	c bounds 317479 >= 54118 @ 189.292
230.63/231.50	c bounds 317479 >= 54119 @ 189.547
230.63/231.50	c bounds 316898 >= 54119 @ 189.719
230.63/231.50	c bounds 316317 >= 54119 @ 189.874
230.63/231.50	c bounds 315736 >= 54119 @ 190.037
230.63/231.50	c bounds 315155 >= 54119 @ 190.19
230.63/231.50	c bounds 314574 >= 54119 @ 190.344
230.63/231.50	c bounds 314574 >= 54120 @ 190.529
230.63/231.50	c bounds 313993 >= 54120 @ 190.725
230.63/231.50	c bounds 313412 >= 54120 @ 191.029
230.63/231.50	c #Conflicts:      15000 | #Constraints:     942508
230.63/231.50	c INPROCESSING
230.63/231.50	c GARBAGE COLLECT
230.63/231.50	c bounds 313411 >= 54120 @ 192.101
230.63/231.50	c bounds 312830 >= 54120 @ 192.243
230.63/231.50	c bounds 312249 >= 54120 @ 192.385
230.63/231.50	c bounds 311668 >= 54120 @ 192.528
230.63/231.50	c bounds 311087 >= 54120 @ 192.66
230.63/231.50	c bounds 310506 >= 54120 @ 192.793
230.63/231.50	c bounds 309926 >= 54120 @ 192.923
230.63/231.50	c bounds 309925 >= 54120 @ 193.089
230.63/231.50	c bounds 309925 >= 54121 @ 193.21
230.63/231.50	c bounds 309344 >= 54121 @ 193.364
230.63/231.50	c #Conflicts:      16000 | #Constraints:     940106
230.63/231.50	c bounds 309344 >= 54122 @ 194.514
230.63/231.50	c bounds 308763 >= 54122 @ 194.64
230.63/231.50	c bounds 308183 >= 54122 @ 194.793
230.63/231.50	c bounds 308182 >= 54122 @ 195.175
230.63/231.50	c bounds 307601 >= 54122 @ 195.293
230.63/231.50	c bounds 307020 >= 54122 @ 195.423
230.63/231.50	c bounds 306439 >= 54122 @ 195.55
230.63/231.50	c bounds 305858 >= 54122 @ 195.659
230.63/231.50	c bounds 305277 >= 54122 @ 195.784
230.63/231.50	c bounds 304696 >= 54122 @ 195.899
230.63/231.50	c bounds 304695 >= 54122 @ 196.008
230.63/231.50	c bounds 304114 >= 54122 @ 196.154
230.63/231.50	c #Conflicts:      17000 | #Constraints:     941135
230.63/231.50	c bounds 304113 >= 54122 @ 196.272
230.63/231.50	c bounds 303532 >= 54122 @ 196.391
230.63/231.50	c bounds 303531 >= 54122 @ 196.51
230.63/231.50	c bounds 303530 >= 54122 @ 196.646
230.63/231.50	c bounds 302949 >= 54122 @ 196.759
230.63/231.50	c bounds 302368 >= 54122 @ 197.005
230.63/231.50	c bounds 301788 >= 54122 @ 197.137
230.63/231.50	c bounds 301207 >= 54122 @ 197.283
230.63/231.50	c bounds 300626 >= 54122 @ 197.406
230.63/231.50	c bounds 300045 >= 54122 @ 197.549
230.63/231.50	c bounds 299464 >= 54122 @ 197.674
230.63/231.50	c bounds 298883 >= 54122 @ 197.79
230.63/231.50	c bounds 298302 >= 54122 @ 198.024
230.63/231.50	c bounds 298302 >= 54123 @ 198.204
230.63/231.50	c bounds 298301 >= 54123 @ 198.378
230.63/231.50	c bounds 297720 >= 54123 @ 198.536
230.63/231.50	c bounds 297139 >= 54123 @ 198.684
230.63/231.50	c bounds 296558 >= 54123 @ 198.828
230.63/231.50	c bounds 296558 >= 54635 @ 198.983
230.63/231.50	c bounds 295977 >= 54635 @ 199.127
230.63/231.50	c bounds 295396 >= 54635 @ 199.3
230.63/231.50	c bounds 294815 >= 54635 @ 199.45
1207.35/1211.59	c bounds 294234 >= 54635 @ 199.62
1207.35/1211.59	c bounds 294234 >= 54641 @ 199.646
1207.35/1211.59	c bounds 294234 >= 54656 @ 199.666
1207.35/1211.59	c bounds 294234 >= 54657 @ 199.686
1207.35/1211.59	c bounds 294234 >= 54658 @ 199.704
1207.35/1211.59	c bounds 294234 >= 54666 @ 199.726
1207.35/1211.59	c bounds 294234 >= 54667 @ 199.76
1207.35/1211.59	c bounds 294234 >= 54668 @ 199.793
1207.35/1211.59	c bounds 293653 >= 54668 @ 199.951
1207.35/1211.59	c bounds 293653 >= 54669 @ 199.984
1207.35/1211.59	c bounds 293653 >= 54670 @ 200.073
1207.35/1211.59	c bounds 293072 >= 54670 @ 200.245
1207.35/1211.59	c #Conflicts:      18000 | #Constraints:     942251
1207.35/1211.59	c bounds 293072 >= 54671 @ 200.45
1207.35/1211.59	c bounds 292491 >= 54671 @ 200.903
1207.35/1211.59	c INPROCESSING
1207.35/1211.59	c GARBAGE COLLECT
1207.35/1211.59	c bounds 291910 >= 54671 @ 201.939
1207.35/1211.59	c bounds 291329 >= 54671 @ 202.17
1207.35/1211.59	c bounds 291329 >= 54672 @ 202.202
1207.35/1211.59	c bounds 290748 >= 54672 @ 202.386
1207.35/1211.59	c bounds 290748 >= 54673 @ 202.517
1207.35/1211.59	c bounds 290167 >= 54673 @ 202.68
1207.35/1211.59	c bounds 290167 >= 54674 @ 202.763
1207.35/1211.59	c bounds 289586 >= 54674 @ 202.926
1207.35/1211.59	c bounds 289586 >= 54675 @ 203.033
1207.35/1211.59	c bounds 289005 >= 54675 @ 203.217
1207.35/1211.59	c bounds 288424 >= 54675 @ 203.39
1207.35/1211.59	c bounds 288424 >= 54676 @ 203.515
1207.35/1211.59	c bounds 287843 >= 54676 @ 203.665
1207.35/1211.59	c bounds 287262 >= 54676 @ 203.754
1207.35/1211.59	c bounds 287262 >= 54677 @ 203.926
1207.35/1211.59	c bounds 287261 >= 54677 @ 204.238
1207.35/1211.59	c #Conflicts:      19000 | #Constraints:     938646
1207.35/1211.59	c bounds 286680 >= 54677 @ 205.132
1207.35/1211.59	c bounds 286680 >= 54678 @ 205.317
1207.35/1211.59	c bounds 286099 >= 54678 @ 205.448
1207.35/1211.59	c bounds 285518 >= 54678 @ 205.665
1207.35/1211.59	c bounds 285518 >= 54679 @ 206.034
1207.35/1211.59	c bounds 284937 >= 54679 @ 210.39
1207.35/1211.59	c #Conflicts:      20000 | #Constraints:     939695
1207.35/1211.59	c bounds 284937 >= 54680 @ 210.94
1207.35/1211.59	c bounds 284937 >= 54681 @ 211.736
1207.35/1211.59	c bounds 284356 >= 54681 @ 212.023
1207.35/1211.59	c bounds 283775 >= 54681 @ 212.269
1207.35/1211.59	c bounds 283194 >= 54681 @ 212.414
1207.35/1211.59	c bounds 282613 >= 54681 @ 212.623
1207.35/1211.59	c bounds 282032 >= 54681 @ 212.796
1207.35/1211.59	c bounds 281451 >= 54681 @ 212.988
1207.35/1211.59	c bounds 280871 >= 54681 @ 213.173
1207.35/1211.59	c bounds 280871 >= 54682 @ 213.206
1207.35/1211.59	c #Conflicts:      21000 | #Constraints:     940774
1207.35/1211.59	c bounds 280871 >= 54683 @ 214.79
1207.35/1211.59	c bounds 280870 >= 54683 @ 214.94
1207.35/1211.59	c bounds 280289 >= 54683 @ 215.125
1207.35/1211.59	c bounds 279708 >= 54683 @ 215.303
1207.35/1211.59	c bounds 279127 >= 54683 @ 215.485
1207.35/1211.59	c bounds 278546 >= 54683 @ 215.691
1207.35/1211.59	c bounds 277965 >= 54683 @ 215.9
1207.35/1211.59	c bounds 277384 >= 54683 @ 217.05
1207.35/1211.59	c bounds 276803 >= 54683 @ 217.332
1207.35/1211.59	c bounds 276222 >= 54683 @ 217.546
1207.35/1211.59	c INPROCESSING
1207.35/1211.59	c GARBAGE COLLECT
1207.35/1211.59	c bounds 275641 >= 54683 @ 218.488
1207.35/1211.59	c bounds 275060 >= 54683 @ 218.692
1207.35/1211.59	c bounds 274479 >= 54683 @ 218.866
1207.35/1211.59	c bounds 273898 >= 54683 @ 219.033
1207.35/1211.59	c bounds 273317 >= 54683 @ 219.203
1207.35/1211.59	c bounds 272736 >= 54683 @ 219.384
1207.35/1211.59	c bounds 272155 >= 54683 @ 219.552
1207.35/1211.59	c bounds 271574 >= 54683 @ 219.719
1207.35/1211.59	c bounds 270993 >= 54683 @ 219.952
1207.35/1211.59	c bounds 270412 >= 54683 @ 220.119
1207.35/1211.59	c bounds 270411 >= 54683 @ 220.27
1207.35/1211.59	c #Conflicts:      22000 | #Constraints:     938540
1207.35/1211.59	c bounds 269830 >= 54683 @ 1160.54
1207.35/1211.59	c bounds 269250 >= 54683 @ 1160.72
1207.35/1211.59	c bounds 269249 >= 54683 @ 1160.87
1207.35/1211.59	c bounds 268668 >= 54683 @ 1161.06
1207.35/1211.59	c bounds 268668 >= 54684 @ 1162.01
1207.35/1211.59	c bounds 268087 >= 54684 @ 1162.18
1207.35/1211.59	c bounds 268086 >= 54684 @ 1162.42
1207.35/1211.59	c bounds 267505 >= 54684 @ 1162.58
1207.35/1211.59	c bounds 266924 >= 54684 @ 1162.81
1207.35/1211.59	c bounds 266343 >= 54684 @ 1162.99
1207.35/1211.59	c bounds 265762 >= 54684 @ 1163.15
1207.35/1211.59	c bounds 265181 >= 54684 @ 1163.33
1207.35/1211.59	c bounds 264600 >= 54684 @ 1163.48
1207.35/1211.59	c bounds 264020 >= 54684 @ 1163.75
1207.35/1211.59	c bounds 263439 >= 54684 @ 1163.97
1207.35/1211.59	c bounds 262858 >= 54684 @ 1164.17
1207.35/1211.59	c #Conflicts:      23000 | #Constraints:     939591
1207.35/1211.59	c bounds 262277 >= 54684 @ 1164.36
1207.35/1211.59	c bounds 261696 >= 54684 @ 1164.52
1207.35/1211.59	c bounds 261696 >= 54685 @ 1165.25
1207.35/1211.59	c bounds 261115 >= 54685 @ 1165.41
1207.35/1211.59	c bounds 260534 >= 54685 @ 1165.61
1207.35/1211.59	c bounds 259953 >= 54685 @ 1165.77
1207.35/1211.59	c bounds 259372 >= 54685 @ 1165.93
1207.35/1211.59	c bounds 258791 >= 54685 @ 1166.08
1207.35/1211.59	c bounds 258210 >= 54685 @ 1166.25
1207.35/1211.59	c bounds 258209 >= 54685 @ 1166.43
1207.35/1211.59	c bounds 258208 >= 54685 @ 1166.58
1207.35/1211.59	c bounds 258207 >= 54685 @ 1166.97
1207.35/1211.59	c bounds 257626 >= 54685 @ 1167.29
1207.35/1211.59	c bounds 257626 >= 54686 @ 1167.91
1207.35/1211.59	c bounds 257045 >= 54686 @ 1168.11
1207.35/1211.59	c bounds 256464 >= 54686 @ 1168.28
1207.35/1211.59	c bounds 255883 >= 54686 @ 1168.43
1207.35/1211.59	c #Conflicts:      24000 | #Constraints:     940639
1207.35/1211.59	c bounds 255302 >= 54686 @ 1168.61
1207.35/1211.59	c bounds 254721 >= 54686 @ 1168.77
1207.35/1211.59	c bounds 254140 >= 54686 @ 1168.93
1207.35/1211.59	c bounds 253559 >= 54686 @ 1169.49
1207.35/1211.59	c bounds 252978 >= 54686 @ 1170.93
2615.65/2624.17	c bounds 252978 >= 54687 @ 1171.72
2615.65/2624.17	c bounds 252397 >= 54687 @ 1171.89
2615.65/2624.17	c bounds 251816 >= 54687 @ 1172.04
2615.65/2624.17	c bounds 251235 >= 54687 @ 1172.23
2615.65/2624.17	c bounds 250654 >= 54687 @ 1172.57
2615.65/2624.17	c bounds 250078 >= 54687 @ 1172.85
2615.65/2624.17	c bounds 250077 >= 54687 @ 1173.07
2615.65/2624.17	c bounds 249496 >= 54687 @ 1173.37
2615.65/2624.17	c bounds 249495 >= 54687 @ 1173.58
2615.65/2624.17	c #Conflicts:      25000 | #Constraints:     941673
2615.65/2624.17	c INPROCESSING
2615.65/2624.17	c GARBAGE COLLECT
2615.65/2624.17	c bounds 248914 >= 54687 @ 1175.36
2615.65/2624.17	c bounds 248333 >= 54687 @ 1175.58
2615.65/2624.17	c bounds 247752 >= 54687 @ 1175.76
2615.65/2624.17	c bounds 247171 >= 54687 @ 1176.06
2615.65/2624.17	c bounds 247170 >= 54687 @ 1176.23
2615.65/2624.17	c bounds 246589 >= 54687 @ 1176.43
2615.65/2624.17	c bounds 246008 >= 54687 @ 1176.63
2615.65/2624.17	c bounds 245427 >= 54687 @ 1177.08
2615.65/2624.17	c bounds 244846 >= 54687 @ 1177.37
2615.65/2624.17	c bounds 244265 >= 54687 @ 1177.59
2615.65/2624.17	c bounds 243684 >= 54687 @ 1177.82
2615.65/2624.17	c bounds 243103 >= 54687 @ 1178.03
2615.65/2624.17	c bounds 242522 >= 54687 @ 1178.21
2615.65/2624.17	c bounds 241941 >= 54687 @ 1178.4
2615.65/2624.17	c #Conflicts:      26000 | #Constraints:     939109
2615.65/2624.17	c bounds 241941 >= 54688 @ 1179.32
2615.65/2624.17	c bounds 241360 >= 54688 @ 1179.55
2615.65/2624.17	c bounds 240779 >= 54688 @ 1179.76
2615.65/2624.17	c bounds 240198 >= 54688 @ 1180
2615.65/2624.17	c bounds 239617 >= 54688 @ 1180.2
2615.65/2624.17	c bounds 239616 >= 54688 @ 1180.47
2615.65/2624.17	c bounds 239035 >= 54688 @ 1180.97
2615.65/2624.17	c bounds 238454 >= 54688 @ 1181.25
2615.65/2624.17	c bounds 237873 >= 54688 @ 1181.47
2615.65/2624.17	c #Conflicts:      27000 | #Constraints:     940138
2615.65/2624.17	c bounds 237873 >= 54689 @ 1183.3
2615.65/2624.17	c bounds 237292 >= 54689 @ 1183.55
2615.65/2624.17	c bounds 236711 >= 54689 @ 1183.75
2615.65/2624.17	c bounds 236130 >= 54689 @ 1183.92
2615.65/2624.17	c bounds 236129 >= 54689 @ 1184.58
2615.65/2624.17	c bounds 235548 >= 54689 @ 1184.84
2615.65/2624.17	c bounds 234967 >= 54689 @ 1185.02
2615.65/2624.17	c bounds 234966 >= 54689 @ 1185.5
2615.65/2624.17	c bounds 234965 >= 54689 @ 1186
2615.65/2624.17	c bounds 234964 >= 54689 @ 1186.74
2615.65/2624.17	c #Conflicts:      28000 | #Constraints:     941183
2615.65/2624.17	c bounds 234963 >= 54689 @ 1187.41
2615.65/2624.17	c bounds 234962 >= 54689 @ 1187.93
2615.65/2624.17	c bounds 234381 >= 54689 @ 1191.37
2615.65/2624.17	c #Conflicts:      29000 | #Constraints:     942186
2615.65/2624.17	c INPROCESSING
2615.65/2624.17	c GARBAGE COLLECT
2615.65/2624.17	c bounds 233800 >= 54689 @ 1193.76
2615.65/2624.17	c bounds 233219 >= 54689 @ 1194.14
2615.65/2624.17	c bounds 232638 >= 54689 @ 1194.52
2615.65/2624.17	c bounds 232637 >= 54689 @ 1194.81
2615.65/2624.17	c bounds 232056 >= 54689 @ 1195.08
2615.65/2624.17	c bounds 231475 >= 54689 @ 1195.44
2615.65/2624.17	c bounds 230894 >= 54689 @ 1196.3
2615.65/2624.17	c bounds 230893 >= 54689 @ 1196.68
2615.65/2624.17	c bounds 230892 >= 54689 @ 1197.13
2615.65/2624.17	c #Conflicts:      30000 | #Constraints:     939615
2615.65/2624.17	c bounds 230311 >= 54689 @ 1206.95
2615.65/2624.17	c #Conflicts:      31000 | #Constraints:     940616
2615.65/2624.17	c bounds 230311 >= 54690 @ 1209.01
2615.65/2624.17	c bounds 230311 >= 54691 @ 1211.42
2615.65/2624.17	c #Conflicts:      32000 | #Constraints:     941658
2615.65/2624.17	c bounds 230311 >= 54692 @ 1215.35
2615.65/2624.17	c bounds 229730 >= 54692 @ 1215.56
2615.65/2624.17	c bounds 229149 >= 54692 @ 1215.76
2615.65/2624.17	c bounds 228568 >= 54692 @ 1215.94
2615.65/2624.17	c #Conflicts:      33000 | #Constraints:     942685
2615.65/2624.17	c INPROCESSING
2615.65/2624.17	c GARBAGE COLLECT
2615.65/2624.17	c bounds 228567 >= 54692 @ 1227.55
2615.65/2624.17	c #Conflicts:      34000 | #Constraints:     939809
2615.65/2624.17	c #Conflicts:      35000 | #Constraints:     940809
2615.65/2624.17	c bounds 228567 >= 54693 @ 1231.95
2615.65/2624.17	c bounds 228566 >= 54693 @ 1232.14
2615.65/2624.17	c bounds 227985 >= 54693 @ 1232.62
2615.65/2624.17	c bounds 227984 >= 54693 @ 1233.04
2615.65/2624.17	c bounds 227403 >= 54693 @ 1233.38
2615.65/2624.17	c bounds 226822 >= 54693 @ 1233.72
2615.65/2624.17	c bounds 226241 >= 54693 @ 1234.05
2615.65/2624.17	c bounds 226240 >= 54693 @ 1234.72
2615.65/2624.17	c bounds 225659 >= 54693 @ 1235.68
2615.65/2624.17	c #Conflicts:      36000 | #Constraints:     941832
2615.65/2624.17	c bounds 225078 >= 54693 @ 1239.93
2615.65/2624.17	c bounds 225077 >= 54693 @ 1241.83
2615.65/2624.17	c #Conflicts:      37000 | #Constraints:     942834
2615.65/2624.17	c INPROCESSING
2615.65/2624.17	c GARBAGE COLLECT
2615.65/2624.17	c bounds 225076 >= 54693 @ 1247.27
2615.65/2624.17	c bounds 224495 >= 54693 @ 1247.45
2615.65/2624.17	c bounds 224494 >= 54693 @ 1250.24
2615.65/2624.17	c #Conflicts:      38000 | #Constraints:     938972
2615.65/2624.17	c #Conflicts:      39000 | #Constraints:     939972
2615.65/2624.17	c bounds 224493 >= 54693 @ 1263.44
2615.65/2624.17	c bounds 224493 >= 54694 @ 1265.83
2615.65/2624.17	c #Conflicts:      40000 | #Constraints:     941009
2615.65/2624.17	c bounds 224493 >= 54695 @ 1268.4
2615.65/2624.17	c bounds 224492 >= 54695 @ 1269.71
2615.65/2624.17	c #Conflicts:      41000 | #Constraints:     942034
2615.65/2624.17	c INPROCESSING
2615.65/2624.17	c GARBAGE COLLECT
2615.65/2624.17	c rational objective 54695
2750.63/2759.55	c #Conflicts:      42000 | #Constraints:     938769
2750.63/2759.55	c bounds 224492 >= 54696 @ 2572.56
2750.63/2759.55	c bounds 223911 >= 54696 @ 2572.87
2750.63/2759.55	c bounds 223910 >= 54696 @ 2573.14
2750.63/2759.55	c bounds 223329 >= 54696 @ 2573.43
2750.63/2759.55	c bounds 222748 >= 54696 @ 2573.73
2750.63/2759.55	c bounds 222167 >= 54696 @ 2574
2750.63/2759.55	c bounds 221586 >= 54696 @ 2574.44
2750.63/2759.55	c bounds 221005 >= 54696 @ 2574.73
2750.63/2759.55	c bounds 220424 >= 54696 @ 2575.09
2750.63/2759.55	c #Conflicts:      43000 | #Constraints:     939801
2750.63/2759.55	c bounds 220423 >= 54696 @ 2575.38
2750.63/2759.55	c bounds 220422 >= 54696 @ 2575.92
2750.63/2759.55	c bounds 219841 >= 54696 @ 2576.33
2750.63/2759.55	c bounds 219840 >= 54696 @ 2576.69
2750.63/2759.55	c bounds 219259 >= 54696 @ 2577.72
2750.63/2759.55	c bounds 218678 >= 54696 @ 2578.15
2750.63/2759.55	c bounds 218677 >= 54696 @ 2579.35
2750.63/2759.55	c #Conflicts:      44000 | #Constraints:     940808
2750.63/2759.55	c bounds 218096 >= 54696 @ 2581.12
2750.63/2759.55	c bounds 217515 >= 54696 @ 2583.9
2750.63/2759.55	c #Conflicts:      45000 | #Constraints:     941810
2750.63/2759.55	c bounds 217515 >= 54697 @ 2589.71
2750.63/2759.55	c bounds 216934 >= 54697 @ 2590.53
2750.63/2759.55	c bounds 216353 >= 54697 @ 2591.1
2750.63/2759.55	c #Conflicts:      46000 | #Constraints:     942836
2750.63/2759.55	c bounds 216352 >= 54697 @ 2591.65
2750.63/2759.55	c INPROCESSING
2750.63/2759.55	c GARBAGE COLLECT
2750.63/2759.55	c #Conflicts:      47000 | #Constraints:     939375
2750.63/2759.55	c bounds 215772 >= 54697 @ 2600.01
2750.63/2759.55	c bounds 215193 >= 54697 @ 2600.42
2750.63/2759.55	c bounds 214612 >= 54697 @ 2602.65
2750.63/2759.55	c bounds 214611 >= 54697 @ 2603.42
2750.63/2759.55	c bounds 214030 >= 54697 @ 2603.93
2750.63/2759.55	c bounds 214029 >= 54697 @ 2605.76
2750.63/2759.55	c #Conflicts:      48000 | #Constraints:     940381
2750.63/2759.55	c bounds 213448 >= 54697 @ 2606.13
2750.63/2759.55	c bounds 212867 >= 54697 @ 2606.43
2750.63/2759.55	c bounds 212286 >= 54697 @ 2606.79
2750.63/2759.55	c bounds 211705 >= 54697 @ 2607.06
2750.63/2759.55	c bounds 211124 >= 54697 @ 2607.33
2750.63/2759.55	c #Conflicts:      49000 | #Constraints:     941386
2750.63/2759.55	c bounds 211124 >= 54698 @ 2616.53
2750.63/2759.55	c bounds 210543 >= 54698 @ 2616.78
2750.63/2759.55	c bounds 209962 >= 54698 @ 2617.06
2750.63/2759.55	c bounds 209381 >= 54698 @ 2617.3
2750.63/2759.55	c bounds 208800 >= 54698 @ 2617.57
2750.63/2759.55	c #Conflicts:      50000 | #Constraints:     942414
2750.63/2759.55	c bounds 208219 >= 54698 @ 2617.86
2750.63/2759.55	c bounds 207638 >= 54698 @ 2618.16
2750.63/2759.55	c bounds 207637 >= 54698 @ 2619.18
2750.63/2759.55	c bounds 207636 >= 54698 @ 2619.39
2750.63/2759.55	c bounds 207635 >= 54698 @ 2620.78
2750.63/2759.55	c bounds 207054 >= 54698 @ 2622.35
2750.63/2759.55	c #Conflicts:      51000 | #Constraints:     943420
2750.63/2759.55	c INPROCESSING
2750.63/2759.55	c GARBAGE COLLECT
2750.63/2759.55	c bounds 206473 >= 54698 @ 2624.33
2750.63/2759.55	c bounds 205892 >= 54698 @ 2624.71
2750.63/2759.55	c bounds 205311 >= 54698 @ 2625.83
2750.63/2759.55	c bounds 204730 >= 54698 @ 2626.64
2750.63/2759.55	c #Conflicts:      52000 | #Constraints:     939741
2750.63/2759.55	c #Conflicts:      53000 | #Constraints:     940741
2750.63/2759.55	c bounds 204149 >= 54698 @ 2636.73
2750.63/2759.55	c #Conflicts:      54000 | #Constraints:     941742
2750.63/2759.55	c bounds 204149 >= 54699 @ 2646.12
2750.63/2759.55	c bounds 203568 >= 54699 @ 2646.37
2750.63/2759.55	c bounds 202987 >= 54699 @ 2646.6
2750.63/2759.55	c #Conflicts:      55000 | #Constraints:     942786
2750.63/2759.55	c bounds 202406 >= 54699 @ 2646.89
2750.63/2759.55	c bounds 201825 >= 54699 @ 2647.14
2750.63/2759.55	c bounds 201244 >= 54699 @ 2647.38
2750.63/2759.55	c bounds 200663 >= 54699 @ 2647.81
2750.63/2759.55	c bounds 200082 >= 54699 @ 2648.09
2750.63/2759.55	c bounds 199501 >= 54699 @ 2648.35
2750.63/2759.55	c bounds 198920 >= 54699 @ 2648.62
2750.63/2759.55	c bounds 198919 >= 54699 @ 2649.91
2750.63/2759.55	c bounds 198338 >= 54699 @ 2650.34
2750.63/2759.55	c bounds 197757 >= 54699 @ 2650.58
2750.63/2759.55	c bounds 197176 >= 54699 @ 2650.85
2750.63/2759.55	c bounds 196595 >= 54699 @ 2651.1
2750.63/2759.55	c #Conflicts:      56000 | #Constraints:     943798
2750.63/2759.55	c INPROCESSING
2750.63/2759.55	c GARBAGE COLLECT
2750.63/2759.55	c bounds 196014 >= 54699 @ 2653.04
2750.63/2759.55	c bounds 195433 >= 54699 @ 2657.21
2750.63/2759.55	c #Conflicts:      57000 | #Constraints:     939992
2750.63/2759.55	c bounds 194852 >= 54699 @ 2666.7
2750.63/2759.55	c #Conflicts:      58000 | #Constraints:     940993
2750.63/2759.55	c #Conflicts:      59000 | #Constraints:     941993
2750.63/2759.55	c bounds 194852 >= 54700 @ 2679.46
2750.63/2759.55	c bounds 194271 >= 54700 @ 2679.7
2750.63/2759.55	c bounds 193690 >= 54700 @ 2679.96
2750.63/2759.55	c bounds 193689 >= 54700 @ 2680.36
2750.63/2759.55	c bounds 193688 >= 54700 @ 2681.08
2750.63/2759.55	c #Conflicts:      60000 | #Constraints:     943030
2750.63/2759.55	c bounds 193687 >= 54700 @ 2681.56
2750.63/2759.55	c bounds 193106 >= 54700 @ 2681.85
2750.63/2759.55	c bounds 192525 >= 54700 @ 2682.08
2750.63/2759.55	c bounds 191944 >= 54700 @ 2682.28
2750.63/2759.55	c bounds 191363 >= 54700 @ 2682.84
2750.63/2759.55	c bounds 190782 >= 54700 @ 2683.33
2750.63/2759.55	c bounds 190201 >= 54700 @ 2683.98
2750.63/2759.55	c bounds 189620 >= 54700 @ 2684.72
2750.63/2759.55	c bounds 189619 >= 54700 @ 2685.14
2750.63/2759.55	c bounds 189038 >= 54700 @ 2686.13
2750.63/2759.55	c #Conflicts:      61000 | #Constraints:     944040
2750.63/2759.55	c bounds 188457 >= 54700 @ 2687.95
2750.63/2759.55	c INPROCESSING
2750.63/2759.55	c GARBAGE COLLECT
2750.63/2759.55	c #Conflicts:      62000 | #C

ERROR: no interpretation found !

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

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

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

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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


[startup+0.100358 s]*
/proc/loadavg: 4.17 4.11 4.05 5/256 303628
/proc/meminfo: memFree=122311860/131655788 swapFree=131058856/131071996
[pid=303627] ppid=303624 vsize=51380 memory=19168 CPUtime=0.08 cores=5,7
/proc/303627/stat : 303627 (roundingsat) R 303624 303627 301296 0 -1 4194304 3653 0 0 0 6 2 0 0 20 0 1 0 42858931 52613120 4792 134679101440 4194304 8254357 140735514443504 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 9037040 9046032 9785344 140735514448731 140735514448993 140735514448993 140735514456009 0
/proc/303627/statm: 12845 4792 1376 992 0 4703 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 51380 KiB
Current children cumulated memory: 19168 KiB

[startup+0.207346 s]*
/proc/loadavg: 4.17 4.11 4.05 5/256 303628
/proc/meminfo: memFree=122307828/131655788 swapFree=131058856/131071996
[pid=303627] ppid=303624 vsize=52624 memory=20488 CPUtime=0.18 cores=5,7
/proc/303627/stat : 303627 (roundingsat) R 303624 303627 301296 0 -1 4194304 3979 0 0 0 14 4 0 0 20 0 1 0 42858931 53886976 5122 134679101440 4194304 8254357 140735514443504 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 9037040 9046032 9785344 140735514448731 140735514448993 140735514448993 140735514456009 0
/proc/303627/statm: 13156 5122 1376 992 0 5014 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 52624 KiB
Current children cumulated memory: 20488 KiB

[startup+0.307347 s]*
/proc/loadavg: 4.17 4.11 4.05 5/256 303628
/proc/meminfo: memFree=122274812/131655788 swapFree=131058856/131071996
[pid=303627] ppid=303624 vsize=79536 memory=49956 CPUtime=0.28 cores=5,7
/proc/303627/stat : 303627 (roundingsat) R 303624 303627 301296 0 -1 4194304 9806 0 0 0 22 6 0 0 20 0 1 0 42858931 81444864 12489 134679101440 4194304 8254357 140735514443504 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 9037040 9046032 9785344 140735514448731 140735514448993 140735514448993 140735514456009 0
/proc/303627/statm: 19884 12489 1376 992 0 11742 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 79536 KiB
Current children cumulated memory: 49956 KiB

[startup+0.700219 s]
/proc/loadavg: 4.17 4.11 4.05 6/256 303628
/proc/meminfo: memFree=122259048/131655788 swapFree=131058856/131071996
[pid=303627] ppid=303624 vsize=100872 memory=62996 CPUtime=0.65 cores=5,7
/proc/303627/stat : 303627 (roundingsat) R 303624 303627 301296 0 -1 4194304 11679 0 0 0 53 12 0 0 20 0 1 0 42858931 103292928 15749 134679101440 4194304 8254357 140735514443504 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9037040 9046032 9785344 140735514448731 140735514448993 140735514448993 140735514456009 0
/proc/303627/statm: 25218 15749 1376 992 0 17076 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 100872 KiB
Current children cumulated memory: 62996 KiB

[startup+1.50035 s]
/proc/loadavg: 4.17 4.11 4.05 5/256 303628
/proc/meminfo: memFree=122243960/131655788 swapFree=131058856/131071996
[pid=303627] ppid=303624 vsize=105292 memory=65660 CPUtime=1.45 cores=5,7
/proc/303627/stat : 303627 (roundingsat) R 303624 303627 301296 0 -1 4194304 12329 0 0 0 122 23 0 0 20 0 1 0 42858931 107819008 16415 134679101440 4194304 8254357 140735514443504 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9037040 9046032 9785344 140735514448731 140735514448993 140735514448993 140735514456009 0
/proc/303627/statm: 26323 16415 1376 992 0 18181 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 105292 KiB
Current children cumulated memory: 65660 KiB

[startup+3.11371 s]
/proc/loadavg: 4.16 4.11 4.05 5/256 303628
/proc/meminfo: memFree=122155860/131655788 swapFree=131058856/131071996
[pid=303627] ppid=303624 vsize=118216 memory=80420 CPUtime=3.06 cores=5,7
/proc/303627/stat : 303627 (roundingsat) R 303624 303627 301296 0 -1 4194304 14477 0 0 0 260 46 0 0 20 0 1 0 42858931 121053184 20105 134679101440 4194304 8254357 140735514443504 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9037040 9046032 9785344 140735514448731 140735514448993 140735514448993 140735514456009 0
/proc/303627/statm: 29554 20105 1376 992 0 21412 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 118216 KiB
Current children cumulated memory: 80420 KiB

[startup+6.30031 s]
/proc/loadavg: 4.16 4.11 4.05 5/256 303628
/proc/meminfo: memFree=122031824/131655788 swapFree=131058856/131071996
[pid=303627] ppid=303624 vsize=164492 memory=120384 CPUtime=6.24 cores=5,7
/proc/303627/stat : 303627 (roundingsat) R 303624 303627 301296 0 -1 4194304 19407 0 0 0 537 87 0 0 20 0 1 0 42858931 168439808 30096 134679101440 4194304 8254357 140735514443504 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9037040 9046032 9785344 140735514448731 140735514448993 140735514448993 140735514456009 0
/proc/303627/statm: 41123 30096 1376 992 0 32981 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 164492 KiB
Current children cumulated memory: 120384 KiB

[startup+12.7003 s]
/proc/loadavg: 4.21 4.12 4.05 5/256 303629
/proc/meminfo: memFree=121170344/131655788 swapFree=131058856/131071996
[pid=303627] ppid=303624 vsize=876716 memory=814556 CPUtime=12.62 cores=5,7
/proc/303627/stat : 303627 (roundingsat) R 303624 303627 301296 0 -1 4194304 112353 0 0 0 1124 138 0 0 20 0 1 0 42858931 897757184 203639 134679101440 4194304 8254357 140735514443504 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 9785344 140735514448731 140735514448993 140735514448993 140735514456009 0
/proc/303627/statm: 219179 203639 1759 992 0 211037 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 876716 KiB
Current children cumulated memory: 814556 KiB

[startup+25.5004 s]
/proc/loadavg: 4.17 4.12 4.05 5/256 303632
/proc/meminfo: memFree=120674704/131655788 swapFree=131058856/131071996
[pid=303627] ppid=303624 vsize=926804 memory=842824 CPUtime=25.38 cores=5,7
/proc/303627/stat : 303627 (roundingsat) R 303624 303627 301296 0 -1 4194304 112752 0 0 0 2005 533 0 0 20 0 1 0 42858931 949047296 210706 134679101440 4194304 8254357 140735514443504 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 9785344 140735514448731 140735514448993 140735514448993 140735514456009 0
/proc/303627/statm: 231701 210706 1886 992 0 223559 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 926804 KiB
Current children cumulated memory: 842824 KiB

[startup+51.1138 s]
/proc/loadavg: 4.17 4.12 4.06 5/257 304019
/proc/meminfo: memFree=119733700/131655788 swapFree=131058856/131071996
[pid=303627] ppid=303624 vsize=942048 memory=868552 CPUtime=50.9 cores=5,7
/proc/303627/stat : 303627 (roundingsat) R 303624 303627 301296 0 -1 4194304 113706 0 0 0 4339 751 0 0 20 0 1 0 42858931 964657152 217138 134679101440 4194304 8254357 140735514443504 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 9785344 140735514448731 140735514448993 140735514448993 140735514456009 0
/proc/303627/statm: 235512 217138 1886 992 0 227370 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 942048 KiB
Current children cumulated memory: 868552 KiB

[startup+102.3 s]
/proc/loadavg: 4.46 4.19 4.09 5/255 304028
/proc/meminfo: memFree=118772032/131655788 swapFree=131058856/131071996
[pid=303627] ppid=303624 vsize=977200 memory=903504 CPUtime=101.9 cores=5,7
/proc/303627/stat : 303627 (roundingsat) R 303624 303627 301296 0 -1 4194304 115013 0 0 0 8417 1773 0 0 20 0 1 0 42858931 1000652800 225876 134679101440 4194304 8254357 140735514443504 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 9785344 140735514448731 140735514448993 140735514448993 140735514456009 0
/proc/303627/statm: 244300 225876 1886 992 0 236158 0
Current children cumulated CPU time: 101.9 s
Current children cumulated vsize: 977200 KiB
Current children cumulated memory: 903504 KiB

[startup+162.3 s]
/proc/loadavg: 4.27 4.19 4.09 5/255 304038
/proc/meminfo: memFree=118139400/131655788 swapFree=131058856/131071996
[pid=303627] ppid=303624 vsize=1035420 memory=961612 CPUtime=161.67 cores=5,7
/proc/303627/stat : 303627 (roundingsat) R 303624 303627 301296 0 -1 4194304 124582 0 0 0 13711 2456 0 0 20 0 1 0 42858931 1060270080 240403 134679101440 4194304 8254357 140735514443504 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 9785344 140735514448731 140735514448993 140735514448993 140735514456009 0
/proc/303627/statm: 258855 240403 1886 992 0 250713 0
Current children cumulated CPU time: 161.67 s
Current children cumulated vsize: 1035420 KiB
Current children cumulated memory: 961612 KiB

[startup+222.3 s]
/proc/loadavg: 4.15 4.17 4.09 5/257 304220
/proc/meminfo: memFree=116536676/131655788 swapFree=131058856/131071996
[pid=303627] ppid=303624 vsize=1360256 memory=1256384 CPUtime=221.46 cores=5,7
/proc/303627/stat : 303627 (roundingsat) R 303624 303627 301296 0 -1 4194304 174975 0 0 0 19196 2950 0 0 20 0 1 0 42858931 1392902144 314096 134679101440 4194304 8254357 140735514443504 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 9785344 140735514448731 140735514448993 140735514448993 140735514456009 0
/proc/303627/statm: 340064 314096 1886 992 0 331922 0
Current children cumulated CPU time: 221.46 s
Current children cumulated vsize: 1360256 KiB
Current children cumulated memory: 1256384 KiB

[startup+282.3 s]
/proc/loadavg: 4.16 4.17 4.09 5/255 304230
/proc/meminfo: memFree=115761272/131655788 swapFree=131058856/131071996
[pid=303627] ppid=303624 vsize=1391192 memory=1295560 CPUtime=281.24 cores=5,7
/proc/303627/stat : 303627 (roundingsat) R 303624 303627 301296 0 -1 4194304 177217 0 0 0 24704 3420 0 0 20 0 1 0 42858931 1424580608 323890 134679101440 4194304 8254357 140735514443504 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 9785344 140735514448731 140735514448993 140735514448993 140735514456009 0
/proc/303627/statm: 347798 323890 1886 992 0 339656 0
Current children cumulated CPU time: 281.24 s
Current children cumulated vsize: 1391192 KiB
Current children cumulated memory: 1295560 KiB

[startup+342.3 s]
/proc/loadavg: 4.16 4.16 4.09 5/262 304305
/proc/meminfo: memFree=115100684/131655788 swapFree=131058856/131071996
[pid=303627] ppid=303624 vsize=1404784 memory=1307248 CPUtime=341.03 cores=5,7
/proc/303627/stat : 303627 (roundingsat) R 303624 303627 301296 0 -1 4194304 178168 0 0 0 30674 3429 0 0 20 0 1 0 42858931 1438498816 326812 134679101440 4194304 8254357 140735514443504 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 9785344 140735514448731 140735514448993 140735514448993 140735514456009 0
/proc/303627/statm: 351196 326812 1886 992 0 343054 0
Current children cumulated CPU time: 341.03 s
Current children cumulated vsize: 1404784 KiB
Current children cumulated memory: 1307248 KiB

[startup+402.3 s]
/proc/loadavg: 4.06 4.13 4.09 5/262 304317
/proc/meminfo: memFree=114750152/131655788 swapFree=131058856/131071996
[pid=303627] ppid=303624 vsize=1442592 memory=1338000 CPUtime=400.83 cores=5,7
/proc/303627/stat : 303627 (roundingsat) R 303624 303627 301296 0 -1 4194304 181915 0 0 0 36651 3432 0 0 20 0 1 0 42858931 1477214208 334500 134679101440 4194304 8254357 140735514443504 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 9785344 140735514448731 140735514448993 140735514448993 140735514456009 0
/proc/303627/statm: 360648 334500 1886 992 0 352506 0
Current children cumulated CPU time: 400.83 s
Current children cumulated vsize: 1442592 KiB
Current children cumulated memory: 1338000 KiB

[startup+462.3 s]
/proc/loadavg: 4.13 4.14 4.09 5/262 304328
/proc/meminfo: memFree=114534972/131655788 swapFree=131058856/131071996
[pid=303627] ppid=303624 vsize=1442592 memory=1338380 CPUtime=460.63 cores=5,7
/proc/303627/stat : 303627 (roundingsat) R 303624 303627 301296 0 -1 4194304 182151 0 0 0 42628 3435 0 0 20 0 1 0 42858931 1477214208 334595 134679101440 4194304 8254357 140735514443504 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 9785344 140735514448731 140735514448993 140735514448993 140735514456009 0
/proc/303627/statm: 360648 334595 1886 992 0 352506 0

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

Current children cumulated CPU time: 3092.55 s
Current children cumulated vsize: 2374564 KiB
Current children cumulated memory: 2126340 KiB

[startup+3162.3 s]
/proc/loadavg: 4.15 4.25 4.22 6/252 305562
/proc/meminfo: memFree=83011520/131655788 swapFree=131058856/131071996
[pid=303627] ppid=303624 vsize=2374564 memory=2129300 CPUtime=3152.4 cores=5,7
/proc/303627/stat : 303627 (roundingsat) R 303624 303627 301296 0 -1 4194304 276992 0 0 0 308947 6293 0 0 20 0 1 0 42858931 2431553536 532325 134679101440 4194304 8254357 140735514443504 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 9785344 140735514448731 140735514448993 140735514448993 140735514456009 0
/proc/303627/statm: 593641 532325 1886 992 0 585499 0
Current children cumulated CPU time: 3152.4 s
Current children cumulated vsize: 2374564 KiB
Current children cumulated memory: 2129300 KiB

[startup+3222.3 s]
/proc/loadavg: 4.09 4.22 4.20 5/252 305573
/proc/meminfo: memFree=82442400/131655788 swapFree=131058856/131071996
[pid=303627] ppid=303624 vsize=2374564 memory=2129300 CPUtime=3212.26 cores=5,7
/proc/303627/stat : 303627 (roundingsat) R 303624 303627 301296 0 -1 4194304 277296 0 0 0 314931 6295 0 0 20 0 1 0 42858931 2431553536 532325 134679101440 4194304 8254357 140735514443504 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 9785344 140735514448731 140735514448993 140735514448993 140735514456009 0
/proc/303627/statm: 593641 532325 1886 992 0 585499 0
Current children cumulated CPU time: 3212.26 s
Current children cumulated vsize: 2374564 KiB
Current children cumulated memory: 2129300 KiB

[startup+3282.3 s]
/proc/loadavg: 4.08 4.19 4.19 5/245 305583
/proc/meminfo: memFree=81849132/131655788 swapFree=131058856/131071996
[pid=303627] ppid=303624 vsize=2374564 memory=2129300 CPUtime=3272.1 cores=5,7
/proc/303627/stat : 303627 (roundingsat) R 303624 303627 301296 0 -1 4194304 277582 0 0 0 320914 6296 0 0 20 0 1 0 42858931 2431553536 532325 134679101440 4194304 8254357 140735514443504 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 9785344 140735514448731 140735514448993 140735514448993 140735514456009 0
/proc/303627/statm: 593641 532325 1886 992 0 585499 0
Current children cumulated CPU time: 3272.1 s
Current children cumulated vsize: 2374564 KiB
Current children cumulated memory: 2129300 KiB

[startup+3342.3 s]
/proc/loadavg: 4.19 4.20 4.19 5/247 305597
/proc/meminfo: memFree=81635080/131655788 swapFree=131058856/131071996
[pid=303627] ppid=303624 vsize=2374564 memory=2129300 CPUtime=3331.96 cores=5,7
/proc/303627/stat : 303627 (roundingsat) R 303624 303627 301296 0 -1 4194304 277861 0 0 0 326898 6298 0 0 20 0 1 0 42858931 2431553536 532325 134679101440 4194304 8254357 140735514443504 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 9785344 140735514448731 140735514448993 140735514448993 140735514456009 0
/proc/303627/statm: 593641 532325 1886 992 0 585499 0
Current children cumulated CPU time: 3331.96 s
Current children cumulated vsize: 2374564 KiB
Current children cumulated memory: 2129300 KiB

[startup+3402.3 s]
/proc/loadavg: 4.13 4.18 4.18 5/247 305608
/proc/meminfo: memFree=81081692/131655788 swapFree=131058856/131071996
[pid=303627] ppid=303624 vsize=2374564 memory=2129300 CPUtime=3391.81 cores=5,7
/proc/303627/stat : 303627 (roundingsat) R 303624 303627 301296 0 -1 4194304 278134 0 0 0 332881 6300 0 0 20 0 1 0 42858931 2431553536 532325 134679101440 4194304 8254357 140735514443504 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 9785344 140735514448731 140735514448993 140735514448993 140735514456009 0
/proc/303627/statm: 593641 532325 1886 992 0 585499 0
Current children cumulated CPU time: 3391.81 s
Current children cumulated vsize: 2374564 KiB
Current children cumulated memory: 2129300 KiB

[startup+3462.3 s]
/proc/loadavg: 4.05 4.14 4.17 4/241 305692
/proc/meminfo: memFree=85326756/131655788 swapFree=131058856/131071996
[pid=303627] ppid=303624 vsize=2374564 memory=2129300 CPUtime=3451.64 cores=5,7
/proc/303627/stat : 303627 (roundingsat) R 303624 303627 301296 0 -1 4194304 278446 0 0 0 338862 6302 0 0 20 0 1 0 42858931 2431553536 532325 134679101440 4194304 8254357 140735514443504 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 9785344 140735514448731 140735514448993 140735514448993 140735514456009 0
/proc/303627/statm: 593641 532325 1886 992 0 585499 0
Current children cumulated CPU time: 3451.64 s
Current children cumulated vsize: 2374564 KiB
Current children cumulated memory: 2129300 KiB

[startup+3522.3 s]
/proc/loadavg: 4.17 4.16 4.18 5/246 305721
/proc/meminfo: memFree=116169100/131655788 swapFree=131058856/131071996
[pid=303627] ppid=303624 vsize=2374564 memory=2129300 CPUtime=3511.47 cores=5,7
/proc/303627/stat : 303627 (roundingsat) R 303624 303627 301296 0 -1 4194304 278775 0 0 0 344843 6304 0 0 20 0 1 0 42858931 2431553536 532325 134679101440 4194304 8254357 140735514443504 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 9785344 140735514448731 140735514448993 140735514448993 140735514456009 0
/proc/303627/statm: 593641 532325 1886 992 0 585499 0
Current children cumulated CPU time: 3511.47 s
Current children cumulated vsize: 2374564 KiB
Current children cumulated memory: 2129300 KiB

[startup+3582.3 s]
/proc/loadavg: 4.10 4.15 4.17 5/247 305873
/proc/meminfo: memFree=116143476/131655788 swapFree=131058856/131071996
[pid=303627] ppid=303624 vsize=2374564 memory=2129300 CPUtime=3571.3 cores=5,7
/proc/303627/stat : 303627 (roundingsat) R 303624 303627 301296 0 -1 4194304 279131 0 0 0 350825 6305 0 0 20 0 1 0 42858931 2431553536 532325 134679101440 4194304 8254357 140735514443504 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 9785344 140735514448731 140735514448993 140735514448993 140735514456009 0
/proc/303627/statm: 593641 532325 1886 992 0 585499 0
Current children cumulated CPU time: 3571.3 s
Current children cumulated vsize: 2374564 KiB
Current children cumulated memory: 2129300 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.1 s]*
/proc/loadavg: 4.59 4.26 4.21 5/247 305877
/proc/meminfo: memFree=115920512/131655788 swapFree=131058856/131071996
[pid=303627] ppid=303624 vsize=2374564 memory=2129576 CPUtime=3600.02 cores=5,7
/proc/303627/stat : 303627 (roundingsat) R 303624 303627 301296 0 -1 4194304 279278 0 0 0 353697 6305 0 0 20 0 1 0 42858931 2431553536 532394 134679101440 4194304 8254357 140735514443504 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 9785344 140735514448731 140735514448993 140735514448993 140735514456009 0
/proc/303627/statm: 593641 532394 1886 992 0 585499 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 2374564 KiB
Current children cumulated memory: 2129576 KiB

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

Sending SIGKILL to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=3538.97 s, system=63.0638 s

Solver just ended.
Solver just ended.
]
# the end of solver process 303627 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)

# cumulated CPU time of all completed processes:  user=3538.97 s, system=63.0638 s
??? end of watcher thread
Dumping a history of the last processes samples

[startup+3611.3 s]
/proc/loadavg: 4.59 4.26 4.21 5/247 305877
/proc/meminfo: memFree=115920512/131655788 swapFree=131058856/131071996
[pid=303627] ppid=303624 vsize=2374564 memory=2129576 CPUtime=3600.21 cores=5,7
/proc/303627/stat : 303627 (roundingsat) R 303624 303627 301296 0 -1 4194304 279278 0 0 0 353716 6305 0 0 20 0 1 0 42858931 2431553536 532394 134679101440 4194304 8254357 140735514443504 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 9785344 140735514448731 140735514448993 140735514448993 140735514456009 0
/proc/303627/statm: 593641 532394 1886 992 0 585499 0
Current children cumulated CPU time: 3600.21 s
Current children cumulated vsize: 2374564 KiB
Current children cumulated memory: 2129576 KiB

[startup+3612.1 s]*
/proc/loadavg: 4.59 4.26 4.21 5/247 305877
/proc/meminfo: memFree=115917992/131655788 swapFree=131058856/131071996
[pid=303627] ppid=303624 vsize=2374564 memory=2129576 CPUtime=3601.02 cores=5,7
/proc/303627/stat : 303627 (roundingsat) R 303624 303627 301296 0 -1 4194304 279278 0 0 0 353797 6305 0 0 20 0 1 0 42858931 2431553536 532394 134679101440 4194304 8254357 140735514443504 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 9785344 140735514448731 140735514448993 140735514448993 140735514456009 0
/proc/303627/statm: 593641 532394 1886 992 0 585499 0
Current children cumulated CPU time: 3601.02 s
Current children cumulated vsize: 2374564 KiB
Current children cumulated memory: 2129576 KiB

[startup+3612.9 s]
/proc/loadavg: 4.59 4.26 4.21 5/247 305877
/proc/meminfo: memFree=115917992/131655788 swapFree=131058856/131071996
[pid=303627] ppid=303624 vsize=2374564 memory=2129576 CPUtime=3601.81 cores=5,7
/proc/303627/stat : 303627 (roundingsat) R 303624 303627 301296 0 -1 4194304 279278 0 0 0 353876 6305 0 0 20 0 1 0 42858931 2431553536 532394 134679101440 4194304 8254357 140735514443504 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 9785344 140735514448731 140735514448993 140735514448993 140735514456009 0
/proc/303627/statm: 593641 532394 1886 992 0 585499 0
Current children cumulated CPU time: 3601.81 s
Current children cumulated vsize: 2374564 KiB
Current children cumulated memory: 2129576 KiB

[startup+3613.1 s]*
/proc/loadavg: 4.62 4.27 4.21 5/247 305877
/proc/meminfo: memFree=115915140/131655788 swapFree=131058856/131071996
[pid=303627] ppid=303624 vsize=2374564 memory=2129576 CPUtime=3602.02 cores=5,7
/proc/303627/stat : 303627 (roundingsat) R 303624 303627 301296 0 -1 4194304 279278 0 0 0 353897 6305 0 0 20 0 1 0 42858931 2431553536 532394 134679101440 4194304 8254357 140735514443504 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 9785344 140735514448731 140735514448993 140735514448993 140735514456009 0
/proc/303627/statm: 593641 532394 1886 992 0 585499 0
Current children cumulated CPU time: 3602.02 s
Current children cumulated vsize: 2374564 KiB
Current children cumulated memory: 2129576 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 3613.14
CPU time (s): 3602.04
CPU user time (s): 3538.97
CPU system time (s): 63.0638
CPU usage (%): 99.6928
Max. virtual memory (cumulated for all children) (KiB): 2374564
Max. memory (cumulated for all children) (KiB): 2129576

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3538.97
system time used= 63.0638
maximum resident set size= 2129576
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 279278
page faults= 0
swaps= 0
block input operations= 0
block output operations= 11674528
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 79
involuntary context switches= 2140


# summary of solver processes directly reported to runsolver:
#   pid: 303627
#   total CPU time (s): 3602.04
#   total CPU user time (s): 3538.97
#   total CPU system time (s): 63.0638

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.3066 second user time and 37.1014 second system time

The end

Begin job on nodeC009 at 2024-07-27 10:24:51
IDJOB=4460380
IDBENCH=158206
IDSOLVER=3086
FILE ID=nodeC009/4460380-1722068689
RUNJOBID= nodeC009-1722064837-301309
SLURM_JOB_ID= 8248111
Free space on /tmp= 723620 MiB

SOLVER NAME= RoundingSat log
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 --proof-log=CERTNAME --lp-cut-gomory=0 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4460380-1722068689/watcher-4460380-1722068689 -o /tmp/evaluation-result-4460380-1722068689/solver-4460380-1722068689 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1722064837-301309 --watchdog 3760  roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460380-1722068689 --lp-cut-gomory=0 HOME/instance-4460380-1722068689.opb

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

MD5SUM BENCH= 0c5a5feecc6e9ebbd7fc1e1b28678077
RANDOM SEED=1560775470

nodeC009.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		: 3544.251
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.96
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		: 3663.220
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.36
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.255
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.96
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.417
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.36
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		: 3639.356
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.96
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.825
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt 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.96
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		: 2993.633
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.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        122330924 kB
MemAvailable:   128709952 kB
Buffers:          384188 kB
Cached:          6741184 kB
SwapCached:         4924 kB
Active:          1961412 kB
Inactive:        6631440 kB
Active(anon):       1608 kB
Inactive(anon):  1519404 kB
Active(file):    1959804 kB
Inactive(file):  5112036 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131058856 kB
Dirty:            210016 kB
Writeback:             0 kB
AnonPages:       1462712 kB
Mapped:           102084 kB
Shmem:             53492 kB
KReclaimable:     294776 kB
Slab:             410916 kB
SReclaimable:     294776 kB
SUnreclaim:       116140 kB
KernelStack:        4112 kB
PageTables:        12324 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    1973896 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            18848 kB
HardwareCorrupted:     0 kB
AnonHugePages:    602112 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:      367432 kB
DirectMap2M:    44625920 kB
DirectMap1G:    91226112 kB

Free space on /tmp at the end= 723652 MiB
End job on nodeC009 at 2024-07-27 11:25:04