0.00/0.00 c RoundingSat 2
0.00/0.00 c branch
0.00/0.00 c commit
0.00/0.00 c [STEP] parsing instance
0.00/0.02 c [STEP] solving
0.00/0.02 c #variables 6402 #constraints 3348
0.00/0.02 c SMALL=int, LARGE=long long
0.00/0.02 c bounds - >= 145485 @ 0.020051
0.00/0.02 c stratification level: 0
0.09/0.16 c bounds - >= 2860426 @ 0.02923
0.09/0.16 c bounds - >= 2862456 @ 0.030015
0.09/0.16 c bounds - >= 2863163 @ 0.030354
0.09/0.16 c bounds - >= 3310426 @ 0.030499
0.09/0.16 c bounds - >= 3455374 @ 0.031225
0.09/0.16 c bounds - >= 3599974 @ 0.031978
0.09/0.16 c bounds - >= 3742153 @ 0.032345
0.09/0.16 c bounds - >= 3743107 @ 0.03253
0.09/0.16 c bounds - >= 3743399 @ 0.033396
0.09/0.16 c bounds - >= 3884374 @ 0.034179
0.09/0.16 c bounds - >= 4026873 @ 0.034918
0.09/0.16 c bounds - >= 4168093 @ 0.035655
0.09/0.16 c bounds - >= 4309648 @ 0.036401
0.09/0.16 c bounds - >= 4310214 @ 0.037332
0.09/0.16 c bounds - >= 4310957 @ 0.038306
0.09/0.16 c bounds - >= 4311781 @ 0.039333
0.09/0.16 c bounds - >= 4311938 @ 0.040322
0.09/0.16 c bounds - >= 4759648 @ 0.041374
0.09/0.16 c bounds - >= 5208402 @ 0.042237
0.09/0.16 c bounds - >= 5351954 @ 0.043122
0.09/0.16 c bounds - >= 5495055 @ 0.044069
0.09/0.16 c bounds - >= 5638367 @ 0.045105
0.09/0.16 c bounds - >= 5780447 @ 0.045903
0.09/0.16 c bounds - >= 5923978 @ 0.045986
0.09/0.16 c bounds - >= 6067713 @ 0.045986
0.09/0.16 c bounds - >= 6210871 @ 0.045986
0.09/0.16 c bounds - >= 6353594 @ 0.045986
0.09/0.16 c bounds - >= 6495549 @ 0.045986
0.09/0.16 c bounds - >= 6637249 @ 0.045986
0.09/0.16 c bounds - >= 6780693 @ 0.046001
0.09/0.16 c bounds - >= 6923160 @ 0.047143
0.09/0.16 c bounds - >= 7064138 @ 0.047965
0.09/0.16 c bounds - >= 7206988 @ 0.047965
0.09/0.16 c bounds - >= 7349409 @ 0.047965
0.09/0.16 c bounds - >= 7491929 @ 0.047965
0.09/0.16 c bounds - >= 7633486 @ 0.048126
0.09/0.16 c bounds - >= 7773901 @ 0.049214
0.09/0.16 c bounds - >= 7914571 @ 0.049952
0.09/0.16 c bounds - >= 8056937 @ 0.050644
0.09/0.16 c bounds - >= 8196177 @ 0.050949
0.09/0.16 c bounds - >= 8336481 @ 0.052075
0.09/0.16 c bounds - >= 8477455 @ 0.052946
0.09/0.16 c bounds - >= 8617657 @ 0.052946
0.09/0.16 c bounds - >= 8757424 @ 0.053641
0.09/0.16 c bounds - >= 8897448 @ 0.053941
0.09/0.16 c bounds - >= 9037098 @ 0.055025
0.09/0.16 c bounds - >= 9176227 @ 0.056197
0.09/0.16 c bounds - >= 9317813 @ 0.056935
0.09/0.16 c bounds - >= 9456307 @ 0.057586
0.09/0.16 c bounds - >= 9597903 @ 0.057932
0.09/0.16 c bounds - >= 9739588 @ 0.058095
0.09/0.16 c bounds - >= 9879473 @ 0.059176
0.09/0.16 c bounds - >= 10019856 @ 0.059925
0.09/0.16 c bounds - >= 10161274 @ 0.059925
0.09/0.16 c bounds - >= 10300892 @ 0.060681
0.09/0.16 c bounds - >= 10441884 @ 0.060922
0.09/0.16 c bounds - >= 10580927 @ 0.062042
0.09/0.16 c bounds - >= 10719581 @ 0.062918
0.09/0.16 c bounds - >= 10860829 @ 0.062918
0.09/0.16 c bounds - >= 10999534 @ 0.06355
0.09/0.16 c bounds - >= 11141018 @ 0.063915
0.09/0.16 c bounds - >= 11279789 @ 0.064085
0.09/0.16 c bounds - >= 11419915 @ 0.06517
0.09/0.16 c bounds - >= 11558700 @ 0.066393
0.09/0.16 c bounds - >= 11698322 @ 0.066906
0.09/0.16 c bounds - >= 11838110 @ 0.066906
0.09/0.16 c bounds - >= 11977506 @ 0.067987
0.09/0.16 c bounds - >= 12116982 @ 0.069154
0.09/0.16 c bounds - >= 12256342 @ 0.070349
0.09/0.16 c bounds - >= 12396240 @ 0.070895
0.09/0.16 c bounds - >= 12537651 @ 0.070895
0.09/0.16 c bounds - >= 12676386 @ 0.070895
0.09/0.16 c bounds - >= 12817006 @ 0.0721
0.09/0.16 c bounds - >= 12957265 @ 0.072888
0.09/0.16 c bounds - >= 13097124 @ 0.072888
0.09/0.16 c bounds - >= 13238191 @ 0.073568
0.09/0.16 c bounds - >= 13378033 @ 0.073885
0.09/0.16 c bounds - >= 13518412 @ 0.074825
0.09/0.16 c bounds - >= 13658201 @ 0.075948
0.09/0.16 c bounds - >= 13797721 @ 0.076815
0.09/0.16 c bounds - >= 13937868 @ 0.076879
0.09/0.16 c bounds - >= 14078624 @ 0.076879
0.09/0.16 c bounds - >= 14218449 @ 0.076879
0.09/0.16 c bounds - >= 14357830 @ 0.076879
0.09/0.16 c bounds - >= 14498247 @ 0.077575
0.09/0.16 c bounds - >= 14638602 @ 0.078671
0.09/0.16 c bounds - >= 14779133 @ 0.078872
0.09/0.16 c bounds - >= 14919483 @ 0.079856
0.09/0.16 c bounds - >= 15058930 @ 0.080944
0.09/0.16 c bounds - >= 15198918 @ 0.082016
0.09/0.16 c bounds - >= 15338988 @ 0.08309
0.09/0.16 c bounds - >= 15477892 @ 0.08415
0.09/0.16 c bounds - >= 15618128 @ 0.084862
0.09/0.16 c bounds - >= 15759118 @ 0.084862
0.09/0.16 c bounds - >= 15899784 @ 0.084862
0.09/0.16 c bounds - >= 16039535 @ 0.084862
0.09/0.16 c bounds - >= 16177809 @ 0.085479
0.09/0.16 c bounds - >= 16317349 @ 0.085858
0.09/0.16 c bounds - >= 16456950 @ 0.085858
0.09/0.16 c bounds - >= 16597151 @ 0.085858
0.09/0.16 c bounds - >= 16737076 @ 0.085858
0.09/0.16 c bounds - >= 16875778 @ 0.086803
0.09/0.16 c bounds - >= 17016199 @ 0.08784
0.09/0.16 c bounds - >= 17154386 @ 0.088845
0.09/0.16 c bounds - >= 17294296 @ 0.089867
0.09/0.16 c bounds - >= 17434302 @ 0.090919
0.09/0.16 c bounds - >= 17573960 @ 0.091935
0.09/0.16 c bounds - >= 17714037 @ 0.092946
0.09/0.16 c bounds - >= 17852906 @ 0.093961
0.09/0.16 c bounds - >= 17993284 @ 0.094987
0.09/0.16 c bounds - >= 18133335 @ 0.095834
0.09/0.16 c bounds - >= 18273954 @ 0.096012
0.09/0.16 c bounds - >= 18414454 @ 0.096995
0.09/0.16 c bounds - >= 18554503 @ 0.09801
0.09/0.16 c bounds - >= 18694749 @ 0.099008
0.09/0.16 c bounds - >= 18834541 @ 0.099828
0.09/0.16 c bounds - >= 18972927 @ 0.10002
0.09/0.16 c bounds - >= 19113330 @ 0.101057
0.09/0.16 c bounds - >= 19253859 @ 0.102055
0.09/0.16 c bounds - >= 19394194 @ 0.103045
0.09/0.16 c bounds - >= 19534490 @ 0.104026
0.09/0.16 c bounds - >= 19673058 @ 0.105003
0.09/0.16 c bounds - >= 19813642 @ 0.105979
0.30/0.33 c bounds - >= 19952739 @ 0.106965
0.30/0.33 c bounds - >= 20092674 @ 0.107927
0.30/0.33 c bounds - >= 20232597 @ 0.108893
0.30/0.33 c bounds - >= 20372003 @ 0.109853
0.30/0.33 c bounds - >= 20511735 @ 0.110782
0.30/0.33 c bounds - >= 20651676 @ 0.11172
0.30/0.33 c bounds - >= 20791142 @ 0.112642
0.30/0.33 c bounds - >= 20931187 @ 0.113565
0.30/0.33 c bounds - >= 21070934 @ 0.114488
0.30/0.33 c bounds - >= 21210666 @ 0.11544
0.30/0.33 c bounds - >= 21350710 @ 0.115791
0.30/0.33 c bounds - >= 21490454 @ 0.116313
0.30/0.33 c bounds - >= 21630290 @ 0.116794
0.30/0.33 c bounds - >= 21769966 @ 0.116794
0.30/0.33 c bounds - >= 21909951 @ 0.116794
0.30/0.33 c bounds - >= 22049700 @ 0.116969
0.30/0.33 c bounds - >= 22189421 @ 0.117881
0.30/0.33 c bounds - >= 22328687 @ 0.118765
0.30/0.33 c bounds - >= 22468177 @ 0.119665
0.30/0.33 c bounds - >= 22607078 @ 0.120554
0.30/0.33 c bounds - >= 22746462 @ 0.120784
0.30/0.33 c bounds - >= 22886095 @ 0.120784
0.30/0.33 c bounds - >= 23025683 @ 0.121211
0.30/0.33 c bounds - >= 23165155 @ 0.122058
0.30/0.33 c bounds - >= 23304478 @ 0.122924
0.30/0.33 c bounds - >= 23443387 @ 0.123772
0.30/0.33 c bounds - >= 23582566 @ 0.124643
0.30/0.33 c bounds - >= 23720814 @ 0.125506
0.30/0.33 c bounds - >= 23859016 @ 0.125772
0.30/0.33 c bounds - >= 23997644 @ 0.125773
0.30/0.33 c bounds - >= 24136275 @ 0.126053
0.30/0.33 c bounds - >= 24274981 @ 0.126891
0.30/0.33 c bounds - >= 24275493 @ 0.127906
0.30/0.33 c bounds - >= 24278230 @ 0.129162
0.30/0.33 c bounds - >= 24318278 @ 0.129764
0.30/0.33 c bounds - >= 24319232 @ 0.129764
0.30/0.33 c bounds - >= 24319524 @ 0.129764
0.30/0.33 c bounds - >= 24322382 @ 0.131681
0.30/0.33 c bounds - >= 24362923 @ 0.132903
0.30/0.33 c bounds - >= 24364092 @ 0.133754
0.30/0.33 c bounds - >= 24365282 @ 0.134751
0.30/0.33 c bounds - >= 24366320 @ 0.135749
0.30/0.33 c bounds - >= 24367239 @ 0.137194
0.30/0.33 c bounds - >= 24405115 @ 0.138741
0.30/0.33 c bounds - >= 24406008 @ 0.13964
0.30/0.33 c bounds - >= 24438935 @ 0.1405
0.30/0.33 c bounds - >= 24439452 @ 0.141861
0.30/0.33 c bounds - >= 24440286 @ 0.142924
0.30/0.33 c bounds - >= 24440632 @ 0.14419
0.30/0.33 c bounds - >= 24441024 @ 0.144728
0.30/0.33 c bounds - >= 24441496 @ 0.144728
0.30/0.33 c bounds - >= 24441792 @ 0.144728
0.30/0.33 c bounds - >= 24441961 @ 0.145733
0.30/0.33 c bounds - >= 24442160 @ 0.147226
0.30/0.33 c bounds - >= 24442565 @ 0.147719
0.30/0.33 c bounds - >= 24442816 @ 0.148717
0.30/0.33 c bounds - >= 24442978 @ 0.148717
0.30/0.33 c bounds - >= 24443348 @ 0.149028
0.30/0.33 c bounds - >= 24443588 @ 0.149714
0.30/0.33 c bounds - >= 24443764 @ 0.149965
0.30/0.33 c bounds - >= 24444258 @ 0.151375
0.30/0.33 c bounds - >= 24444663 @ 0.151897
0.30/0.33 c bounds - >= 24444919 @ 0.152707
0.30/0.33 c bounds - >= 24445068 @ 0.153887
0.30/0.33 c bounds - >= 24445558 @ 0.154703
0.30/0.33 c bounds - >= 24447555 @ 0.155914
0.30/0.33 c bounds - >= 24447670 @ 0.156699
0.30/0.33 c bounds - >= 24448174 @ 0.156878
0.30/0.33 c bounds - >= 24448899 @ 0.157696
0.30/0.33 c bounds - >= 24451080 @ 0.157696
0.30/0.33 c bounds - >= 24453242 @ 0.157696
0.30/0.33 c bounds - >= 24453760 @ 0.158692
0.30/0.33 c bounds - >= 24454736 @ 0.159579
0.30/0.33 c bounds - >= 24454757 @ 0.161151
0.30/0.33 c bounds - >= 24456888 @ 0.161686
0.30/0.33 c bounds - >= 24457108 @ 0.163241
0.30/0.33 c bounds - >= 24458650 @ 0.16487
0.30/0.33 c bounds - >= 24458916 @ 0.166296
0.30/0.33 c bounds - >= 24459073 @ 0.167989
0.30/0.33 c bounds - >= 24459403 @ 0.168672
0.30/0.33 c bounds - >= 24459499 @ 0.170215
0.30/0.33 c bounds - >= 24459737 @ 0.171663
0.30/0.33 c bounds - >= 24460572 @ 0.172663
0.30/0.33 c bounds - >= 24462454 @ 0.173672
0.30/0.33 c bounds - >= 24462862 @ 0.175466
0.30/0.33 c bounds - >= 24462873 @ 0.177102
0.30/0.33 c bounds - >= 24464707 @ 0.178998
0.30/0.33 c bounds - >= 24466903 @ 0.180088
0.30/0.33 c bounds - >= 24467208 @ 0.18149
0.30/0.33 c bounds - >= 24469397 @ 0.183127
0.30/0.33 c bounds - >= 24469565 @ 0.184572
0.30/0.33 c bounds - >= 24470047 @ 0.185638
0.30/0.33 c bounds - >= 24470321 @ 0.185639
0.30/0.33 c bounds - >= 24470377 @ 0.186637
0.30/0.33 c bounds - >= 24471238 @ 0.187489
0.30/0.33 c bounds - >= 24471326 @ 0.188926
0.30/0.33 c bounds - >= 24472035 @ 0.189631
0.30/0.33 c bounds - >= 24472738 @ 0.191092
0.30/0.33 c bounds - >= 24473079 @ 0.191627
0.30/0.33 c bounds - >= 24473580 @ 0.192624
0.30/0.33 c bounds - >= 24473902 @ 0.193736
0.30/0.33 c bounds - >= 24475018 @ 0.195314
0.30/0.33 c bounds - >= 24475238 @ 0.19695
0.30/0.33 c bounds - >= 24475438 @ 0.198497
0.30/0.33 c bounds - >= 24475647 @ 0.20006
0.30/0.33 c bounds - >= 24475650 @ 0.201814
0.30/0.33 c bounds - >= 24477485 @ 0.202823
0.30/0.33 c bounds - >= 24477655 @ 0.2036
0.30/0.33 c bounds - >= 24478192 @ 0.20385
0.30/0.33 c bounds - >= 24478697 @ 0.204596
0.30/0.33 c bounds - >= 24479158 @ 0.205947
0.30/0.33 c bounds - >= 24479512 @ 0.206592
0.30/0.33 c bounds - >= 24479915 @ 0.207977
0.30/0.33 c bounds - >= 24480270 @ 0.209617
0.30/0.33 c bounds - >= 24481473 @ 0.210584
0.30/0.33 c bounds - >= 24483132 @ 0.211581
0.30/0.33 c bounds - >= 24483323 @ 0.211804
0.30/0.33 c bounds - >= 24483825 @ 0.21324
0.30/0.33 c bounds - >= 24484086 @ 0.213736
0.30/0.33 c bounds - >= 24484557 @ 0.214573
0.30/0.33 c bounds - >= 24485060 @ 0.215822
0.50/0.58 c bounds - >= 24485134 @ 0.216569
0.50/0.58 c bounds - >= 24485180 @ 0.218086
0.50/0.58 c bounds - >= 24485445 @ 0.219657
0.50/0.58 c bounds - >= 24485969 @ 0.221375
0.50/0.58 c bounds - >= 24486779 @ 0.222062
0.50/0.58 c bounds - >= 24487092 @ 0.222768
0.50/0.58 c bounds - >= 24487989 @ 0.223554
0.50/0.58 c bounds - >= 24488410 @ 0.223926
0.50/0.58 c bounds - >= 24489659 @ 0.224715
0.50/0.58 c bounds - >= 24489750 @ 0.226238
0.50/0.58 c bounds - >= 24489903 @ 0.226949
0.50/0.58 c bounds - >= 24490141 @ 0.227544
0.50/0.58 c bounds - >= 24490317 @ 0.227544
0.50/0.58 c bounds - >= 24490421 @ 0.228771
0.50/0.58 c bounds - >= 24490462 @ 0.229536
0.50/0.58 c bounds - >= 24491704 @ 0.230533
0.50/0.58 c bounds - >= 24491979 @ 0.231004
0.50/0.58 c bounds - >= 24492448 @ 0.2317
0.50/0.58 c bounds - >= 24493079 @ 0.233235
0.50/0.58 c bounds - >= 24493512 @ 0.233835
0.50/0.58 c bounds - >= 24494502 @ 0.234583
0.50/0.58 c bounds - >= 24494621 @ 0.235509
0.50/0.58 c bounds - >= 24494983 @ 0.236614
0.50/0.58 c bounds - >= 24495224 @ 0.237504
0.50/0.58 c bounds - >= 24496268 @ 0.237969
0.50/0.58 c bounds - >= 24497420 @ 0.238502
0.50/0.58 c bounds - >= 24497616 @ 0.238695
0.50/0.58 c bounds - >= 24497721 @ 0.239499
0.50/0.58 c bounds - >= 24497872 @ 0.239697
0.50/0.58 c bounds - >= 24498023 @ 0.240496
0.50/0.58 c bounds - >= 24498363 @ 0.240906
0.50/0.58 c bounds - >= 24498767 @ 0.241493
0.50/0.58 c bounds - >= 24498889 @ 0.242491
0.50/0.58 c bounds - >= 24499224 @ 0.242529
0.50/0.58 c bounds - >= 24499289 @ 0.243489
0.50/0.58 c bounds - >= 24500113 @ 0.244114
0.50/0.58 c bounds - >= 24500114 @ 0.244486
0.50/0.58 c bounds - >= 24500290 @ 0.245799
0.50/0.58 c bounds - >= 24500333 @ 0.247687
0.50/0.58 c bounds - >= 24500979 @ 0.249322
0.50/0.58 c bounds - >= 24501034 @ 0.249476
0.50/0.58 c bounds - >= 24501555 @ 0.250473
0.50/0.58 c bounds - >= 24502480 @ 0.250473
0.50/0.58 c bounds - >= 24502600 @ 0.251915
0.50/0.58 c bounds - >= 24502608 @ 0.252848
0.50/0.58 c bounds - >= 24502859 @ 0.25486
0.50/0.58 c bounds - >= 24502944 @ 0.256456
0.50/0.58 c bounds - >= 24503827 @ 0.257621
0.50/0.58 c bounds - >= 24503838 @ 0.258454
0.50/0.58 c bounds - >= 24503994 @ 0.25897
0.50/0.58 c bounds - >= 24504147 @ 0.260671
0.50/0.58 c bounds - >= 24504542 @ 0.262362
0.50/0.58 c bounds - >= 24505343 @ 0.264448
0.50/0.58 c bounds - >= 24505602 @ 0.26544
0.50/0.58 c bounds - >= 24505605 @ 0.266692
0.50/0.58 c bounds - >= 24505897 @ 0.268293
0.50/0.58 c bounds - >= 24505955 @ 0.268436
0.50/0.58 c bounds - >= 24506591 @ 0.269662
0.50/0.58 c bounds - >= 24506903 @ 0.270432
0.50/0.58 c bounds - >= 24507475 @ 0.271024
0.50/0.58 c bounds - >= 24507970 @ 0.272855
0.50/0.58 c bounds - >= 24508676 @ 0.274424
0.50/0.58 c bounds - >= 24509375 @ 0.275564
0.50/0.58 c bounds - >= 24509576 @ 0.27642
0.50/0.58 c bounds - >= 24510147 @ 0.277418
0.50/0.58 c bounds - >= 24510587 @ 0.278734
0.50/0.58 c bounds - >= 24510594 @ 0.279434
0.50/0.58 c bounds - >= 24510746 @ 0.282602
0.50/0.58 c bounds - >= 24511039 @ 0.284281
0.50/0.58 c bounds - >= 24511256 @ 0.285939
0.50/0.58 c bounds - >= 24511824 @ 0.287874
0.50/0.58 c bounds - >= 24512040 @ 0.289389
0.50/0.58 c bounds - >= 24512574 @ 0.289658
0.50/0.58 c bounds - >= 24513098 @ 0.291422
0.50/0.58 c bounds - >= 24513259 @ 0.293756
0.50/0.58 c bounds - >= 24513745 @ 0.296538
0.50/0.58 c bounds - >= 24514112 @ 0.297611
0.50/0.58 c bounds - >= 24514319 @ 0.299387
0.50/0.58 c bounds - >= 24514400 @ 0.300365
0.50/0.58 c bounds - >= 24514627 @ 0.301364
0.50/0.58 c bounds - >= 24514918 @ 0.301364
0.50/0.58 c bounds - >= 24515074 @ 0.302719
0.50/0.58 c bounds - >= 24515421 @ 0.303669
0.50/0.58 c bounds - >= 24515615 @ 0.305454
0.50/0.58 c bounds - >= 24515951 @ 0.307389
0.50/0.58 c bounds - >= 24516054 @ 0.309162
0.50/0.58 c bounds - >= 24516309 @ 0.310975
0.50/0.58 c bounds - >= 24516419 @ 0.31247
0.50/0.58 c bounds - >= 24516717 @ 0.314439
0.50/0.58 c bounds - >= 24516758 @ 0.315335
0.50/0.58 c bounds - >= 24516888 @ 0.316845
0.50/0.58 c bounds - >= 24516899 @ 0.319723
0.50/0.58 c bounds - >= 24517047 @ 0.322931
0.50/0.58 c bounds - >= 24517308 @ 0.323635
0.50/0.58 c bounds - >= 24517544 @ 0.325312
0.50/0.58 c bounds - >= 24517552 @ 0.325815
0.50/0.58 c bounds - >= 24517658 @ 0.327516
0.50/0.58 c bounds - >= 24517693 @ 0.32853
0.50/0.58 c bounds - >= 24517710 @ 0.33356
0.50/0.58 c bounds - >= 24517941 @ 0.335425
0.50/0.58 c bounds - >= 24517998 @ 0.339283
0.50/0.58 c bounds - >= 24518133 @ 0.340281
0.50/0.58 c bounds - >= 24518165 @ 0.342038
0.50/0.58 c bounds - >= 24518355 @ 0.344274
0.50/0.58 c bounds - >= 24518511 @ 0.346582
0.50/0.58 c bounds - >= 24518670 @ 0.348792
0.50/0.58 c bounds - >= 24518790 @ 0.349726
0.50/0.58 c bounds - >= 24518904 @ 0.352175
0.50/0.58 c bounds - >= 24518997 @ 0.354405
0.50/0.58 c bounds - >= 24519046 @ 0.356042
0.50/0.58 c bounds - >= 24519131 @ 0.356519
0.50/0.58 c bounds - >= 24519279 @ 0.357995
0.50/0.58 c bounds - >= 24519376 @ 0.360144
0.50/0.58 c bounds - >= 24519469 @ 0.36127
0.50/0.58 c bounds - >= 24519477 @ 0.363233
0.50/0.58 c bounds - >= 24519532 @ 0.364394
0.50/0.58 c bounds - >= 24519541 @ 0.365799
0.50/0.58 c bounds - >= 24519607 @ 0.367795
0.50/0.58 c bounds - >= 24519672 @ 0.369428
0.50/0.58 c bounds - >= 24519728 @ 0.370219
1.09/1.12 c bounds - >= 24519815 @ 0.371129
1.09/1.12 c bounds - >= 24519828 @ 0.372799
1.09/1.12 c bounds - >= 24519831 @ 0.375158
1.09/1.12 c bounds - >= 24519870 @ 0.376529
1.09/1.12 c bounds - >= 24519925 @ 0.378932
1.09/1.12 c bounds - >= 24519972 @ 0.380199
1.09/1.12 c bounds - >= 24520007 @ 0.382055
1.09/1.12 c bounds - >= 24520034 @ 0.383334
1.09/1.12 c bounds - >= 24520068 @ 0.385183
1.09/1.12 c bounds - >= 24520101 @ 0.387323
1.09/1.12 c bounds - >= 24520125 @ 0.389601
1.09/1.12 c bounds - >= 24520154 @ 0.392323
1.09/1.12 c bounds - >= 24520174 @ 0.393858
1.09/1.12 c bounds - >= 24520197 @ 0.395683
1.09/1.12 c bounds - >= 24520211 @ 0.397178
1.09/1.12 c bounds - >= 24520216 @ 0.399868
1.09/1.12 c bounds - >= 24520230 @ 0.401866
1.09/1.12 c bounds - >= 24520247 @ 0.403331
1.09/1.12 c bounds - >= 24520250 @ 0.407266
1.09/1.12 c bounds - >= 24520266 @ 0.410016
1.09/1.12 c bounds - >= 24520284 @ 0.412472
1.09/1.12 c bounds - >= 24520297 @ 0.414326
1.09/1.12 c bounds - >= 24520308 @ 0.416439
1.09/1.12 c bounds - >= 24520318 @ 0.419155
1.09/1.12 c bounds - >= 24520322 @ 0.422264
1.09/1.12 c bounds - >= 24520331 @ 0.424904
1.09/1.12 c bounds - >= 24520339 @ 0.425404
1.09/1.12 c bounds - >= 24520344 @ 0.428877
1.09/1.12 c bounds - >= 24520347 @ 0.431516
1.09/1.12 c bounds - >= 24520352 @ 0.433618
1.09/1.12 c bounds - >= 24520356 @ 0.435945
1.09/1.12 c bounds - >= 24520359 @ 0.438251
1.09/1.12 c bounds - >= 24520362 @ 0.440456
1.09/1.12 c bounds - >= 24520364 @ 0.441384
1.09/1.12 c bounds - >= 24520366 @ 0.444068
1.09/1.12 c bounds - >= 24520369 @ 0.447062
1.09/1.12 c bounds - >= 24520371 @ 0.449059
1.09/1.12 c bounds - >= 24520373 @ 0.451499
1.09/1.12 c bounds - >= 24520374 @ 0.454073
1.09/1.12 c bounds - >= 24520375 @ 0.455757
1.09/1.12 c bounds - >= 24520376 @ 0.458267
1.09/1.12 c bounds - >= 24520377 @ 0.461023
1.09/1.12 c bounds - >= 24520378 @ 0.464419
1.09/1.12 c bounds - >= 24520379 @ 0.467019
1.09/1.12 c bounds - >= 24520380 @ 0.468789
1.09/1.12 c bounds - >= 24520382 @ 0.472769
1.09/1.12 c bounds - >= 24520383 @ 0.475705
1.09/1.12 c bounds - >= 24520384 @ 0.476337
1.09/1.12 c bounds - >= 24520385 @ 0.479486
1.09/1.12 c bounds - >= 24520386 @ 0.480991
1.09/1.12 c bounds - >= 24520387 @ 0.483461
1.09/1.12 c bounds - >= 24520388 @ 0.485571
1.09/1.12 c bounds - >= 24520391 @ 0.487165
1.09/1.12 c bounds - >= 24520407 @ 0.488478
1.09/1.12 c bounds - >= 24520411 @ 0.492965
1.09/1.12 c bounds - >= 24520412 @ 0.495127
1.09/1.12 c bounds - >= 24520414 @ 0.498249
1.09/1.12 c bounds - >= 24520418 @ 0.501349
1.09/1.12 c bounds - >= 24520419 @ 0.50719
1.09/1.12 c bounds - >= 24520439 @ 0.510929
1.09/1.12 c bounds - >= 24520440 @ 0.513611
1.09/1.12 c bounds - >= 24520471 @ 0.516388
1.09/1.12 c bounds - >= 24520473 @ 0.518536
1.09/1.12 c bounds - >= 24520484 @ 0.521835
1.09/1.12 c bounds - >= 24520495 @ 0.525814
1.09/1.12 c bounds - >= 24520496 @ 0.530206
1.09/1.12 c bounds - >= 24520497 @ 0.531888
1.09/1.12 c bounds - >= 24520543 @ 0.535248
1.09/1.12 c bounds - >= 24520633 @ 0.53809
1.09/1.12 c bounds - >= 24520677 @ 0.541049
1.09/1.12 c bounds - >= 24520682 @ 0.542865
1.09/1.12 c bounds - >= 24520708 @ 0.545859
1.09/1.12 c bounds - >= 24520732 @ 0.547662
1.09/1.12 c bounds - >= 24520733 @ 0.55096
1.09/1.12 c bounds - >= 24520739 @ 0.553978
1.09/1.12 c bounds - >= 24520785 @ 0.55813
1.09/1.12 c bounds - >= 24520858 @ 0.560968
1.09/1.12 c bounds - >= 24520947 @ 0.566248
1.09/1.12 c bounds - >= 24520948 @ 0.575791
1.09/1.12 c bounds - >= 24520949 @ 0.577715
1.09/1.12 c bounds - >= 24521010 @ 0.580605
1.09/1.12 c bounds - >= 24521065 @ 0.58306
1.09/1.12 c bounds - >= 24521126 @ 0.585951
1.09/1.12 c bounds - >= 24521168 @ 0.590658
1.09/1.12 c bounds - >= 24521224 @ 0.593508
1.09/1.12 c bounds - >= 24521312 @ 0.597554
1.09/1.12 c bounds - >= 24521387 @ 0.598741
1.09/1.12 c bounds - >= 24521391 @ 0.600271
1.09/1.12 c bounds - >= 24521453 @ 0.605725
1.09/1.12 c bounds - >= 24521574 @ 0.612474
1.09/1.12 c bounds - >= 24521658 @ 0.617017
1.09/1.12 c bounds - >= 24521662 @ 0.624635
1.09/1.12 c bounds - >= 24521681 @ 0.628725
1.09/1.12 c bounds - >= 24521710 @ 0.635107
1.09/1.12 c bounds - >= 24521720 @ 0.63897
1.09/1.12 c bounds - >= 24521732 @ 0.641888
1.09/1.12 c bounds - >= 24521771 @ 0.645061
1.09/1.12 c bounds - >= 24521786 @ 0.64894
1.09/1.12 c bounds - >= 24522128 @ 0.654757
1.09/1.12 c bounds - >= 24522156 @ 0.660612
1.09/1.12 c bounds - >= 24522439 @ 0.662608
1.09/1.12 c bounds - >= 24522571 @ 0.671387
1.09/1.12 c bounds - >= 24522594 @ 0.679881
1.09/1.12 c bounds - >= 24522676 @ 0.685276
1.09/1.12 c bounds - >= 24522704 @ 0.688437
1.09/1.12 c bounds - >= 24522777 @ 0.692069
1.09/1.12 c bounds - >= 24522828 @ 0.69481
1.09/1.12 c bounds - >= 24522870 @ 0.697391
1.09/1.12 c bounds - >= 24522872 @ 0.701804
1.09/1.12 c bounds - >= 24522881 @ 0.708826
1.09/1.12 c bounds - >= 24522898 @ 0.714566
1.09/1.12 c bounds - >= 24522923 @ 0.71948
1.09/1.12 c bounds - >= 24522943 @ 0.723637
1.09/1.12 c bounds - >= 24522952 @ 0.727618
1.09/1.12 c bounds - >= 24522995 @ 0.732294
1.09/1.12 c bounds - >= 24523010 @ 0.73643
1.09/1.12 c bounds - >= 24523026 @ 0.746568
1.09/1.12 c bounds - >= 24523032 @ 0.7512
1.09/1.12 c bounds - >= 24523034 @ 0.75936
1.09/1.12 c bounds - >= 24523132 @ 0.768879
1.09/1.12 c bounds - >= 24523152 @ 0.78244
28.22/28.37 c bounds - >= 24523158 @ 0.789576
28.22/28.37 c bounds - >= 24523209 @ 0.797317
28.22/28.37 c bounds - >= 24523211 @ 0.80218
28.22/28.37 c bounds - >= 24523274 @ 0.807499
28.22/28.37 c bounds - >= 24523571 @ 0.814529
28.22/28.37 c bounds - >= 24523627 @ 0.821487
28.22/28.37 c bounds - >= 24523668 @ 0.83324
28.22/28.37 c bounds - >= 24523669 @ 0.852402
28.22/28.37 c bounds - >= 24523688 @ 0.865481
28.22/28.37 c bounds - >= 24523833 @ 0.873205
28.22/28.37 c bounds - >= 24523857 @ 0.88233
28.22/28.37 c bounds - >= 24523889 @ 0.889204
28.22/28.37 c bounds - >= 24523954 @ 0.893299
28.22/28.37 c bounds - >= 24523968 @ 0.896478
28.22/28.37 c bounds - >= 24524016 @ 0.904055
28.22/28.37 c bounds - >= 24524025 @ 0.910515
28.22/28.37 c bounds - >= 24524163 @ 0.91407
28.22/28.37 c bounds - >= 24524214 @ 0.91732
28.22/28.37 c bounds - >= 24524246 @ 0.922251
28.22/28.37 c bounds - >= 24524261 @ 0.941891
28.22/28.37 c #Conflicts: 1000 | #Constraints: 5217
28.22/28.37 c bounds - >= 24524270 @ 0.956974
28.22/28.37 c bounds - >= 24524286 @ 0.964174
28.22/28.37 c bounds - >= 24524368 @ 0.967683
28.22/28.37 c bounds - >= 24524419 @ 0.979
28.22/28.37 c bounds - >= 24524424 @ 0.98885
28.22/28.37 c bounds - >= 24524488 @ 0.993806
28.22/28.37 c bounds - >= 24524490 @ 1.01481
28.22/28.37 c bounds - >= 24524497 @ 1.02328
28.22/28.37 c bounds - >= 24524499 @ 1.02751
28.22/28.37 c bounds - >= 24524534 @ 1.03181
28.22/28.37 c bounds - >= 24524547 @ 1.03558
28.22/28.37 c bounds - >= 24524615 @ 1.03974
28.22/28.37 c bounds - >= 24524620 @ 1.04659
28.22/28.37 c bounds - >= 24524652 @ 1.05112
28.22/28.37 c bounds - >= 24524654 @ 1.07533
28.22/28.37 c bounds - >= 24524713 @ 1.12061
28.22/28.37 c bounds - >= 24524849 @ 1.12819
28.22/28.37 c bounds - >= 24524852 @ 1.34194
28.22/28.37 c bounds - >= 24524874 @ 1.45371
28.22/28.37 c bounds - >= 24524891 @ 1.51535
28.22/28.37 c bounds - >= 24525015 @ 1.51762
28.22/28.37 c bounds - >= 24525089 @ 1.53783
28.22/28.37 c #Conflicts: 2000 | #Constraints: 6243
28.22/28.37 c INPROCESSING
28.22/28.37 c GARBAGE COLLECT
28.22/28.37 c bounds - >= 24525158 @ 1.59178
28.22/28.37 c bounds - >= 24525236 @ 1.60863
28.22/28.37 c bounds - >= 24525250 @ 1.61902
28.22/28.37 c bounds - >= 24525277 @ 1.63345
28.22/28.37 c bounds - >= 24525296 @ 1.64187
28.22/28.37 c bounds - >= 24525301 @ 1.68622
28.22/28.37 c bounds - >= 24525311 @ 1.70369
28.22/28.37 c bounds - >= 24525386 @ 1.72186
28.22/28.37 c bounds - >= 24525419 @ 1.75364
28.22/28.37 c bounds - >= 24525441 @ 1.77304
28.22/28.37 c bounds - >= 24525495 @ 1.78222
28.22/28.37 c #Conflicts: 3000 | #Constraints: 4284
28.22/28.37 c bounds - >= 24525503 @ 2.15031
28.22/28.37 c bounds - >= 24525513 @ 2.33012
28.22/28.37 c bounds - >= 24525561 @ 2.378
28.22/28.37 c #Conflicts: 4000 | #Constraints: 5287
28.22/28.37 c bounds - >= 24525562 @ 3.04486
28.22/28.37 c INPROCESSING
28.22/28.37 c GARBAGE COLLECT
28.22/28.37 c bounds - >= 24525568 @ 3.34133
28.22/28.37 c #Conflicts: 5000 | #Constraints: 4603
28.22/28.37 c bounds - >= 24525603 @ 3.76264
28.22/28.37 c bounds - >= 24525617 @ 4.61824
28.22/28.37 c #Conflicts: 6000 | #Constraints: 5605
28.22/28.37 c bounds - >= 24525635 @ 5.22121
28.22/28.37 c INPROCESSING
28.22/28.37 c GARBAGE COLLECT
28.22/28.37 c #Conflicts: 7000 | #Constraints: 4566
28.22/28.37 c bounds - >= 24525697 @ 6.23633
28.22/28.37 c bounds - >= 24525709 @ 6.61732
28.22/28.37 c bounds - >= 24525718 @ 6.89479
28.22/28.37 c bounds - >= 24525724 @ 6.90357
28.22/28.37 c bounds - >= 24525726 @ 6.94888
28.22/28.37 c bounds - >= 24525737 @ 7.16601
28.22/28.37 c #Conflicts: 8000 | #Constraints: 5573
28.22/28.37 c #Conflicts: 9000 | #Constraints: 6573
28.22/28.37 c INPROCESSING
28.22/28.37 c GARBAGE COLLECT
28.22/28.37 c bounds - >= 24525756 @ 9.80494
28.22/28.37 c bounds - >= 24525759 @ 9.81281
28.22/28.37 c bounds - >= 24525760 @ 9.93665
28.22/28.37 c bounds - >= 24525777 @ 9.94641
28.22/28.37 c #Conflicts: 10000 | #Constraints: 5260
28.22/28.37 c bounds - >= 24525779 @ 11.2294
28.22/28.37 c #Conflicts: 11000 | #Constraints: 6261
28.22/28.37 c bounds - >= 24525819 @ 11.8869
28.22/28.37 c #Conflicts: 12000 | #Constraints: 7262
28.22/28.37 c INPROCESSING
28.22/28.37 c GARBAGE COLLECT
28.22/28.37 c #Conflicts: 13000 | #Constraints: 5700
28.22/28.37 c bounds - >= 24525831 @ 15.795
28.22/28.37 c #Conflicts: 14000 | #Constraints: 6701
28.22/28.37 c #Conflicts: 15000 | #Constraints: 7701
28.22/28.37 c INPROCESSING
28.22/28.37 c GARBAGE COLLECT
28.22/28.37 c #Conflicts: 16000 | #Constraints: 5923
28.22/28.37 c bounds - >= 24525838 @ 21.8948
28.22/28.37 c #Conflicts: 17000 | #Constraints: 6924
28.22/28.37 c bounds - >= 24525855 @ 23.2515
28.22/28.37 c bounds - >= 24525899 @ 23.9603
28.22/28.37 c bounds - >= 24525910 @ 24.1245
28.22/28.37 c bounds - >= 24526026 @ 24.226
28.22/28.37 c bounds - >= 24526028 @ 24.2516
28.22/28.37 c bounds - >= 24526086 @ 24.2689
28.22/28.37 c bounds - >= 24526133 @ 24.2887
28.22/28.37 c bounds - >= 24526135 @ 24.3157
28.22/28.37 c bounds - >= 24552510 @ 24.3315
28.22/28.37 c bounds - >= 24552512 @ 24.5365
28.22/28.37 c #Conflicts: 18000 | #Constraints: 7934
28.22/28.37 c bounds - >= 24552517 @ 24.8388
28.22/28.37 c INPROCESSING
28.22/28.37 c GARBAGE COLLECT
28.22/28.37 c bounds - >= 24552521 @ 25.1294
28.22/28.37 c bounds - >= 24552523 @ 25.388
28.22/28.37 c #Conflicts: 19000 | #Constraints: 5925
152.63/153.04 c #Conflicts: 20000 | #Constraints: 6925
152.63/153.04 c #Conflicts: 21000 | #Constraints: 7925
152.63/153.04 c INPROCESSING
152.63/153.04 c GARBAGE COLLECT
152.63/153.04 c #Conflicts: 22000 | #Constraints: 5722
152.63/153.04 c #Conflicts: 23000 | #Constraints: 6722
152.63/153.04 c bounds - >= 24552533 @ 36.7039
152.63/153.04 c bounds - >= 24552540 @ 37.2902
152.63/153.04 c #Conflicts: 24000 | #Constraints: 7724
152.63/153.04 c #Conflicts: 25000 | #Constraints: 8724
152.63/153.04 c INPROCESSING
152.63/153.04 c GARBAGE COLLECT
152.63/153.04 c #Conflicts: 26000 | #Constraints: 6323
152.63/153.04 c #Conflicts: 27000 | #Constraints: 7323
152.63/153.04 c bounds - >= 24552541 @ 51.2011
152.63/153.04 c #Conflicts: 28000 | #Constraints: 8324
152.63/153.04 c #Conflicts: 29000 | #Constraints: 9324
152.63/153.04 c INPROCESSING
152.63/153.04 c GARBAGE COLLECT
152.63/153.04 c #Conflicts: 30000 | #Constraints: 6720
152.63/153.04 c #Conflicts: 31000 | #Constraints: 7720
152.63/153.04 c #Conflicts: 32000 | #Constraints: 8720
152.63/153.04 c bounds - >= 24552547 @ 68.4655
152.63/153.04 c #Conflicts: 33000 | #Constraints: 9721
152.63/153.04 c INPROCESSING
152.63/153.04 c GARBAGE COLLECT
152.63/153.04 c #Conflicts: 34000 | #Constraints: 6920
152.63/153.04 c #Conflicts: 35000 | #Constraints: 7920
152.63/153.04 c #Conflicts: 36000 | #Constraints: 8920
152.63/153.04 c #Conflicts: 37000 | #Constraints: 9920
152.63/153.04 c INPROCESSING
152.63/153.04 c GARBAGE COLLECT
152.63/153.04 c #Conflicts: 38000 | #Constraints: 6922
152.63/153.04 c #Conflicts: 39000 | #Constraints: 7922
152.63/153.04 c #Conflicts: 40000 | #Constraints: 8922
152.63/153.04 c #Conflicts: 41000 | #Constraints: 9922
152.63/153.04 c INPROCESSING
152.63/153.04 c GARBAGE COLLECT
152.63/153.04 c #Conflicts: 42000 | #Constraints: 6730
152.63/153.04 c #Conflicts: 43000 | #Constraints: 7730
152.63/153.04 c bounds - >= 24552551 @ 96.0632
152.63/153.04 c #Conflicts: 44000 | #Constraints: 8731
152.63/153.04 c #Conflicts: 45000 | #Constraints: 9731
152.63/153.04 c bounds - >= 24552564 @ 101.65
152.63/153.04 c #Conflicts: 46000 | #Constraints: 10732
152.63/153.04 c INPROCESSING
152.63/153.04 c GARBAGE COLLECT
152.63/153.04 c bounds - >= 24552569 @ 104.242
152.63/153.04 c #Conflicts: 47000 | #Constraints: 7335
152.63/153.04 c #Conflicts: 48000 | #Constraints: 8335
152.63/153.04 c bounds - >= 24552574 @ 108.284
152.63/153.04 c #Conflicts: 49000 | #Constraints: 9336
152.63/153.04 c bounds - >= 24552588 @ 110.022
152.63/153.04 c #Conflicts: 50000 | #Constraints: 10337
152.63/153.04 c bounds - >= 24552621 @ 110.912
152.63/153.04 c bounds - >= 24552624 @ 112.813
152.63/153.04 c #Conflicts: 51000 | #Constraints: 11339
152.63/153.04 c INPROCESSING
152.63/153.04 c GARBAGE COLLECT
152.63/153.04 c #Conflicts: 52000 | #Constraints: 7733
152.63/153.04 c bounds - >= 24552649 @ 116.326
152.63/153.04 c #Conflicts: 53000 | #Constraints: 8734
152.63/153.04 c bounds - >= 24552663 @ 118.047
152.63/153.04 c bounds - >= 24552670 @ 118.275
152.63/153.04 c bounds - >= 24552671 @ 118.469
152.63/153.04 c #Conflicts: 54000 | #Constraints: 9737
152.63/153.04 c bounds - >= 24552674 @ 119.651
152.63/153.04 c bounds - >= 24552719 @ 120.202
152.63/153.04 c bounds - >= 24552764 @ 120.254
152.63/153.04 c #Conflicts: 55000 | #Constraints: 10740
152.63/153.04 c bounds - >= 24552822 @ 120.808
152.63/153.04 c bounds - >= 24552841 @ 121.112
152.63/153.04 c bounds - >= 24552892 @ 121.443
152.63/153.04 c bounds - >= 24553008 @ 121.68
152.63/153.04 c bounds - >= 24553039 @ 121.971
152.63/153.04 c bounds - >= 24553068 @ 122.129
152.63/153.04 c #Conflicts: 56000 | #Constraints: 11746
152.63/153.04 c INPROCESSING
152.63/153.04 c GARBAGE COLLECT
152.63/153.04 c #Conflicts: 57000 | #Constraints: 7934
152.63/153.04 c #Conflicts: 58000 | #Constraints: 8934
152.63/153.04 c bounds - >= 24553142 @ 127.391
152.63/153.04 c #Conflicts: 59000 | #Constraints: 9935
152.63/153.04 c #Conflicts: 60000 | #Constraints: 10935
152.63/153.04 c bounds - >= 24553172 @ 130.919
152.63/153.04 c bounds - >= 24553183 @ 132.65
152.63/153.04 c #Conflicts: 61000 | #Constraints: 11937
152.63/153.04 c bounds - >= 24553289 @ 133.309
152.63/153.04 c INPROCESSING
152.63/153.04 c GARBAGE COLLECT
152.63/153.04 c bounds - >= 24553306 @ 133.951
152.63/153.04 c #Conflicts: 62000 | #Constraints: 7936
152.63/153.04 c #Conflicts: 63000 | #Constraints: 8936
152.63/153.04 c bounds - >= 24553363 @ 137.51
152.63/153.04 c #Conflicts: 64000 | #Constraints: 9937
152.63/153.04 c bounds - >= 24553497 @ 140.143
152.63/153.04 c #Conflicts: 65000 | #Constraints: 10938
152.63/153.04 c bounds - >= 24553549 @ 141.685
152.63/153.04 c #Conflicts: 66000 | #Constraints: 11939
152.63/153.04 c bounds - >= 24553636 @ 143.113
152.63/153.04 c bounds - >= 24553647 @ 143.9
152.63/153.04 c INPROCESSING
152.63/153.04 c GARBAGE COLLECT
152.63/153.04 c #Conflicts: 67000 | #Constraints: 7734
152.63/153.04 c bounds - >= 24553764 @ 145.914
152.63/153.04 c #Conflicts: 68000 | #Constraints: 8735
214.18/214.74 c bounds - >= 24553800 @ 148.312
214.18/214.74 c #Conflicts: 69000 | #Constraints: 9736
214.18/214.74 c bounds - >= 24553843 @ 149.586
214.18/214.74 c bounds - >= 24553908 @ 150.177
214.18/214.74 c #Conflicts: 70000 | #Constraints: 10738
214.18/214.74 c #Conflicts: 71000 | #Constraints: 11738
214.18/214.74 c #Conflicts: 72000 | #Constraints: 12738
214.18/214.74 c INPROCESSING
214.18/214.74 c GARBAGE COLLECT
214.18/214.74 c #Conflicts: 73000 | #Constraints: 8333
214.18/214.74 c #Conflicts: 74000 | #Constraints: 9333
214.18/214.74 c #Conflicts: 75000 | #Constraints: 10333
214.18/214.74 c bounds - >= 24553918 @ 160.4
214.18/214.74 c #Conflicts: 76000 | #Constraints: 11334
214.18/214.74 c #Conflicts: 77000 | #Constraints: 12334
214.18/214.74 c #Conflicts: 78000 | #Constraints: 13334
214.18/214.74 c INPROCESSING
214.18/214.74 c GARBAGE COLLECT
214.18/214.74 c #Conflicts: 79000 | #Constraints: 8740
214.18/214.74 c #Conflicts: 80000 | #Constraints: 9740
214.18/214.74 c bounds - >= 24553985 @ 169.394
214.18/214.74 c #Conflicts: 81000 | #Constraints: 10741
214.18/214.74 c #Conflicts: 82000 | #Constraints: 11741
214.18/214.74 c #Conflicts: 83000 | #Constraints: 12741
214.18/214.74 c #Conflicts: 84000 | #Constraints: 13741
214.18/214.74 c INPROCESSING
214.18/214.74 c GARBAGE COLLECT
214.18/214.74 c #Conflicts: 85000 | #Constraints: 8942
214.18/214.74 c #Conflicts: 86000 | #Constraints: 9942
214.18/214.74 c #Conflicts: 87000 | #Constraints: 10942
214.18/214.74 c bounds - >= 24554061 @ 177.33
214.18/214.74 c #Conflicts: 88000 | #Constraints: 11943
214.18/214.74 c #Conflicts: 89000 | #Constraints: 12943
214.18/214.74 c bounds - >= 24554304 @ 178.994
214.18/214.74 c #Conflicts: 90000 | #Constraints: 13944
214.18/214.74 c INPROCESSING
214.18/214.74 c GARBAGE COLLECT
214.18/214.74 c #Conflicts: 91000 | #Constraints: 8938
214.18/214.74 c #Conflicts: 92000 | #Constraints: 9938
214.18/214.74 c #Conflicts: 93000 | #Constraints: 10938
214.18/214.74 c bounds - >= 24554432 @ 183.123
214.18/214.74 c #Conflicts: 94000 | #Constraints: 11939
214.18/214.74 c #Conflicts: 95000 | #Constraints: 12939
214.18/214.74 c bounds - >= 24554547 @ 184.602
214.18/214.74 c #Conflicts: 96000 | #Constraints: 13940
214.18/214.74 c INPROCESSING
214.18/214.74 c GARBAGE COLLECT
214.18/214.74 c #Conflicts: 97000 | #Constraints: 8741
214.18/214.74 c #Conflicts: 98000 | #Constraints: 9741
214.18/214.74 c #Conflicts: 99000 | #Constraints: 10741
214.18/214.74 c bounds - >= 24554736 @ 188.515
214.18/214.74 c #Conflicts: 100000 | #Constraints: 11742
214.18/214.74 c #Conflicts: 101000 | #Constraints: 12742
214.18/214.74 c bounds - >= 24554754 @ 191.532
214.18/214.74 c #Conflicts: 102000 | #Constraints: 13743
214.18/214.74 c #Conflicts: 103000 | #Constraints: 14743
214.18/214.74 c INPROCESSING
214.18/214.74 c GARBAGE COLLECT
214.18/214.74 c #Conflicts: 104000 | #Constraints: 9343
214.18/214.74 c #Conflicts: 105000 | #Constraints: 10343
214.18/214.74 c #Conflicts: 106000 | #Constraints: 11343
214.18/214.74 c bounds - >= 24555723 @ 196.358
214.18/214.74 c bounds - >= 24555777 @ 196.622
214.18/214.74 c #Conflicts: 107000 | #Constraints: 12345
214.18/214.74 c #Conflicts: 108000 | #Constraints: 13345
214.18/214.74 c bounds - >= 24556092 @ 199.181
214.18/214.74 c #Conflicts: 109000 | #Constraints: 14346
214.18/214.74 c #Conflicts: 110000 | #Constraints: 15346
214.18/214.74 c INPROCESSING
214.18/214.74 c GARBAGE COLLECT
214.18/214.74 c #Conflicts: 111000 | #Constraints: 9744
214.18/214.74 c bounds - >= 24556151 @ 201.714
214.18/214.74 c #Conflicts: 112000 | #Constraints: 10745
214.18/214.74 c bounds - >= 24558924 @ 203.379
214.18/214.74 c #Conflicts: 113000 | #Constraints: 11746
214.18/214.74 c #Conflicts: 114000 | #Constraints: 12746
214.18/214.74 c bounds - >= 24559332 @ 205.452
214.18/214.74 c bounds - >= 24559337 @ 205.482
214.18/214.74 c bounds - >= 24559338 @ 205.486
214.18/214.74 c bounds - >= 24559341 @ 205.492
214.18/214.74 c bounds - >= 24559440 @ 205.502
214.18/214.74 c bounds - >= 24559449 @ 205.511
214.18/214.74 c bounds - >= 24559456 @ 205.517
214.18/214.74 c bounds - >= 24559482 @ 205.527
214.18/214.74 c bounds - >= 24559486 @ 205.539
214.18/214.74 c bounds - >= 24559521 @ 205.548
214.18/214.74 c bounds - >= 24559528 @ 205.57
214.18/214.74 c bounds - >= 24559585 @ 205.573
214.18/214.74 c bounds - >= 24559602 @ 205.597
214.18/214.74 c bounds - >= 24559677 @ 205.627
214.18/214.74 c bounds - >= 24559761 @ 205.646
214.18/214.74 c bounds - >= 24559765 @ 205.696
214.18/214.74 c bounds - >= 24559825 @ 205.702
214.18/214.74 c bounds - >= 24559850 @ 205.742
214.18/214.74 c bounds - >= 24559872 @ 205.753
214.18/214.74 c bounds - >= 24559959 @ 205.783
214.18/214.74 c #Conflicts: 115000 | #Constraints: 13770
214.18/214.74 c bounds - >= 24560040 @ 205.81
214.18/214.74 c bounds - >= 24560328 @ 205.832
214.18/214.74 c bounds - >= 24560333 @ 205.856
214.18/214.74 c bounds - >= 24560346 @ 205.869
214.18/214.74 c bounds - >= 24560482 @ 205.912
214.18/214.74 c bounds - >= 24560522 @ 205.939
214.18/214.74 c bounds - >= 24560604 @ 205.968
429.47/430.52 c bounds - >= 24560773 @ 206.004
429.47/430.52 c bounds - >= 24560777 @ 206.067
429.47/430.52 c bounds - >= 24560801 @ 206.134
429.47/430.52 c bounds - >= 24560853 @ 206.149
429.47/430.52 c bounds - >= 24560971 @ 206.159
429.47/430.52 c bounds - >= 24560987 @ 206.199
429.47/430.52 c bounds - >= 24560999 @ 206.228
429.47/430.52 c bounds - >= 24561100 @ 206.259
429.47/430.52 c bounds - >= 24561104 @ 206.372
429.47/430.52 c bounds - >= 24561113 @ 206.478
429.47/430.52 c bounds - >= 24561158 @ 206.57
429.47/430.52 c bounds - >= 24561160 @ 206.681
429.47/430.52 c bounds - >= 24561176 @ 206.727
429.47/430.52 c bounds - >= 24561191 @ 206.783
429.47/430.52 c bounds - >= 24561196 @ 206.871
429.47/430.52 c bounds - >= 24561394 @ 206.956
429.47/430.52 c bounds - >= 24561399 @ 206.963
429.47/430.52 c bounds - >= 24561417 @ 206.97
429.47/430.52 c bounds - >= 24561436 @ 206.979
429.47/430.52 c bounds - >= 24561454 @ 206.988
429.47/430.52 c bounds - >= 24561511 @ 207.001
429.47/430.52 c bounds - >= 24561516 @ 207.013
429.47/430.52 c bounds - >= 24561582 @ 207.02
429.47/430.52 c bounds - >= 24561583 @ 207.03
429.47/430.52 c bounds - >= 24561594 @ 207.055
429.47/430.52 c bounds - >= 24561662 @ 207.073
429.47/430.52 c bounds - >= 24561668 @ 207.09
429.47/430.52 c bounds - >= 24561701 @ 207.096
429.47/430.52 c bounds - >= 24561710 @ 207.13
429.47/430.52 c bounds - >= 24561748 @ 207.151
429.47/430.52 c bounds - >= 24561750 @ 207.182
429.47/430.52 c bounds - >= 24561757 @ 207.241
429.47/430.52 c bounds - >= 24561760 @ 207.455
429.47/430.52 c bounds - >= 24561781 @ 207.517
429.47/430.52 c #Conflicts: 116000 | #Constraints: 14816
429.47/430.52 c bounds - >= 24561822 @ 207.745
429.47/430.52 c bounds - >= 24561831 @ 207.983
429.47/430.52 c bounds - >= 24561843 @ 208.114
429.47/430.52 c bounds - >= 24561864 @ 208.15
429.47/430.52 c bounds - >= 24561868 @ 208.328
429.47/430.52 c bounds - >= 24561924 @ 208.439
429.47/430.52 c bounds - >= 24561933 @ 209.396
429.47/430.52 c bounds - >= 24561934 @ 209.925
429.47/430.52 c bounds - >= 24561974 @ 209.98
429.47/430.52 c bounds - >= 24561977 @ 209.999
429.47/430.52 c #Conflicts: 117000 | #Constraints: 15827
429.47/430.52 c INPROCESSING
429.47/430.52 c GARBAGE COLLECT
429.47/430.52 c bounds - >= 24561982 @ 211.705
429.47/430.52 c #Conflicts: 118000 | #Constraints: 9945
429.47/430.52 c #Conflicts: 119000 | #Constraints: 10945
429.47/430.52 c bounds - >= 24562000 @ 218.233
429.47/430.52 c #Conflicts: 120000 | #Constraints: 11946
429.47/430.52 c bounds - >= 24562003 @ 226.702
429.47/430.52 c bounds - >= 24562006 @ 227.179
429.47/430.52 c #Conflicts: 121000 | #Constraints: 12948
429.47/430.52 c #Conflicts: 122000 | #Constraints: 13948
429.47/430.52 c bounds - >= 24562012 @ 246.216
429.47/430.52 c bounds - >= 24562014 @ 246.852
429.47/430.52 c bounds - >= 24562035 @ 262.01
429.47/430.52 c #Conflicts: 123000 | #Constraints: 14951
429.47/430.52 c bounds - >= 24562040 @ 292.446
429.47/430.52 c #Conflicts: 124000 | #Constraints: 15952
429.47/430.52 c INPROCESSING
429.47/430.52 c GARBAGE COLLECT
429.47/430.52 c bounds - >= 24562061 @ 299.213
429.47/430.52 c bounds - >= 24562074 @ 299.563
429.47/430.52 c bounds - >= 24562105 @ 300.153
429.47/430.52 c bounds - >= 24562125 @ 301.24
429.47/430.52 c bounds - >= 24562147 @ 301.26
429.47/430.52 c bounds - >= 24562155 @ 301.282
429.47/430.52 c #Conflicts: 125000 | #Constraints: 9956
429.47/430.52 c bounds - >= 24562182 @ 308.647
429.47/430.52 c #Conflicts: 126000 | #Constraints: 10957
429.47/430.52 c bounds - >= 24562228 @ 318.754
429.47/430.52 c #Conflicts: 127000 | #Constraints: 11958
429.47/430.52 c bounds - >= 24562263 @ 329.247
429.47/430.52 c #Conflicts: 128000 | #Constraints: 12959
429.47/430.52 c bounds - >= 24562268 @ 336.057
429.47/430.52 c bounds - >= 24562282 @ 338.666
429.47/430.52 c bounds - >= 24562359 @ 339.851
429.47/430.52 c bounds - >= 24562397 @ 344.263
429.47/430.52 c bounds - >= 24562415 @ 347.367
429.47/430.52 c #Conflicts: 129000 | #Constraints: 13964
429.47/430.52 c bounds - >= 24562451 @ 348.98
429.47/430.52 c bounds - >= 24562468 @ 349.98
429.47/430.52 c bounds - >= 24562474 @ 352.233
429.47/430.52 c bounds - >= 24562478 @ 352.299
429.47/430.52 c bounds - >= 24562495 @ 355.168
429.47/430.52 c #Conflicts: 130000 | #Constraints: 14971
429.47/430.52 c bounds - >= 24562500 @ 363.946
429.47/430.52 c bounds - >= 24562504 @ 366.316
429.47/430.52 c #Conflicts: 131000 | #Constraints: 15973
429.47/430.52 c INPROCESSING
429.47/430.52 c GARBAGE COLLECT
429.47/430.52 c #Conflicts: 132000 | #Constraints: 9756
429.47/430.52 c #Conflicts: 133000 | #Constraints: 10756
429.47/430.52 c bounds - >= 24562505 @ 386.256
429.47/430.52 c #Conflicts: 134000 | #Constraints: 11757
429.47/430.52 c bounds - >= 24562513 @ 390.007
429.47/430.52 c bounds - >= 24562547 @ 390.686
429.47/430.52 c bounds - >= 24562554 @ 391.043
429.47/430.52 c bounds - >= 24562557 @ 391.219
429.47/430.52 c bounds - >= 24562604 @ 393.489
429.47/430.52 c #Conflicts: 135000 | #Constraints: 12762
429.47/430.52 c bounds - >= 24562615 @ 397.966
429.47/430.52 c bounds - >= 24562685 @ 398.714
429.47/430.52 c #Conflicts: 136000 | #Constraints: 13764
429.47/430.52 c bounds - >= 24562713 @ 401.474
429.47/430.52 c bounds - >= 24562729 @ 403.206
429.47/430.52 c bounds - >= 24562773 @ 403.254
429.47/430.52 c bounds - >= 24562795 @ 404.348
429.47/430.52 c #Conflicts: 137000 | #Constraints: 14770
429.47/430.52 c bounds - >= 24562808 @ 415.4
429.47/430.52 c #Conflicts: 138000 | #Constraints: 15771
561.14/562.55 c bounds - >= 24562811 @ 419.922
561.14/562.55 c #Conflicts: 139000 | #Constraints: 16772
561.14/562.55 c INPROCESSING
561.14/562.55 c GARBAGE COLLECT
561.14/562.55 c #Conflicts: 140000 | #Constraints: 10352
561.14/562.55 c bounds - >= 24562826 @ 432.585
561.14/562.55 c #Conflicts: 141000 | #Constraints: 11353
561.14/562.55 c #Conflicts: 142000 | #Constraints: 12353
561.14/562.55 c bounds - >= 24562844 @ 444.886
561.14/562.55 c #Conflicts: 143000 | #Constraints: 13354
561.14/562.55 c #Conflicts: 144000 | #Constraints: 14354
561.14/562.55 c bounds - >= 24562851 @ 455.977
561.14/562.55 c #Conflicts: 145000 | #Constraints: 15355
561.14/562.55 c #Conflicts: 146000 | #Constraints: 16355
561.14/562.55 c #Conflicts: 147000 | #Constraints: 17355
561.14/562.55 c INPROCESSING
561.14/562.55 c GARBAGE COLLECT
561.14/562.55 c bounds - >= 24562918 @ 472.989
561.14/562.55 c #Conflicts: 148000 | #Constraints: 10760
561.14/562.55 c #Conflicts: 149000 | #Constraints: 11760
561.14/562.55 c bounds - >= 24562935 @ 482.186
561.14/562.55 c #Conflicts: 150000 | #Constraints: 12761
561.14/562.55 c bounds - >= 24562958 @ 492.113
561.14/562.55 c #Conflicts: 151000 | #Constraints: 13762
561.14/562.55 c bounds - >= 24562985 @ 497.363
561.14/562.55 c #Conflicts: 152000 | #Constraints: 14763
561.14/562.55 c bounds - >= 24562989 @ 503.422
561.14/562.55 c bounds - >= 24563013 @ 503.461
561.14/562.55 c #Conflicts: 153000 | #Constraints: 15766
561.14/562.55 c bounds - >= 24563054 @ 507.844
561.14/562.55 c bounds - >= 24563079 @ 510.374
561.14/562.55 c #Conflicts: 154000 | #Constraints: 16768
561.14/562.55 c bounds - >= 24563104 @ 523.96
561.14/562.55 c #Conflicts: 155000 | #Constraints: 17769
561.14/562.55 c INPROCESSING
561.14/562.55 c GARBAGE COLLECT
561.14/562.55 c #Conflicts: 156000 | #Constraints: 10954
561.14/562.55 c bounds - >= 24563109 @ 532.67
561.14/562.55 c bounds - >= 24563111 @ 534.607
561.14/562.55 c bounds - >= 24563116 @ 535.838
561.14/562.55 c bounds - >= 24563176 @ 536.507
561.14/562.55 c bounds - >= 24563187 @ 537.026
561.14/562.55 c #Conflicts: 157000 | #Constraints: 11959
561.14/562.55 c bounds - >= 24563192 @ 537.842
561.14/562.55 c bounds - >= 24563232 @ 537.964
561.14/562.55 c bounds - >= 24563367 @ 538.016
561.14/562.55 c bounds - >= 24563385 @ 538.07
561.14/562.55 c bounds - >= 24563394 @ 538.126
561.14/562.55 c bounds - >= 24563454 @ 538.17
561.14/562.55 c bounds - >= 24563482 @ 538.209
561.14/562.55 c bounds - >= 24563508 @ 538.299
561.14/562.55 c bounds - >= 24563544 @ 538.386
561.14/562.55 c bounds - >= 24563577 @ 538.456
561.14/562.55 c bounds - >= 24563612 @ 538.526
561.14/562.55 c bounds - >= 24563616 @ 538.579
561.14/562.55 c bounds - >= 24563666 @ 538.628
561.14/562.55 c bounds - >= 24563672 @ 538.672
561.14/562.55 c bounds - >= 24563679 @ 538.72
561.14/562.55 c bounds - >= 24563680 @ 538.771
561.14/562.55 c bounds - >= 24563691 @ 538.808
561.14/562.55 c bounds - >= 24563696 @ 538.845
561.14/562.55 c bounds - >= 24563698 @ 538.877
561.14/562.55 c bounds - >= 24563739 @ 539.006
561.14/562.55 c bounds - >= 24563758 @ 539.037
561.14/562.55 c bounds - >= 24563781 @ 539.085
561.14/562.55 c bounds - >= 24563815 @ 539.135
561.14/562.55 c bounds - >= 24563826 @ 539.185
561.14/562.55 c bounds - >= 24563835 @ 539.738
561.14/562.55 c bounds - >= 24563840 @ 539.811
561.14/562.55 c bounds - >= 24563881 @ 539.887
561.14/562.55 c bounds - >= 24563890 @ 540.22
561.14/562.55 c bounds - >= 24563904 @ 540.309
561.14/562.55 c bounds - >= 24563907 @ 540.358
561.14/562.55 c bounds - >= 24563931 @ 540.409
561.14/562.55 c bounds - >= 24563982 @ 540.445
561.14/562.55 c bounds - >= 24563995 @ 540.485
561.14/562.55 c bounds - >= 24564000 @ 540.519
561.14/562.55 c bounds - >= 24564033 @ 540.614
561.14/562.55 c bounds - >= 24564084 @ 540.65
561.14/562.55 c bounds - >= 24564128 @ 540.685
561.14/562.55 c bounds - >= 24564189 @ 540.724
561.14/562.55 c bounds - >= 24564192 @ 540.843
561.14/562.55 c bounds - >= 24564194 @ 540.916
561.14/562.55 c bounds - >= 24564199 @ 540.972
561.14/562.55 c bounds - >= 24564205 @ 541.021
561.14/562.55 c bounds - >= 24564298 @ 541.077
561.14/562.55 c bounds - >= 24564314 @ 541.119
561.14/562.55 c bounds - >= 24564324 @ 541.157
561.14/562.55 c bounds - >= 24564337 @ 541.186
561.14/562.55 c bounds - >= 24564360 @ 541.216
561.14/562.55 c #Conflicts: 158000 | #Constraints: 13007
561.14/562.55 c bounds - >= 24564401 @ 543.386
561.14/562.55 c bounds - >= 24564439 @ 544.231
561.14/562.55 c bounds - >= 24564452 @ 544.648
561.14/562.55 c bounds - >= 24564476 @ 544.754
561.14/562.55 c bounds - >= 24564508 @ 544.835
561.14/562.55 c bounds - >= 24564579 @ 544.895
561.14/562.55 c bounds - >= 24564626 @ 544.962
561.14/562.55 c bounds - >= 24564668 @ 545.431
561.14/562.55 c bounds - >= 24564676 @ 545.671
561.14/562.55 c bounds - >= 24564689 @ 545.781
561.14/562.55 c bounds - >= 24564735 @ 545.835
561.14/562.55 c bounds - >= 24564793 @ 546.068
561.14/562.55 c bounds - >= 24564816 @ 546.092
561.14/562.55 c #Conflicts: 159000 | #Constraints: 14022
561.14/562.55 c bounds - >= 24564827 @ 546.182
561.14/562.55 c bounds - >= 24564835 @ 546.257
561.14/562.55 c bounds - >= 24564859 @ 546.393
561.14/562.55 c bounds - >= 24564868 @ 546.493
561.14/562.55 c bounds - >= 24564887 @ 546.553
561.14/562.55 c bounds - >= 24564892 @ 546.578
561.14/562.55 c bounds - >= 24564916 @ 546.642
561.14/562.55 c bounds - >= 24564944 @ 546.69
561.14/562.55 c bounds - >= 24565111 @ 546.877
561.14/562.55 c bounds - >= 24565148 @ 546.933
745.39/747.24 c bounds - >= 24565196 @ 546.995
745.39/747.24 c bounds - >= 24565250 @ 547.037
745.39/747.24 c bounds - >= 24565417 @ 547.074
745.39/747.24 c bounds - >= 24565423 @ 547.11
745.39/747.24 c bounds - >= 24565452 @ 547.144
745.39/747.24 c bounds - >= 24565494 @ 547.182
745.39/747.24 c bounds - >= 24565535 @ 547.216
745.39/747.24 c bounds - >= 24565594 @ 547.249
745.39/747.24 c bounds - >= 24565683 @ 547.282
745.39/747.24 c bounds - >= 24565685 @ 547.31
745.39/747.24 c bounds - >= 24565698 @ 547.341
745.39/747.24 c bounds - >= 24565955 @ 547.367
745.39/747.24 c bounds - >= 24566254 @ 547.398
745.39/747.24 c bounds - >= 24566359 @ 547.424
745.39/747.24 c bounds - >= 24566661 @ 547.452
745.39/747.24 c bounds - >= 24569137 @ 547.486
745.39/747.24 c bounds - >= 24588921 @ 547.516
745.39/747.24 c bounds - >= 24589101 @ 547.541
745.39/747.24 c bounds - >= 24591191 @ 547.566
745.39/747.24 c bounds - >= 24591405 @ 547.594
745.39/747.24 c bounds - >= 24591904 @ 547.622
745.39/747.24 c bounds - >= 24597176 @ 547.647
745.39/747.24 c bounds - >= 24597179 @ 547.681
745.39/747.24 c bounds - >= 24597180 @ 547.709
745.39/747.24 c bounds - >= 24597182 @ 547.743
745.39/747.24 c bounds - >= 24597196 @ 547.789
745.39/747.24 c bounds - >= 24597236 @ 547.841
745.39/747.24 c bounds - >= 24597340 @ 547.85
745.39/747.24 c bounds - >= 24597453 @ 547.924
745.39/747.24 c bounds - >= 24597558 @ 548.279
745.39/747.24 c bounds - >= 24597653 @ 548.314
745.39/747.24 c bounds - >= 24597662 @ 548.484
745.39/747.24 c #Conflicts: 160000 | #Constraints: 15067
745.39/747.24 c bounds - >= 24597664 @ 548.655
745.39/747.24 c bounds - >= 24597671 @ 548.747
745.39/747.24 c bounds - >= 24597677 @ 549.32
745.39/747.24 c bounds - >= 24597716 @ 549.702
745.39/747.24 c bounds - >= 24597721 @ 550.33
745.39/747.24 c bounds - >= 24597736 @ 550.45
745.39/747.24 c bounds - >= 24597742 @ 550.52
745.39/747.24 c bounds - >= 24597801 @ 550.555
745.39/747.24 c bounds - >= 24597815 @ 551.326
745.39/747.24 c bounds - >= 24597827 @ 551.44
745.39/747.24 c bounds - >= 24597832 @ 551.732
745.39/747.24 c #Conflicts: 161000 | #Constraints: 16078
745.39/747.24 c bounds - >= 24597857 @ 558.819
745.39/747.24 c #Conflicts: 162000 | #Constraints: 17079
745.39/747.24 c bounds - >= 24597879 @ 565.844
745.39/747.24 c bounds - >= 24597883 @ 566.035
745.39/747.24 c #Conflicts: 163000 | #Constraints: 18081
745.39/747.24 c bounds - >= 24597888 @ 567.007
745.39/747.24 c INPROCESSING
745.39/747.24 c GARBAGE COLLECT
745.39/747.24 c #Conflicts: 164000 | #Constraints: 10931
745.39/747.24 c #Conflicts: 165000 | #Constraints: 11931
745.39/747.24 c #Conflicts: 166000 | #Constraints: 12931
745.39/747.24 c #Conflicts: 167000 | #Constraints: 13931
745.39/747.24 c #Conflicts: 168000 | #Constraints: 14931
745.39/747.24 c #Conflicts: 169000 | #Constraints: 15931
745.39/747.24 c #Conflicts: 170000 | #Constraints: 16931
745.39/747.24 c #Conflicts: 171000 | #Constraints: 17931
745.39/747.24 c INPROCESSING
745.39/747.24 c GARBAGE COLLECT
745.39/747.24 c #Conflicts: 172000 | #Constraints: 10724
745.39/747.24 c #Conflicts: 173000 | #Constraints: 11724
745.39/747.24 c #Conflicts: 174000 | #Constraints: 12724
745.39/747.24 c #Conflicts: 175000 | #Constraints: 13724
745.39/747.24 c #Conflicts: 176000 | #Constraints: 14724
745.39/747.24 c #Conflicts: 177000 | #Constraints: 15724
745.39/747.24 c #Conflicts: 178000 | #Constraints: 16724
745.39/747.24 c #Conflicts: 179000 | #Constraints: 17724
745.39/747.24 c #Conflicts: 180000 | #Constraints: 18724
745.39/747.24 c INPROCESSING
745.39/747.24 c GARBAGE COLLECT
745.39/747.24 c #Conflicts: 181000 | #Constraints: 11316
745.39/747.24 c #Conflicts: 182000 | #Constraints: 12316
745.39/747.24 c #Conflicts: 183000 | #Constraints: 13316
745.39/747.24 c #Conflicts: 184000 | #Constraints: 14316
745.39/747.24 c #Conflicts: 185000 | #Constraints: 15316
745.39/747.24 c #Conflicts: 186000 | #Constraints: 16316
745.39/747.24 c #Conflicts: 187000 | #Constraints: 17316
745.39/747.24 c #Conflicts: 188000 | #Constraints: 18316
745.39/747.24 c #Conflicts: 189000 | #Constraints: 19316
745.39/747.24 c INPROCESSING
745.39/747.24 c GARBAGE COLLECT
745.39/747.24 c #Conflicts: 190000 | #Constraints: 11716
745.39/747.24 c #Conflicts: 191000 | #Constraints: 12716
745.39/747.24 c #Conflicts: 192000 | #Constraints: 13716
745.39/747.24 c #Conflicts: 193000 | #Constraints: 14716
745.39/747.24 c #Conflicts: 194000 | #Constraints: 15716
745.39/747.24 c #Conflicts: 195000 | #Constraints: 16716
745.39/747.24 c #Conflicts: 196000 | #Constraints: 17716
745.39/747.24 c #Conflicts: 197000 | #Constraints: 18716
745.39/747.24 c #Conflicts: 198000 | #Constraints: 19716
745.39/747.24 c INPROCESSING
745.39/747.24 c GARBAGE COLLECT
745.39/747.24 c #Conflicts: 199000 | #Constraints: 11918
745.39/747.24 c #Conflicts: 200000 | #Constraints: 12918
745.39/747.24 c #Conflicts: 201000 | #Constraints: 13918
745.39/747.24 c #Conflicts: 202000 | #Constraints: 14918
745.39/747.24 c #Conflicts: 203000 | #Constraints: 15918
745.39/747.24 c #Conflicts: 204000 | #Constraints: 16918
745.39/747.24 c #Conflicts: 205000 | #Constraints: 17918
1059.32/1061.90 c #Conflicts: 206000 | #Constraints: 18918
1059.32/1061.90 c #Conflicts: 207000 | #Constraints: 19918
1059.32/1061.90 c INPROCESSING
1059.32/1061.90 c GARBAGE COLLECT
1059.32/1061.90 c #Conflicts: 208000 | #Constraints: 11921
1059.32/1061.90 c #Conflicts: 209000 | #Constraints: 12921
1059.32/1061.90 c #Conflicts: 210000 | #Constraints: 13921
1059.32/1061.90 c #Conflicts: 211000 | #Constraints: 14921
1059.32/1061.90 c #Conflicts: 212000 | #Constraints: 15921
1059.32/1061.90 c #Conflicts: 213000 | #Constraints: 16921
1059.32/1061.90 c #Conflicts: 214000 | #Constraints: 17921
1059.32/1061.90 c #Conflicts: 215000 | #Constraints: 18921
1059.32/1061.90 c #Conflicts: 216000 | #Constraints: 19921
1059.32/1061.90 c INPROCESSING
1059.32/1061.90 c GARBAGE COLLECT
1059.32/1061.90 c #Conflicts: 217000 | #Constraints: 11722
1059.32/1061.90 c #Conflicts: 218000 | #Constraints: 12722
1059.32/1061.90 c #Conflicts: 219000 | #Constraints: 13722
1059.32/1061.90 c #Conflicts: 220000 | #Constraints: 14722
1059.32/1061.90 c #Conflicts: 221000 | #Constraints: 15722
1059.32/1061.90 c #Conflicts: 222000 | #Constraints: 16722
1059.32/1061.90 c #Conflicts: 223000 | #Constraints: 17722
1059.32/1061.90 c #Conflicts: 224000 | #Constraints: 18722
1059.32/1061.90 c #Conflicts: 225000 | #Constraints: 19722
1059.32/1061.90 c #Conflicts: 226000 | #Constraints: 20722
1059.32/1061.90 c INPROCESSING
1059.32/1061.90 c GARBAGE COLLECT
1059.32/1061.90 c #Conflicts: 227000 | #Constraints: 12323
1059.32/1061.90 c #Conflicts: 228000 | #Constraints: 13323
1059.32/1061.90 c #Conflicts: 229000 | #Constraints: 14323
1059.32/1061.90 c #Conflicts: 230000 | #Constraints: 15323
1059.32/1061.90 c #Conflicts: 231000 | #Constraints: 16323
1059.32/1061.90 c #Conflicts: 232000 | #Constraints: 17323
1059.32/1061.90 c #Conflicts: 233000 | #Constraints: 18323
1059.32/1061.90 c #Conflicts: 234000 | #Constraints: 19323
1059.32/1061.90 c #Conflicts: 235000 | #Constraints: 20323
1059.32/1061.90 c #Conflicts: 236000 | #Constraints: 21323
1059.32/1061.90 c INPROCESSING
1059.32/1061.90 c GARBAGE COLLECT
1059.32/1061.90 c #Conflicts: 237000 | #Constraints: 12720
1059.32/1061.90 c #Conflicts: 238000 | #Constraints: 13720
1059.32/1061.90 c #Conflicts: 239000 | #Constraints: 14720
1059.32/1061.90 c #Conflicts: 240000 | #Constraints: 15720
1059.32/1061.90 c #Conflicts: 241000 | #Constraints: 16720
1059.32/1061.90 c #Conflicts: 242000 | #Constraints: 17720
1059.32/1061.90 c #Conflicts: 243000 | #Constraints: 18720
1059.32/1061.90 c #Conflicts: 244000 | #Constraints: 19720
1059.32/1061.90 c #Conflicts: 245000 | #Constraints: 20720
1059.32/1061.90 c #Conflicts: 246000 | #Constraints: 21720
1059.32/1061.90 c INPROCESSING
1059.32/1061.90 c GARBAGE COLLECT
1059.32/1061.90 c #Conflicts: 247000 | #Constraints: 12917
1059.32/1061.90 c #Conflicts: 248000 | #Constraints: 13917
1059.32/1061.90 c #Conflicts: 249000 | #Constraints: 14917
1059.32/1061.90 c #Conflicts: 250000 | #Constraints: 15917
1059.32/1061.90 c #Conflicts: 251000 | #Constraints: 16917
1059.32/1061.90 c #Conflicts: 252000 | #Constraints: 17917
1059.32/1061.90 c #Conflicts: 253000 | #Constraints: 18917
1059.32/1061.90 c #Conflicts: 254000 | #Constraints: 19917
1059.32/1061.90 c #Conflicts: 255000 | #Constraints: 20917
1059.32/1061.90 c #Conflicts: 256000 | #Constraints: 21917
1059.32/1061.90 c INPROCESSING
1059.32/1061.90 c GARBAGE COLLECT
1059.32/1061.90 c #Conflicts: 257000 | #Constraints: 12919
1059.32/1061.90 c #Conflicts: 258000 | #Constraints: 13919
1059.32/1061.90 c #Conflicts: 259000 | #Constraints: 14919
1059.32/1061.90 c #Conflicts: 260000 | #Constraints: 15919
1059.32/1061.90 c #Conflicts: 261000 | #Constraints: 16919
1059.32/1061.90 c #Conflicts: 262000 | #Constraints: 17919
1059.32/1061.90 c #Conflicts: 263000 | #Constraints: 18919
1059.32/1061.90 c #Conflicts: 264000 | #Constraints: 19919
1059.32/1061.90 c #Conflicts: 265000 | #Constraints: 20919
1059.32/1061.90 c #Conflicts: 266000 | #Constraints: 21919
1059.32/1061.90 c INPROCESSING
1059.32/1061.90 c GARBAGE COLLECT
1059.32/1061.90 c #Conflicts: 267000 | #Constraints: 12722
1059.32/1061.90 c #Conflicts: 268000 | #Constraints: 13722
1059.32/1061.90 c #Conflicts: 269000 | #Constraints: 14722
1059.32/1061.90 c #Conflicts: 270000 | #Constraints: 15722
1059.32/1061.90 c #Conflicts: 271000 | #Constraints: 16722
1059.32/1061.90 c #Conflicts: 272000 | #Constraints: 17722
1059.32/1061.90 c bounds - >= 24597915 @ 1002.5
1059.32/1061.90 c #Conflicts: 273000 | #Constraints: 18723
1059.32/1061.90 c #Conflicts: 274000 | #Constraints: 19723
1059.32/1061.90 c #Conflicts: 275000 | #Constraints: 20723
1059.32/1061.90 c #Conflicts: 276000 | #Constraints: 21723
1059.32/1061.90 c #Conflicts: 277000 | #Constraints: 22723
1059.32/1061.90 c INPROCESSING
1059.32/1061.90 c GARBAGE COLLECT
1059.32/1061.90 c #Conflicts: 278000 | #Constraints: 13321
1537.73/1541.55 c #Conflicts: 279000 | #Constraints: 14321
1537.73/1541.55 c #Conflicts: 280000 | #Constraints: 15321
1537.73/1541.55 c #Conflicts: 281000 | #Constraints: 16321
1537.73/1541.55 c #Conflicts: 282000 | #Constraints: 17321
1537.73/1541.55 c #Conflicts: 283000 | #Constraints: 18321
1537.73/1541.55 c #Conflicts: 284000 | #Constraints: 19321
1537.73/1541.55 c #Conflicts: 285000 | #Constraints: 20321
1537.73/1541.55 c #Conflicts: 286000 | #Constraints: 21321
1537.73/1541.55 c #Conflicts: 287000 | #Constraints: 22321
1537.73/1541.55 c #Conflicts: 288000 | #Constraints: 23321
1537.73/1541.55 c INPROCESSING
1537.73/1541.55 c GARBAGE COLLECT
1537.73/1541.55 c #Conflicts: 289000 | #Constraints: 13715
1537.73/1541.55 c #Conflicts: 290000 | #Constraints: 14715
1537.73/1541.55 c #Conflicts: 291000 | #Constraints: 15715
1537.73/1541.55 c #Conflicts: 292000 | #Constraints: 16715
1537.73/1541.55 c #Conflicts: 293000 | #Constraints: 17715
1537.73/1541.55 c #Conflicts: 294000 | #Constraints: 18715
1537.73/1541.55 c #Conflicts: 295000 | #Constraints: 19715
1537.73/1541.55 c #Conflicts: 296000 | #Constraints: 20715
1537.73/1541.55 c bounds - >= 24597927 @ 1133.87
1537.73/1541.55 c #Conflicts: 297000 | #Constraints: 21716
1537.73/1541.56 c #Conflicts: 298000 | #Constraints: 22716
1537.73/1541.56 c #Conflicts: 299000 | #Constraints: 23716
1537.73/1541.56 c INPROCESSING
1537.73/1541.56 c GARBAGE COLLECT
1537.73/1541.56 c #Conflicts: 300000 | #Constraints: 13916
1537.73/1541.56 c #Conflicts: 301000 | #Constraints: 14916
1537.73/1541.56 c #Conflicts: 302000 | #Constraints: 15916
1537.73/1541.56 c #Conflicts: 303000 | #Constraints: 16916
1537.73/1541.56 c #Conflicts: 304000 | #Constraints: 17916
1537.73/1541.56 c #Conflicts: 305000 | #Constraints: 18916
1537.73/1541.56 c #Conflicts: 306000 | #Constraints: 19916
1537.73/1541.56 c #Conflicts: 307000 | #Constraints: 20916
1537.73/1541.56 c bounds - >= 24597930 @ 1202.95
1537.73/1541.56 c #Conflicts: 308000 | #Constraints: 21917
1537.73/1541.56 c #Conflicts: 309000 | #Constraints: 22917
1537.73/1541.56 c #Conflicts: 310000 | #Constraints: 23917
1537.73/1541.56 c INPROCESSING
1537.73/1541.56 c GARBAGE COLLECT
1537.73/1541.56 c #Conflicts: 311000 | #Constraints: 13918
1537.73/1541.56 c #Conflicts: 312000 | #Constraints: 14918
1537.73/1541.56 c #Conflicts: 313000 | #Constraints: 15918
1537.73/1541.56 c #Conflicts: 314000 | #Constraints: 16918
1537.73/1541.56 c #Conflicts: 315000 | #Constraints: 17918
1537.73/1541.56 c #Conflicts: 316000 | #Constraints: 18918
1537.73/1541.56 c #Conflicts: 317000 | #Constraints: 19918
1537.73/1541.56 c #Conflicts: 318000 | #Constraints: 20918
1537.73/1541.56 c #Conflicts: 319000 | #Constraints: 21918
1537.73/1541.56 c #Conflicts: 320000 | #Constraints: 22918
1537.73/1541.56 c #Conflicts: 321000 | #Constraints: 23918
1537.73/1541.56 c INPROCESSING
1537.73/1541.56 c GARBAGE COLLECT
1537.73/1541.56 c #Conflicts: 322000 | #Constraints: 13718
1537.73/1541.56 c #Conflicts: 323000 | #Constraints: 14718
1537.73/1541.56 c #Conflicts: 324000 | #Constraints: 15718
1537.73/1541.56 c #Conflicts: 325000 | #Constraints: 16718
1537.73/1541.56 c #Conflicts: 326000 | #Constraints: 17718
1537.73/1541.56 c #Conflicts: 327000 | #Constraints: 18718
1537.73/1541.56 c #Conflicts: 328000 | #Constraints: 19718
1537.73/1541.56 c #Conflicts: 329000 | #Constraints: 20718
1537.73/1541.56 c #Conflicts: 330000 | #Constraints: 21718
1537.73/1541.56 c #Conflicts: 331000 | #Constraints: 22718
1537.73/1541.56 c #Conflicts: 332000 | #Constraints: 23718
1537.73/1541.56 c #Conflicts: 333000 | #Constraints: 24718
1537.73/1541.56 c INPROCESSING
1537.73/1541.56 c GARBAGE COLLECT
1537.73/1541.56 c #Conflicts: 334000 | #Constraints: 14324
1537.73/1541.56 c #Conflicts: 335000 | #Constraints: 15324
1537.73/1541.56 c #Conflicts: 336000 | #Constraints: 16324
1537.73/1541.56 c #Conflicts: 337000 | #Constraints: 17324
1537.73/1541.56 c #Conflicts: 338000 | #Constraints: 18324
1537.73/1541.56 c #Conflicts: 339000 | #Constraints: 19324
1537.73/1541.56 c #Conflicts: 340000 | #Constraints: 20324
1537.73/1541.56 c #Conflicts: 341000 | #Constraints: 21324
1537.73/1541.56 c #Conflicts: 342000 | #Constraints: 22324
1537.73/1541.56 c #Conflicts: 343000 | #Constraints: 23324
1537.73/1541.56 c bounds - >= 24597937 @ 1473.18
1537.73/1541.56 c #Conflicts: 344000 | #Constraints: 24325
1537.73/1541.56 c #Conflicts: 345000 | #Constraints: 25325
1537.73/1541.56 c INPROCESSING
1537.73/1541.56 c GARBAGE COLLECT
1537.73/1541.56 c #Conflicts: 346000 | #Constraints: 14720
1537.73/1541.56 c #Conflicts: 347000 | #Constraints: 15720
1537.73/1541.56 c #Conflicts: 348000 | #Constraints: 16720
1537.73/1541.56 c #Conflicts: 349000 | #Constraints: 17720
1537.73/1541.56 c #Conflicts: 350000 | #Constraints: 18720
1537.73/1541.56 c #Conflicts: 351000 | #Constraints: 19720
2118.19/2123.41 c #Conflicts: 352000 | #Constraints: 20720
2118.19/2123.41 c #Conflicts: 353000 | #Constraints: 21720
2118.19/2123.41 c #Conflicts: 354000 | #Constraints: 22720
2118.19/2123.41 c #Conflicts: 355000 | #Constraints: 23720
2118.19/2123.41 c #Conflicts: 356000 | #Constraints: 24720
2118.19/2123.41 c #Conflicts: 357000 | #Constraints: 25720
2118.19/2123.41 c INPROCESSING
2118.19/2123.41 c GARBAGE COLLECT
2118.19/2123.41 c #Conflicts: 358000 | #Constraints: 14918
2118.19/2123.41 c #Conflicts: 359000 | #Constraints: 15918
2118.19/2123.41 c #Conflicts: 360000 | #Constraints: 16918
2118.19/2123.41 c #Conflicts: 361000 | #Constraints: 17918
2118.19/2123.41 c #Conflicts: 362000 | #Constraints: 18918
2118.19/2123.41 c #Conflicts: 363000 | #Constraints: 19918
2118.19/2123.41 c #Conflicts: 364000 | #Constraints: 20918
2118.19/2123.41 c #Conflicts: 365000 | #Constraints: 21918
2118.19/2123.41 c #Conflicts: 366000 | #Constraints: 22918
2118.19/2123.41 c #Conflicts: 367000 | #Constraints: 23918
2118.19/2123.41 c #Conflicts: 368000 | #Constraints: 24918
2118.19/2123.41 c #Conflicts: 369000 | #Constraints: 25918
2118.19/2123.41 c INPROCESSING
2118.19/2123.41 c GARBAGE COLLECT
2118.19/2123.41 c #Conflicts: 370000 | #Constraints: 14921
2118.19/2123.41 c #Conflicts: 371000 | #Constraints: 15921
2118.19/2123.41 c #Conflicts: 372000 | #Constraints: 16921
2118.19/2123.41 c bounds - >= 24597953 @ 1681.28
2118.19/2123.41 c #Conflicts: 373000 | #Constraints: 17922
2118.19/2123.41 c #Conflicts: 374000 | #Constraints: 18922
2118.19/2123.41 c #Conflicts: 375000 | #Constraints: 19922
2118.19/2123.41 c #Conflicts: 376000 | #Constraints: 20922
2118.19/2123.41 c #Conflicts: 377000 | #Constraints: 21922
2118.19/2123.41 c #Conflicts: 378000 | #Constraints: 22922
2118.19/2123.41 c #Conflicts: 379000 | #Constraints: 23922
2118.19/2123.41 c #Conflicts: 380000 | #Constraints: 24922
2118.19/2123.41 c #Conflicts: 381000 | #Constraints: 25922
2118.19/2123.41 c INPROCESSING
2118.19/2123.41 c GARBAGE COLLECT
2118.19/2123.41 c #Conflicts: 382000 | #Constraints: 14720
2118.19/2123.41 c #Conflicts: 383000 | #Constraints: 15720
2118.19/2123.41 c #Conflicts: 384000 | #Constraints: 16720
2118.19/2123.41 c #Conflicts: 385000 | #Constraints: 17720
2118.19/2123.41 c #Conflicts: 386000 | #Constraints: 18720
2118.19/2123.41 c #Conflicts: 387000 | #Constraints: 19720
2118.19/2123.41 c #Conflicts: 388000 | #Constraints: 20720
2118.19/2123.41 c #Conflicts: 389000 | #Constraints: 21720
2118.19/2123.41 c #Conflicts: 390000 | #Constraints: 22720
2118.19/2123.41 c #Conflicts: 391000 | #Constraints: 23720
2118.19/2123.41 c #Conflicts: 392000 | #Constraints: 24720
2118.19/2123.41 c #Conflicts: 393000 | #Constraints: 25720
2118.19/2123.41 c #Conflicts: 394000 | #Constraints: 26720
2118.19/2123.41 c INPROCESSING
2118.19/2123.41 c GARBAGE COLLECT
2118.19/2123.41 c #Conflicts: 395000 | #Constraints: 15319
2118.19/2123.41 c #Conflicts: 396000 | #Constraints: 16319
2118.19/2123.41 c #Conflicts: 397000 | #Constraints: 17319
2118.19/2123.41 c #Conflicts: 398000 | #Constraints: 18319
2118.19/2123.41 c #Conflicts: 399000 | #Constraints: 19319
2118.19/2123.41 c #Conflicts: 400000 | #Constraints: 20319
2118.19/2123.41 c bounds - >= 24597968 @ 1906.94
2118.19/2123.41 c #Conflicts: 401000 | #Constraints: 21320
2118.19/2123.41 c #Conflicts: 402000 | #Constraints: 22320
2118.19/2123.41 c #Conflicts: 403000 | #Constraints: 23320
2118.19/2123.41 c #Conflicts: 404000 | #Constraints: 24320
2118.19/2123.41 c #Conflicts: 405000 | #Constraints: 25320
2118.19/2123.41 c #Conflicts: 406000 | #Constraints: 26320
2118.19/2123.41 c #Conflicts: 407000 | #Constraints: 27320
2118.19/2123.41 c INPROCESSING
2118.19/2123.41 c GARBAGE COLLECT
2118.19/2123.41 c #Conflicts: 408000 | #Constraints: 15722
2118.19/2123.41 c #Conflicts: 409000 | #Constraints: 16722
2118.19/2123.41 c #Conflicts: 410000 | #Constraints: 17722
2118.19/2123.41 c #Conflicts: 411000 | #Constraints: 18722
2118.19/2123.41 c #Conflicts: 412000 | #Constraints: 19722
2118.19/2123.41 c #Conflicts: 413000 | #Constraints: 20722
2118.19/2123.41 c #Conflicts: 414000 | #Constraints: 21722
2118.19/2123.41 c bounds - >= 24597976 @ 2009.73
2118.19/2123.41 c #Conflicts: 415000 | #Constraints: 22723
2118.19/2123.41 c #Conflicts: 416000 | #Constraints: 23723
2118.19/2123.41 c #Conflicts: 417000 | #Constraints: 24723
2118.19/2123.41 c #Conflicts: 418000 | #Constraints: 25723
2118.19/2123.41 c #Conflicts: 419000 | #Constraints: 26723
2118.19/2123.41 c #Conflicts: 420000 | #Constraints: 27723
2118.19/2123.41 c INPROCESSING
2118.19/2123.41 c GARBAGE COLLECT
2118.19/2123.41 c #Conflicts: 421000 | #Constraints: 15922
2118.19/2123.41 c #Conflicts: 422000 | #Constraints: 16922
2118.19/2123.41 c #Conflicts: 423000 | #Constraints: 17922
2118.19/2123.41 c #Conflicts: 424000 | #Constraints: 18922
2934.50/2941.92 c #Conflicts: 425000 | #Constraints: 19922
2934.50/2941.92 c #Conflicts: 426000 | #Constraints: 20922
2934.50/2941.92 c #Conflicts: 427000 | #Constraints: 21922
2934.50/2941.92 c #Conflicts: 428000 | #Constraints: 22922
2934.50/2941.92 c bounds - >= 24597978 @ 2129.78
2934.50/2941.92 c #Conflicts: 429000 | #Constraints: 23923
2934.50/2941.92 c #Conflicts: 430000 | #Constraints: 24923
2934.50/2941.92 c #Conflicts: 431000 | #Constraints: 25923
2934.50/2941.92 c #Conflicts: 432000 | #Constraints: 26923
2934.50/2941.92 c #Conflicts: 433000 | #Constraints: 27923
2934.50/2941.92 c INPROCESSING
2934.50/2941.92 c GARBAGE COLLECT
2934.50/2941.92 c #Conflicts: 434000 | #Constraints: 15921
2934.50/2941.92 c #Conflicts: 435000 | #Constraints: 16921
2934.50/2941.92 c #Conflicts: 436000 | #Constraints: 17921
2934.50/2941.92 c #Conflicts: 437000 | #Constraints: 18921
2934.50/2941.92 c #Conflicts: 438000 | #Constraints: 19921
2934.50/2941.92 c #Conflicts: 439000 | #Constraints: 20921
2934.50/2941.92 c #Conflicts: 440000 | #Constraints: 21921
2934.50/2941.92 c #Conflicts: 441000 | #Constraints: 22921
2934.50/2941.92 c bounds - >= 24597986 @ 2237.49
2934.50/2941.92 c #Conflicts: 442000 | #Constraints: 23922
2934.50/2941.92 c #Conflicts: 443000 | #Constraints: 24922
2934.50/2941.92 c #Conflicts: 444000 | #Constraints: 25922
2934.50/2941.92 c #Conflicts: 445000 | #Constraints: 26922
2934.50/2941.92 c #Conflicts: 446000 | #Constraints: 27922
2934.50/2941.92 c INPROCESSING
2934.50/2941.92 c GARBAGE COLLECT
2934.50/2941.92 c #Conflicts: 447000 | #Constraints: 15727
2934.50/2941.92 c #Conflicts: 448000 | #Constraints: 16727
2934.50/2941.92 c #Conflicts: 449000 | #Constraints: 17727
2934.50/2941.92 c #Conflicts: 450000 | #Constraints: 18727
2934.50/2941.92 c #Conflicts: 451000 | #Constraints: 19727
2934.50/2941.92 c #Conflicts: 452000 | #Constraints: 20727
2934.50/2941.92 c #Conflicts: 453000 | #Constraints: 21727
2934.50/2941.92 c #Conflicts: 454000 | #Constraints: 22727
2934.50/2941.92 c bounds - >= 24597988 @ 2332.85
2934.50/2941.92 c #Conflicts: 455000 | #Constraints: 23728
2934.50/2941.92 c #Conflicts: 456000 | #Constraints: 24728
2934.50/2941.92 c #Conflicts: 457000 | #Constraints: 25728
2934.50/2941.92 c #Conflicts: 458000 | #Constraints: 26728
2934.50/2941.92 c #Conflicts: 459000 | #Constraints: 27728
2934.50/2941.92 c #Conflicts: 460000 | #Constraints: 28728
2934.50/2941.92 c INPROCESSING
2934.50/2941.92 c GARBAGE COLLECT
2934.50/2941.92 c #Conflicts: 461000 | #Constraints: 16328
2934.50/2941.92 c #Conflicts: 462000 | #Constraints: 17328
2934.50/2941.92 c #Conflicts: 463000 | #Constraints: 18328
2934.50/2941.92 c #Conflicts: 464000 | #Constraints: 19328
2934.50/2941.92 c #Conflicts: 465000 | #Constraints: 20328
2934.50/2941.92 c #Conflicts: 466000 | #Constraints: 21328
2934.50/2941.92 c #Conflicts: 467000 | #Constraints: 22328
2934.50/2941.92 c #Conflicts: 468000 | #Constraints: 23328
2934.50/2941.92 c #Conflicts: 469000 | #Constraints: 24328
2934.50/2941.92 c #Conflicts: 470000 | #Constraints: 25328
2934.50/2941.92 c #Conflicts: 471000 | #Constraints: 26328
2934.50/2941.92 c #Conflicts: 472000 | #Constraints: 27328
2934.50/2941.92 c #Conflicts: 473000 | #Constraints: 28328
2934.50/2941.92 c #Conflicts: 474000 | #Constraints: 29328
2934.50/2941.92 c INPROCESSING
2934.50/2941.92 c GARBAGE COLLECT
2934.50/2941.92 c #Conflicts: 475000 | #Constraints: 16729
2934.50/2941.92 c #Conflicts: 476000 | #Constraints: 17729
2934.50/2941.92 c #Conflicts: 477000 | #Constraints: 18729
2934.50/2941.92 c #Conflicts: 478000 | #Constraints: 19729
2934.50/2941.92 c #Conflicts: 479000 | #Constraints: 20729
2934.50/2941.92 c #Conflicts: 480000 | #Constraints: 21729
2934.50/2941.92 c #Conflicts: 481000 | #Constraints: 22729
2934.50/2941.92 c #Conflicts: 482000 | #Constraints: 23729
2934.50/2941.92 c #Conflicts: 483000 | #Constraints: 24729
2934.50/2941.92 c #Conflicts: 484000 | #Constraints: 25729
2934.50/2941.92 c #Conflicts: 485000 | #Constraints: 26729
2934.50/2941.92 c #Conflicts: 486000 | #Constraints: 27729
2934.50/2941.92 c #Conflicts: 487000 | #Constraints: 28729
2934.50/2941.92 c #Conflicts: 488000 | #Constraints: 29729
2934.50/2941.92 c INPROCESSING
2934.50/2941.92 c GARBAGE COLLECT
2934.50/2941.92 c #Conflicts: 489000 | #Constraints: 16929
2934.50/2941.92 c #Conflicts: 490000 | #Constraints: 17929
2934.50/2941.92 c #Conflicts: 491000 | #Constraints: 18929
2934.50/2941.92 c #Conflicts: 492000 | #Constraints: 19929
2934.50/2941.92 c bounds - >= 24598006 @ 2838.56
2934.50/2941.92 c #Conflicts: 493000 | #Constraints: 20930
2934.50/2941.92 c #Conflicts: 494000 | #Constraints: 21930
2934.50/2941.92 c #Conflicts: 495000 | #Constraints: 22930
2934.50/2941.92 c #Conflicts: 496000 | #Constraints: 23930
2934.50/2941.92 c #Conflicts: 497000 | #Constraints: 24930
3600.00/3609.30 c #Conflicts: 498000 | #Constraints: 25930
3600.00/3609.30 c #Conflicts: 499000 | #Constraints: 26930
3600.00/3609.30 c #Conflicts: 500000 | #Constraints: 27930
3600.00/3609.30 c #Conflicts: 501000 | #Constraints: 28930
3600.00/3609.30 c #Conflicts: 502000 | #Constraints: 29930
3600.00/3609.30 c INPROCESSING
3600.00/3609.30 c GARBAGE COLLECT
3600.00/3609.30 c #Conflicts: 503000 | #Constraints: 16921
3600.00/3609.30 c #Conflicts: 504000 | #Constraints: 17921
3600.00/3609.30 c #Conflicts: 505000 | #Constraints: 18921
3600.00/3609.30 c #Conflicts: 506000 | #Constraints: 19921
3600.00/3609.30 c #Conflicts: 507000 | #Constraints: 20921
3600.00/3609.30 c #Conflicts: 508000 | #Constraints: 21921
3600.00/3609.30 c #Conflicts: 509000 | #Constraints: 22921
3600.00/3609.30 c #Conflicts: 510000 | #Constraints: 23921
3600.00/3609.30 c #Conflicts: 511000 | #Constraints: 24921
3600.00/3609.30 c #Conflicts: 512000 | #Constraints: 25921
3600.00/3609.30 c #Conflicts: 513000 | #Constraints: 26921
3600.00/3609.30 c #Conflicts: 514000 | #Constraints: 27921
3600.00/3609.30 c #Conflicts: 515000 | #Constraints: 28921
3600.00/3609.30 c #Conflicts: 516000 | #Constraints: 29921
3600.00/3609.30 c INPROCESSING
3600.00/3609.30 c GARBAGE COLLECT
3600.00/3609.30 c #Conflicts: 517000 | #Constraints: 16724
3600.00/3609.30 c #Conflicts: 518000 | #Constraints: 17724
3600.00/3609.30 c #Conflicts: 519000 | #Constraints: 18724
3600.00/3609.30 c #Conflicts: 520000 | #Constraints: 19724
3600.00/3609.30 c bounds - >= 24598014 @ 3218.72
3600.00/3609.30 c bounds - >= 24598020 @ 3222.13
3600.00/3609.30 c bounds - >= 24598029 @ 3223.83
3600.00/3609.30 c #Conflicts: 521000 | #Constraints: 20727
3600.00/3609.30 c bounds - >= 24598035 @ 3225.49
3600.00/3609.30 c bounds - >= 24598038 @ 3226.92
3600.00/3609.30 c bounds - >= 24598079 @ 3227.81
3600.00/3609.30 c bounds - >= 24598091 @ 3228.4
3600.00/3609.30 c #Conflicts: 522000 | #Constraints: 21731
3600.00/3609.30 c bounds - >= 24598103 @ 3236.65
3600.00/3609.30 c bounds - >= 24598175 @ 3236.7
3600.00/3609.30 c #Conflicts: 523000 | #Constraints: 22735
3600.00/3609.30 c bounds - >= 24598178 @ 3240.7
3600.00/3609.30 c #Conflicts: 524000 | #Constraints: 23736
3600.00/3609.30 c #Conflicts: 525000 | #Constraints: 24736
3600.00/3609.30 c #Conflicts: 526000 | #Constraints: 25736
3600.00/3609.30 c #Conflicts: 527000 | #Constraints: 26736
3600.00/3609.30 c #Conflicts: 528000 | #Constraints: 27736
3600.00/3609.30 c #Conflicts: 529000 | #Constraints: 28736
3600.00/3609.30 c bounds - >= 24598220 @ 3316.82
3600.00/3609.30 c bounds - >= 24598235 @ 3316.9
3600.00/3609.30 c #Conflicts: 530000 | #Constraints: 29739
3600.00/3609.30 c #Conflicts: 531000 | #Constraints: 30739
3600.00/3609.30 c INPROCESSING
3600.00/3609.30 c GARBAGE COLLECT
3600.00/3609.30 c #Conflicts: 532000 | #Constraints: 17321
3600.00/3609.30 c #Conflicts: 533000 | #Constraints: 18321
3600.00/3609.30 c #Conflicts: 534000 | #Constraints: 19321
3600.00/3609.30 c #Conflicts: 535000 | #Constraints: 20321
3600.00/3609.30 c #Conflicts: 536000 | #Constraints: 21321
3600.00/3609.30 c #Conflicts: 537000 | #Constraints: 22321
3600.00/3609.30 c #Conflicts: 538000 | #Constraints: 23321
3600.00/3609.30 c #Conflicts: 539000 | #Constraints: 24321
3600.00/3609.30 c #Conflicts: 540000 | #Constraints: 25321
3600.00/3609.30 c #Conflicts: 541000 | #Constraints: 26321
3600.00/3609.30 c #Conflicts: 542000 | #Constraints: 27321
3600.00/3609.30 c #Conflicts: 543000 | #Constraints: 28321
3600.00/3609.30 c #Conflicts: 544000 | #Constraints: 29321
3600.00/3609.30 c #Conflicts: 545000 | #Constraints: 30321
3600.00/3609.30 c #Conflicts: 546000 | #Constraints: 31321
3600.00/3609.30 c INPROCESSING
3600.00/3609.30 c GARBAGE COLLECT
3600.00/3609.30 c #Conflicts: 547000 | #Constraints: 17722
3600.00/3609.30 c #Conflicts: 548000 | #Constraints: 18722
3600.00/3609.30 c #Conflicts: 549000 | #Constraints: 19722
3600.00/3609.30 c #Conflicts: 550000 | #Constraints: 20722
3600.00/3609.30 c #Conflicts: 551000 | #Constraints: 21722
3600.00/3609.30 c #Conflicts: 552000 | #Constraints: 22722
3600.00/3609.30 c #Conflicts: 553000 | #Constraints: 23722
3600.00/3609.30 c #Conflicts: 554000 | #Constraints: 24722
3600.00/3609.30 c #Conflicts: 555000 | #Constraints: 25722
3600.00/3609.30 c #Conflicts: 556000 | #Constraints: 26722
3600.00/3609.30 c #Conflicts: 557000 | #Constraints: 27722
3600.00/3609.30 c #Conflicts: 558000 | #Constraints: 28722
3600.00/3609.30 c Program interrupted by user.
3600.00/3609.30 c cpu time 3564.96 s
3600.00/3609.30 c deterministic time 620697055629 6.21e+11
3600.00/3609.30 c optimization time 90.5707 s
3600.00/3609.30 c total solve time 3474.37 s
3600.00/3609.30 c core-guided solve time 3474.37 s
3600.00/3609.30 c propagation time 3364.21 s
3600.00/3609.30 c conflict analysis time 160.189 s
3600.00/3609.30 c propagations 160268784
3600.00/3609.30 c resolve steps 3419713
3600.00/3609.30 c decisions 37530433
3600.00/3609.30 c conflicts 558078
3600.00/3609.30 c restarts 1156
3600.00/3609.30 c inprocessing phases 65
3600.00/3609.30 c input clauses 2948
3600.00/3609.30 c input cardinalities 179
3600.00/3609.30 c input general constraints 1123
3600.00/3609.30 c input average constraint length 438.69
3600.00/3609.30 c input average constraint degree 21579536.87
3600.00/3609.30 c learned clauses 153035
3600.00/3609.30 c learned cardinalities 30
3600.00/3609.30 c learned general constraints 405407
3600.00/3609.30 c learned average constraint length 492.91
3600.00/3609.30 c learned average constraint degree 34543066.87
3600.00/3609.30 c watched constraints 405904
3600.00/3609.30 c counting constraints 626
3600.00/3609.30 c gcd simplifications 45406
3600.00/3609.30 c detected cardinalities 15
3600.00/3609.30 c weakened non-implied lits 21624166
3600.00/3609.30 c weakened non-implying lits 612813
3600.00/3609.30 c original variables 6402
3600.00/3609.30 c clausal propagations 3816501
3600.00/3609.30 c cardinality propagations 4234480
3600.00/3609.30 c watched propagations 66947091
3600.00/3609.30 c counting propagations 83179435
3600.00/3609.30 c watch lookups 45920409146
3600.00/3609.30 c watch backjump lookups 45225427761
3600.00/3609.30 c watch checks 315462965563
3600.00/3609.30 c propagation checks 212704817851
3600.00/3609.30 c constraint additions 987283515
3600.00/3609.30 c trail pops 198352575
3600.00/3609.30 c formula constraints 3348
3600.00/3609.30 c learned constraints 558472
3600.00/3609.30 c bound constraints 895
3600.00/3609.30 c core-guided constraints 7
3600.00/3609.30 c encountered formula constraints 1499946
3600.00/3609.30 c encountered learned constraints 2477845
3600.00/3609.30 c encountered bound constraints 0
3600.00/3609.30 c encountered core-guided constraints 0
3600.00/3609.30 c LP total time 0 s
3600.00/3609.30 c LP solve time 0 s
3600.00/3609.30 c LP constraints added 0
3600.00/3609.30 c LP constraints removed 0
3600.00/3609.30 c LP pivots internal 0
3600.00/3609.30 c LP pivots root 0
3600.00/3609.30 c LP calls 0
3600.00/3609.30 c LP optimalities 0
3600.00/3609.30 c LP no pivot count 0
3600.00/3609.30 c LP infeasibilities 0
3600.00/3609.30 c LP valid Farkas constraints 0
3600.00/3609.30 c LP learned Farkas constraints 0
3600.00/3609.30 c LP basis resets 0
3600.00/3609.30 c LP cycling count 0
3600.00/3609.30 c LP singular count 0
3600.00/3609.30 c LP no primal count 0
3600.00/3609.30 c LP no farkas count 0
3600.00/3609.30 c LP other issue count 0
3600.00/3609.30 c LP Gomory cuts 0
3600.00/3609.30 c LP learned cuts 0
3600.00/3609.30 c LP deleted cuts 0
3600.00/3609.30 c LP encountered Gomory constraints 0
3600.00/3609.30 c LP encountered Farkas constraints 0
3600.00/3609.30 c LP encountered learned Farkas constraints 0
3600.00/3609.30 c CG auxiliary variables introduced 7
3600.00/3609.30 c CG solutions found 0
3600.00/3609.30 c CG cores constructed 895
3600.00/3609.30 c CG core cardinality constraints returned 0
3600.00/3609.30 c CG unit cores 0
3600.00/3609.30 c CG single cores 822
3600.00/3609.30 c CG blocks removed during cardinality reduction 139
3600.00/3609.30 c CG first core best 5
3600.00/3609.30 c CG decision core best 37
3600.00/3609.30 c CG core reduction tie 31
3600.00/3609.30 c CG core degree average 1.00
3600.00/3609.30 c CG core slack average 158.68
3600.00/3609.30 c CG exhausted 0
3600.00/3609.30 c CG exhaust time 0 s
3600.00/3609.30 c CG trimmed 3575
3600.00/3609.30 c CG trim time 2.94552 s
3600.00/3609.30 c CG minimized 0
3600.00/3609.30 c CG minimize time 0 s
3600.00/3609.30 c CG am1 prop time 0.00228 s
3600.00/3609.30 c CG # am1s reformulated 7
3600.00/3609.30 c CG lower bound derived from am1s 1314941
3600.00/3609.30 c CG # clausal cores 852
3600.00/3609.30 c CG # cardinality cores 0
3600.00/3609.30 c CG # pb cores 116
3600.00/3609.30 c CG # pb reforms 0
3600.00/3609.30 c CG # cores discarded because of pb reform 0
3600.00/3609.30 d LOWERBOUND 24598235
3600.00/3609.30 d NCORES 895
3600.00/3609.30 d NPBCORES 116
3600.00/3609.30 d NPBREFORM 0
3600.00/3609.30 d NTRIMMED 3575
3600.00/3609.30 d NEXHAUSTED 0
3600.00/3609.30 d NAM1S 7
3600.00/3609.30 d AM1LB 1314941
3600.00/3609.30 s UNKNOWN
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 (61917 MiB free)
memory of node 1: 64510 MiB (62296 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435801-1721075250/watcher-4435801-1721075250 -o /tmp/evaluation-result-4435801-1721075250/solver-4435801-1721075250 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1721071653-822408 --watchdog 3760 pb-oll-rs HOME/instance-4435801-1721075250.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=824423, runsolver pid=824420
Current StackSize limit: 8192 KiB
[startup+0.100082 s]*
/proc/loadavg: 4.18 4.26 4.18 4/255 824424
/proc/meminfo: memFree=127189148/131524600 swapFree=130795800/131071996
[pid=824423] ppid=824420 vsize=42168 memory=11492 CPUtime=0.09 cores=5,7
/proc/824423/stat : 824423 (pb-oll-rs) R 824420 824423 822395 0 -1 4194304 1236 0 0 0 6 3 0 0 20 0 1 0 159684139 43180032 2873 134679101440 4194304 5384005 140725592141008 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 16224256 140725592142871 140725592142948 140725592142948 140725592149963 0
/proc/824423/statm: 10542 2873 1387 291 0 2076 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 42168 KiB
Current children cumulated memory: 11492 KiB
[startup+0.205172 s]*
/proc/loadavg: 4.18 4.26 4.18 5/255 824436
/proc/meminfo: memFree=127184960/131524600 swapFree=130795800/131071996
[pid=824423] ppid=824420 vsize=42476 memory=12284 CPUtime=0.2 cores=5,7
/proc/824423/stat : 824423 (pb-oll-rs) R 824420 824423 822395 0 -1 4194304 1477 0 0 0 13 7 0 0 20 0 1 0 159684139 43495424 3071 134679101440 4194304 5384005 140725592141008 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 16224256 140725592142871 140725592142948 140725592142948 140725592149963 0
/proc/824423/statm: 10619 3071 1387 291 0 2153 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 42476 KiB
Current children cumulated memory: 12284 KiB
[startup+0.305408 s]*
/proc/loadavg: 4.18 4.26 4.18 5/254 824445
/proc/meminfo: memFree=127188600/131524600 swapFree=130795800/131071996
[pid=824423] ppid=824420 vsize=42760 memory=13868 CPUtime=0.3 cores=5,7
/proc/824423/stat : 824423 (pb-oll-rs) R 824420 824423 822395 0 -1 4194304 1869 0 0 0 20 10 0 0 20 0 1 0 159684139 43786240 3467 134679101440 4194304 5384005 140725592141008 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 16224256 140725592142871 140725592142948 140725592142948 140725592149963 0
/proc/824423/statm: 10690 3467 1387 291 0 2224 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 42760 KiB
Current children cumulated memory: 13868 KiB
[startup+0.700161 s]
/proc/loadavg: 4.18 4.26 4.18 5/258 824456
/proc/meminfo: memFree=127164360/131524600 swapFree=130795800/131071996
[pid=824423] ppid=824420 vsize=51612 memory=19404 CPUtime=0.69 cores=5,7
/proc/824423/stat : 824423 (pb-oll-rs) R 824420 824423 822395 0 -1 4194304 3234 0 0 0 45 24 0 0 20 0 1 0 159684139 52850688 4851 134679101440 4194304 5384005 140725592141008 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 16224256 140725592142871 140725592142948 140725592142948 140725592149963 0
/proc/824423/statm: 12903 4851 1387 291 0 4437 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 51612 KiB
Current children cumulated memory: 19404 KiB
[startup+1.50018 s]
/proc/loadavg: 4.18 4.26 4.18 5/258 824456
/proc/meminfo: memFree=127117628/131524600 swapFree=130795800/131071996
[pid=824423] ppid=824420 vsize=61320 memory=26764 CPUtime=1.49 cores=5,7
/proc/824423/stat : 824423 (pb-oll-rs) R 824420 824423 822395 0 -1 4194304 4475 0 0 0 109 40 0 0 20 0 1 0 159684139 62791680 6691 134679101440 4194304 5384005 140725592141008 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 16224256 140725592142871 140725592142948 140725592142948 140725592149963 0
/proc/824423/statm: 15330 6691 1467 291 0 6864 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 61320 KiB
Current children cumulated memory: 26764 KiB
[startup+3.1057 s]
/proc/loadavg: 4.17 4.26 4.18 5/258 824457
/proc/meminfo: memFree=127020340/131524600 swapFree=130795800/131071996
[pid=824423] ppid=824420 vsize=63576 memory=31436 CPUtime=3.08 cores=5,7
/proc/824423/stat : 824423 (pb-oll-rs) R 824420 824423 822395 0 -1 4194304 5122 0 0 0 247 61 0 0 20 0 1 0 159684139 65101824 7859 134679101440 4194304 5384005 140725592141008 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 16224256 140725592142871 140725592142948 140725592142948 140725592149963 0
/proc/824423/statm: 15894 7859 1467 291 0 7428 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 63576 KiB
Current children cumulated memory: 31436 KiB
[startup+6.30021 s]
/proc/loadavg: 4.17 4.26 4.18 5/258 824503
/proc/meminfo: memFree=127080396/131524600 swapFree=130795800/131071996
[pid=824423] ppid=824420 vsize=66812 memory=34332 CPUtime=6.27 cores=5,7
/proc/824423/stat : 824423 (pb-oll-rs) R 824420 824423 822395 0 -1 4194304 5868 0 0 0 542 85 0 0 20 0 1 0 159684139 68415488 8583 134679101440 4194304 5384005 140725592141008 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 16224256 140725592142871 140725592142948 140725592142948 140725592149963 0
/proc/824423/statm: 16703 8583 1467 291 0 8237 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 66812 KiB
Current children cumulated memory: 34332 KiB
[startup+12.7002 s]
/proc/loadavg: 4.16 4.25 4.18 5/258 824505
/proc/meminfo: memFree=126453408/131524600 swapFree=130795800/131071996
[pid=824423] ppid=824420 vsize=69288 memory=36424 CPUtime=12.66 cores=5,7
/proc/824423/stat : 824423 (pb-oll-rs) R 824420 824423 822395 0 -1 4194304 6420 0 0 0 1147 119 0 0 20 0 1 0 159684139 70950912 9106 134679101440 4194304 5384005 140725592141008 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 16224256 140725592142871 140725592142948 140725592142948 140725592149963 0
/proc/824423/statm: 17322 9106 1467 291 0 8856 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 69288 KiB
Current children cumulated memory: 36424 KiB
[startup+25.5002 s]
/proc/loadavg: 4.12 4.24 4.18 5/257 824506
/proc/meminfo: memFree=125810988/131524600 swapFree=130795800/131071996
[pid=824423] ppid=824420 vsize=72648 memory=41344 CPUtime=25.43 cores=5,7
/proc/824423/stat : 824423 (pb-oll-rs) R 824420 824423 822395 0 -1 4194304 7138 0 0 0 2359 184 0 0 20 0 1 0 159684139 74391552 10336 134679101440 4194304 5384005 140725592141008 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 16224256 140725592142871 140725592142948 140725592142948 140725592149963 0
/proc/824423/statm: 18162 10336 1467 291 0 9696 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 72648 KiB
Current children cumulated memory: 41344 KiB
[startup+51.1058 s]
/proc/loadavg: 4.15 4.24 4.18 5/259 824680
/proc/meminfo: memFree=125067420/131524600 swapFree=130795800/131071996
[pid=824423] ppid=824420 vsize=87968 memory=50668 CPUtime=50.97 cores=5,7
/proc/824423/stat : 824423 (pb-oll-rs) R 824420 824423 822395 0 -1 4194304 8985 0 0 0 4817 280 0 0 20 0 1 0 159684139 90079232 12667 134679101440 4194304 5384005 140725592141008 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 16224256 140725592142871 140725592142948 140725592142948 140725592149963 0
/proc/824423/statm: 21992 12667 1467 291 0 13526 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 87968 KiB
Current children cumulated memory: 50668 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 4.21 4.17 5/259 824690
/proc/meminfo: memFree=124022236/131524600 swapFree=130795800/131071996
[pid=824423] ppid=824420 vsize=90516 memory=55068 CPUtime=102.05 cores=5,7
/proc/824423/stat : 824423 (pb-oll-rs) R 824420 824423 822395 0 -1 4194304 9562 0 0 0 9752 453 0 0 20 0 1 0 159684139 92688384 13767 134679101440 4194304 5384005 140725592141008 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 16224256 140725592142871 140725592142948 140725592142948 140725592149963 0
/proc/824423/statm: 22629 13767 1467 291 0 14163 0
Current children cumulated CPU time: 102.05 s
Current children cumulated vsize: 90516 KiB
Current children cumulated memory: 55068 KiB
[startup+162.3 s]
/proc/loadavg: 4.09 4.19 4.17 5/259 824700
/proc/meminfo: memFree=123382516/131524600 swapFree=130795800/131071996
[pid=824423] ppid=824420 vsize=93176 memory=57476 CPUtime=161.91 cores=5,7
/proc/824423/stat : 824423 (pb-oll-rs) R 824420 824423 822395 0 -1 4194304 10163 0 0 0 15546 645 0 0 20 0 1 0 159684139 95412224 14369 134679101440 4194304 5384005 140725592141008 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 16224256 140725592142871 140725592142948 140725592142948 140725592149963 0
/proc/824423/statm: 23294 14369 1480 291 0 14828 0
Current children cumulated CPU time: 161.91 s
Current children cumulated vsize: 93176 KiB
Current children cumulated memory: 57476 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 4.17 4.16 5/257 824768
/proc/meminfo: memFree=123158628/131524600 swapFree=130795800/131071996
[pid=824423] ppid=824420 vsize=99292 memory=65308 CPUtime=221.76 cores=5,7
/proc/824423/stat : 824423 (pb-oll-rs) R 824420 824423 822395 0 -1 4194304 11625 0 0 0 21312 864 0 0 20 0 1 0 159684139 101675008 16327 134679101440 4194304 5384005 140725592141008 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 16224256 140725592142871 140725592142948 140725592142948 140725592149963 0
/proc/824423/statm: 24823 16327 1480 291 0 16357 0
Current children cumulated CPU time: 221.76 s
Current children cumulated vsize: 99292 KiB
Current children cumulated memory: 65308 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 4.15 4.16 5/258 824780
/proc/meminfo: memFree=122857572/131524600 swapFree=130795800/131071996
[pid=824423] ppid=824420 vsize=138328 memory=98856 CPUtime=281.61 cores=5,7
/proc/824423/stat : 824423 (pb-oll-rs) R 824420 824423 822395 0 -1 4194304 16442 0 0 0 27200 961 0 0 20 0 1 0 159684139 141647872 24714 134679101440 4194304 5384005 140725592141008 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 16224256 140725592142871 140725592142948 140725592142948 140725592149963 0
/proc/824423/statm: 34582 24714 1480 291 0 26116 0
Current children cumulated CPU time: 281.61 s
Current children cumulated vsize: 138328 KiB
Current children cumulated memory: 98856 KiB
[startup+342.3 s]
/proc/loadavg: 4.30 4.21 4.18 5/258 824790
/proc/meminfo: memFree=122610872/131524600 swapFree=130795800/131071996
[pid=824423] ppid=824420 vsize=145964 memory=111324 CPUtime=341.47 cores=5,7
/proc/824423/stat : 824423 (pb-oll-rs) R 824420 824423 822395 0 -1 4194304 17984 0 0 0 33084 1063 0 0 20 0 1 0 159684139 149467136 27831 134679101440 4194304 5384005 140725592141008 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 16224256 140725592142871 140725592142948 140725592142948 140725592149963 0
/proc/824423/statm: 36491 27831 1480 291 0 28025 0
Current children cumulated CPU time: 341.47 s
Current children cumulated vsize: 145964 KiB
Current children cumulated memory: 111324 KiB
[startup+402.3 s]
/proc/loadavg: 4.14 4.18 4.17 5/258 824803
/proc/meminfo: memFree=121923756/131524600 swapFree=130795800/131071996
[pid=824423] ppid=824420 vsize=181552 memory=117176 CPUtime=401.33 cores=5,7
/proc/824423/stat : 824423 (pb-oll-rs) R 824420 824423 822395 0 -1 4194304 18979 0 0 0 38984 1149 0 0 20 0 1 0 159684139 185909248 29294 134679101440 4194304 5384005 140725592141008 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 16224256 140725592142871 140725592142948 140725592142948 140725592149963 0
/proc/824423/statm: 45388 29294 1480 291 0 36922 0
Current children cumulated CPU time: 401.33 s
Current children cumulated vsize: 181552 KiB
Current children cumulated memory: 117176 KiB
[startup+462.3 s]
/proc/loadavg: 4.09 4.16 4.17 5/258 824813
/proc/meminfo: memFree=121822784/131524600 swapFree=130795800/131071996
[pid=824423] ppid=824420 vsize=181732 memory=117436 CPUtime=461.18 cores=5,7
/proc/824423/stat : 824423 (pb-oll-rs) R 824420 824423 822395 0 -1 4194304 19045 0 0 0 44870 1248 0 0 20 0 1 0 159684139 186093568 29359 134679101440 4194304 5384005 140725592141008 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 16224256 140725592142871 140725592142948 140725592142948 140725592149963 0
/proc/824423/statm: 45433 29359 1480 291 0 36967 0
################
# More data... #
################
Current children cumulated memory: 197720 KiB
[startup+2922.3 s]
/proc/loadavg: 4.13 4.13 4.09 5/257 825836
/proc/meminfo: memFree=116035452/131524600 swapFree=130795800/131071996
[pid=824423] ppid=824420 vsize=231844 memory=197848 CPUtime=2914.95 cores=5,7
/proc/824423/stat : 824423 (pb-oll-rs) R 824420 824423 822395 0 -1 4194304 30630 0 0 0 288363 3132 0 0 20 0 1 0 159684139 237408256 49462 134679101440 4194304 5384005 140725592141008 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 16224256 140725592142871 140725592142948 140725592142948 140725592149963 0
/proc/824423/statm: 57961 49462 1480 291 0 49495 0
Current children cumulated CPU time: 2914.95 s
Current children cumulated vsize: 231844 KiB
Current children cumulated memory: 197848 KiB
[startup+2982.3 s]
/proc/loadavg: 4.15 4.13 4.09 5/257 825848
/proc/meminfo: memFree=116018096/131524600 swapFree=130795800/131071996
[pid=824423] ppid=824420 vsize=231844 memory=197848 CPUtime=2974.79 cores=5,7
/proc/824423/stat : 824423 (pb-oll-rs) R 824420 824423 822395 0 -1 4194304 30716 0 0 0 294317 3162 0 0 20 0 1 0 159684139 237408256 49462 134679101440 4194304 5384005 140725592141008 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 16224256 140725592142871 140725592142948 140725592142948 140725592149963 0
/proc/824423/statm: 57961 49462 1480 291 0 49495 0
Current children cumulated CPU time: 2974.79 s
Current children cumulated vsize: 231844 KiB
Current children cumulated memory: 197848 KiB
[startup+3042.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/256 825858
/proc/meminfo: memFree=115930376/131524600 swapFree=130795800/131071996
[pid=824423] ppid=824420 vsize=232080 memory=197916 CPUtime=3034.63 cores=5,7
/proc/824423/stat : 824423 (pb-oll-rs) R 824420 824423 822395 0 -1 4194304 30835 0 0 0 300279 3184 0 0 20 0 1 0 159684139 237649920 49479 134679101440 4194304 5384005 140725592141008 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 16224256 140725592142871 140725592142948 140725592142948 140725592149963 0
/proc/824423/statm: 58020 49479 1480 291 0 49554 0
Current children cumulated CPU time: 3034.63 s
Current children cumulated vsize: 232080 KiB
Current children cumulated memory: 197916 KiB
[startup+3102.3 s]
/proc/loadavg: 4.14 4.13 4.09 5/256 825868
/proc/meminfo: memFree=115816484/131524600 swapFree=130795800/131071996
[pid=824423] ppid=824420 vsize=232488 memory=198244 CPUtime=3094.46 cores=5,7
/proc/824423/stat : 824423 (pb-oll-rs) R 824420 824423 822395 0 -1 4194304 30981 0 0 0 306220 3226 0 0 20 0 1 0 159684139 238067712 49561 134679101440 4194304 5384005 140725592141008 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 16224256 140725592142871 140725592142948 140725592142948 140725592149963 0
/proc/824423/statm: 58122 49561 1480 291 0 49656 0
Current children cumulated CPU time: 3094.46 s
Current children cumulated vsize: 232488 KiB
Current children cumulated memory: 198244 KiB
[startup+3162.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/255 825878
/proc/meminfo: memFree=115815380/131524600 swapFree=130795800/131071996
[pid=824423] ppid=824420 vsize=232488 memory=198244 CPUtime=3154.28 cores=5,7
/proc/824423/stat : 824423 (pb-oll-rs) R 824420 824423 822395 0 -1 4194304 31070 0 0 0 312174 3254 0 0 20 0 1 0 159684139 238067712 49561 134679101440 4194304 5384005 140725592141008 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 16224256 140725592142871 140725592142948 140725592142948 140725592149963 0
/proc/824423/statm: 58122 49561 1480 291 0 49656 0
Current children cumulated CPU time: 3154.28 s
Current children cumulated vsize: 232488 KiB
Current children cumulated memory: 198244 KiB
[startup+3222.3 s]
/proc/loadavg: 4.16 4.13 4.09 5/258 825894
/proc/meminfo: memFree=115813660/131524600 swapFree=130795800/131071996
[pid=824423] ppid=824420 vsize=232488 memory=198260 CPUtime=3214.1 cores=5,7
/proc/824423/stat : 824423 (pb-oll-rs) R 824420 824423 822395 0 -1 4194304 31169 0 0 0 318132 3278 0 0 20 0 1 0 159684139 238067712 49565 134679101440 4194304 5384005 140725592141008 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 16224256 140725592142871 140725592142948 140725592142948 140725592149963 0
/proc/824423/statm: 58122 49565 1480 291 0 49656 0
Current children cumulated CPU time: 3214.1 s
Current children cumulated vsize: 232488 KiB
Current children cumulated memory: 198260 KiB
[startup+3282.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/258 825905
/proc/meminfo: memFree=115743076/131524600 swapFree=130795800/131071996
[pid=824423] ppid=824420 vsize=233040 memory=198688 CPUtime=3273.94 cores=5,7
/proc/824423/stat : 824423 (pb-oll-rs) R 824420 824423 822395 0 -1 4194304 31360 0 0 0 324073 3321 0 0 20 0 1 0 159684139 238632960 49672 134679101440 4194304 5384005 140725592141008 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 16224256 140725592142871 140725592142948 140725592142948 140725592149963 0
/proc/824423/statm: 58260 49672 1480 291 0 49794 0
Current children cumulated CPU time: 3273.94 s
Current children cumulated vsize: 233040 KiB
Current children cumulated memory: 198688 KiB
[startup+3342.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/258 825915
/proc/meminfo: memFree=115740680/131524600 swapFree=130795800/131071996
[pid=824423] ppid=824420 vsize=233808 memory=199112 CPUtime=3333.77 cores=5,7
/proc/824423/stat : 824423 (pb-oll-rs) R 824420 824423 822395 0 -1 4194304 31576 0 0 0 330021 3356 0 0 20 0 1 0 159684139 239419392 49778 134679101440 4194304 5384005 140725592141008 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 16224256 140725592142871 140725592142948 140725592142948 140725592149963 0
/proc/824423/statm: 58452 49778 1480 291 0 49986 0
Current children cumulated CPU time: 3333.77 s
Current children cumulated vsize: 233808 KiB
Current children cumulated memory: 199112 KiB
[startup+3402.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/258 825927
/proc/meminfo: memFree=115734328/131524600 swapFree=130795800/131071996
[pid=824423] ppid=824420 vsize=237200 memory=203684 CPUtime=3393.6 cores=5,7
/proc/824423/stat : 824423 (pb-oll-rs) R 824420 824423 822395 0 -1 4194304 32318 0 0 0 335976 3384 0 0 20 0 1 0 159684139 242892800 50921 134679101440 4194304 5384005 140725592141008 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 16224256 140725592142871 140725592142948 140725592142948 140725592149963 0
/proc/824423/statm: 59300 50921 1480 291 0 50834 0
Current children cumulated CPU time: 3393.6 s
Current children cumulated vsize: 237200 KiB
Current children cumulated memory: 203684 KiB
[startup+3462.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/258 825937
/proc/meminfo: memFree=115714984/131524600 swapFree=130795800/131071996
[pid=824423] ppid=824420 vsize=237756 memory=206296 CPUtime=3453.43 cores=5,7
/proc/824423/stat : 824423 (pb-oll-rs) R 824420 824423 822395 0 -1 4194304 33010 0 0 0 341920 3423 0 0 20 0 1 0 159684139 243462144 51574 134679101440 4194304 5384005 140725592141008 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 16224256 140725592142871 140725592142948 140725592142948 140725592149963 0
/proc/824423/statm: 59439 51574 1480 291 0 50973 0
Current children cumulated CPU time: 3453.43 s
Current children cumulated vsize: 237756 KiB
Current children cumulated memory: 206296 KiB
[startup+3522.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/256 826330
/proc/meminfo: memFree=115587744/131524600 swapFree=130795800/131071996
[pid=824423] ppid=824420 vsize=237756 memory=206296 CPUtime=3513.25 cores=5,7
/proc/824423/stat : 824423 (pb-oll-rs) R 824420 824423 822395 0 -1 4194304 33124 0 0 0 347874 3451 0 0 20 0 1 0 159684139 243462144 51574 134679101440 4194304 5384005 140725592141008 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 16224256 140725592142871 140725592142948 140725592142948 140725592149963 0
/proc/824423/statm: 59439 51574 1480 291 0 50973 0
Current children cumulated CPU time: 3513.25 s
Current children cumulated vsize: 237756 KiB
Current children cumulated memory: 206296 KiB
[startup+3582.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/256 826341
/proc/meminfo: memFree=115584764/131524600 swapFree=130795800/131071996
[pid=824423] ppid=824420 vsize=237756 memory=206364 CPUtime=3573.08 cores=5,7
/proc/824423/stat : 824423 (pb-oll-rs) R 824420 824423 822395 0 -1 4194304 33202 0 0 0 353815 3493 0 0 20 0 1 0 159684139 243462144 51591 134679101440 4194304 5384005 140725592141008 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 16224256 140725592142871 140725592142948 140725592142948 140725592149963 0
/proc/824423/statm: 59439 51591 1480 291 0 50973 0
Current children cumulated CPU time: 3573.08 s
Current children cumulated vsize: 237756 KiB
Current children cumulated memory: 206364 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/253 826386
/proc/meminfo: memFree=119335512/131524600 swapFree=130795800/131071996
[pid=824423] ppid=824420 vsize=237756 memory=206364 CPUtime=3600 cores=5,7
/proc/824423/stat : 824423 (pb-oll-rs) R 824420 824423 822395 0 -1 4194304 33209 0 0 0 356495 3505 0 0 20 0 1 0 159684139 243462144 51591 134679101440 4194304 5384005 140725592141008 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 16224256 140725592142871 140725592142948 140725592142948 140725592149963 0
/proc/824423/statm: 59439 51591 1480 291 0 50973 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 237756 KiB
Current children cumulated memory: 206364 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.3 s]
# the end of solver process 824423 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3564.96 s, system=35.0611 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/253 826386
/proc/meminfo: memFree=119335512/131524600 swapFree=130795800/131071996
[pid=824423] ppid=824420 vsize=237756 memory=206364 CPUtime=3600 cores=5,7
/proc/824423/stat : 824423 (pb-oll-rs) R 824420 824423 822395 0 -1 4194304 33209 0 0 0 356495 3505 0 0 20 0 1 0 159684139 243462144 51591 134679101440 4194304 5384005 140725592141008 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 16224256 140725592142871 140725592142948 140725592142948 140725592149963 0
/proc/824423/statm: 59439 51591 1480 291 0 50973 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 237756 KiB
Current children cumulated memory: 206364 KiB
Child status: 0
Real time (s): 3609.3
CPU time (s): 3600.02
CPU user time (s): 3564.96
CPU system time (s): 35.0611
CPU usage (%): 99.7428
Max. virtual memory (cumulated for all children) (KiB): 237756
Max. memory (cumulated for all children) (KiB): 206364
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3564.96
system time used= 35.0611
maximum resident set size= 206364
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33226
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 23
involuntary context switches= 2196
# summary of solver processes directly reported to runsolver:
# pid: 824423
# total CPU time (s): 3600.02
# total CPU user time (s): 3564.96
# total CPU system time (s): 35.0611
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.78772 second user time and 17.2021 second system time
The end
Begin job on nodeC014 at 2024-07-15 22:27:42
IDJOB=4435801
IDBENCH=146797
IDSOLVER=3067
FILE ID=nodeC014/4435801-1721075250
RUNJOBID= nodeC014-1721071653-822408
SLURM_JOB_ID= 7505535
Free space on /tmp= 890068 MiB
SOLVER NAME= pb-oll-rs 2024-07-02
BENCH NAME= PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-UMTS.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435801-1721075250/watcher-4435801-1721075250 -o /tmp/evaluation-result-4435801-1721075250/solver-4435801-1721075250 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1721071653-822408 --watchdog 3760 pb-oll-rs HOME/instance-4435801-1721075250.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 542a59a1a1b8906e0495f473b09f11e4
RANDOM SEED=250778940
nodeC014.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 : 3652.140
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 : 6999.32
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 : 3671.085
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.96
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.788
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 : 6999.32
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 : 3658.515
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.96
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3654.940
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 : 6999.32
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 : 3649.144
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.96
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3621.765
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 : 6999.32
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 : 3661.636
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.96
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 127198360 kB
MemAvailable: 129810320 kB
Buffers: 316364 kB
Cached: 3101792 kB
SwapCached: 12876 kB
Active: 1032804 kB
Inactive: 2736044 kB
Active(anon): 9444 kB
Inactive(anon): 358832 kB
Active(file): 1023360 kB
Inactive(file): 2377212 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 130795800 kB
Dirty: 7380 kB
Writeback: 36 kB
AnonPages: 341816 kB
Mapped: 49332 kB
Shmem: 17548 kB
KReclaimable: 102072 kB
Slab: 193736 kB
SReclaimable: 102072 kB
SUnreclaim: 91664 kB
KernelStack: 4136 kB
PageTables: 10228 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 986632 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 27776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 440320 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: 191188 kB
DirectMap2M: 14262272 kB
DirectMap1G: 121634816 kB
Free space on /tmp at the end= 890068 MiB
End job on nodeC014 at 2024-07-15 23:27:52