0.00/0.00	c RoundingSat 2
0.00/0.00	c branch 
0.00/0.00	c commit 
8.26/8.30	c #variables 214302 #constraints 1368957
21.28/21.45	c bounds - >= 0 @ 7.12411
21.28/21.45	c bounds 646365 >= 0 @ 14.3999
21.28/21.45	c bounds 646365 >= 6 @ 14.4075
21.28/21.45	c bounds 646365 >= 587 @ 14.4171
21.28/21.45	c bounds 646365 >= 1168 @ 14.4267
21.28/21.45	c bounds 646365 >= 1749 @ 14.4354
21.28/21.45	c bounds 646365 >= 2330 @ 14.4431
21.28/21.45	c bounds 646365 >= 2911 @ 14.4507
21.28/21.45	c bounds 646365 >= 3492 @ 14.4592
21.28/21.45	c bounds 646365 >= 4073 @ 14.4663
21.28/21.45	c bounds 646365 >= 4654 @ 14.4756
21.28/21.45	c bounds 646365 >= 5235 @ 14.4832
21.28/21.45	c bounds 646365 >= 5816 @ 14.4919
21.28/21.45	c bounds 646365 >= 6397 @ 14.5013
21.28/21.45	c bounds 646365 >= 6978 @ 14.5103
21.28/21.45	c bounds 646365 >= 7559 @ 14.5188
21.28/21.45	c bounds 646365 >= 7560 @ 14.5263
21.28/21.45	c bounds 646365 >= 8141 @ 14.5382
21.28/21.45	c bounds 646365 >= 8722 @ 14.5483
21.28/21.45	c bounds 646365 >= 9303 @ 14.5582
21.28/21.45	c bounds 646365 >= 9884 @ 14.5708
21.28/21.45	c bounds 646365 >= 10465 @ 14.5811
21.28/21.45	c bounds 646365 >= 11046 @ 14.5928
21.28/21.45	c bounds 646365 >= 11627 @ 14.6019
21.28/21.45	c bounds 646365 >= 12208 @ 14.614
21.28/21.45	c bounds 645784 >= 12208 @ 14.6891
21.28/21.45	c bounds 645784 >= 12789 @ 14.7025
21.28/21.45	c bounds 645784 >= 13370 @ 14.7155
21.28/21.45	c bounds 645784 >= 13951 @ 14.728
21.28/21.45	c bounds 645784 >= 14532 @ 14.7378
21.28/21.45	c bounds 645784 >= 15113 @ 14.7502
21.28/21.45	c bounds 645784 >= 15694 @ 14.7656
21.28/21.45	c bounds 645784 >= 16275 @ 14.7754
21.28/21.45	c bounds 645784 >= 16856 @ 14.7863
21.28/21.45	c bounds 642298 >= 16856 @ 14.8413
21.28/21.45	c bounds 642298 >= 17437 @ 14.8552
21.28/21.45	c bounds 642298 >= 18018 @ 14.8694
21.28/21.45	c bounds 642298 >= 18599 @ 14.8846
21.28/21.45	c bounds 641717 >= 18599 @ 14.9318
21.28/21.45	c bounds 641717 >= 19180 @ 14.9465
21.28/21.45	c bounds 641717 >= 19181 @ 14.9615
21.28/21.45	c bounds 641717 >= 19182 @ 14.9791
21.28/21.45	c bounds 641136 >= 19182 @ 15.026
21.28/21.45	c bounds 641136 >= 19183 @ 15.0471
21.28/21.45	c bounds 641136 >= 19762 @ 15.0693
21.28/21.45	c bounds 640555 >= 19762 @ 15.1304
21.28/21.45	c bounds 640555 >= 19763 @ 15.1495
21.28/21.45	c bounds 640555 >= 20344 @ 15.1702
21.28/21.45	c bounds 640555 >= 20924 @ 15.1885
21.28/21.45	c bounds 639974 >= 20924 @ 15.2637
21.28/21.45	c bounds 639974 >= 21505 @ 15.2801
21.28/21.45	c bounds 639974 >= 22086 @ 15.2934
21.28/21.45	c bounds 639974 >= 22667 @ 15.3067
21.28/21.45	c bounds 639974 >= 22668 @ 15.3253
21.28/21.45	c bounds 639974 >= 22669 @ 15.3467
21.28/21.45	c bounds 639393 >= 22669 @ 15.4378
21.28/21.45	c bounds 639393 >= 23249 @ 15.458
21.28/21.45	c bounds 639393 >= 23829 @ 15.4747
21.28/21.45	c bounds 639393 >= 23830 @ 15.491
21.28/21.45	c bounds 639393 >= 24408 @ 15.5282
21.28/21.45	c bounds 639392 >= 24408 @ 15.5789
21.28/21.45	c bounds 639392 >= 24411 @ 15.5942
21.28/21.45	c bounds 639392 >= 24412 @ 15.6156
21.28/21.45	c bounds 639391 >= 24412 @ 15.6621
21.28/21.45	c bounds 639391 >= 24413 @ 15.6795
21.28/21.45	c bounds 639391 >= 24994 @ 15.6954
21.28/21.45	c bounds 639390 >= 24994 @ 15.7743
21.28/21.45	c bounds 639390 >= 25571 @ 15.7912
21.28/21.45	c bounds 639390 >= 25575 @ 15.8079
21.28/21.45	c bounds 639390 >= 26156 @ 15.8254
21.28/21.45	c bounds 639390 >= 26737 @ 15.8443
21.28/21.45	c bounds 639390 >= 27310 @ 15.8656
21.28/21.45	c bounds 639390 >= 27311 @ 15.8856
21.28/21.45	c bounds 638809 >= 27311 @ 15.9298
21.28/21.45	c bounds 638809 >= 27312 @ 15.9432
21.28/21.45	c bounds 638809 >= 27313 @ 15.9615
21.28/21.45	c bounds 638228 >= 27313 @ 16.01
21.28/21.45	c bounds 638228 >= 27314 @ 16.0303
21.28/21.45	c bounds 638228 >= 27315 @ 16.0515
21.28/21.45	c bounds 637647 >= 27315 @ 16.1035
21.28/21.45	c bounds 637647 >= 27316 @ 16.1218
21.28/21.45	c bounds 637066 >= 27316 @ 16.1714
21.28/21.45	c bounds 637066 >= 27317 @ 16.2635
21.28/21.45	c bounds 636485 >= 27317 @ 16.3057
21.28/21.45	c bounds 635904 >= 27317 @ 16.3527
21.28/21.45	c bounds 635323 >= 27317 @ 16.397
21.28/21.45	c bounds 634742 >= 27317 @ 16.465
21.28/21.45	c bounds 634161 >= 27317 @ 16.5228
21.28/21.45	c bounds 634161 >= 27898 @ 16.5553
21.28/21.45	c bounds 633580 >= 27898 @ 16.6045
21.28/21.45	c bounds 633580 >= 28479 @ 16.6223
21.28/21.45	c bounds 632999 >= 28479 @ 16.672
21.28/21.45	c bounds 632999 >= 29060 @ 16.688
21.28/21.45	c bounds 632999 >= 29061 @ 16.7008
21.28/21.45	c bounds 632999 >= 29641 @ 16.7222
21.28/21.45	c bounds 632418 >= 29641 @ 16.7734
21.28/21.45	c bounds 632418 >= 29642 @ 16.7931
21.28/21.45	c bounds 632418 >= 29643 @ 16.8111
21.28/21.45	c bounds 631837 >= 29643 @ 16.8557
21.28/21.45	c bounds 631837 >= 29644 @ 16.8722
21.28/21.45	c bounds 631837 >= 29645 @ 16.8898
21.28/21.45	c bounds 631256 >= 29645 @ 16.9405
21.28/21.45	c bounds 631256 >= 29646 @ 16.9583
21.28/21.45	c bounds 631256 >= 30226 @ 16.9725
21.28/21.45	c bounds 630675 >= 30226 @ 17.0265
21.28/21.45	c bounds 630675 >= 30227 @ 17.0433
21.28/21.45	c bounds 630675 >= 30808 @ 17.0597
21.28/21.45	c bounds 630675 >= 30809 @ 17.082
21.28/21.45	c bounds 630094 >= 30809 @ 17.1352
21.28/21.45	c bounds 630094 >= 30810 @ 17.1563
21.28/21.45	c bounds 630094 >= 30811 @ 17.1886
21.28/21.45	c bounds 630093 >= 30811 @ 17.2443
21.28/21.45	c bounds 629512 >= 30811 @ 17.3153
21.28/21.45	c bounds 629512 >= 31392 @ 17.3357
21.28/21.45	c bounds 629512 >= 31973 @ 17.3514
21.28/21.45	c bounds 629512 >= 32554 @ 17.3702
21.28/21.45	c bounds 629511 >= 32554 @ 17.4252
21.28/21.45	c bounds 629511 >= 32555 @ 17.4493
21.28/21.45	c bounds 629510 >= 32555 @ 17.5015
50.54/50.86	c bounds 629510 >= 33131 @ 17.5186
50.54/50.86	c bounds 629510 >= 33132 @ 17.5355
50.54/50.86	c bounds 629509 >= 33132 @ 17.5902
50.54/50.86	c bounds 629509 >= 33136 @ 17.6119
50.54/50.86	c bounds 629509 >= 33137 @ 17.6349
50.54/50.86	c bounds 629509 >= 33138 @ 17.652
50.54/50.86	c bounds 629508 >= 33138 @ 17.7058
50.54/50.86	c bounds 629508 >= 33139 @ 17.7246
50.54/50.86	c bounds 629508 >= 33720 @ 17.7393
50.54/50.86	c bounds 629507 >= 33720 @ 17.7957
50.54/50.86	c bounds 629507 >= 33721 @ 17.813
50.54/50.86	c bounds 629507 >= 33722 @ 17.8388
50.54/50.86	c bounds 629506 >= 33722 @ 17.8901
50.54/50.86	c bounds 629506 >= 33723 @ 17.9085
50.54/50.86	c bounds 629506 >= 33724 @ 17.9313
50.54/50.86	c bounds 629505 >= 33724 @ 17.9807
50.54/50.86	c bounds 629505 >= 33725 @ 17.999
50.54/50.86	c bounds 629505 >= 33726 @ 18.0247
50.54/50.86	c bounds 628924 >= 33726 @ 18.0794
50.54/50.86	c bounds 628924 >= 34307 @ 18.0967
50.54/50.86	c bounds 628923 >= 34307 @ 18.1397
50.54/50.86	c bounds 628923 >= 34308 @ 18.1622
50.54/50.86	c bounds 628923 >= 34889 @ 18.184
50.54/50.86	c bounds 628922 >= 34889 @ 18.2358
50.54/50.86	c bounds 628922 >= 35470 @ 18.2549
50.54/50.86	c bounds 628922 >= 36051 @ 18.2739
50.54/50.86	c bounds 628922 >= 36632 @ 18.2933
50.54/50.86	c bounds 628921 >= 36632 @ 18.3505
50.54/50.86	c bounds 628921 >= 37213 @ 18.3778
50.54/50.86	c bounds 628920 >= 37213 @ 18.4459
50.54/50.86	c bounds 628920 >= 37214 @ 18.4668
50.54/50.86	c bounds 628920 >= 37795 @ 18.4847
50.54/50.86	c bounds 628920 >= 37796 @ 18.5038
50.54/50.86	c bounds 628920 >= 38370 @ 18.5224
50.54/50.86	c bounds 628339 >= 38370 @ 18.5768
50.54/50.86	c bounds 628339 >= 38377 @ 18.5955
50.54/50.86	c bounds 628339 >= 38378 @ 18.6181
50.54/50.86	c bounds 627758 >= 38378 @ 18.6705
50.54/50.86	c bounds 627758 >= 38379 @ 18.6885
50.54/50.86	c bounds 627177 >= 38379 @ 18.7426
50.54/50.86	c bounds 627177 >= 38380 @ 18.799
50.54/50.86	c bounds 626596 >= 38380 @ 18.8535
50.54/50.86	c bounds 626015 >= 38380 @ 18.8959
50.54/50.86	c #Conflicts:       1000 | #Constraints:    1370492
50.54/50.86	c bounds 626015 >= 38381 @ 18.9595
50.54/50.86	c bounds 625434 >= 38381 @ 19.0133
50.54/50.86	c bounds 624853 >= 38381 @ 19.0548
50.54/50.86	c bounds 624272 >= 38381 @ 19.1105
50.54/50.86	c bounds 623691 >= 38381 @ 19.1565
50.54/50.86	c bounds 623691 >= 38382 @ 19.1986
50.54/50.86	c bounds 623110 >= 38382 @ 19.2523
50.54/50.86	c bounds 622529 >= 38382 @ 19.298
50.54/50.86	c bounds 621948 >= 38382 @ 19.3448
50.54/50.86	c bounds 621948 >= 38963 @ 19.3878
50.54/50.86	c bounds 621367 >= 38963 @ 19.4368
50.54/50.86	c bounds 620786 >= 38963 @ 19.482
50.54/50.86	c bounds 620786 >= 39544 @ 19.5028
50.54/50.86	c bounds 620786 >= 39545 @ 19.5388
50.54/50.86	c bounds 620205 >= 39545 @ 19.5874
50.54/50.86	c bounds 619624 >= 39545 @ 19.6423
50.54/50.86	c bounds 619624 >= 39546 @ 19.6999
50.54/50.86	c bounds 619043 >= 39546 @ 19.8305
50.54/50.86	c bounds 619043 >= 39547 @ 19.8532
50.54/50.86	c bounds 619043 >= 39548 @ 19.87
50.54/50.86	c bounds 618462 >= 39548 @ 19.9308
50.54/50.86	c bounds 618462 >= 39549 @ 19.9878
50.54/50.86	c bounds 617881 >= 39549 @ 20.0416
50.54/50.86	c bounds 617300 >= 39549 @ 20.0967
50.54/50.86	c bounds 616719 >= 39549 @ 20.1517
50.54/50.86	c bounds 616138 >= 39549 @ 20.1954
50.54/50.86	c bounds 616138 >= 39550 @ 20.2328
50.54/50.86	c bounds 615557 >= 39550 @ 20.2801
50.54/50.86	c bounds 614976 >= 39550 @ 20.3374
50.54/50.86	c bounds 614976 >= 39551 @ 20.4097
50.54/50.86	c bounds 614395 >= 39551 @ 20.4644
50.54/50.86	c bounds 613814 >= 39551 @ 20.5175
50.54/50.86	c bounds 613233 >= 39551 @ 20.5645
50.54/50.86	c bounds 613233 >= 40132 @ 20.5783
50.54/50.86	c bounds 612652 >= 40132 @ 20.6273
50.54/50.86	c bounds 612652 >= 40713 @ 20.7163
50.54/50.86	c bounds 612071 >= 40713 @ 20.7694
50.54/50.86	c bounds 611490 >= 40713 @ 20.8193
50.54/50.86	c bounds 610909 >= 40713 @ 20.875
50.54/50.86	c bounds 610328 >= 40713 @ 20.9222
50.54/50.86	c bounds 609747 >= 40713 @ 20.9701
50.54/50.86	c bounds 609166 >= 40713 @ 21.0195
50.54/50.86	c bounds 609166 >= 40714 @ 21.0809
50.54/50.86	c bounds 608585 >= 40714 @ 21.1314
50.54/50.86	c bounds 608004 >= 40714 @ 21.1926
50.54/50.86	c bounds 608003 >= 40714 @ 21.2464
50.54/50.86	c bounds 608003 >= 40715 @ 21.2837
50.54/50.86	c bounds 607422 >= 40715 @ 21.3534
50.54/50.86	c bounds 607422 >= 41296 @ 21.3687
50.54/50.86	c bounds 607422 >= 41297 @ 21.4076
50.54/50.86	c bounds 606841 >= 41297 @ 21.4734
50.54/50.86	c bounds 606841 >= 41878 @ 21.5032
50.54/50.86	c bounds 606260 >= 41878 @ 21.5558
50.54/50.86	c bounds 606260 >= 41879 @ 21.5859
50.54/50.86	c bounds 605679 >= 41879 @ 21.6333
50.54/50.86	c bounds 605679 >= 41880 @ 21.6601
50.54/50.86	c bounds 605098 >= 41880 @ 21.7188
50.54/50.86	c bounds 605098 >= 41881 @ 21.7534
50.54/50.86	c bounds 604517 >= 41881 @ 21.8015
50.54/50.86	c bounds 603936 >= 41881 @ 21.8503
50.54/50.86	c bounds 603936 >= 41882 @ 21.8871
50.54/50.86	c bounds 603355 >= 41882 @ 21.9387
50.54/50.86	c #Conflicts:       2000 | #Constraints:    1371653
50.54/50.86	c INPROCESSING
50.54/50.86	c GARBAGE COLLECT
50.54/50.86	c bounds 602774 >= 41882 @ 43.0868
50.54/50.86	c bounds 602193 >= 41882 @ 43.1357
50.54/50.86	c bounds 601612 >= 41882 @ 43.1827
50.54/50.86	c bounds 601031 >= 41882 @ 43.2301
50.54/50.86	c bounds 600450 >= 41882 @ 43.2795
50.54/50.86	c bounds 599869 >= 41882 @ 43.3275
50.54/50.86	c bounds 599869 >= 42463 @ 43.3446
50.54/50.86	c bounds 599869 >= 43044 @ 43.3609
59.20/59.58	c bounds 599288 >= 43044 @ 43.417
59.20/59.58	c bounds 599288 >= 43625 @ 43.4363
59.20/59.58	c bounds 599288 >= 44204 @ 43.4573
59.20/59.58	c bounds 599288 >= 44206 @ 43.4808
59.20/59.58	c bounds 598707 >= 44206 @ 43.5293
59.20/59.58	c bounds 598707 >= 44207 @ 43.5745
59.20/59.58	c bounds 598126 >= 44207 @ 43.631
59.20/59.58	c bounds 597545 >= 44207 @ 43.6885
59.20/59.58	c bounds 597545 >= 44787 @ 43.7555
59.20/59.58	c bounds 596964 >= 44787 @ 43.8124
59.20/59.58	c bounds 596963 >= 44787 @ 43.873
59.20/59.58	c bounds 596962 >= 44787 @ 43.9213
59.20/59.58	c bounds 596961 >= 44787 @ 43.9747
59.20/59.58	c bounds 596380 >= 44787 @ 44.0436
59.20/59.58	c bounds 596380 >= 44788 @ 44.065
59.20/59.58	c bounds 596380 >= 45367 @ 44.0775
59.20/59.58	c bounds 596380 >= 45368 @ 44.0956
59.20/59.58	c bounds 596380 >= 45948 @ 44.1115
59.20/59.58	c bounds 595799 >= 45948 @ 44.1884
59.20/59.58	c bounds 595799 >= 46529 @ 44.2058
59.20/59.58	c bounds 595799 >= 46530 @ 44.2572
59.20/59.58	c bounds 595798 >= 46530 @ 44.3091
59.20/59.58	c bounds 595798 >= 47105 @ 44.362
59.20/59.58	c bounds 595797 >= 47105 @ 44.4126
59.20/59.58	c bounds 595796 >= 47105 @ 44.4624
59.20/59.58	c bounds 595796 >= 47106 @ 44.4884
59.20/59.58	c bounds 595796 >= 47107 @ 44.5067
59.20/59.58	c bounds 595795 >= 47107 @ 44.5825
59.20/59.58	c bounds 595795 >= 47688 @ 44.6018
59.20/59.58	c bounds 595795 >= 48269 @ 44.6177
59.20/59.58	c bounds 595795 >= 48270 @ 44.6408
59.20/59.58	c bounds 595794 >= 48270 @ 44.6904
59.20/59.58	c bounds 595794 >= 48271 @ 44.7298
59.20/59.58	c bounds 595793 >= 48271 @ 44.7875
59.20/59.58	c bounds 595793 >= 48272 @ 44.8117
59.20/59.58	c bounds 595792 >= 48272 @ 44.8647
59.20/59.58	c bounds 595792 >= 48273 @ 44.8942
59.20/59.58	c bounds 595791 >= 48273 @ 44.9445
59.20/59.58	c bounds 595791 >= 48274 @ 44.9863
59.20/59.58	c bounds 595790 >= 48274 @ 45.0435
59.20/59.58	c bounds 595790 >= 48275 @ 45.0683
59.20/59.58	c bounds 595209 >= 48275 @ 45.1199
59.20/59.58	c bounds 595209 >= 48276 @ 45.1389
59.20/59.58	c bounds 595209 >= 48277 @ 45.2915
59.20/59.58	c bounds 594628 >= 48277 @ 45.3447
59.20/59.58	c bounds 594047 >= 48277 @ 45.3933
59.20/59.58	c bounds 593466 >= 48277 @ 45.4419
59.20/59.58	c bounds 592885 >= 48277 @ 45.4903
59.20/59.58	c bounds 592304 >= 48277 @ 45.5412
59.20/59.58	c bounds 591723 >= 48277 @ 45.5885
59.20/59.58	c bounds 591142 >= 48277 @ 45.6375
59.20/59.58	c bounds 590561 >= 48277 @ 45.6989
59.20/59.58	c bounds 590561 >= 48278 @ 45.7697
59.20/59.58	c bounds 589980 >= 48278 @ 45.821
59.20/59.58	c bounds 589399 >= 48278 @ 45.8717
59.20/59.58	c bounds 588818 >= 48278 @ 45.9254
59.20/59.58	c bounds 588237 >= 48278 @ 45.9751
59.20/59.58	c bounds 588237 >= 48279 @ 46.0182
59.20/59.58	c bounds 587656 >= 48279 @ 46.0733
59.20/59.58	c bounds 587075 >= 48279 @ 46.1271
59.20/59.58	c bounds 587075 >= 48859 @ 46.1457
59.20/59.58	c bounds 586494 >= 48859 @ 46.1903
59.20/59.58	c bounds 586494 >= 48860 @ 46.211
59.20/59.58	c bounds 586494 >= 49440 @ 46.2284
59.20/59.58	c bounds 586494 >= 49441 @ 46.2461
59.20/59.58	c bounds 585913 >= 49441 @ 46.2983
59.20/59.58	c bounds 585913 >= 50016 @ 46.3146
59.20/59.58	c bounds 585913 >= 50022 @ 46.3332
59.20/59.58	c bounds 585332 >= 50022 @ 46.3827
59.20/59.58	c bounds 585332 >= 50023 @ 46.4031
59.20/59.58	c bounds 585332 >= 50024 @ 46.4255
59.20/59.58	c bounds 584751 >= 50024 @ 46.4799
59.20/59.58	c bounds 584751 >= 50025 @ 46.5177
59.20/59.58	c bounds 584170 >= 50025 @ 46.572
59.20/59.58	c bounds 584170 >= 50026 @ 46.6109
59.20/59.58	c bounds 583589 >= 50026 @ 46.6644
59.20/59.58	c bounds 583008 >= 50026 @ 46.7113
59.20/59.58	c bounds 583008 >= 50027 @ 46.7568
59.20/59.58	c bounds 582427 >= 50027 @ 46.8098
59.20/59.58	c bounds 581846 >= 50027 @ 46.8668
59.20/59.58	c bounds 581265 >= 50027 @ 46.9151
59.20/59.58	c bounds 581265 >= 50028 @ 46.9424
59.20/59.58	c bounds 580684 >= 50028 @ 46.998
59.20/59.58	c #Conflicts:       3000 | #Constraints:     940429
59.20/59.58	c bounds 580684 >= 50029 @ 47.0307
59.20/59.58	c bounds 580103 >= 50029 @ 47.0835
59.20/59.58	c bounds 580103 >= 50030 @ 47.1134
59.20/59.58	c bounds 579522 >= 50030 @ 47.1695
59.20/59.58	c bounds 578941 >= 50030 @ 47.2182
59.20/59.58	c bounds 578941 >= 50031 @ 47.2743
59.20/59.58	c bounds 578360 >= 50031 @ 47.3241
59.20/59.58	c bounds 577779 >= 50031 @ 47.3788
59.20/59.58	c bounds 577198 >= 50031 @ 47.4251
59.20/59.58	c bounds 577198 >= 50032 @ 47.5054
59.20/59.58	c bounds 576617 >= 50032 @ 47.5645
59.20/59.58	c bounds 576036 >= 50032 @ 47.62
59.20/59.58	c bounds 575455 >= 50032 @ 47.6771
59.20/59.58	c bounds 574874 >= 50032 @ 47.7236
59.20/59.58	c bounds 574293 >= 50032 @ 47.7758
59.20/59.58	c bounds 574293 >= 50033 @ 47.8779
59.20/59.58	c bounds 573712 >= 50033 @ 47.9269
59.20/59.58	c bounds 573131 >= 50033 @ 47.973
59.20/59.58	c bounds 572550 >= 50033 @ 48.0261
59.20/59.58	c bounds 571969 >= 50033 @ 48.0777
59.20/59.58	c bounds 571388 >= 50033 @ 48.1263
59.20/59.58	c bounds 570807 >= 50033 @ 48.1711
59.20/59.58	c bounds 570226 >= 50033 @ 48.2211
59.20/59.58	c bounds 569645 >= 50033 @ 48.2675
59.20/59.58	c bounds 569645 >= 50034 @ 48.4035
59.20/59.58	c bounds 569064 >= 50034 @ 48.4541
59.20/59.58	c bounds 568483 >= 50034 @ 48.5057
59.20/59.58	c bounds 567902 >= 50034 @ 48.5544
59.20/59.58	c bounds 567321 >= 50034 @ 48.6062
59.20/59.58	c bounds 566740 >= 50034 @ 48.6517
59.20/59.58	c bounds 566159 >= 50034 @ 48.7058
59.20/59.58	c bounds 565578 >= 50034 @ 48.7604
59.20/59.58	c bounds 564997 >= 50034 @ 48.8095
71.06/71.46	c bounds 564416 >= 50034 @ 48.8627
71.06/71.46	c bounds 563835 >= 50034 @ 48.9224
71.06/71.46	c bounds 563835 >= 50035 @ 49.1859
71.06/71.46	c bounds 563254 >= 50035 @ 49.2367
71.06/71.46	c bounds 562673 >= 50035 @ 49.2863
71.06/71.46	c bounds 562092 >= 50035 @ 49.3381
71.06/71.46	c bounds 561511 >= 50035 @ 49.393
71.06/71.46	c bounds 560930 >= 50035 @ 49.453
71.06/71.46	c bounds 560349 >= 50035 @ 49.5008
71.06/71.46	c bounds 559768 >= 50035 @ 49.559
71.06/71.46	c bounds 559187 >= 50035 @ 49.6101
71.06/71.46	c bounds 558606 >= 50035 @ 49.6606
71.06/71.46	c bounds 558025 >= 50035 @ 49.7188
71.06/71.46	c bounds 557444 >= 50035 @ 49.7681
71.06/71.46	c bounds 556863 >= 50035 @ 49.813
71.06/71.46	c bounds 556282 >= 50035 @ 49.8652
71.06/71.46	c bounds 555701 >= 50035 @ 49.9069
71.06/71.46	c bounds 555120 >= 50035 @ 49.957
71.06/71.46	c bounds 554539 >= 50035 @ 50.0153
71.06/71.46	c bounds 553958 >= 50035 @ 50.0607
71.06/71.46	c bounds 553377 >= 50035 @ 50.1116
71.06/71.46	c bounds 552796 >= 50035 @ 50.1624
71.06/71.46	c #Conflicts:       4000 | #Constraints:     941540
71.06/71.46	c bounds 552796 >= 50036 @ 50.5323
71.06/71.46	c bounds 552215 >= 50036 @ 50.5923
71.06/71.46	c bounds 551634 >= 50036 @ 50.6432
71.06/71.46	c bounds 551053 >= 50036 @ 50.7001
71.06/71.46	c bounds 550472 >= 50036 @ 50.7639
71.06/71.46	c bounds 549891 >= 50036 @ 50.8395
71.06/71.46	c bounds 549310 >= 50036 @ 50.9007
71.06/71.46	c bounds 548729 >= 50036 @ 50.9643
71.06/71.46	c bounds 548148 >= 50036 @ 51.0164
71.06/71.46	c bounds 547567 >= 50036 @ 51.0697
71.06/71.46	c bounds 546986 >= 50036 @ 51.1156
71.06/71.46	c bounds 546405 >= 50036 @ 51.1634
71.06/71.46	c bounds 545824 >= 50036 @ 51.2174
71.06/71.46	c bounds 545243 >= 50036 @ 51.2692
71.06/71.46	c bounds 544662 >= 50036 @ 51.3237
71.06/71.46	c bounds 544081 >= 50036 @ 51.3777
71.06/71.46	c bounds 543500 >= 50036 @ 51.4321
71.06/71.46	c bounds 542919 >= 50036 @ 51.4848
71.06/71.46	c bounds 542338 >= 50036 @ 51.5331
71.06/71.46	c bounds 541757 >= 50036 @ 51.5882
71.06/71.46	c bounds 541176 >= 50036 @ 51.6394
71.06/71.46	c bounds 540595 >= 50036 @ 51.692
71.06/71.46	c bounds 540014 >= 50036 @ 51.7463
71.06/71.46	c bounds 539433 >= 50036 @ 51.7943
71.06/71.46	c bounds 538852 >= 50036 @ 51.8408
71.06/71.46	c INPROCESSING
71.06/71.46	c GARBAGE COLLECT
71.06/71.46	c bounds 538271 >= 50036 @ 52.5175
71.06/71.46	c bounds 537690 >= 50036 @ 52.5668
71.06/71.46	c bounds 537109 >= 50036 @ 52.6145
71.06/71.46	c bounds 536528 >= 50036 @ 52.6722
71.06/71.46	c bounds 535947 >= 50036 @ 52.7194
71.06/71.46	c bounds 535366 >= 50036 @ 52.7683
71.06/71.46	c bounds 534785 >= 50036 @ 52.8087
71.06/71.46	c bounds 534204 >= 50036 @ 52.8536
71.06/71.46	c bounds 533623 >= 50036 @ 52.9025
71.06/71.46	c bounds 533623 >= 50037 @ 53.0111
71.06/71.46	c bounds 533042 >= 50037 @ 53.0595
71.06/71.46	c bounds 532461 >= 50037 @ 53.108
71.06/71.46	c bounds 531880 >= 50037 @ 53.1589
71.06/71.46	c bounds 531299 >= 50037 @ 53.2092
71.06/71.46	c bounds 530718 >= 50037 @ 53.2556
71.06/71.46	c bounds 530137 >= 50037 @ 53.3105
71.06/71.46	c bounds 530137 >= 50038 @ 53.5195
71.06/71.46	c bounds 529556 >= 50038 @ 53.5748
71.06/71.46	c bounds 528975 >= 50038 @ 53.6229
71.06/71.46	c bounds 528394 >= 50038 @ 53.6657
71.06/71.46	c bounds 527813 >= 50038 @ 53.7164
71.06/71.46	c bounds 527232 >= 50038 @ 53.7638
71.06/71.46	c bounds 526651 >= 50038 @ 53.8148
71.06/71.46	c bounds 526070 >= 50038 @ 53.8646
71.06/71.46	c bounds 525489 >= 50038 @ 53.9201
71.06/71.46	c bounds 524908 >= 50038 @ 53.9681
71.06/71.46	c bounds 524908 >= 50039 @ 54.1037
71.06/71.46	c bounds 524327 >= 50039 @ 54.1506
71.06/71.46	c bounds 523746 >= 50039 @ 54.1981
71.06/71.46	c bounds 523165 >= 50039 @ 54.2454
71.06/71.46	c bounds 522584 >= 50039 @ 54.2889
71.06/71.46	c bounds 522003 >= 50039 @ 54.3468
71.06/71.46	c bounds 521422 >= 50039 @ 54.3994
71.06/71.46	c bounds 520841 >= 50039 @ 54.4487
71.06/71.46	c bounds 520841 >= 50040 @ 54.8389
71.06/71.46	c bounds 520260 >= 50040 @ 54.8875
71.06/71.46	c bounds 519679 >= 50040 @ 54.9409
71.06/71.46	c bounds 519098 >= 50040 @ 54.9831
71.06/71.46	c bounds 518517 >= 50040 @ 55.0429
71.06/71.46	c bounds 517936 >= 50040 @ 55.0924
71.06/71.46	c bounds 517355 >= 50040 @ 55.1463
71.06/71.46	c bounds 516774 >= 50040 @ 55.1963
71.06/71.46	c bounds 516193 >= 50040 @ 55.2579
71.06/71.46	c bounds 515612 >= 50040 @ 55.3146
71.06/71.46	c bounds 515031 >= 50040 @ 55.387
71.06/71.46	c bounds 514450 >= 50040 @ 55.4407
71.06/71.46	c bounds 513869 >= 50040 @ 55.4923
71.06/71.46	c bounds 513288 >= 50040 @ 55.5487
71.06/71.46	c bounds 512707 >= 50040 @ 55.5997
71.06/71.46	c bounds 512126 >= 50040 @ 55.6562
71.06/71.46	c bounds 511545 >= 50040 @ 55.7043
71.06/71.46	c bounds 510964 >= 50040 @ 55.7562
71.06/71.46	c bounds 510383 >= 50040 @ 55.8013
71.06/71.46	c bounds 509802 >= 50040 @ 55.8555
71.06/71.46	c bounds 509221 >= 50040 @ 55.9109
71.06/71.46	c bounds 508640 >= 50040 @ 55.9621
71.06/71.46	c bounds 508059 >= 50040 @ 56.0093
71.06/71.46	c bounds 507478 >= 50040 @ 56.0589
71.06/71.46	c bounds 506897 >= 50040 @ 56.109
71.06/71.46	c bounds 506316 >= 50040 @ 56.1611
71.06/71.46	c #Conflicts:       5000 | #Constraints:     940934
71.06/71.46	c bounds 506316 >= 50041 @ 56.3275
71.06/71.46	c bounds 505735 >= 50041 @ 56.3763
71.06/71.46	c bounds 505154 >= 50041 @ 56.4331
71.06/71.46	c bounds 504573 >= 50041 @ 56.486
71.06/71.46	c bounds 503992 >= 50041 @ 56.5398
71.06/71.46	c bounds 503411 >= 50041 @ 56.5915
71.06/71.46	c bounds 502830 >= 50041 @ 56.6413
112.67/113.22	c bounds 502249 >= 50041 @ 56.6842
112.67/113.22	c bounds 501668 >= 50041 @ 56.7311
112.67/113.22	c bounds 501087 >= 50041 @ 56.7817
112.67/113.22	c bounds 500506 >= 50041 @ 56.829
112.67/113.22	c bounds 499925 >= 50041 @ 56.8783
112.67/113.22	c bounds 499344 >= 50041 @ 56.9329
112.67/113.22	c bounds 499344 >= 50042 @ 57.262
112.67/113.22	c bounds 498763 >= 50042 @ 57.3189
112.67/113.22	c bounds 498182 >= 50042 @ 57.3725
112.67/113.22	c bounds 497601 >= 50042 @ 57.4234
112.67/113.22	c bounds 497020 >= 50042 @ 57.4763
112.67/113.22	c bounds 496439 >= 50042 @ 57.5205
112.67/113.22	c bounds 495858 >= 50042 @ 57.5693
112.67/113.22	c bounds 495277 >= 50042 @ 57.6218
112.67/113.22	c bounds 494696 >= 50042 @ 57.6713
112.67/113.22	c bounds 494115 >= 50042 @ 57.7223
112.67/113.22	c bounds 493534 >= 50042 @ 57.7735
112.67/113.22	c bounds 492953 >= 50042 @ 57.8205
112.67/113.22	c bounds 492372 >= 50042 @ 57.8644
112.67/113.22	c bounds 491791 >= 50042 @ 57.9197
112.67/113.22	c bounds 491210 >= 50042 @ 57.9694
112.67/113.22	c bounds 490629 >= 50042 @ 58.0219
112.67/113.22	c bounds 490048 >= 50042 @ 58.0777
112.67/113.22	c bounds 489467 >= 50042 @ 58.1266
112.67/113.22	c bounds 488886 >= 50042 @ 58.1731
112.67/113.22	c bounds 488305 >= 50042 @ 58.2243
112.67/113.22	c bounds 487724 >= 50042 @ 58.2693
112.67/113.22	c bounds 487143 >= 50042 @ 58.3216
112.67/113.22	c bounds 486562 >= 50042 @ 58.3738
112.67/113.22	c bounds 485981 >= 50042 @ 58.4173
112.67/113.22	c bounds 485400 >= 50042 @ 58.4674
112.67/113.22	c bounds 485400 >= 50043 @ 58.6719
112.67/113.22	c bounds 484819 >= 50043 @ 58.726
112.67/113.22	c bounds 484238 >= 50043 @ 58.794
112.67/113.22	c bounds 483657 >= 50043 @ 58.8565
112.67/113.22	c bounds 483076 >= 50043 @ 58.917
112.67/113.22	c bounds 482495 >= 50043 @ 58.9729
112.67/113.22	c bounds 481914 >= 50043 @ 59.0262
112.67/113.22	c bounds 481333 >= 50043 @ 59.1184
112.67/113.22	c bounds 480752 >= 50043 @ 59.1663
112.67/113.22	c bounds 480171 >= 50043 @ 59.2218
112.67/113.22	c bounds 479590 >= 50043 @ 59.2679
112.67/113.22	c bounds 479009 >= 50043 @ 59.322
112.67/113.22	c bounds 478428 >= 50043 @ 59.374
112.67/113.22	c bounds 478428 >= 50044 @ 59.5257
112.67/113.22	c bounds 477847 >= 50044 @ 59.5793
112.67/113.22	c bounds 477266 >= 50044 @ 59.6303
112.67/113.22	c bounds 476685 >= 50044 @ 59.6806
112.67/113.22	c bounds 476104 >= 50044 @ 59.7306
112.67/113.22	c bounds 475523 >= 50044 @ 59.7823
112.67/113.22	c bounds 474942 >= 50044 @ 59.8373
112.67/113.22	c bounds 474361 >= 50044 @ 59.8924
112.67/113.22	c bounds 473780 >= 50044 @ 59.9473
112.67/113.22	c bounds 473199 >= 50044 @ 59.9961
112.67/113.22	c bounds 472618 >= 50044 @ 60.0421
112.67/113.22	c bounds 472037 >= 50044 @ 60.0908
112.67/113.22	c bounds 472037 >= 50045 @ 60.2741
112.67/113.22	c bounds 471456 >= 50045 @ 60.3338
112.67/113.22	c bounds 470875 >= 50045 @ 60.3878
112.67/113.22	c bounds 470294 >= 50045 @ 60.4607
112.67/113.22	c bounds 469713 >= 50045 @ 60.5253
112.67/113.22	c bounds 469132 >= 50045 @ 60.6287
112.67/113.22	c bounds 468551 >= 50045 @ 60.7029
112.67/113.22	c bounds 467970 >= 50045 @ 60.7549
112.67/113.22	c bounds 467389 >= 50045 @ 60.8029
112.67/113.22	c bounds 466808 >= 50045 @ 60.8584
112.67/113.22	c bounds 466227 >= 50045 @ 60.908
112.67/113.22	c bounds 466227 >= 50046 @ 61.1223
112.67/113.22	c bounds 465646 >= 50046 @ 61.1794
112.67/113.22	c bounds 465065 >= 50046 @ 61.2412
112.67/113.22	c bounds 464484 >= 50046 @ 61.3157
112.67/113.22	c bounds 463903 >= 50046 @ 61.3752
112.67/113.22	c bounds 463322 >= 50046 @ 61.4278
112.67/113.22	c bounds 462741 >= 50046 @ 61.4823
112.67/113.22	c bounds 462160 >= 50046 @ 61.5286
112.67/113.22	c bounds 462160 >= 50047 @ 61.6671
112.67/113.22	c bounds 461579 >= 50047 @ 61.7177
112.67/113.22	c bounds 460998 >= 50047 @ 61.7865
112.67/113.22	c bounds 460417 >= 50047 @ 61.8343
112.67/113.22	c bounds 459836 >= 50047 @ 61.8842
112.67/113.22	c bounds 459255 >= 50047 @ 61.9392
112.67/113.22	c bounds 458675 >= 50047 @ 61.9897
112.67/113.22	c bounds 458094 >= 50047 @ 62.0406
112.67/113.22	c bounds 457513 >= 50047 @ 62.0951
112.67/113.22	c bounds 456932 >= 50047 @ 62.1492
112.67/113.22	c bounds 456932 >= 50626 @ 62.1648
112.67/113.22	c bounds 456351 >= 50626 @ 62.2329
112.67/113.22	c bounds 456351 >= 50627 @ 62.2488
112.67/113.22	c #Conflicts:       6000 | #Constraints:     942095
112.67/113.22	c bounds 456351 >= 51204 @ 92.6438
112.67/113.22	c bounds 455770 >= 51204 @ 92.7116
112.67/113.22	c bounds 455769 >= 51204 @ 92.8222
112.67/113.22	c bounds 455769 >= 51208 @ 92.8425
112.67/113.22	c bounds 455769 >= 51782 @ 92.91
112.67/113.22	c bounds 455188 >= 51782 @ 92.9824
112.67/113.22	c bounds 454607 >= 51782 @ 93.0454
112.67/113.22	c bounds 454607 >= 51784 @ 93.0654
112.67/113.22	c bounds 454607 >= 51785 @ 93.1155
112.67/113.22	c bounds 454026 >= 51785 @ 93.1816
112.67/113.22	c bounds 454026 >= 51789 @ 93.2356
112.67/113.22	c bounds 453445 >= 51789 @ 93.2981
112.67/113.22	c bounds 452864 >= 51789 @ 93.3633
112.67/113.22	c bounds 452283 >= 51789 @ 93.4293
112.67/113.22	c bounds 452283 >= 52366 @ 93.5267
112.67/113.22	c bounds 451702 >= 52366 @ 93.5818
112.67/113.22	c bounds 451122 >= 52366 @ 93.6448
112.67/113.22	c bounds 450541 >= 52366 @ 93.701
112.67/113.22	c bounds 449960 >= 52366 @ 93.7589
112.67/113.22	c bounds 449379 >= 52366 @ 93.8083
112.67/113.22	c bounds 448798 >= 52366 @ 93.8614
112.67/113.22	c bounds 448217 >= 52366 @ 93.9166
112.67/113.22	c bounds 448217 >= 52946 @ 93.9324
112.67/113.22	c bounds 448217 >= 52947 @ 94.1339
112.67/113.22	c bounds 447636 >= 52947 @ 94.1891
112.67/113.22	c bounds 447055 >= 52947 @ 94.2383
112.67/113.22	c bounds 446474 >= 52947 @ 94.2895
125.72/126.33	c bounds 445893 >= 52947 @ 94.3455
125.72/126.33	c bounds 445312 >= 52947 @ 94.3927
125.72/126.33	c bounds 444731 >= 52947 @ 94.454
125.72/126.33	c bounds 444150 >= 52947 @ 94.5202
125.72/126.33	c bounds 443569 >= 52947 @ 94.5897
125.72/126.33	c bounds 442988 >= 52947 @ 94.6508
125.72/126.33	c bounds 442407 >= 52947 @ 94.7181
125.72/126.33	c bounds 442407 >= 52948 @ 94.8799
125.72/126.33	c bounds 441826 >= 52948 @ 94.9436
125.72/126.33	c bounds 441245 >= 52948 @ 95.0097
125.72/126.33	c bounds 440664 >= 52948 @ 95.0765
125.72/126.33	c bounds 440083 >= 52948 @ 95.1845
125.72/126.33	c bounds 439502 >= 52948 @ 95.2853
125.72/126.33	c bounds 439502 >= 52951 @ 95.3079
125.72/126.33	c bounds 439502 >= 52952 @ 95.3651
125.72/126.33	c bounds 438921 >= 52952 @ 95.4359
125.72/126.33	c INPROCESSING
125.72/126.33	c GARBAGE COLLECT
125.72/126.33	c bounds 438340 >= 52952 @ 96.0811
125.72/126.33	c bounds 437759 >= 52952 @ 96.1502
125.72/126.33	c bounds 437178 >= 52952 @ 96.2081
125.72/126.33	c bounds 437178 >= 52953 @ 96.5333
125.72/126.33	c bounds 436597 >= 52953 @ 96.5881
125.72/126.33	c bounds 436016 >= 52953 @ 96.6419
125.72/126.33	c bounds 435435 >= 52953 @ 96.6945
125.72/126.33	c bounds 434854 >= 52953 @ 96.7406
125.72/126.33	c bounds 434273 >= 52953 @ 96.7919
125.72/126.33	c bounds 433692 >= 52953 @ 96.8437
125.72/126.33	c bounds 433111 >= 52953 @ 96.8994
125.72/126.33	c bounds 432530 >= 52953 @ 96.9483
125.72/126.33	c bounds 431949 >= 52953 @ 96.9993
125.72/126.33	c bounds 431368 >= 52953 @ 97.0537
125.72/126.33	c bounds 430787 >= 52953 @ 97.1118
125.72/126.33	c bounds 430206 >= 52953 @ 97.1646
125.72/126.33	c bounds 429625 >= 52953 @ 97.221
125.72/126.33	c bounds 429044 >= 52953 @ 97.2808
125.72/126.33	c bounds 428463 >= 52953 @ 97.3405
125.72/126.33	c bounds 427882 >= 52953 @ 97.4175
125.72/126.33	c bounds 427301 >= 52953 @ 97.5556
125.72/126.33	c bounds 427301 >= 52954 @ 97.6258
125.72/126.33	c #Conflicts:       7000 | #Constraints:     940610
125.72/126.33	c bounds 427300 >= 52954 @ 97.6983
125.72/126.33	c bounds 427300 >= 52955 @ 97.7653
125.72/126.33	c bounds 427299 >= 52955 @ 97.8174
125.72/126.33	c bounds 426718 >= 52955 @ 97.8857
125.72/126.33	c bounds 426718 >= 52956 @ 98.0068
125.72/126.33	c bounds 426717 >= 52956 @ 98.0667
125.72/126.33	c bounds 426716 >= 52956 @ 98.1155
125.72/126.33	c bounds 426715 >= 52956 @ 98.1711
125.72/126.33	c bounds 426134 >= 52956 @ 98.2339
125.72/126.33	c bounds 425553 >= 52956 @ 98.2986
125.72/126.33	c bounds 424972 >= 52956 @ 98.3689
125.72/126.33	c bounds 424972 >= 52957 @ 98.4637
125.72/126.33	c bounds 424391 >= 52957 @ 98.5296
125.72/126.33	c bounds 423810 >= 52957 @ 98.5937
125.72/126.33	c bounds 423229 >= 52957 @ 98.6471
125.72/126.33	c bounds 422648 >= 52957 @ 98.699
125.72/126.33	c bounds 422067 >= 52957 @ 98.7572
125.72/126.33	c bounds 421486 >= 52957 @ 98.8186
125.72/126.33	c bounds 421486 >= 52958 @ 99.1417
125.72/126.33	c bounds 420905 >= 52958 @ 99.1902
125.72/126.33	c bounds 420324 >= 52958 @ 99.2413
125.72/126.33	c bounds 419743 >= 52958 @ 99.2982
125.72/126.33	c bounds 419162 >= 52958 @ 99.3527
125.72/126.33	c bounds 418581 >= 52958 @ 99.4024
125.72/126.33	c bounds 418000 >= 52958 @ 99.4868
125.72/126.33	c bounds 417419 >= 52958 @ 99.5328
125.72/126.33	c bounds 416838 >= 52958 @ 99.5888
125.72/126.33	c bounds 416257 >= 52958 @ 99.6423
125.72/126.33	c bounds 415676 >= 52958 @ 99.6932
125.72/126.33	c bounds 415095 >= 52958 @ 99.7461
125.72/126.33	c bounds 414514 >= 52958 @ 99.7968
125.72/126.33	c bounds 413933 >= 52958 @ 99.8455
125.72/126.33	c bounds 413352 >= 52958 @ 99.8936
125.72/126.33	c bounds 412771 >= 52958 @ 99.9422
125.72/126.33	c bounds 412190 >= 52958 @ 99.9893
125.72/126.33	c bounds 411609 >= 52958 @ 100.044
125.72/126.33	c bounds 411028 >= 52958 @ 100.093
125.72/126.33	c bounds 410447 >= 52958 @ 100.148
125.72/126.33	c bounds 409866 >= 52958 @ 100.202
125.72/126.33	c bounds 409285 >= 52958 @ 100.251
125.72/126.33	c bounds 408704 >= 52958 @ 100.308
125.72/126.33	c #Conflicts:       8000 | #Constraints:     941677
125.72/126.33	c bounds 408704 >= 52959 @ 101.433
125.72/126.33	c bounds 408123 >= 52959 @ 101.515
125.72/126.33	c bounds 407542 >= 52959 @ 101.587
125.72/126.33	c bounds 406961 >= 52959 @ 101.654
125.72/126.33	c bounds 406380 >= 52959 @ 101.736
125.72/126.33	c bounds 405799 >= 52959 @ 101.818
125.72/126.33	c bounds 405218 >= 52959 @ 101.887
125.72/126.33	c bounds 404637 >= 52959 @ 101.949
125.72/126.33	c bounds 404056 >= 52959 @ 102.004
125.72/126.33	c bounds 403475 >= 52959 @ 102.058
125.72/126.33	c bounds 402894 >= 52959 @ 102.115
125.72/126.33	c bounds 402313 >= 52959 @ 102.166
125.72/126.33	c bounds 401732 >= 52959 @ 102.223
125.72/126.33	c bounds 401151 >= 52959 @ 102.277
125.72/126.33	c bounds 400570 >= 52959 @ 102.333
125.72/126.33	c bounds 399989 >= 52959 @ 102.381
125.72/126.33	c bounds 399408 >= 52959 @ 102.431
125.72/126.33	c bounds 398827 >= 52959 @ 102.483
125.72/126.33	c bounds 398246 >= 52959 @ 102.537
125.72/126.33	c bounds 397665 >= 52959 @ 102.591
125.72/126.33	c bounds 397084 >= 52959 @ 102.642
125.72/126.33	c bounds 396503 >= 52959 @ 102.695
125.72/126.33	c bounds 395922 >= 52959 @ 102.758
125.72/126.33	c bounds 395341 >= 52959 @ 102.816
125.72/126.33	c bounds 394760 >= 52959 @ 102.87
125.72/126.33	c bounds 394179 >= 52959 @ 102.936
125.72/126.33	c bounds 393598 >= 52959 @ 103
125.72/126.33	c bounds 393017 >= 52959 @ 103.054
125.72/126.33	c bounds 392436 >= 52959 @ 103.109
125.72/126.33	c bounds 391855 >= 52959 @ 103.167
125.72/126.33	c bounds 391274 >= 52959 @ 103.219
125.72/126.33	c bounds 390693 >= 52959 @ 103.267
125.72/126.33	c bounds 390112 >= 52959 @ 103.317
125.72/126.33	c bounds 389531 >= 52959 @ 103.382
125.72/126.33	c bounds 388950 >= 52959 @ 103.437
203.60/204.58	c bounds 388369 >= 52959 @ 103.492
203.60/204.58	c bounds 387788 >= 52959 @ 103.544
203.60/204.58	c bounds 387207 >= 52959 @ 103.59
203.60/204.58	c bounds 386626 >= 52959 @ 103.645
203.60/204.58	c bounds 386045 >= 52959 @ 103.695
203.60/204.58	c bounds 385464 >= 52959 @ 103.754
203.60/204.58	c bounds 384883 >= 52959 @ 103.817
203.60/204.58	c bounds 384302 >= 52959 @ 103.869
203.60/204.58	c bounds 383721 >= 52959 @ 103.92
203.60/204.58	c bounds 383140 >= 52959 @ 103.971
203.60/204.58	c bounds 382559 >= 52959 @ 104.024
203.60/204.58	c bounds 381978 >= 52959 @ 104.082
203.60/204.58	c bounds 381399 >= 52959 @ 104.156
203.60/204.58	c bounds 380818 >= 52959 @ 104.266
203.60/204.58	c bounds 380237 >= 52959 @ 104.412
203.60/204.58	c bounds 380236 >= 52959 @ 104.488
203.60/204.58	c bounds 379655 >= 52959 @ 104.564
203.60/204.58	c bounds 379075 >= 52959 @ 104.691
203.60/204.58	c bounds 379074 >= 52959 @ 104.749
203.60/204.58	c bounds 378493 >= 52959 @ 104.841
203.60/204.58	c bounds 377912 >= 52959 @ 104.938
203.60/204.58	c bounds 377331 >= 52959 @ 105.034
203.60/204.58	c bounds 377331 >= 53527 @ 105.538
203.60/204.58	c bounds 376750 >= 53527 @ 105.623
203.60/204.58	c bounds 376169 >= 53527 @ 105.702
203.60/204.58	c bounds 375588 >= 53527 @ 105.77
203.60/204.58	c bounds 375007 >= 53527 @ 105.839
203.60/204.58	c bounds 374426 >= 53527 @ 105.907
203.60/204.58	c bounds 373845 >= 53527 @ 105.967
203.60/204.58	c bounds 373264 >= 53527 @ 106.017
203.60/204.58	c bounds 372683 >= 53527 @ 106.073
203.60/204.58	c bounds 372102 >= 53527 @ 106.131
203.60/204.58	c bounds 371521 >= 53527 @ 106.196
203.60/204.58	c bounds 370940 >= 53527 @ 106.277
203.60/204.58	c bounds 370359 >= 53527 @ 106.344
203.60/204.58	c bounds 369778 >= 53527 @ 106.409
203.60/204.58	c bounds 369197 >= 53527 @ 106.484
203.60/204.58	c bounds 368616 >= 53527 @ 106.546
203.60/204.58	c bounds 368035 >= 53527 @ 106.611
203.60/204.58	c bounds 367454 >= 53527 @ 106.667
203.60/204.58	c bounds 366873 >= 53527 @ 106.724
203.60/204.58	c bounds 366292 >= 53527 @ 106.766
203.60/204.58	c bounds 365711 >= 53527 @ 106.822
203.60/204.58	c bounds 365130 >= 53527 @ 106.891
203.60/204.58	c #Conflicts:       9000 | #Constraints:     942772
203.60/204.58	c bounds 364549 >= 53527 @ 106.994
203.60/204.58	c bounds 363968 >= 53527 @ 107.097
203.60/204.58	c bounds 363387 >= 53527 @ 107.19
203.60/204.58	c bounds 362806 >= 53527 @ 107.28
203.60/204.58	c bounds 362806 >= 53531 @ 107.311
203.60/204.58	c bounds 362806 >= 53532 @ 107.329
203.60/204.58	c bounds 362806 >= 53533 @ 107.396
203.60/204.58	c bounds 362225 >= 53533 @ 107.499
203.60/204.58	c bounds 361644 >= 53533 @ 107.603
203.60/204.58	c bounds 361644 >= 53534 @ 107.702
203.60/204.58	c bounds 361063 >= 53534 @ 107.79
203.60/204.58	c bounds 361063 >= 53535 @ 107.902
203.60/204.58	c INPROCESSING
203.60/204.58	c GARBAGE COLLECT
203.60/204.59	c bounds 360482 >= 53535 @ 169.938
203.60/204.59	c bounds 359901 >= 53535 @ 170.022
203.60/204.59	c bounds 359320 >= 53535 @ 170.102
203.60/204.59	c bounds 358739 >= 53535 @ 170.201
203.60/204.59	c bounds 358158 >= 53535 @ 170.342
203.60/204.59	c bounds 358158 >= 53537 @ 170.369
203.60/204.59	c bounds 358158 >= 53538 @ 170.387
203.60/204.59	c bounds 358158 >= 53539 @ 170.406
203.60/204.59	c bounds 358158 >= 53540 @ 170.427
203.60/204.59	c bounds 358158 >= 53541 @ 170.446
203.60/204.59	c bounds 358158 >= 53542 @ 170.467
203.60/204.59	c bounds 357577 >= 53542 @ 170.603
203.60/204.59	c bounds 357577 >= 53544 @ 170.625
203.60/204.59	c bounds 357577 >= 54102 @ 170.645
203.60/204.59	c bounds 357577 >= 54103 @ 170.668
203.60/204.59	c bounds 357577 >= 54104 @ 170.688
203.60/204.59	c bounds 357577 >= 54105 @ 170.708
203.60/204.59	c bounds 357577 >= 54106 @ 170.743
203.60/204.59	c bounds 357577 >= 54107 @ 170.809
203.60/204.59	c bounds 356996 >= 54107 @ 170.918
203.60/204.59	c bounds 356415 >= 54107 @ 171.048
203.60/204.59	c bounds 356415 >= 54108 @ 171.117
203.60/204.59	c bounds 355834 >= 54108 @ 171.238
203.60/204.59	c bounds 355834 >= 54109 @ 171.305
203.60/204.59	c bounds 355253 >= 54109 @ 171.543
203.60/204.59	c bounds 355253 >= 54110 @ 171.573
203.60/204.59	c bounds 355253 >= 54111 @ 171.824
203.60/204.59	c bounds 354672 >= 54111 @ 171.962
203.60/204.59	c bounds 354091 >= 54111 @ 172.096
203.60/204.59	c #Conflicts:      10000 | #Constraints:     939974
203.60/204.59	c bounds 353510 >= 54111 @ 172.225
203.60/204.59	c bounds 352929 >= 54111 @ 172.35
203.60/204.59	c bounds 352348 >= 54111 @ 172.469
203.60/204.59	c bounds 351767 >= 54111 @ 172.589
203.60/204.59	c bounds 351186 >= 54111 @ 172.694
203.60/204.59	c bounds 350605 >= 54111 @ 172.796
203.60/204.59	c bounds 350605 >= 54112 @ 173.001
203.60/204.59	c bounds 350025 >= 54112 @ 173.1
203.60/204.59	c bounds 350024 >= 54112 @ 173.158
203.60/204.59	c bounds 349443 >= 54112 @ 173.305
203.60/204.59	c bounds 348862 >= 54112 @ 173.452
203.60/204.59	c bounds 348281 >= 54112 @ 173.591
203.60/204.59	c bounds 347700 >= 54112 @ 173.75
203.60/204.59	c bounds 347119 >= 54112 @ 173.921
203.60/204.59	c bounds 347119 >= 54113 @ 174.379
203.60/204.59	c bounds 346538 >= 54113 @ 174.555
203.60/204.59	c bounds 345957 >= 54113 @ 174.698
203.60/204.59	c bounds 345376 >= 54113 @ 174.836
203.60/204.59	c bounds 344795 >= 54113 @ 174.968
203.60/204.59	c bounds 344214 >= 54113 @ 175.112
203.60/204.59	c bounds 343633 >= 54113 @ 175.255
203.60/204.59	c bounds 343052 >= 54113 @ 175.417
203.60/204.59	c #Conflicts:      11000 | #Constraints:     941043
203.60/204.59	c bounds 342471 >= 54113 @ 175.557
203.60/204.59	c bounds 341890 >= 54113 @ 175.736
203.60/204.59	c bounds 341889 >= 54113 @ 176.135
203.60/204.59	c bounds 341308 >= 54113 @ 176.391
203.60/204.59	c bounds 341308 >= 54114 @ 177.111
232.08/233.15	c bounds 341307 >= 54114 @ 177.304
232.08/233.15	c bounds 340726 >= 54114 @ 177.537
232.08/233.15	c bounds 340145 >= 54114 @ 177.799
232.08/233.15	c bounds 339564 >= 54114 @ 177.974
232.08/233.15	c bounds 338983 >= 54114 @ 178.143
232.08/233.15	c bounds 338402 >= 54114 @ 178.297
232.08/233.15	c bounds 337821 >= 54114 @ 178.441
232.08/233.15	c bounds 337240 >= 54114 @ 178.573
232.08/233.15	c bounds 336659 >= 54114 @ 178.7
232.08/233.15	c bounds 336078 >= 54114 @ 178.858
232.08/233.15	c bounds 335497 >= 54114 @ 178.983
232.08/233.15	c bounds 334916 >= 54114 @ 179.116
232.08/233.15	c #Conflicts:      12000 | #Constraints:     942086
232.08/233.15	c INPROCESSING
232.08/233.15	c GARBAGE COLLECT
232.08/233.15	c bounds 334336 >= 54114 @ 179.869
232.08/233.15	c bounds 334335 >= 54114 @ 179.919
232.08/233.15	c bounds 333754 >= 54114 @ 180.036
232.08/233.15	c bounds 333173 >= 54114 @ 180.151
232.08/233.15	c bounds 332592 >= 54114 @ 180.263
232.08/233.15	c bounds 332011 >= 54114 @ 180.378
232.08/233.15	c bounds 331430 >= 54114 @ 180.534
232.08/233.15	c bounds 330849 >= 54114 @ 180.689
232.08/233.15	c bounds 330848 >= 54114 @ 180.809
232.08/233.15	c bounds 330847 >= 54114 @ 180.935
232.08/233.15	c bounds 330846 >= 54114 @ 181.039
232.08/233.15	c bounds 330845 >= 54114 @ 181.149
232.08/233.15	c bounds 330844 >= 54114 @ 181.264
232.08/233.15	c bounds 330263 >= 54114 @ 181.383
232.08/233.15	c bounds 329682 >= 54114 @ 181.504
232.08/233.15	c bounds 329101 >= 54114 @ 181.616
232.08/233.15	c bounds 328520 >= 54114 @ 181.734
232.08/233.15	c bounds 327939 >= 54114 @ 181.851
232.08/233.15	c bounds 327358 >= 54114 @ 182.005
232.08/233.15	c bounds 327358 >= 54115 @ 182.512
232.08/233.15	c bounds 326777 >= 54115 @ 182.62
232.08/233.15	c bounds 326196 >= 54115 @ 182.745
232.08/233.15	c bounds 325615 >= 54115 @ 182.905
232.08/233.15	c bounds 325034 >= 54115 @ 183.041
232.08/233.15	c bounds 324453 >= 54115 @ 183.173
232.08/233.15	c bounds 323872 >= 54115 @ 183.307
232.08/233.15	c bounds 323291 >= 54115 @ 183.453
232.08/233.15	c bounds 322710 >= 54115 @ 183.636
232.08/233.15	c #Conflicts:      13000 | #Constraints:     940430
232.08/233.15	c bounds 322709 >= 54115 @ 183.786
232.08/233.15	c bounds 322128 >= 54115 @ 183.928
232.08/233.15	c bounds 321547 >= 54115 @ 184.053
232.08/233.15	c bounds 320966 >= 54115 @ 184.181
232.08/233.15	c bounds 320966 >= 54116 @ 184.474
232.08/233.15	c bounds 320385 >= 54116 @ 184.594
232.08/233.15	c bounds 319804 >= 54116 @ 184.733
232.08/233.15	c bounds 319223 >= 54116 @ 184.871
232.08/233.15	c bounds 319222 >= 54116 @ 185.186
232.08/233.15	c bounds 318641 >= 54116 @ 189.588
232.08/233.15	c bounds 318641 >= 54117 @ 189.77
232.08/233.15	c #Conflicts:      14000 | #Constraints:     941472
232.08/233.15	c bounds 318641 >= 54118 @ 190.165
232.08/233.15	c bounds 318060 >= 54118 @ 190.693
232.08/233.15	c bounds 317479 >= 54118 @ 191.011
232.08/233.15	c bounds 317479 >= 54119 @ 191.277
232.08/233.15	c bounds 316898 >= 54119 @ 191.453
232.08/233.15	c bounds 316317 >= 54119 @ 191.607
232.08/233.15	c bounds 315736 >= 54119 @ 191.774
232.08/233.15	c bounds 315155 >= 54119 @ 191.938
232.08/233.15	c bounds 314574 >= 54119 @ 192.097
232.08/233.15	c bounds 314574 >= 54120 @ 192.295
232.08/233.15	c bounds 313993 >= 54120 @ 192.474
232.08/233.15	c bounds 313412 >= 54120 @ 192.777
232.08/233.15	c #Conflicts:      15000 | #Constraints:     942508
232.08/233.15	c INPROCESSING
232.08/233.15	c GARBAGE COLLECT
232.08/233.15	c bounds 313411 >= 54120 @ 193.844
232.08/233.15	c bounds 312830 >= 54120 @ 193.986
232.08/233.15	c bounds 312249 >= 54120 @ 194.126
232.08/233.15	c bounds 311668 >= 54120 @ 194.269
232.08/233.15	c bounds 311087 >= 54120 @ 194.406
232.08/233.15	c bounds 310506 >= 54120 @ 194.541
232.08/233.15	c bounds 309926 >= 54120 @ 194.685
232.08/233.15	c bounds 309925 >= 54120 @ 194.833
232.08/233.15	c bounds 309925 >= 54121 @ 194.947
232.08/233.15	c bounds 309344 >= 54121 @ 195.098
232.08/233.15	c #Conflicts:      16000 | #Constraints:     940106
232.08/233.15	c bounds 309344 >= 54122 @ 196.267
232.08/233.15	c bounds 308763 >= 54122 @ 196.405
232.08/233.15	c bounds 308183 >= 54122 @ 196.559
232.08/233.15	c bounds 308182 >= 54122 @ 196.92
232.08/233.15	c bounds 307601 >= 54122 @ 197.045
232.08/233.15	c bounds 307020 >= 54122 @ 197.172
232.08/233.15	c bounds 306439 >= 54122 @ 197.296
232.08/233.15	c bounds 305858 >= 54122 @ 197.412
232.08/233.15	c bounds 305277 >= 54122 @ 197.54
232.08/233.15	c bounds 304696 >= 54122 @ 197.657
232.08/233.15	c bounds 304695 >= 54122 @ 197.77
232.08/233.15	c bounds 304114 >= 54122 @ 197.911
232.08/233.15	c #Conflicts:      17000 | #Constraints:     941135
232.08/233.15	c bounds 304113 >= 54122 @ 198.04
232.08/233.15	c bounds 303532 >= 54122 @ 198.168
232.08/233.15	c bounds 303531 >= 54122 @ 198.297
232.08/233.15	c bounds 303530 >= 54122 @ 198.45
232.08/233.15	c bounds 302949 >= 54122 @ 198.564
232.08/233.15	c bounds 302368 >= 54122 @ 198.829
232.08/233.15	c bounds 301788 >= 54122 @ 198.968
232.08/233.15	c bounds 301207 >= 54122 @ 199.097
232.08/233.15	c bounds 300626 >= 54122 @ 199.22
232.08/233.15	c bounds 300045 >= 54122 @ 199.371
232.08/233.15	c bounds 299464 >= 54122 @ 199.495
232.08/233.15	c bounds 298883 >= 54122 @ 199.625
232.08/233.15	c bounds 298302 >= 54122 @ 199.867
232.08/233.15	c bounds 298302 >= 54123 @ 200.035
232.08/233.15	c bounds 298301 >= 54123 @ 200.196
232.08/233.15	c bounds 297720 >= 54123 @ 200.362
232.08/233.15	c bounds 297139 >= 54123 @ 200.508
232.08/233.15	c bounds 296558 >= 54123 @ 200.654
232.08/233.15	c bounds 296558 >= 54635 @ 200.803
232.08/233.15	c bounds 295977 >= 54635 @ 200.94
232.08/233.15	c bounds 295396 >= 54635 @ 201.129
1179.12/1183.67	c bounds 294815 >= 54635 @ 201.285
1179.12/1183.67	c bounds 294234 >= 54635 @ 201.462
1179.12/1183.67	c bounds 294234 >= 54641 @ 201.485
1179.12/1183.67	c bounds 294234 >= 54656 @ 201.505
1179.12/1183.67	c bounds 294234 >= 54657 @ 201.527
1179.12/1183.67	c bounds 294234 >= 54658 @ 201.548
1179.12/1183.67	c bounds 294234 >= 54666 @ 201.569
1179.12/1183.67	c bounds 294234 >= 54667 @ 201.6
1179.12/1183.67	c bounds 294234 >= 54668 @ 201.631
1179.12/1183.67	c bounds 293653 >= 54668 @ 201.787
1179.12/1183.67	c bounds 293653 >= 54669 @ 201.818
1179.12/1183.67	c bounds 293653 >= 54670 @ 201.909
1179.12/1183.67	c bounds 293072 >= 54670 @ 202.076
1179.12/1183.67	c #Conflicts:      18000 | #Constraints:     942251
1179.12/1183.67	c bounds 293072 >= 54671 @ 202.279
1179.12/1183.67	c bounds 292491 >= 54671 @ 202.708
1179.12/1183.67	c INPROCESSING
1179.12/1183.67	c GARBAGE COLLECT
1179.12/1183.67	c bounds 291910 >= 54671 @ 203.652
1179.12/1183.67	c bounds 291329 >= 54671 @ 203.861
1179.12/1183.67	c bounds 291329 >= 54672 @ 203.889
1179.12/1183.67	c bounds 290748 >= 54672 @ 204.052
1179.12/1183.67	c bounds 290748 >= 54673 @ 204.174
1179.12/1183.67	c bounds 290167 >= 54673 @ 204.323
1179.12/1183.67	c bounds 290167 >= 54674 @ 204.408
1179.12/1183.67	c bounds 289586 >= 54674 @ 204.563
1179.12/1183.67	c bounds 289586 >= 54675 @ 204.673
1179.12/1183.67	c bounds 289005 >= 54675 @ 204.858
1179.12/1183.67	c bounds 288424 >= 54675 @ 205.028
1179.12/1183.67	c bounds 288424 >= 54676 @ 205.156
1179.12/1183.67	c bounds 287843 >= 54676 @ 205.293
1179.12/1183.67	c bounds 287262 >= 54676 @ 205.381
1179.12/1183.67	c bounds 287262 >= 54677 @ 205.545
1179.12/1183.67	c bounds 287261 >= 54677 @ 205.859
1179.12/1183.67	c #Conflicts:      19000 | #Constraints:     938646
1179.12/1183.67	c bounds 286680 >= 54677 @ 206.742
1179.12/1183.67	c bounds 286680 >= 54678 @ 206.921
1179.12/1183.67	c bounds 286099 >= 54678 @ 207.041
1179.12/1183.67	c bounds 285518 >= 54678 @ 207.279
1179.12/1183.67	c bounds 285518 >= 54679 @ 207.635
1179.12/1183.67	c bounds 284937 >= 54679 @ 211.899
1179.12/1183.67	c #Conflicts:      20000 | #Constraints:     939695
1179.12/1183.67	c bounds 284937 >= 54680 @ 212.404
1179.12/1183.67	c bounds 284937 >= 54681 @ 213.168
1179.12/1183.67	c bounds 284356 >= 54681 @ 213.437
1179.12/1183.67	c bounds 283775 >= 54681 @ 213.678
1179.12/1183.67	c bounds 283194 >= 54681 @ 213.818
1179.12/1183.67	c bounds 282613 >= 54681 @ 214.019
1179.12/1183.67	c bounds 282032 >= 54681 @ 214.175
1179.12/1183.67	c bounds 281451 >= 54681 @ 214.364
1179.12/1183.67	c bounds 280871 >= 54681 @ 214.549
1179.12/1183.67	c bounds 280871 >= 54682 @ 214.586
1179.12/1183.67	c #Conflicts:      21000 | #Constraints:     940774
1179.12/1183.67	c bounds 280871 >= 54683 @ 216.145
1179.12/1183.67	c bounds 280870 >= 54683 @ 216.298
1179.12/1183.67	c bounds 280289 >= 54683 @ 216.505
1179.12/1183.67	c bounds 279708 >= 54683 @ 216.686
1179.12/1183.67	c bounds 279127 >= 54683 @ 216.874
1179.12/1183.67	c bounds 278546 >= 54683 @ 217.076
1179.12/1183.67	c bounds 277965 >= 54683 @ 217.307
1179.12/1183.67	c bounds 277384 >= 54683 @ 218.478
1179.12/1183.67	c bounds 276803 >= 54683 @ 218.757
1179.12/1183.67	c bounds 276222 >= 54683 @ 218.957
1179.12/1183.67	c INPROCESSING
1179.12/1183.67	c GARBAGE COLLECT
1179.12/1183.67	c bounds 275641 >= 54683 @ 219.823
1179.12/1183.67	c bounds 275060 >= 54683 @ 220.014
1179.12/1183.67	c bounds 274479 >= 54683 @ 220.187
1179.12/1183.67	c bounds 273898 >= 54683 @ 220.357
1179.12/1183.67	c bounds 273317 >= 54683 @ 220.532
1179.12/1183.67	c bounds 272736 >= 54683 @ 220.7
1179.12/1183.67	c bounds 272155 >= 54683 @ 220.864
1179.12/1183.67	c bounds 271574 >= 54683 @ 221.027
1179.12/1183.67	c bounds 270993 >= 54683 @ 221.245
1179.12/1183.67	c bounds 270412 >= 54683 @ 221.402
1179.12/1183.67	c bounds 270411 >= 54683 @ 221.556
1179.12/1183.67	c #Conflicts:      22000 | #Constraints:     938540
1179.12/1183.67	c bounds 269830 >= 54683 @ 1134.25
1179.12/1183.67	c bounds 269250 >= 54683 @ 1134.42
1179.12/1183.67	c bounds 269249 >= 54683 @ 1134.56
1179.12/1183.67	c bounds 268668 >= 54683 @ 1134.75
1179.12/1183.67	c bounds 268668 >= 54684 @ 1135.63
1179.12/1183.67	c bounds 268087 >= 54684 @ 1135.8
1179.12/1183.67	c bounds 268086 >= 54684 @ 1136.01
1179.12/1183.67	c bounds 267505 >= 54684 @ 1136.16
1179.12/1183.67	c bounds 266924 >= 54684 @ 1136.39
1179.12/1183.67	c bounds 266343 >= 54684 @ 1136.55
1179.12/1183.67	c bounds 265762 >= 54684 @ 1136.7
1179.12/1183.67	c bounds 265181 >= 54684 @ 1136.86
1179.12/1183.67	c bounds 264600 >= 54684 @ 1136.99
1179.12/1183.67	c bounds 264020 >= 54684 @ 1137.25
1179.12/1183.67	c bounds 263439 >= 54684 @ 1137.46
1179.12/1183.67	c bounds 262858 >= 54684 @ 1137.65
1179.12/1183.67	c #Conflicts:      23000 | #Constraints:     939591
1179.12/1183.67	c bounds 262277 >= 54684 @ 1137.84
1179.12/1183.67	c bounds 261696 >= 54684 @ 1138
1179.12/1183.67	c bounds 261696 >= 54685 @ 1138.69
1179.12/1183.67	c bounds 261115 >= 54685 @ 1138.85
1179.12/1183.67	c bounds 260534 >= 54685 @ 1139.04
1179.12/1183.67	c bounds 259953 >= 54685 @ 1139.2
1179.12/1183.67	c bounds 259372 >= 54685 @ 1139.35
1179.12/1183.67	c bounds 258791 >= 54685 @ 1139.51
1179.12/1183.67	c bounds 258210 >= 54685 @ 1139.66
1179.12/1183.67	c bounds 258209 >= 54685 @ 1139.85
1179.12/1183.67	c bounds 258208 >= 54685 @ 1139.99
1179.12/1183.67	c bounds 258207 >= 54685 @ 1140.36
1179.12/1183.67	c bounds 257626 >= 54685 @ 1140.67
1179.12/1183.67	c bounds 257626 >= 54686 @ 1141.27
1179.12/1183.67	c bounds 257045 >= 54686 @ 1141.47
1179.12/1183.67	c bounds 256464 >= 54686 @ 1141.63
1179.12/1183.67	c bounds 255883 >= 54686 @ 1141.79
1179.12/1183.67	c #Conflicts:      24000 | #Constraints:     940639
1179.12/1183.67	c bounds 255302 >= 54686 @ 1141.96
1179.12/1183.67	c bounds 254721 >= 54686 @ 1142.11
1179.12/1183.67	c bounds 254140 >= 54686 @ 1142.26
1179.12/1183.67	c bounds 253559 >= 54686 @ 1142.79
2556.82/2565.98	c bounds 252978 >= 54686 @ 1144.22
2556.82/2565.98	c bounds 252978 >= 54687 @ 1144.98
2556.82/2565.98	c bounds 252397 >= 54687 @ 1145.15
2556.82/2565.98	c bounds 251816 >= 54687 @ 1145.3
2556.82/2565.98	c bounds 251235 >= 54687 @ 1145.49
2556.82/2565.98	c bounds 250654 >= 54687 @ 1145.8
2556.82/2565.98	c bounds 250078 >= 54687 @ 1146.09
2556.82/2565.98	c bounds 250077 >= 54687 @ 1146.31
2556.82/2565.98	c bounds 249496 >= 54687 @ 1146.61
2556.82/2565.98	c bounds 249495 >= 54687 @ 1146.81
2556.82/2565.98	c #Conflicts:      25000 | #Constraints:     941673
2556.82/2565.98	c INPROCESSING
2556.82/2565.98	c GARBAGE COLLECT
2556.82/2565.98	c bounds 248914 >= 54687 @ 1148.57
2556.82/2565.98	c bounds 248333 >= 54687 @ 1148.79
2556.82/2565.98	c bounds 247752 >= 54687 @ 1148.97
2556.82/2565.98	c bounds 247171 >= 54687 @ 1149.29
2556.82/2565.98	c bounds 247170 >= 54687 @ 1149.45
2556.82/2565.98	c bounds 246589 >= 54687 @ 1149.65
2556.82/2565.98	c bounds 246008 >= 54687 @ 1149.84
2556.82/2565.98	c bounds 245427 >= 54687 @ 1150.31
2556.82/2565.98	c bounds 244846 >= 54687 @ 1150.59
2556.82/2565.98	c bounds 244265 >= 54687 @ 1150.81
2556.82/2565.98	c bounds 243684 >= 54687 @ 1151.03
2556.82/2565.98	c bounds 243103 >= 54687 @ 1151.24
2556.82/2565.98	c bounds 242522 >= 54687 @ 1151.42
2556.82/2565.98	c bounds 241941 >= 54687 @ 1151.62
2556.82/2565.98	c #Conflicts:      26000 | #Constraints:     939109
2556.82/2565.98	c bounds 241941 >= 54688 @ 1152.52
2556.82/2565.98	c bounds 241360 >= 54688 @ 1152.74
2556.82/2565.98	c bounds 240779 >= 54688 @ 1152.93
2556.82/2565.98	c bounds 240198 >= 54688 @ 1153.15
2556.82/2565.98	c bounds 239617 >= 54688 @ 1153.34
2556.82/2565.98	c bounds 239616 >= 54688 @ 1153.61
2556.82/2565.98	c bounds 239035 >= 54688 @ 1154.11
2556.82/2565.98	c bounds 238454 >= 54688 @ 1154.37
2556.82/2565.98	c bounds 237873 >= 54688 @ 1154.57
2556.82/2565.98	c #Conflicts:      27000 | #Constraints:     940138
2556.82/2565.98	c bounds 237873 >= 54689 @ 1156.37
2556.82/2565.98	c bounds 237292 >= 54689 @ 1156.59
2556.82/2565.98	c bounds 236711 >= 54689 @ 1156.78
2556.82/2565.98	c bounds 236130 >= 54689 @ 1156.96
2556.82/2565.98	c bounds 236129 >= 54689 @ 1157.65
2556.82/2565.98	c bounds 235548 >= 54689 @ 1157.91
2556.82/2565.98	c bounds 234967 >= 54689 @ 1158.09
2556.82/2565.98	c bounds 234966 >= 54689 @ 1158.59
2556.82/2565.98	c bounds 234965 >= 54689 @ 1159.1
2556.82/2565.98	c bounds 234964 >= 54689 @ 1159.85
2556.82/2565.98	c #Conflicts:      28000 | #Constraints:     941183
2556.82/2565.98	c bounds 234963 >= 54689 @ 1160.5
2556.82/2565.98	c bounds 234962 >= 54689 @ 1161.05
2556.82/2565.98	c bounds 234381 >= 54689 @ 1164.45
2556.82/2565.98	c #Conflicts:      29000 | #Constraints:     942186
2556.82/2565.98	c INPROCESSING
2556.82/2565.98	c GARBAGE COLLECT
2556.82/2565.98	c bounds 233800 >= 54689 @ 1166.71
2556.82/2565.98	c bounds 233219 >= 54689 @ 1167.09
2556.82/2565.98	c bounds 232638 >= 54689 @ 1167.49
2556.82/2565.98	c bounds 232637 >= 54689 @ 1167.8
2556.82/2565.98	c bounds 232056 >= 54689 @ 1168.08
2556.82/2565.98	c bounds 231475 >= 54689 @ 1168.47
2556.82/2565.98	c bounds 230894 >= 54689 @ 1169.36
2556.82/2565.98	c bounds 230893 >= 54689 @ 1169.75
2556.82/2565.98	c bounds 230892 >= 54689 @ 1170.19
2556.82/2565.98	c #Conflicts:      30000 | #Constraints:     939615
2556.82/2565.98	c bounds 230311 >= 54689 @ 1179.55
2556.82/2565.98	c #Conflicts:      31000 | #Constraints:     940616
2556.82/2565.98	c bounds 230311 >= 54690 @ 1181.49
2556.82/2565.98	c bounds 230311 >= 54691 @ 1183.84
2556.82/2565.98	c #Conflicts:      32000 | #Constraints:     941658
2556.82/2565.98	c bounds 230311 >= 54692 @ 1187.58
2556.82/2565.98	c bounds 229730 >= 54692 @ 1187.79
2556.82/2565.98	c bounds 229149 >= 54692 @ 1187.96
2556.82/2565.98	c bounds 228568 >= 54692 @ 1188.13
2556.82/2565.98	c #Conflicts:      33000 | #Constraints:     942685
2556.82/2565.98	c INPROCESSING
2556.82/2565.98	c GARBAGE COLLECT
2556.82/2565.98	c bounds 228567 >= 54692 @ 1199.18
2556.82/2565.98	c #Conflicts:      34000 | #Constraints:     939809
2556.82/2565.98	c #Conflicts:      35000 | #Constraints:     940809
2556.82/2565.98	c bounds 228567 >= 54693 @ 1203.3
2556.82/2565.98	c bounds 228566 >= 54693 @ 1203.51
2556.82/2565.98	c bounds 227985 >= 54693 @ 1204.02
2556.82/2565.98	c bounds 227984 >= 54693 @ 1204.47
2556.82/2565.98	c bounds 227403 >= 54693 @ 1204.82
2556.82/2565.98	c bounds 226822 >= 54693 @ 1205.19
2556.82/2565.98	c bounds 226241 >= 54693 @ 1205.53
2556.82/2565.98	c bounds 226240 >= 54693 @ 1206.23
2556.82/2565.98	c bounds 225659 >= 54693 @ 1207.23
2556.82/2565.98	c #Conflicts:      36000 | #Constraints:     941832
2556.82/2565.98	c bounds 225078 >= 54693 @ 1211.6
2556.82/2565.98	c bounds 225077 >= 54693 @ 1213.59
2556.82/2565.98	c #Conflicts:      37000 | #Constraints:     942834
2556.82/2565.98	c INPROCESSING
2556.82/2565.98	c GARBAGE COLLECT
2556.82/2565.98	c bounds 225076 >= 54693 @ 1219.09
2556.82/2565.98	c bounds 224495 >= 54693 @ 1219.29
2556.82/2565.98	c bounds 224494 >= 54693 @ 1222.26
2556.82/2565.98	c #Conflicts:      38000 | #Constraints:     938972
2556.82/2565.98	c #Conflicts:      39000 | #Constraints:     939972
2556.82/2565.98	c bounds 224493 >= 54693 @ 1235.58
2556.82/2565.98	c bounds 224493 >= 54694 @ 1238.01
2556.82/2565.98	c #Conflicts:      40000 | #Constraints:     941009
2556.82/2565.98	c bounds 224493 >= 54695 @ 1240.61
2556.82/2565.98	c bounds 224492 >= 54695 @ 1242.03
2556.82/2565.98	c #Conflicts:      41000 | #Constraints:     942034
2556.82/2565.98	c INPROCESSING
2556.82/2565.98	c GARBAGE COLLECT
2556.82/2565.98	c rational objective 54695
2684.74/2694.38	c #Conflicts:      42000 | #Constraints:     938769
2684.74/2694.38	c bounds 224492 >= 54696 @ 2513.45
2684.74/2694.38	c bounds 223911 >= 54696 @ 2513.72
2684.74/2694.38	c bounds 223910 >= 54696 @ 2513.97
2684.74/2694.38	c bounds 223329 >= 54696 @ 2514.22
2684.74/2694.38	c bounds 222748 >= 54696 @ 2514.48
2684.74/2694.38	c bounds 222167 >= 54696 @ 2514.72
2684.74/2694.38	c bounds 221586 >= 54696 @ 2515.12
2684.74/2694.38	c bounds 221005 >= 54696 @ 2515.37
2684.74/2694.38	c bounds 220424 >= 54696 @ 2515.69
2684.74/2694.38	c #Conflicts:      43000 | #Constraints:     939801
2684.74/2694.38	c bounds 220423 >= 54696 @ 2515.93
2684.74/2694.38	c bounds 220422 >= 54696 @ 2516.4
2684.74/2694.38	c bounds 219841 >= 54696 @ 2516.75
2684.74/2694.38	c bounds 219840 >= 54696 @ 2517.07
2684.74/2694.38	c bounds 219259 >= 54696 @ 2517.95
2684.74/2694.38	c bounds 218678 >= 54696 @ 2518.33
2684.74/2694.38	c bounds 218677 >= 54696 @ 2519.42
2684.74/2694.38	c #Conflicts:      44000 | #Constraints:     940808
2684.74/2694.38	c bounds 218096 >= 54696 @ 2521.07
2684.74/2694.38	c bounds 217515 >= 54696 @ 2523.53
2684.74/2694.38	c #Conflicts:      45000 | #Constraints:     941810
2684.74/2694.38	c bounds 217515 >= 54697 @ 2528.86
2684.74/2694.38	c bounds 216934 >= 54697 @ 2529.61
2684.74/2694.38	c bounds 216353 >= 54697 @ 2530.14
2684.74/2694.38	c #Conflicts:      46000 | #Constraints:     942836
2684.74/2694.38	c bounds 216352 >= 54697 @ 2530.66
2684.74/2694.38	c INPROCESSING
2684.74/2694.38	c GARBAGE COLLECT
2684.74/2694.38	c #Conflicts:      47000 | #Constraints:     939375
2684.74/2694.38	c bounds 215772 >= 54697 @ 2537.96
2684.74/2694.38	c bounds 215193 >= 54697 @ 2538.32
2684.74/2694.38	c bounds 214612 >= 54697 @ 2540.28
2684.74/2694.38	c bounds 214611 >= 54697 @ 2541.01
2684.74/2694.38	c bounds 214030 >= 54697 @ 2541.51
2684.74/2694.38	c bounds 214029 >= 54697 @ 2543.3
2684.74/2694.38	c #Conflicts:      48000 | #Constraints:     940381
2684.74/2694.38	c bounds 213448 >= 54697 @ 2543.65
2684.74/2694.38	c bounds 212867 >= 54697 @ 2543.94
2684.74/2694.38	c bounds 212286 >= 54697 @ 2544.31
2684.74/2694.38	c bounds 211705 >= 54697 @ 2544.56
2684.74/2694.38	c bounds 211124 >= 54697 @ 2544.82
2684.74/2694.38	c #Conflicts:      49000 | #Constraints:     941386
2684.74/2694.38	c bounds 211124 >= 54698 @ 2553.51
2684.74/2694.38	c bounds 210543 >= 54698 @ 2553.77
2684.74/2694.38	c bounds 209962 >= 54698 @ 2554.05
2684.74/2694.38	c bounds 209381 >= 54698 @ 2554.3
2684.74/2694.38	c bounds 208800 >= 54698 @ 2554.57
2684.74/2694.38	c #Conflicts:      50000 | #Constraints:     942414
2684.74/2694.38	c bounds 208219 >= 54698 @ 2554.86
2684.74/2694.38	c bounds 207638 >= 54698 @ 2555.15
2684.74/2694.38	c bounds 207637 >= 54698 @ 2556.2
2684.74/2694.38	c bounds 207636 >= 54698 @ 2556.42
2684.74/2694.38	c bounds 207635 >= 54698 @ 2557.82
2684.74/2694.38	c bounds 207054 >= 54698 @ 2559.38
2684.74/2694.38	c #Conflicts:      51000 | #Constraints:     943420
2684.74/2694.38	c INPROCESSING
2684.74/2694.38	c GARBAGE COLLECT
2684.74/2694.38	c bounds 206473 >= 54698 @ 2561.32
2684.74/2694.38	c bounds 205892 >= 54698 @ 2561.69
2684.74/2694.38	c bounds 205311 >= 54698 @ 2562.81
2684.74/2694.38	c bounds 204730 >= 54698 @ 2563.64
2684.74/2694.38	c #Conflicts:      52000 | #Constraints:     939741
2684.74/2694.38	c #Conflicts:      53000 | #Constraints:     940741
2684.74/2694.38	c bounds 204149 >= 54698 @ 2573.05
2684.74/2694.38	c #Conflicts:      54000 | #Constraints:     941742
2684.74/2694.38	c bounds 204149 >= 54699 @ 2582.36
2684.74/2694.38	c bounds 203568 >= 54699 @ 2582.62
2684.74/2694.38	c bounds 202987 >= 54699 @ 2582.83
2684.74/2694.38	c #Conflicts:      55000 | #Constraints:     942786
2684.74/2694.38	c bounds 202406 >= 54699 @ 2583.1
2684.74/2694.38	c bounds 201825 >= 54699 @ 2583.33
2684.74/2694.38	c bounds 201244 >= 54699 @ 2583.56
2684.74/2694.38	c bounds 200663 >= 54699 @ 2583.96
2684.74/2694.38	c bounds 200082 >= 54699 @ 2584.21
2684.74/2694.38	c bounds 199501 >= 54699 @ 2584.45
2684.74/2694.38	c bounds 198920 >= 54699 @ 2584.7
2684.74/2694.38	c bounds 198919 >= 54699 @ 2585.97
2684.74/2694.38	c bounds 198338 >= 54699 @ 2586.41
2684.74/2694.38	c bounds 197757 >= 54699 @ 2586.65
2684.74/2694.38	c bounds 197176 >= 54699 @ 2586.93
2684.74/2694.38	c bounds 196595 >= 54699 @ 2587.16
2684.74/2694.38	c #Conflicts:      56000 | #Constraints:     943798
2684.74/2694.38	c INPROCESSING
2684.74/2694.38	c GARBAGE COLLECT
2684.74/2694.38	c bounds 196014 >= 54699 @ 2589.03
2684.74/2694.38	c bounds 195433 >= 54699 @ 2592.91
2684.74/2694.38	c #Conflicts:      57000 | #Constraints:     939992
2684.74/2694.38	c bounds 194852 >= 54699 @ 2601.81
2684.74/2694.38	c #Conflicts:      58000 | #Constraints:     940993
2684.74/2694.38	c #Conflicts:      59000 | #Constraints:     941993
2684.74/2694.38	c bounds 194852 >= 54700 @ 2614.43
2684.74/2694.38	c bounds 194271 >= 54700 @ 2614.66
2684.74/2694.38	c bounds 193690 >= 54700 @ 2614.92
2684.74/2694.38	c bounds 193689 >= 54700 @ 2615.33
2684.74/2694.38	c bounds 193688 >= 54700 @ 2616.05
2684.74/2694.38	c #Conflicts:      60000 | #Constraints:     943030
2684.74/2694.38	c bounds 193687 >= 54700 @ 2616.55
2684.74/2694.38	c bounds 193106 >= 54700 @ 2616.83
2684.74/2694.38	c bounds 192525 >= 54700 @ 2617.04
2684.74/2694.38	c bounds 191944 >= 54700 @ 2617.24
2684.74/2694.38	c bounds 191363 >= 54700 @ 2617.79
2684.74/2694.38	c bounds 190782 >= 54700 @ 2618.27
2684.74/2694.38	c bounds 190201 >= 54700 @ 2618.88
2684.74/2694.38	c bounds 189620 >= 54700 @ 2619.6
2684.74/2694.38	c bounds 189619 >= 54700 @ 2619.99
2684.74/2694.38	c bounds 189038 >= 54700 @ 2621
2684.74/2694.38	c #Conflicts:      61000 | #Constraints:     944040
2684.74/2694.38	c bounds 188457 >= 54700 @ 2622.72
2684.74/2694.38	c INPROCESSING
2684.74/2694.38	c GARBAGE COLLECT
2684.74/2694.38	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: 63931 MiB (21624 MiB free)
  memory of node 1: 64510 MiB (29243 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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

solver pid=232396, runsolver pid=232393

[startup+0.100092 s]*
/proc/loadavg: 4.18 4.23 4.15 5/265 232397
/proc/meminfo: memFree=52073352/131524600 swapFree=131067876/131071996
[pid=232396] ppid=232393 vsize=51512 memory=18964 CPUtime=0.09 cores=0,2
/proc/232396/stat : 232396 (roundingsat) R 232393 232396 226953 0 -1 4194304 3649 0 0 0 7 2 0 0 20 0 1 0 19127330 52748288 4741 134679101440 4194304 8254037 140723028311040 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9037040 9046032 33226752 140723028317020 140723028317282 140723028317282 140723028324297 0
/proc/232396/statm: 12878 4741 1348 992 0 4736 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 51512 KiB
Current children cumulated memory: 18964 KiB

[startup+0.205932 s]*
/proc/loadavg: 4.18 4.23 4.15 5/265 232397
/proc/meminfo: memFree=52048020/131524600 swapFree=131067876/131071996
[pid=232396] ppid=232393 vsize=77488 memory=47448 CPUtime=0.19 cores=0,2
/proc/232396/stat : 232396 (roundingsat) R 232393 232396 226953 0 -1 4194304 9205 0 0 0 14 5 0 0 20 0 1 0 19127330 79347712 11862 134679101440 4194304 8254037 140723028311040 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9037040 9046032 33226752 140723028317020 140723028317282 140723028317282 140723028324297 0
/proc/232396/statm: 19372 11862 1348 992 0 11230 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 77488 KiB
Current children cumulated memory: 47448 KiB

[startup+0.305938 s]*
/proc/loadavg: 4.18 4.23 4.15 5/265 232397
/proc/meminfo: memFree=52028704/131524600 swapFree=131067876/131071996
[pid=232396] ppid=232393 vsize=98152 memory=60464 CPUtime=0.29 cores=0,2
/proc/232396/stat : 232396 (roundingsat) R 232393 232396 226953 0 -1 4194304 11068 0 0 0 22 7 0 0 20 0 1 0 19127330 100507648 15116 134679101440 4194304 8254037 140723028311040 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9037040 9046032 33226752 140723028317020 140723028317282 140723028317282 140723028324297 0
/proc/232396/statm: 24538 15116 1348 992 0 16396 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 98152 KiB
Current children cumulated memory: 60464 KiB

[startup+0.700221 s]
/proc/loadavg: 4.18 4.23 4.15 5/265 232397
/proc/meminfo: memFree=52021984/131524600 swapFree=131067876/131071996
[pid=232396] ppid=232393 vsize=100872 memory=63920 CPUtime=0.68 cores=0,2
/proc/232396/stat : 232396 (roundingsat) R 232393 232396 226953 0 -1 4194304 11913 0 0 0 56 12 0 0 20 0 1 0 19127330 103292928 15980 134679101440 4194304 8254037 140723028311040 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9037040 9046032 33226752 140723028317020 140723028317282 140723028317282 140723028324297 0
/proc/232396/statm: 25218 15980 1348 992 0 17076 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 100872 KiB
Current children cumulated memory: 63920 KiB

[startup+1.50022 s]
/proc/loadavg: 4.18 4.23 4.15 5/265 232399
/proc/meminfo: memFree=52011240/131524600 swapFree=131067876/131071996
[pid=232396] ppid=232393 vsize=108788 memory=71792 CPUtime=1.48 cores=0,2
/proc/232396/stat : 232396 (roundingsat) R 232393 232396 226953 0 -1 4194304 13372 0 0 0 125 23 0 0 20 0 1 0 19127330 111398912 17948 134679101440 4194304 8254037 140723028311040 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9037040 9046032 33226752 140723028317020 140723028317282 140723028317282 140723028324297 0
/proc/232396/statm: 27197 17948 1348 992 0 19055 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 108788 KiB
Current children cumulated memory: 71792 KiB

[startup+3.10575 s]
/proc/loadavg: 4.18 4.23 4.15 5/265 232399
/proc/meminfo: memFree=51922804/131524600 swapFree=131067876/131071996
[pid=232396] ppid=232393 vsize=136668 memory=94636 CPUtime=3.07 cores=0,2
/proc/232396/stat : 232396 (roundingsat) R 232393 232396 226953 0 -1 4194304 15994 0 0 0 265 42 0 0 20 0 1 0 19127330 139948032 23659 134679101440 4194304 8254037 140723028311040 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9037040 9046032 33226752 140723028317020 140723028317282 140723028317282 140723028324297 0
/proc/232396/statm: 34167 23659 1348 992 0 26025 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 136668 KiB
Current children cumulated memory: 94636 KiB

[startup+6.3002 s]
/proc/loadavg: 4.17 4.23 4.15 5/265 232399
/proc/meminfo: memFree=51800040/131524600 swapFree=131067876/131071996
[pid=232396] ppid=232393 vsize=173616 memory=135368 CPUtime=6.27 cores=0,2
/proc/232396/stat : 232396 (roundingsat) R 232393 232396 226953 0 -1 4194304 19053 0 0 0 538 89 0 0 20 0 1 0 19127330 177782784 33842 134679101440 4194304 8254037 140723028311040 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9037040 9046032 33226752 140723028317020 140723028317282 140723028317282 140723028324297 0
/proc/232396/statm: 43404 33842 1348 992 0 35262 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 173616 KiB
Current children cumulated memory: 135368 KiB

[startup+12.7002 s]
/proc/loadavg: 4.16 4.22 4.15 5/265 232400
/proc/meminfo: memFree=50870448/131524600 swapFree=131067876/131071996
[pid=232396] ppid=232393 vsize=876716 memory=813472 CPUtime=12.64 cores=0,2
/proc/232396/stat : 232396 (roundingsat) R 232393 232396 226953 0 -1 4194304 113194 0 0 0 1135 129 0 0 20 0 1 0 19127330 897757184 203368 134679101440 4194304 8254037 140723028311040 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 33226752 140723028317020 140723028317282 140723028317282 140723028324297 0
/proc/232396/statm: 219179 203368 1714 992 0 211037 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 876716 KiB
Current children cumulated memory: 813472 KiB

[startup+25.5002 s]
/proc/loadavg: 4.20 4.23 4.15 5/264 232402
/proc/meminfo: memFree=50569524/131524600 swapFree=131067876/131071996
[pid=232396] ppid=232393 vsize=926804 memory=844188 CPUtime=25.37 cores=0,2
/proc/232396/stat : 232396 (roundingsat) R 232393 232396 226953 0 -1 4194304 113584 0 0 0 1981 556 0 0 20 0 1 0 19127330 949047296 211047 134679101440 4194304 8254037 140723028311040 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 33226752 140723028317020 140723028317282 140723028317282 140723028324297 0
/proc/232396/statm: 231701 211047 1867 992 0 223559 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 926804 KiB
Current children cumulated memory: 844188 KiB

[startup+51.1057 s]
/proc/loadavg: 4.13 4.21 4.15 5/264 232409
/proc/meminfo: memFree=50227584/131524600 swapFree=131067876/131071996
[pid=232396] ppid=232393 vsize=942048 memory=867744 CPUtime=50.85 cores=0,2
/proc/232396/stat : 232396 (roundingsat) R 232393 232396 226953 0 -1 4194304 114542 0 0 0 4350 735 0 0 20 0 1 0 19127330 964657152 216936 134679101440 4194304 8254037 140723028311040 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 33226752 140723028317020 140723028317282 140723028317282 140723028324297 0
/proc/232396/statm: 235512 216936 1867 992 0 227370 0
Current children cumulated CPU time: 50.85 s
Current children cumulated vsize: 942048 KiB
Current children cumulated memory: 867744 KiB

[startup+102.3 s]
/proc/loadavg: 4.10 4.19 4.14 5/261 232432
/proc/meminfo: memFree=49327884/131524600 swapFree=131067876/131071996
[pid=232396] ppid=232393 vsize=977200 memory=902748 CPUtime=101.81 cores=0,2
/proc/232396/stat : 232396 (roundingsat) R 232393 232396 226953 0 -1 4194304 116358 0 0 0 8423 1758 0 0 20 0 1 0 19127330 1000652800 225687 134679101440 4194304 8254037 140723028311040 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 33226752 140723028317020 140723028317282 140723028317282 140723028324297 0
/proc/232396/statm: 244300 225687 1867 992 0 236158 0
Current children cumulated CPU time: 101.81 s
Current children cumulated vsize: 977200 KiB
Current children cumulated memory: 902748 KiB

[startup+162.3 s]
/proc/loadavg: 4.14 4.18 4.14 5/260 232443
/proc/meminfo: memFree=48281604/131524600 swapFree=131067876/131071996
[pid=232396] ppid=232393 vsize=1035420 memory=960804 CPUtime=161.56 cores=0,2
/proc/232396/stat : 232396 (roundingsat) R 232393 232396 226953 0 -1 4194304 126437 0 0 0 13716 2440 0 0 20 0 1 0 19127330 1060270080 240201 134679101440 4194304 8254037 140723028311040 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 33226752 140723028317020 140723028317282 140723028317282 140723028324297 0
/proc/232396/statm: 258855 240201 1867 992 0 250713 0
Current children cumulated CPU time: 161.56 s
Current children cumulated vsize: 1035420 KiB
Current children cumulated memory: 960804 KiB

[startup+222.3 s]
/proc/loadavg: 4.10 4.16 4.14 5/259 232454
/proc/meminfo: memFree=47034308/131524600 swapFree=131067876/131071996
[pid=232396] ppid=232393 vsize=1358152 memory=1240092 CPUtime=221.32 cores=0,2
/proc/232396/stat : 232396 (roundingsat) R 232393 232396 226953 0 -1 4194304 176027 0 0 0 19223 2909 0 0 20 0 1 0 19127330 1390747648 310023 134679101440 4194304 8254037 140723028311040 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 33226752 140723028317020 140723028317282 140723028317282 140723028324297 0
/proc/232396/statm: 339538 310023 1867 992 0 331396 0
Current children cumulated CPU time: 221.32 s
Current children cumulated vsize: 1358152 KiB
Current children cumulated memory: 1240092 KiB

[startup+282.3 s]
/proc/loadavg: 4.08 4.15 4.13 5/259 232465
/proc/meminfo: memFree=45306760/131524600 swapFree=131067876/131071996
[pid=232396] ppid=232393 vsize=1378920 memory=1290656 CPUtime=281.04 cores=0,2
/proc/232396/stat : 232396 (roundingsat) R 232393 232396 226953 0 -1 4194304 180079 0 0 0 24702 3402 0 0 20 0 1 0 19127330 1412014080 322664 134679101440 4194304 8254037 140723028311040 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 33226752 140723028317020 140723028317282 140723028317282 140723028324297 0
/proc/232396/statm: 344730 322664 1867 992 0 336588 0
Current children cumulated CPU time: 281.04 s
Current children cumulated vsize: 1378920 KiB
Current children cumulated memory: 1290656 KiB

[startup+342.3 s]
/proc/loadavg: 4.49 4.24 4.16 5/260 232476
/proc/meminfo: memFree=44734740/131524600 swapFree=131067876/131071996
[pid=232396] ppid=232393 vsize=1404784 memory=1308352 CPUtime=340.81 cores=0,2
/proc/232396/stat : 232396 (roundingsat) R 232393 232396 226953 0 -1 4194304 181116 0 0 0 30668 3413 0 0 20 0 1 0 19127330 1438498816 327088 134679101440 4194304 8254037 140723028311040 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 33226752 140723028317020 140723028317282 140723028317282 140723028324297 0
/proc/232396/statm: 351196 327088 1867 992 0 343054 0
Current children cumulated CPU time: 340.81 s
Current children cumulated vsize: 1404784 KiB
Current children cumulated memory: 1308352 KiB

[startup+402.3 s]
/proc/loadavg: 4.22 4.21 4.16 5/259 232488
/proc/meminfo: memFree=44434132/131524600 swapFree=131067876/131071996
[pid=232396] ppid=232393 vsize=1442592 memory=1338896 CPUtime=400.59 cores=0,2
/proc/232396/stat : 232396 (roundingsat) R 232393 232396 226953 0 -1 4194304 184289 0 0 0 36641 3418 0 0 20 0 1 0 19127330 1477214208 334724 134679101440 4194304 8254037 140723028311040 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 33226752 140723028317020 140723028317282 140723028317282 140723028324297 0
/proc/232396/statm: 360648 334724 1867 992 0 352506 0
Current children cumulated CPU time: 400.59 s
Current children cumulated vsize: 1442592 KiB
Current children cumulated memory: 1338896 KiB

[startup+462.3 s]
/proc/loadavg: 4.19 4.20 4.16 5/258 232544
/proc/meminfo: memFree=65556928/131524600 swapFree=131067876/131071996
[pid=232396] ppid=232393 vsize=1442592 memory=1339504 CPUtime=460.37 cores=0,2
/proc/232396/stat : 232396 (roundingsat) R 232393 232396 226953 0 -1 4194304 184596 0 0 0 42616 3421 0 0 20 0 1 0 19127330 1477214208 334876 134679101440 4194304 8254037 140723028311040 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 33226752 140723028317020 140723028317282 140723028317282 140723028324297 0
/proc/232396/statm: 360648 334876 1867 992 0 352506 0

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

[startup+3162.3 s]
/proc/loadavg: 2.08 2.17 2.74 3/245 233880
/proc/meminfo: memFree=85183184/131524600 swapFree=131067876/131071996
[pid=232396] ppid=232393 vsize=2374564 memory=2130812 CPUtime=3151.31 cores=0,2
/proc/232396/stat : 232396 (roundingsat) R 232393 232396 226953 0 -1 4194304 275234 0 0 0 308884 6247 0 0 20 0 1 0 19127330 2431553536 532703 134679101440 4194304 8254037 140723028311040 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 33226752 140723028317020 140723028317282 140723028317282 140723028324297 0
/proc/232396/statm: 593641 532703 1867 992 0 585499 0
Current children cumulated CPU time: 3151.31 s
Current children cumulated vsize: 2374564 KiB
Current children cumulated memory: 2130812 KiB

[startup+3222.3 s]
/proc/loadavg: 2.17 2.18 2.71 3/245 233892
/proc/meminfo: memFree=85097328/131524600 swapFree=131067876/131071996
[pid=232396] ppid=232393 vsize=2374564 memory=2130812 CPUtime=3211.14 cores=0,2
/proc/232396/stat : 232396 (roundingsat) R 232393 232396 226953 0 -1 4194304 275525 0 0 0 314865 6249 0 0 20 0 1 0 19127330 2431553536 532703 134679101440 4194304 8254037 140723028311040 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 33226752 140723028317020 140723028317282 140723028317282 140723028324297 0
/proc/232396/statm: 593641 532703 1867 992 0 585499 0
Current children cumulated CPU time: 3211.14 s
Current children cumulated vsize: 2374564 KiB
Current children cumulated memory: 2130812 KiB

[startup+3282.3 s]
/proc/loadavg: 2.15 2.17 2.67 3/244 233903
/proc/meminfo: memFree=85020460/131524600 swapFree=131067876/131071996
[pid=232396] ppid=232393 vsize=2374564 memory=2130812 CPUtime=3270.96 cores=0,2
/proc/232396/stat : 232396 (roundingsat) R 232393 232396 226953 0 -1 4194304 275800 0 0 0 320846 6250 0 0 20 0 1 0 19127330 2431553536 532703 134679101440 4194304 8254037 140723028311040 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 33226752 140723028317020 140723028317282 140723028317282 140723028324297 0
/proc/232396/statm: 593641 532703 1867 992 0 585499 0
Current children cumulated CPU time: 3270.96 s
Current children cumulated vsize: 2374564 KiB
Current children cumulated memory: 2130812 KiB

[startup+3342.3 s]
/proc/loadavg: 2.24 2.19 2.64 3/244 234300
/proc/meminfo: memFree=85048336/131524600 swapFree=131067876/131071996
[pid=232396] ppid=232393 vsize=2374564 memory=2130812 CPUtime=3330.81 cores=0,2
/proc/232396/stat : 232396 (roundingsat) R 232393 232396 226953 0 -1 4194304 276201 0 0 0 326829 6252 0 0 20 0 1 0 19127330 2431553536 532703 134679101440 4194304 8254037 140723028311040 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 33226752 140723028317020 140723028317282 140723028317282 140723028324297 0
/proc/232396/statm: 593641 532703 1867 992 0 585499 0
Current children cumulated CPU time: 3330.81 s
Current children cumulated vsize: 2374564 KiB
Current children cumulated memory: 2130812 KiB

[startup+3402.3 s]
/proc/loadavg: 2.15 2.17 2.60 3/244 234311
/proc/meminfo: memFree=84986176/131524600 swapFree=131067876/131071996
[pid=232396] ppid=232393 vsize=2374564 memory=2130812 CPUtime=3390.65 cores=0,2
/proc/232396/stat : 232396 (roundingsat) R 232393 232396 226953 0 -1 4194304 276533 0 0 0 332811 6254 0 0 20 0 1 0 19127330 2431553536 532703 134679101440 4194304 8254037 140723028311040 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 33226752 140723028317020 140723028317282 140723028317282 140723028324297 0
/proc/232396/statm: 593641 532703 1867 992 0 585499 0
Current children cumulated CPU time: 3390.65 s
Current children cumulated vsize: 2374564 KiB
Current children cumulated memory: 2130812 KiB

[startup+3462.3 s]
/proc/loadavg: 2.24 2.18 2.58 3/244 234322
/proc/meminfo: memFree=84933988/131524600 swapFree=131067876/131071996
[pid=232396] ppid=232393 vsize=2374564 memory=2130812 CPUtime=3450.48 cores=0,2
/proc/232396/stat : 232396 (roundingsat) R 232393 232396 226953 0 -1 4194304 276860 0 0 0 338793 6255 0 0 20 0 1 0 19127330 2431553536 532703 134679101440 4194304 8254037 140723028311040 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 33226752 140723028317020 140723028317282 140723028317282 140723028324297 0
/proc/232396/statm: 593641 532703 1867 992 0 585499 0
Current children cumulated CPU time: 3450.48 s
Current children cumulated vsize: 2374564 KiB
Current children cumulated memory: 2130812 KiB

[startup+3522.3 s]
/proc/loadavg: 2.19 2.18 2.55 3/246 234503
/proc/meminfo: memFree=84875176/131524600 swapFree=131067876/131071996
[pid=232396] ppid=232393 vsize=2374564 memory=2131180 CPUtime=3510.33 cores=0,2
/proc/232396/stat : 232396 (roundingsat) R 232393 232396 226953 0 -1 4194304 277235 0 0 0 344776 6257 0 0 20 0 1 0 19127330 2431553536 532795 134679101440 4194304 8254037 140723028311040 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 33226752 140723028317020 140723028317282 140723028317282 140723028324297 0
/proc/232396/statm: 593641 532795 1867 992 0 585499 0
Current children cumulated CPU time: 3510.33 s
Current children cumulated vsize: 2374564 KiB
Current children cumulated memory: 2131180 KiB

[startup+3582.3 s]
/proc/loadavg: 2.12 2.16 2.52 3/246 234513
/proc/meminfo: memFree=84637524/131524600 swapFree=131067876/131071996
[pid=232396] ppid=232393 vsize=2427880 memory=2160372 CPUtime=3570.16 cores=0,2
/proc/232396/stat : 232396 (roundingsat) R 232393 232396 226953 0 -1 4194304 278334 0 0 0 350757 6259 0 0 20 0 1 0 19127330 2486149120 540093 134679101440 4194304 8254037 140723028311040 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 33226752 140723028317020 140723028317282 140723028317282 140723028324297 0
/proc/232396/statm: 606970 540093 1867 992 0 598828 0
Current children cumulated CPU time: 3570.16 s
Current children cumulated vsize: 2427880 KiB
Current children cumulated memory: 2160372 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3612.3 s]
/proc/loadavg: 2.14 2.16 2.51 3/246 234518
/proc/meminfo: memFree=84637404/131524600 swapFree=131067876/131071996
[pid=232396] ppid=232393 vsize=2427880 memory=2160372 CPUtime=3600.07 cores=0,2
/proc/232396/stat : 232396 (roundingsat) R 232393 232396 226953 0 -1 4194304 278520 0 0 0 353747 6260 0 0 20 0 1 0 19127330 2486149120 540093 134679101440 4194304 8254037 140723028311040 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 33226752 140723028317020 140723028317282 140723028317282 140723028324297 0
/proc/232396/statm: 606970 540093 1867 992 0 598828 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 2427880 KiB
Current children cumulated memory: 2160372 KiB

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

Sending SIGKILL to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=3539.47 s, system=62.6111 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+3612.8 s]
/proc/loadavg: 2.14 2.16 2.51 3/246 234518
/proc/meminfo: memFree=84637404/131524600 swapFree=131067876/131071996
[pid=232396] ppid=232393 vsize=2427880 memory=2160372 CPUtime=3600.56 cores=0,2
/proc/232396/stat : 232396 (roundingsat) R 232393 232396 226953 0 -1 4194304 278520 0 0 0 353796 6260 0 0 20 0 1 0 19127330 2486149120 540093 134679101440 4194304 8254037 140723028311040 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 33226752 140723028317020 140723028317282 140723028317282 140723028324297 0
/proc/232396/statm: 606970 540093 1867 992 0 598828 0
Current children cumulated CPU time: 3600.56 s
Current children cumulated vsize: 2427880 KiB
Current children cumulated memory: 2160372 KiB

[startup+3613.6 s]
/proc/loadavg: 2.14 2.16 2.51 3/246 234518
/proc/meminfo: memFree=84637404/131524600 swapFree=131067876/131071996
[pid=232396] ppid=232393 vsize=2427880 memory=2160372 CPUtime=3601.36 cores=0,2
/proc/232396/stat : 232396 (roundingsat) R 232393 232396 226953 0 -1 4194304 278520 0 0 0 353876 6260 0 0 20 0 1 0 19127330 2486149120 540093 134679101440 4194304 8254037 140723028311040 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 33226752 140723028317020 140723028317282 140723028317282 140723028324297 0
/proc/232396/statm: 606970 540093 1867 992 0 598828 0
Current children cumulated CPU time: 3601.36 s
Current children cumulated vsize: 2427880 KiB
Current children cumulated memory: 2160372 KiB

[startup+3614 s]*
/proc/loadavg: 2.14 2.16 2.51 3/246 234518
/proc/meminfo: memFree=84637400/131524600 swapFree=131067876/131071996
[pid=232396] ppid=232393 vsize=2427880 memory=2160372 CPUtime=3601.77 cores=0,2
/proc/232396/stat : 232396 (roundingsat) R 232393 232396 226953 0 -1 4194304 278520 0 0 0 353917 6260 0 0 20 0 1 0 19127330 2486149120 540093 134679101440 4194304 8254037 140723028311040 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 33226752 140723028317020 140723028317282 140723028317282 140723028324297 0
/proc/232396/statm: 606970 540093 1867 992 0 598828 0
Current children cumulated CPU time: 3601.77 s
Current children cumulated vsize: 2427880 KiB
Current children cumulated memory: 2160372 KiB

[startup+3614.2 s]
/proc/loadavg: 2.14 2.16 2.51 3/246 234518
/proc/meminfo: memFree=84637400/131524600 swapFree=131067876/131071996
[pid=232396] ppid=232393 vsize=2427880 memory=2160372 CPUtime=3601.96 cores=0,2
/proc/232396/stat : 232396 (roundingsat) R 232393 232396 226953 0 -1 4194304 278520 0 0 0 353936 6260 0 0 20 0 1 0 19127330 2486149120 540093 134679101440 4194304 8254037 140723028311040 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 33226752 140723028317020 140723028317282 140723028317282 140723028324297 0
/proc/232396/statm: 606970 540093 1867 992 0 598828 0
Current children cumulated CPU time: 3601.96 s
Current children cumulated vsize: 2427880 KiB
Current children cumulated memory: 2160372 KiB

[startup+3614.3 s]
/proc/loadavg: 2.14 2.16 2.51 3/246 234518
/proc/meminfo: memFree=84637400/131524600 swapFree=131067876/131071996
[pid=232396] ppid=232393 vsize=2427880 memory=2160372 CPUtime=3602.06 cores=0,2
/proc/232396/stat : 232396 (roundingsat) R 232393 232396 226953 0 -1 4194304 278520 0 0 0 353946 6260 0 0 20 0 1 0 19127330 2486149120 540093 134679101440 4194304 8254037 140723028311040 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 33226752 140723028317020 140723028317282 140723028317282 140723028324297 0
/proc/232396/statm: 606970 540093 1867 992 0 598828 0
Current children cumulated CPU time: 3602.06 s
Current children cumulated vsize: 2427880 KiB
Current children cumulated memory: 2160372 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 3614.31
CPU time (s): 3602.08
CPU user time (s): 3539.47
CPU system time (s): 62.6111
CPU usage (%): 99.6616
Max. virtual memory (cumulated for all children) (KiB): 2427880
Max. memory (cumulated for all children) (KiB): 2160372

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3539.47
system time used= 62.6111
maximum resident set size= 2160372
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 278520
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= 61
involuntary context switches= 25305


# summary of solver processes directly reported to runsolver:
#   pid: 232396
#   total CPU time (s): 3602.08
#   total CPU user time (s): 3539.47
#   total CPU system time (s): 62.6111

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.60557 second user time and 17.1371 second system time

The end

Begin job on nodeC031 at 2024-07-24 14:59:38
IDJOB=4457151
IDBENCH=158206
IDSOLVER=3085
FILE ID=nodeC031/4457151-1721825977
RUNJOBID= nodeC031-1721817188-226963
SLURM_JOB_ID= 7816894
Free space on /tmp= 889860 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-4457151-1721825977/watcher-4457151-1721825977 -o /tmp/evaluation-result-4457151-1721825977/solver-4457151-1721825977 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1721817188-226963 --watchdog 3760  roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4457151-1721825977 --lp-cut-gomory=0 HOME/instance-4457151-1721825977.opb

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

MD5SUM BENCH= 0c5a5feecc6e9ebbd7fc1e1b28678077
RANDOM SEED=70285440

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        52089800 kB
MemAvailable:   121168368 kB
Buffers:          255272 kB
Cached:         69363196 kB
SwapCached:          452 kB
Active:          2566176 kB
Inactive:       75795604 kB
Active(anon):       1732 kB
Inactive(anon):  8795220 kB
Active(file):    2564444 kB
Inactive(file): 67000384 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131067876 kB
Dirty:            432124 kB
Writeback:             0 kB
AnonPages:       8738584 kB
Mapped:           120780 kB
Shmem:             53492 kB
KReclaimable:     575308 kB
Slab:             709204 kB
SReclaimable:     575308 kB
SUnreclaim:       133896 kB
KernelStack:        4272 kB
PageTables:        26868 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:   10323336 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            13280 kB
HardwareCorrupted:     0 kB
AnonHugePages:   4276224 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:      367316 kB
DirectMap2M:    37154816 kB
DirectMap1G:    98566144 kB

Free space on /tmp at the end= 889964 MiB
End job on nodeC031 at 2024-07-24 15:59:52