0.00/0.01 c RoundingSat 2
0.00/0.01 c branch
0.00/0.01 c commit
0.00/0.01 c with Papilo
0.00/0.01 c with SCIP
0.00/0.01 c [STEP] parsing instance
0.00/0.09 c [STEP] preprocessing with Papilo
0.09/0.13 c [STEP] solving with SCIP
298.99/300.24 c [STEP] preprocessing done, loading into solver
298.99/300.25 c [STEP] solving
298.99/300.25 c #variables 3563 #constraints 1928
298.99/300.25 c SMALL=int, LARGE=long long
298.99/300.25 c bounds - >= -3906 @ 298.797
298.99/300.25 c stratification level: 0
299.09/300.39 c bounds - >= 1396094 @ 298.803
299.09/300.39 c bounds - >= 1398124 @ 298.804
299.09/300.39 c bounds - >= 1398831 @ 298.804
299.09/300.39 c bounds - >= 1846094 @ 298.804
299.09/300.39 c bounds - >= 1991042 @ 298.805
299.09/300.39 c bounds - >= 2135642 @ 298.806
299.09/300.39 c bounds - >= 2277821 @ 298.806
299.09/300.39 c bounds - >= 2278775 @ 298.806
299.09/300.39 c bounds - >= 2279067 @ 298.807
299.09/300.39 c bounds - >= 2420042 @ 298.808
299.09/300.39 c bounds - >= 2562541 @ 298.809
299.09/300.39 c bounds - >= 2563107 @ 298.809
299.09/300.39 c bounds - >= 2563607 @ 298.809
299.09/300.39 c bounds - >= 2563764 @ 298.81
299.09/300.39 c bounds - >= 3012541 @ 298.811
299.09/300.39 c bounds - >= 3461295 @ 298.812
299.09/300.39 c bounds - >= 3604847 @ 298.813
299.09/300.39 c bounds - >= 3747948 @ 298.814
299.09/300.39 c bounds - >= 3891260 @ 298.814
299.09/300.39 c bounds - >= 4033340 @ 298.815
299.09/300.39 c bounds - >= 4176871 @ 298.816
299.09/300.39 c bounds - >= 4320606 @ 298.817
299.09/300.39 c bounds - >= 4463764 @ 298.818
299.09/300.39 c bounds - >= 4606487 @ 298.819
299.09/300.39 c bounds - >= 4748442 @ 298.82
299.09/300.39 c bounds - >= 4890142 @ 298.82
299.09/300.39 c bounds - >= 5033586 @ 298.821
299.09/300.39 c bounds - >= 5176053 @ 298.822
299.09/300.39 c bounds - >= 5317031 @ 298.823
299.09/300.39 c bounds - >= 5459881 @ 298.824
299.09/300.39 c bounds - >= 5602302 @ 298.825
299.09/300.39 c bounds - >= 5744822 @ 298.826
299.09/300.39 c bounds - >= 5886379 @ 298.826
299.09/300.39 c bounds - >= 6026794 @ 298.828
299.09/300.39 c bounds - >= 6167464 @ 298.829
299.09/300.39 c bounds - >= 6309830 @ 298.83
299.09/300.39 c bounds - >= 6449070 @ 298.831
299.09/300.39 c bounds - >= 6589374 @ 298.832
299.09/300.39 c bounds - >= 6730348 @ 298.832
299.09/300.39 c bounds - >= 6870550 @ 298.832
299.09/300.39 c bounds - >= 7010317 @ 298.832
299.09/300.39 c bounds - >= 7151872 @ 298.833
299.09/300.39 c bounds - >= 7291896 @ 298.833
299.09/300.39 c bounds - >= 7431546 @ 298.834
299.09/300.39 c bounds - >= 7570675 @ 298.834
299.09/300.39 c bounds - >= 7712261 @ 298.835
299.09/300.39 c bounds - >= 7850755 @ 298.836
299.09/300.39 c bounds - >= 7992351 @ 298.837
299.09/300.39 c bounds - >= 8134036 @ 298.837
299.09/300.39 c bounds - >= 8273921 @ 298.837
299.09/300.39 c bounds - >= 8415141 @ 298.838
299.09/300.39 c bounds - >= 8555524 @ 298.838
299.09/300.39 c bounds - >= 8696942 @ 298.839
299.09/300.39 c bounds - >= 8836560 @ 298.839
299.09/300.39 c bounds - >= 8977552 @ 298.84
299.09/300.39 c bounds - >= 9116595 @ 298.841
299.09/300.39 c bounds - >= 9255249 @ 298.841
299.09/300.39 c bounds - >= 9396497 @ 298.841
299.09/300.39 c bounds - >= 9535202 @ 298.842
299.09/300.39 c bounds - >= 9676686 @ 298.843
299.09/300.39 c bounds - >= 9815457 @ 298.844
299.09/300.39 c bounds - >= 9955583 @ 298.844
299.09/300.39 c bounds - >= 10094368 @ 298.845
299.09/300.39 c bounds - >= 10233990 @ 298.846
299.09/300.39 c bounds - >= 10373778 @ 298.847
299.09/300.39 c bounds - >= 10513174 @ 298.847
299.09/300.39 c bounds - >= 10652650 @ 298.848
299.09/300.39 c bounds - >= 10792010 @ 298.849
299.09/300.39 c bounds - >= 10931908 @ 298.85
299.09/300.39 c bounds - >= 11073319 @ 298.851
299.09/300.39 c bounds - >= 11212054 @ 298.852
299.09/300.39 c bounds - >= 11352674 @ 298.852
299.09/300.39 c bounds - >= 11492933 @ 298.852
299.09/300.39 c bounds - >= 11632792 @ 298.852
299.09/300.39 c bounds - >= 11773859 @ 298.852
299.09/300.39 c bounds - >= 11913701 @ 298.853
299.09/300.39 c bounds - >= 12054080 @ 298.853
299.09/300.39 c bounds - >= 12193869 @ 298.853
299.09/300.39 c bounds - >= 12333389 @ 298.853
299.09/300.39 c bounds - >= 12473536 @ 298.854
299.09/300.39 c bounds - >= 12614292 @ 298.854
299.09/300.39 c bounds - >= 12754117 @ 298.855
299.09/300.39 c bounds - >= 12893498 @ 298.856
299.09/300.39 c bounds - >= 13033915 @ 298.857
299.09/300.39 c bounds - >= 13174270 @ 298.858
299.09/300.39 c bounds - >= 13314801 @ 298.858
299.09/300.39 c bounds - >= 13455151 @ 298.858
299.09/300.39 c bounds - >= 13594598 @ 298.859
299.09/300.39 c bounds - >= 13734586 @ 298.86
299.09/300.39 c bounds - >= 13874656 @ 298.861
299.09/300.39 c bounds - >= 14013560 @ 298.862
299.09/300.39 c bounds - >= 14153796 @ 298.863
299.09/300.39 c bounds - >= 14294786 @ 298.863
299.09/300.39 c bounds - >= 14435452 @ 298.864
299.09/300.39 c bounds - >= 14575203 @ 298.864
299.09/300.39 c bounds - >= 14713477 @ 298.865
299.09/300.39 c bounds - >= 14853017 @ 298.865
299.09/300.39 c bounds - >= 14992618 @ 298.866
299.09/300.39 c bounds - >= 15132819 @ 298.867
299.09/300.39 c bounds - >= 15272744 @ 298.867
299.09/300.39 c bounds - >= 15411446 @ 298.868
299.09/300.39 c bounds - >= 15551867 @ 298.868
299.09/300.39 c bounds - >= 15690054 @ 298.868
299.09/300.39 c bounds - >= 15829964 @ 298.868
299.09/300.39 c bounds - >= 15969970 @ 298.868
299.09/300.39 c bounds - >= 16109628 @ 298.868
299.09/300.39 c bounds - >= 16249705 @ 298.868
299.09/300.39 c bounds - >= 16388574 @ 298.869
299.09/300.39 c bounds - >= 16528952 @ 298.869
299.09/300.39 c bounds - >= 16669003 @ 298.869
299.09/300.39 c bounds - >= 16809622 @ 298.869
299.09/300.39 c bounds - >= 16950122 @ 298.869
299.09/300.39 c bounds - >= 17090171 @ 298.87
299.09/300.39 c bounds - >= 17230417 @ 298.87
299.09/300.39 c bounds - >= 17370209 @ 298.871
299.09/300.39 c bounds - >= 17508595 @ 298.871
299.09/300.39 c bounds - >= 17648998 @ 298.871
299.09/300.39 c bounds - >= 17789527 @ 298.871
299.09/300.39 c bounds - >= 17929862 @ 298.871
299.09/300.39 c bounds - >= 18070158 @ 298.872
299.09/300.39 c bounds - >= 18208726 @ 298.873
299.09/300.39 c bounds - >= 18349310 @ 298.874
299.09/300.39 c bounds - >= 18488407 @ 298.875
299.09/300.39 c bounds - >= 18628342 @ 298.876
299.09/300.39 c bounds - >= 18768265 @ 298.877
299.09/300.39 c bounds - >= 18907671 @ 298.878
299.09/300.39 c bounds - >= 19047403 @ 298.878
299.29/300.56 c bounds - >= 19187344 @ 298.879
299.29/300.56 c bounds - >= 19326810 @ 298.879
299.29/300.56 c bounds - >= 19466855 @ 298.879
299.29/300.56 c bounds - >= 19606602 @ 298.879
299.29/300.56 c bounds - >= 19746334 @ 298.879
299.29/300.56 c bounds - >= 19886378 @ 298.88
299.29/300.56 c bounds - >= 20026122 @ 298.881
299.29/300.56 c bounds - >= 20165958 @ 298.881
299.29/300.56 c bounds - >= 20305634 @ 298.882
299.29/300.56 c bounds - >= 20445619 @ 298.882
299.29/300.56 c bounds - >= 20585368 @ 298.883
299.29/300.56 c bounds - >= 20725089 @ 298.884
299.29/300.56 c bounds - >= 20864355 @ 298.885
299.29/300.56 c bounds - >= 21003845 @ 298.885
299.29/300.56 c bounds - >= 21142746 @ 298.886
299.29/300.56 c bounds - >= 21282130 @ 298.887
299.29/300.56 c bounds - >= 21421763 @ 298.887
299.29/300.56 c bounds - >= 21561351 @ 298.888
299.29/300.56 c bounds - >= 21700823 @ 298.888
299.29/300.56 c bounds - >= 21840146 @ 298.888
299.29/300.56 c bounds - >= 21979055 @ 298.888
299.29/300.56 c bounds - >= 22118234 @ 298.889
299.29/300.56 c bounds - >= 22256482 @ 298.889
299.29/300.56 c bounds - >= 22394684 @ 298.89
299.29/300.56 c bounds - >= 22533312 @ 298.89
299.29/300.56 c bounds - >= 22671943 @ 298.891
299.29/300.56 c bounds - >= 22810649 @ 298.891
299.29/300.56 c bounds - >= 22811161 @ 298.892
299.29/300.56 c bounds - >= 22813898 @ 298.893
299.29/300.56 c bounds - >= 22853946 @ 298.893
299.29/300.56 c bounds - >= 22854900 @ 298.894
299.29/300.56 c bounds - >= 22855192 @ 298.894
299.29/300.56 c bounds - >= 22858104 @ 298.895
299.29/300.56 c bounds - >= 22898645 @ 298.896
299.29/300.56 c bounds - >= 22899818 @ 298.897
299.29/300.56 c bounds - >= 22901008 @ 298.898
299.29/300.56 c bounds - >= 22901204 @ 298.899
299.29/300.56 c bounds - >= 22902728 @ 298.9
299.29/300.56 c bounds - >= 22940604 @ 298.9
299.29/300.56 c bounds - >= 22942093 @ 298.902
299.29/300.56 c bounds - >= 22943012 @ 298.904
299.29/300.56 c bounds - >= 22975305 @ 298.905
299.29/300.56 c bounds - >= 22975822 @ 298.906
299.29/300.56 c bounds - >= 22976168 @ 298.907
299.29/300.56 c bounds - >= 22976560 @ 298.908
299.29/300.56 c bounds - >= 22977032 @ 298.909
299.29/300.56 c bounds - >= 22977328 @ 298.91
299.29/300.56 c bounds - >= 22977497 @ 298.91
299.29/300.56 c bounds - >= 22977696 @ 298.912
299.29/300.56 c bounds - >= 22978101 @ 298.913
299.29/300.56 c bounds - >= 22978352 @ 298.914
299.29/300.56 c bounds - >= 22978514 @ 298.916
299.29/300.56 c bounds - >= 22978884 @ 298.917
299.29/300.56 c bounds - >= 22979124 @ 298.918
299.29/300.56 c bounds - >= 22979300 @ 298.919
299.29/300.56 c bounds - >= 22979794 @ 298.92
299.29/300.56 c bounds - >= 22980199 @ 298.921
299.29/300.56 c bounds - >= 22980455 @ 298.922
299.29/300.56 c bounds - >= 22980604 @ 298.923
299.29/300.56 c bounds - >= 22981094 @ 298.924
299.29/300.56 c bounds - >= 22983091 @ 298.924
299.29/300.56 c bounds - >= 22983206 @ 298.925
299.29/300.56 c bounds - >= 22983710 @ 298.925
299.29/300.56 c bounds - >= 22984435 @ 298.925
299.29/300.56 c bounds - >= 22984567 @ 298.926
299.29/300.56 c bounds - >= 22986748 @ 298.927
299.29/300.56 c bounds - >= 22988910 @ 298.928
299.29/300.56 c bounds - >= 22989428 @ 298.929
299.29/300.56 c bounds - >= 22990404 @ 298.93
299.29/300.56 c bounds - >= 22990425 @ 298.931
299.29/300.56 c bounds - >= 22992556 @ 298.931
299.29/300.56 c bounds - >= 22992776 @ 298.932
299.29/300.56 c bounds - >= 22993042 @ 298.933
299.29/300.56 c bounds - >= 22993219 @ 298.934
299.29/300.56 c bounds - >= 22993376 @ 298.935
299.29/300.56 c bounds - >= 22993706 @ 298.935
299.29/300.56 c bounds - >= 22994304 @ 298.937
299.29/300.56 c bounds - >= 22994400 @ 298.938
299.29/300.56 c bounds - >= 22994638 @ 298.939
299.29/300.56 c bounds - >= 22995473 @ 298.94
299.29/300.56 c bounds - >= 22997355 @ 298.942
299.29/300.56 c bounds - >= 22997763 @ 298.942
299.29/300.56 c bounds - >= 22997774 @ 298.944
299.29/300.56 c bounds - >= 22999608 @ 298.945
299.29/300.56 c bounds - >= 23001804 @ 298.947
299.29/300.56 c bounds - >= 23002109 @ 298.947
299.29/300.56 c bounds - >= 23004298 @ 298.949
299.29/300.56 c bounds - >= 23004480 @ 298.95
299.29/300.56 c bounds - >= 23004901 @ 298.951
299.29/300.56 c bounds - >= 23005069 @ 298.951
299.29/300.56 c bounds - >= 23005173 @ 298.952
299.29/300.56 c bounds - >= 23005447 @ 298.952
299.29/300.56 c bounds - >= 23005503 @ 298.953
299.29/300.56 c bounds - >= 23006364 @ 298.953
299.29/300.56 c bounds - >= 23006452 @ 298.954
299.29/300.56 c bounds - >= 23007161 @ 298.955
299.29/300.56 c bounds - >= 23007864 @ 298.957
299.29/300.56 c bounds - >= 23009581 @ 298.958
299.29/300.56 c bounds - >= 23009922 @ 298.96
299.29/300.56 c bounds - >= 23010423 @ 298.96
299.29/300.56 c bounds - >= 23010745 @ 298.962
299.29/300.56 c bounds - >= 23011861 @ 298.962
299.29/300.56 c bounds - >= 23012081 @ 298.964
299.29/300.56 c bounds - >= 23012281 @ 298.964
299.29/300.56 c bounds - >= 23012490 @ 298.965
299.29/300.56 c bounds - >= 23013749 @ 298.966
299.29/300.56 c bounds - >= 23013919 @ 298.967
299.29/300.56 c bounds - >= 23014424 @ 298.968
299.29/300.56 c bounds - >= 23014885 @ 298.969
299.29/300.56 c bounds - >= 23014923 @ 298.971
299.29/300.56 c bounds - >= 23016686 @ 298.973
299.29/300.56 c bounds - >= 23017040 @ 298.974
299.29/300.56 c bounds - >= 23017443 @ 298.975
299.29/300.56 c bounds - >= 23017798 @ 298.976
299.29/300.56 c bounds - >= 23019001 @ 298.977
299.29/300.56 c bounds - >= 23020661 @ 298.978
299.29/300.56 c bounds - >= 23020852 @ 298.979
299.29/300.56 c bounds - >= 23020938 @ 298.979
299.29/300.56 c bounds - >= 23021440 @ 298.98
299.29/300.56 c bounds - >= 23021701 @ 298.98
299.29/300.56 c bounds - >= 23022172 @ 298.981
299.29/300.56 c bounds - >= 23022675 @ 298.982
299.29/300.56 c bounds - >= 23022749 @ 298.982
299.29/300.56 c bounds - >= 23022795 @ 298.983
299.59/300.81 c bounds - >= 23023060 @ 298.984
299.59/300.81 c bounds - >= 23023584 @ 298.985
299.59/300.81 c bounds - >= 23024394 @ 298.987
299.59/300.81 c bounds - >= 23024707 @ 298.987
299.59/300.81 c bounds - >= 23025603 @ 298.989
299.59/300.81 c bounds - >= 23026024 @ 298.989
299.59/300.81 c bounds - >= 23027273 @ 298.99
299.59/300.81 c bounds - >= 23027364 @ 298.991
299.59/300.81 c bounds - >= 23027517 @ 298.991
299.59/300.81 c bounds - >= 23027755 @ 298.992
299.59/300.81 c bounds - >= 23027931 @ 298.994
299.59/300.81 c bounds - >= 23027972 @ 298.995
299.59/300.81 c bounds - >= 23029214 @ 298.995
299.59/300.81 c bounds - >= 23029489 @ 298.995
299.59/300.81 c bounds - >= 23029958 @ 298.996
299.59/300.81 c bounds - >= 23030588 @ 298.998
299.59/300.81 c bounds - >= 23031021 @ 298.998
299.59/300.81 c bounds - >= 23031140 @ 298.999
299.59/300.81 c bounds - >= 23031502 @ 299
299.59/300.81 c bounds - >= 23031743 @ 299
299.59/300.81 c bounds - >= 23032787 @ 299.001
299.59/300.81 c bounds - >= 23032983 @ 299.002
299.59/300.81 c bounds - >= 23033088 @ 299.003
299.59/300.81 c bounds - >= 23033239 @ 299.004
299.59/300.81 c bounds - >= 23033390 @ 299.005
299.59/300.81 c bounds - >= 23033730 @ 299.006
299.59/300.81 c bounds - >= 23034134 @ 299.007
299.59/300.81 c bounds - >= 23034256 @ 299.009
299.59/300.81 c bounds - >= 23034590 @ 299.011
299.59/300.81 c bounds - >= 23034655 @ 299.011
299.59/300.81 c bounds - >= 23035231 @ 299.012
299.59/300.81 c bounds - >= 23036055 @ 299.013
299.59/300.81 c bounds - >= 23036701 @ 299.013
299.59/300.81 c bounds - >= 23037222 @ 299.014
299.59/300.81 c bounds - >= 23038224 @ 299.014
299.59/300.81 c bounds - >= 23038309 @ 299.015
299.59/300.81 c bounds - >= 23038604 @ 299.017
299.59/300.81 c bounds - >= 23038614 @ 299.017
299.59/300.81 c bounds - >= 23038770 @ 299.017
299.59/300.81 c bounds - >= 23039679 @ 299.019
299.59/300.81 c bounds - >= 23040074 @ 299.019
299.59/300.81 c bounds - >= 23040333 @ 299.02
299.59/300.81 c bounds - >= 23040336 @ 299.021
299.59/300.81 c bounds - >= 23040628 @ 299.022
299.59/300.81 c bounds - >= 23040686 @ 299.023
299.59/300.81 c bounds - >= 23041322 @ 299.024
299.59/300.81 c bounds - >= 23041634 @ 299.025
299.59/300.81 c bounds - >= 23042206 @ 299.026
299.59/300.81 c bounds - >= 23042700 @ 299.027
299.59/300.81 c bounds - >= 23043403 @ 299.029
299.59/300.81 c bounds - >= 23043604 @ 299.03
299.59/300.81 c bounds - >= 23044175 @ 299.031
299.59/300.81 c bounds - >= 23044615 @ 299.032
299.59/300.81 c bounds - >= 23045486 @ 299.033
299.59/300.81 c bounds - >= 23045493 @ 299.035
299.59/300.81 c bounds - >= 23046180 @ 299.037
299.59/300.81 c bounds - >= 23046700 @ 299.039
299.59/300.81 c bounds - >= 23046993 @ 299.04
299.59/300.81 c bounds - >= 23047552 @ 299.041
299.59/300.81 c bounds - >= 23047604 @ 299.042
299.59/300.81 c bounds - >= 23048192 @ 299.043
299.59/300.81 c bounds - >= 23048399 @ 299.044
299.59/300.81 c bounds - >= 23048496 @ 299.046
299.59/300.81 c bounds - >= 23048624 @ 299.047
299.59/300.81 c bounds - >= 23048686 @ 299.049
299.59/300.81 c bounds - >= 23049072 @ 299.053
299.59/300.81 c bounds - >= 23049091 @ 299.054
299.59/300.81 c bounds - >= 23049225 @ 299.055
299.59/300.81 c bounds - >= 23049452 @ 299.056
299.59/300.81 c bounds - >= 23049743 @ 299.057
299.59/300.81 c bounds - >= 23050177 @ 299.058
299.59/300.81 c bounds - >= 23050191 @ 299.059
299.59/300.81 c bounds - >= 23050590 @ 299.061
299.59/300.81 c bounds - >= 23050783 @ 299.062
299.59/300.81 c bounds - >= 23050977 @ 299.063
299.59/300.81 c bounds - >= 23051230 @ 299.065
299.59/300.81 c bounds - >= 23051333 @ 299.065
299.59/300.81 c bounds - >= 23051645 @ 299.066
299.59/300.81 c bounds - >= 23051798 @ 299.067
299.59/300.81 c bounds - >= 23052079 @ 299.069
299.59/300.81 c bounds - >= 23052346 @ 299.069
299.59/300.81 c bounds - >= 23052492 @ 299.07
299.59/300.81 c bounds - >= 23052506 @ 299.071
299.59/300.81 c bounds - >= 23052742 @ 299.073
299.59/300.81 c bounds - >= 23052872 @ 299.074
299.59/300.81 c bounds - >= 23052880 @ 299.075
299.59/300.81 c bounds - >= 23052985 @ 299.075
299.59/300.81 c bounds - >= 23053064 @ 299.077
299.59/300.81 c bounds - >= 23053274 @ 299.079
299.59/300.81 c bounds - >= 23053356 @ 299.081
299.59/300.81 c bounds - >= 23053526 @ 299.084
299.59/300.81 c bounds - >= 23053678 @ 299.086
299.59/300.81 c bounds - >= 23053798 @ 299.087
299.59/300.81 c bounds - >= 23053879 @ 299.09
299.59/300.81 c bounds - >= 23054023 @ 299.091
299.59/300.81 c bounds - >= 23054099 @ 299.092
299.59/300.81 c bounds - >= 23054210 @ 299.094
299.59/300.81 c bounds - >= 23054319 @ 299.096
299.59/300.81 c bounds - >= 23054321 @ 299.098
299.59/300.81 c bounds - >= 23054420 @ 299.1
299.59/300.81 c bounds - >= 23054514 @ 299.102
299.59/300.81 c bounds - >= 23054569 @ 299.103
299.59/300.81 c bounds - >= 23054652 @ 299.104
299.59/300.81 c bounds - >= 23054729 @ 299.107
299.59/300.81 c bounds - >= 23054807 @ 299.11
299.59/300.81 c bounds - >= 23054864 @ 299.111
299.59/300.81 c bounds - >= 23054919 @ 299.113
299.59/300.81 c bounds - >= 23054967 @ 299.116
299.59/300.81 c bounds - >= 23055010 @ 299.118
299.59/300.81 c bounds - >= 23055046 @ 299.122
299.59/300.81 c bounds - >= 23055081 @ 299.123
299.59/300.81 c bounds - >= 23055116 @ 299.124
299.59/300.81 c bounds - >= 23055139 @ 299.127
299.59/300.81 c bounds - >= 23055157 @ 299.128
299.59/300.81 c bounds - >= 23055164 @ 299.13
299.59/300.81 c bounds - >= 23055193 @ 299.131
299.59/300.81 c bounds - >= 23055221 @ 299.134
299.59/300.81 c bounds - >= 23055238 @ 299.135
299.59/300.81 c bounds - >= 23055240 @ 299.138
299.59/300.81 c bounds - >= 23055270 @ 299.138
299.59/300.81 c bounds - >= 23055291 @ 299.141
299.59/300.81 c bounds - >= 23055317 @ 299.142
299.59/300.81 c bounds - >= 23055338 @ 299.144
299.59/300.81 c bounds - >= 23055348 @ 299.146
299.59/300.81 c bounds - >= 23055356 @ 299.148
300.39/301.65 c bounds - >= 23055370 @ 299.148
300.39/301.65 c bounds - >= 23055384 @ 299.151
300.39/301.65 c bounds - >= 23055395 @ 299.153
300.39/301.65 c bounds - >= 23055407 @ 299.154
300.39/301.65 c bounds - >= 23055418 @ 299.158
300.39/301.65 c bounds - >= 23055421 @ 299.159
300.39/301.65 c bounds - >= 23055429 @ 299.161
300.39/301.65 c bounds - >= 23055437 @ 299.163
300.39/301.65 c bounds - >= 23055445 @ 299.165
300.39/301.65 c bounds - >= 23055449 @ 299.167
300.39/301.65 c bounds - >= 23055451 @ 299.17
300.39/301.65 c bounds - >= 23055457 @ 299.171
300.39/301.65 c bounds - >= 23055460 @ 299.173
300.39/301.65 c bounds - >= 23055462 @ 299.175
300.39/301.65 c bounds - >= 23055466 @ 299.177
300.39/301.65 c bounds - >= 23055470 @ 299.178
300.39/301.65 c bounds - >= 23055473 @ 299.181
300.39/301.65 c bounds - >= 23055474 @ 299.184
300.39/301.65 c bounds - >= 23055477 @ 299.185
300.39/301.65 c bounds - >= 23055481 @ 299.186
300.39/301.65 c bounds - >= 23055483 @ 299.188
300.39/301.65 c bounds - >= 23055486 @ 299.189
300.39/301.65 c bounds - >= 23055488 @ 299.191
300.39/301.65 c bounds - >= 23055490 @ 299.192
300.39/301.65 c bounds - >= 23055492 @ 299.194
300.39/301.65 c bounds - >= 23055493 @ 299.196
300.39/301.65 c bounds - >= 23055494 @ 299.198
300.39/301.65 c bounds - >= 23055495 @ 299.201
300.39/301.65 c bounds - >= 23055496 @ 299.203
300.39/301.65 c bounds - >= 23055497 @ 299.205
300.39/301.65 c bounds - >= 23055498 @ 299.207
300.39/301.65 c bounds - >= 23055499 @ 299.212
300.39/301.65 c bounds - >= 23055541 @ 299.216
300.39/301.65 c bounds - >= 23055542 @ 299.219
300.39/301.65 c bounds - >= 23055551 @ 299.222
300.39/301.65 c bounds - >= 23055598 @ 299.224
300.39/301.65 c bounds - >= 23055759 @ 299.225
300.39/301.65 c bounds - >= 23055886 @ 299.227
300.39/301.65 c bounds - >= 23055927 @ 299.23
300.39/301.65 c bounds - >= 23056228 @ 299.231
300.39/301.65 c bounds - >= 23056229 @ 299.232
300.39/301.65 c bounds - >= 23056251 @ 299.233
300.39/301.65 c bounds - >= 23056271 @ 299.237
300.39/301.65 c bounds - >= 23056332 @ 299.24
300.39/301.65 c bounds - >= 23056337 @ 299.245
300.39/301.65 c bounds - >= 23056338 @ 299.249
300.39/301.65 c bounds - >= 23056340 @ 299.252
300.39/301.65 c bounds - >= 23056346 @ 299.255
300.39/301.65 c bounds - >= 23056353 @ 299.258
300.39/301.65 c bounds - >= 23056354 @ 299.261
300.39/301.65 c bounds - >= 23056384 @ 299.261
300.39/301.65 c bounds - >= 23056391 @ 299.265
300.39/301.65 c bounds - >= 23056396 @ 299.271
300.39/301.65 c bounds - >= 23056400 @ 299.275
300.39/301.65 c bounds - >= 23056404 @ 299.278
300.39/301.65 c bounds - >= 23056415 @ 299.281
300.39/301.65 c bounds - >= 23056425 @ 299.284
300.39/301.65 c bounds - >= 23056449 @ 299.285
300.39/301.65 c bounds - >= 23056456 @ 299.289
300.39/301.65 c bounds - >= 23056666 @ 299.293
300.39/301.65 c bounds - >= 23056795 @ 299.297
300.39/301.65 c bounds - >= 23056797 @ 299.309
300.39/301.65 c bounds - >= 23056813 @ 299.313
300.39/301.65 c bounds - >= 23056814 @ 299.32
300.39/301.65 c bounds - >= 23056820 @ 299.325
300.39/301.65 c bounds - >= 23056824 @ 299.33
300.39/301.65 c bounds - >= 23056829 @ 299.348
300.39/301.65 c bounds - >= 23056831 @ 299.352
300.39/301.65 c bounds - >= 23056846 @ 299.355
300.39/301.65 c bounds - >= 23056892 @ 299.357
300.39/301.65 c bounds - >= 23056903 @ 299.362
300.39/301.65 c bounds - >= 23056926 @ 299.368
300.39/301.65 c bounds - >= 23056934 @ 299.393
300.39/301.65 c bounds - >= 23056937 @ 299.398
300.39/301.65 c bounds - >= 23056962 @ 299.404
300.39/301.65 c bounds - >= 23057004 @ 299.409
300.39/301.65 c bounds - >= 23057014 @ 299.414
300.39/301.65 c bounds - >= 23057016 @ 299.427
300.39/301.65 c bounds - >= 23057024 @ 299.436
300.39/301.65 c bounds - >= 23057059 @ 299.44
300.39/301.65 c bounds - >= 23057061 @ 299.443
300.39/301.65 c bounds - >= 23057076 @ 299.448
300.39/301.65 c bounds - >= 23057127 @ 299.45
300.39/301.65 c bounds - >= 23057136 @ 299.455
300.39/301.65 c bounds - >= 23057201 @ 299.457
300.39/301.65 c bounds - >= 23057230 @ 299.464
300.39/301.65 c bounds - >= 23057247 @ 299.472
300.39/301.65 c bounds - >= 23057281 @ 299.481
300.39/301.65 c bounds - >= 23057301 @ 299.486
300.39/301.65 c bounds - >= 23057316 @ 299.491
300.39/301.65 c bounds - >= 23057328 @ 299.496
300.39/301.65 c bounds - >= 23057348 @ 299.503
300.39/301.65 c bounds - >= 23057353 @ 299.506
300.39/301.65 c bounds - >= 23057416 @ 299.509
300.39/301.65 c bounds - >= 23057446 @ 299.522
300.39/301.65 c bounds - >= 23057549 @ 299.527
300.39/301.65 c bounds - >= 23057551 @ 299.531
300.39/301.65 c bounds - >= 23057562 @ 299.534
300.39/301.65 c bounds - >= 23057569 @ 299.539
300.39/301.65 c bounds - >= 23057580 @ 299.55
300.39/301.65 c bounds - >= 23057589 @ 299.559
300.39/301.65 c bounds - >= 23057591 @ 299.573
300.39/301.65 c bounds - >= 23057597 @ 299.586
300.39/301.65 c bounds - >= 23057629 @ 299.594
300.39/301.65 c bounds - >= 23057630 @ 299.601
300.39/301.65 c bounds - >= 23057632 @ 299.606
300.39/301.65 c bounds - >= 23057633 @ 299.621
300.39/301.65 c bounds - >= 23057648 @ 299.629
300.39/301.65 c bounds - >= 23057679 @ 299.632
300.39/301.65 c bounds - >= 23057723 @ 299.644
300.39/301.65 c bounds - >= 23057727 @ 299.651
300.39/301.65 c bounds - >= 23057734 @ 299.658
300.39/301.65 c bounds - >= 23057752 @ 299.668
300.39/301.65 c bounds - >= 23057757 @ 299.676
300.39/301.65 c bounds - >= 23057773 @ 299.681
300.39/301.65 c bounds - >= 23057780 @ 299.685
300.39/301.65 c bounds - >= 23057802 @ 299.689
300.39/301.65 c bounds - >= 23057807 @ 299.717
300.39/301.65 c bounds - >= 23057812 @ 299.722
300.39/301.65 c bounds - >= 23057813 @ 299.726
300.39/301.65 c bounds - >= 23057814 @ 299.736
300.39/301.65 c bounds - >= 23057822 @ 299.744
300.39/301.65 c bounds - >= 23057830 @ 299.798
300.39/301.65 c bounds - >= 23057832 @ 299.802
677.83/680.41 c bounds - >= 23057834 @ 299.805
677.83/680.41 c bounds - >= 23057868 @ 299.822
677.83/680.41 c bounds - >= 23057889 @ 299.835
677.83/680.41 c bounds - >= 23057890 @ 299.854
677.83/680.41 c bounds - >= 23057904 @ 299.873
677.83/680.41 c bounds - >= 23057933 @ 299.885
677.83/680.41 c bounds - >= 23057942 @ 299.904
677.83/680.41 c bounds - >= 23057953 @ 299.937
677.83/680.41 c bounds - >= 23057954 @ 299.946
677.83/680.41 c bounds - >= 23057956 @ 299.951
677.83/680.41 c #Conflicts: 1000 | #Constraints: 3853
677.83/680.41 c bounds - >= 23057957 @ 299.979
677.83/680.41 c bounds - >= 23057959 @ 300.005
677.83/680.41 c bounds - >= 23057961 @ 300.037
677.83/680.41 c bounds - >= 23057966 @ 300.045
677.83/680.41 c bounds - >= 23057973 @ 300.074
677.83/680.41 c bounds - >= 23057982 @ 300.711
677.83/680.41 c bounds - >= 23057985 @ 300.778
677.83/680.41 c bounds - >= 23057989 @ 300.851
677.83/680.41 c bounds - >= 23057995 @ 301.002
677.83/680.41 c bounds - >= 23057996 @ 301.022
677.83/680.41 c bounds - >= 23058009 @ 301.082
677.83/680.41 c bounds - >= 23058010 @ 301.342
677.83/680.41 c bounds - >= 23058035 @ 301.363
677.83/680.41 c bounds - >= 23058037 @ 301.475
677.83/680.41 c bounds - >= 23058045 @ 301.757
677.83/680.41 c bounds - >= 23058063 @ 301.906
677.83/680.41 c bounds - >= 23058088 @ 301.921
677.83/680.41 c bounds - >= 23058132 @ 301.932
677.83/680.41 c bounds - >= 23058288 @ 301.956
677.83/680.41 c bounds - >= 23058307 @ 302.045
677.83/680.41 c bounds - >= 23058310 @ 302.111
677.83/680.41 c bounds - >= 23058376 @ 302.127
677.83/680.41 c bounds - >= 23058384 @ 302.164
677.83/680.41 c bounds - >= 23058391 @ 302.185
677.83/680.41 c bounds - >= 23058410 @ 302.199
677.83/680.41 c bounds - >= 23058417 @ 302.226
677.83/680.41 c bounds - >= 23058418 @ 302.266
677.83/680.41 c bounds - >= 23058421 @ 302.294
677.83/680.41 c bounds - >= 23058424 @ 302.314
677.83/680.41 c bounds - >= 23058439 @ 302.334
677.83/680.41 c bounds - >= 23058454 @ 302.348
677.83/680.41 c bounds - >= 23058465 @ 302.362
677.83/680.41 c bounds - >= 23058466 @ 302.395
677.83/680.41 c #Conflicts: 2000 | #Constraints: 4886
677.83/680.41 c INPROCESSING
677.83/680.41 c GARBAGE COLLECT
677.83/680.41 c bounds - >= 23058474 @ 302.547
677.83/680.41 c bounds - >= 23058492 @ 302.576
677.83/680.41 c bounds - >= 23058559 @ 302.623
677.83/680.41 c bounds - >= 23058560 @ 302.668
677.83/680.41 c bounds - >= 23058591 @ 302.693
677.83/680.41 c bounds - >= 23058652 @ 302.717
677.83/680.41 c bounds - >= 23058658 @ 302.735
677.83/680.41 c bounds - >= 23058660 @ 302.76
677.83/680.41 c bounds - >= 23058672 @ 302.788
677.83/680.41 c bounds - >= 23058716 @ 302.81
677.83/680.41 c bounds - >= 23058740 @ 302.821
677.83/680.41 c bounds - >= 23058759 @ 302.85
677.83/680.41 c bounds - >= 23058763 @ 303.055
677.83/680.41 c bounds - >= 23058771 @ 303.073
677.83/680.41 c bounds - >= 23058774 @ 303.112
677.83/680.41 c bounds - >= 23058793 @ 303.27
677.83/680.41 c bounds - >= 23058804 @ 303.371
677.83/680.41 c bounds - >= 23058812 @ 303.471
677.83/680.41 c bounds - >= 23058824 @ 303.608
677.83/680.41 c bounds - >= 23058844 @ 303.638
677.83/680.41 c bounds - >= 23058874 @ 303.681
677.83/680.41 c bounds - >= 23058910 @ 304.072
677.83/680.41 c bounds - >= 23058913 @ 304.093
677.83/680.41 c bounds - >= 23058917 @ 304.117
677.83/680.41 c bounds - >= 23058932 @ 304.984
677.83/680.41 c bounds - >= 23058934 @ 306.072
677.83/680.41 c bounds - >= 23058944 @ 306.146
677.83/680.41 c #Conflicts: 3000 | #Constraints: 4226
677.83/680.41 c bounds - >= 23058954 @ 316.013
677.83/680.41 c #Conflicts: 4000 | #Constraints: 5227
677.83/680.41 c INPROCESSING
677.83/680.41 c GARBAGE COLLECT
677.83/680.41 c #Conflicts: 5000 | #Constraints: 4527
677.83/680.41 c bounds - >= 23058958 @ 339.944
677.83/680.41 c #Conflicts: 6000 | #Constraints: 5528
677.83/680.41 c INPROCESSING
677.83/680.41 c GARBAGE COLLECT
677.83/680.41 c #Conflicts: 7000 | #Constraints: 4493
677.83/680.41 c #Conflicts: 8000 | #Constraints: 5493
677.83/680.41 c bounds - >= 23058978 @ 413.523
677.83/680.41 c #Conflicts: 9000 | #Constraints: 6494
677.83/680.41 c INPROCESSING
677.83/680.41 c GARBAGE COLLECT
677.83/680.41 c bounds - >= 23058986 @ 435.245
677.83/680.41 c bounds - >= 23058992 @ 437.638
677.83/680.41 c bounds - >= 23058995 @ 440.45
677.83/680.41 c bounds - >= 23058998 @ 444.022
677.83/680.41 c #Conflicts: 10000 | #Constraints: 5180
677.83/680.41 c bounds - >= 23059014 @ 474.42
677.83/680.41 c #Conflicts: 11000 | #Constraints: 6181
677.83/680.41 c #Conflicts: 12000 | #Constraints: 7181
677.83/680.41 c INPROCESSING
677.83/680.41 c GARBAGE COLLECT
677.83/680.41 c #Conflicts: 13000 | #Constraints: 5623
677.83/680.41 c #Conflicts: 14000 | #Constraints: 6623
677.83/680.41 c bounds - >= 23059024 @ 583.387
677.83/680.41 c bounds - >= 23059043 @ 585.507
677.83/680.41 c bounds - >= 23059052 @ 585.655
677.83/680.41 c bounds - >= 23059060 @ 589.732
677.83/680.41 c #Conflicts: 15000 | #Constraints: 7627
677.83/680.41 c INPROCESSING
677.83/680.41 c GARBAGE COLLECT
677.83/680.41 c bounds - >= 23059068 @ 595.509
677.83/680.41 c bounds - >= 23059078 @ 605.886
677.83/680.41 c #Conflicts: 16000 | #Constraints: 5847
677.83/680.41 c bounds - >= 23059080 @ 607.94
677.83/680.41 c #Conflicts: 17000 | #Constraints: 6848
677.83/680.41 c bounds - >= 23059082 @ 626.604
677.83/680.41 c #Conflicts: 18000 | #Constraints: 7849
677.83/680.41 c INPROCESSING
677.83/680.41 c GARBAGE COLLECT
677.83/680.41 c bounds - >= 23059086 @ 660.957
677.83/680.41 c #Conflicts: 19000 | #Constraints: 5856
677.83/680.41 c bounds - >= 23059120 @ 671.255
1770.91/1776.82 c bounds - >= 23059121 @ 673.565
1770.91/1776.82 c bounds - >= 23059130 @ 675.161
1770.91/1776.82 c bounds - >= 23059167 @ 676.055
1770.91/1776.82 c bounds - >= 23059172 @ 676.681
1770.91/1776.82 c #Conflicts: 20000 | #Constraints: 6861
1770.91/1776.82 c #Conflicts: 21000 | #Constraints: 7861
1770.91/1776.82 c bounds - >= 23059183 @ 695.625
1770.91/1776.82 c bounds - >= 23059189 @ 702.012
1770.91/1776.82 c INPROCESSING
1770.91/1776.82 c GARBAGE COLLECT
1770.91/1776.82 c #Conflicts: 22000 | #Constraints: 5663
1770.91/1776.82 c bounds - >= 23059203 @ 710.402
1770.91/1776.82 c bounds - >= 23059213 @ 712.137
1770.91/1776.82 c #Conflicts: 23000 | #Constraints: 6665
1770.91/1776.82 c #Conflicts: 24000 | #Constraints: 7665
1770.91/1776.82 c bounds - >= 23059217 @ 744.287
1770.91/1776.82 c bounds - >= 23059221 @ 748.43
1770.91/1776.82 c bounds - >= 23059235 @ 752.363
1770.91/1776.82 c bounds - >= 23059237 @ 752.72
1770.91/1776.82 c bounds - >= 23059241 @ 752.989
1770.91/1776.82 c bounds - >= 23059262 @ 753.205
1770.91/1776.82 c bounds - >= 23059272 @ 753.39
1770.91/1776.82 c bounds - >= 23059274 @ 762.381
1770.91/1776.82 c #Conflicts: 25000 | #Constraints: 8673
1770.91/1776.82 c bounds - >= 23059276 @ 763.132
1770.91/1776.82 c INPROCESSING
1770.91/1776.82 c GARBAGE COLLECT
1770.91/1776.82 c #Conflicts: 26000 | #Constraints: 6261
1770.91/1776.82 c bounds - >= 23059291 @ 790.137
1770.91/1776.82 c bounds - >= 23059301 @ 795.455
1770.91/1776.82 c #Conflicts: 27000 | #Constraints: 7263
1770.91/1776.82 c bounds - >= 23059308 @ 797.8
1770.91/1776.82 c bounds - >= 23059320 @ 822.64
1770.91/1776.82 c bounds - >= 23059353 @ 822.785
1770.91/1776.82 c #Conflicts: 28000 | #Constraints: 8266
1770.91/1776.82 c bounds - >= 23059390 @ 824.052
1770.91/1776.82 c bounds - >= 23059397 @ 830.868
1770.91/1776.82 c bounds - >= 23059404 @ 835.966
1770.91/1776.82 c #Conflicts: 29000 | #Constraints: 9269
1770.91/1776.82 c INPROCESSING
1770.91/1776.82 c GARBAGE COLLECT
1770.91/1776.82 c bounds - >= 23059427 @ 882.761
1770.91/1776.82 c bounds - >= 23059436 @ 882.967
1770.91/1776.82 c bounds - >= 23059442 @ 883.047
1770.91/1776.82 c #Conflicts: 30000 | #Constraints: 6674
1770.91/1776.82 c #Conflicts: 31000 | #Constraints: 7674
1770.91/1776.82 c #Conflicts: 32000 | #Constraints: 8674
1770.91/1776.82 c #Conflicts: 33000 | #Constraints: 9674
1770.91/1776.82 c INPROCESSING
1770.91/1776.82 c GARBAGE COLLECT
1770.91/1776.82 c #Conflicts: 34000 | #Constraints: 6875
1770.91/1776.82 c bounds - >= 23059449 @ 995.815
1770.91/1776.82 c #Conflicts: 35000 | #Constraints: 7876
1770.91/1776.82 c bounds - >= 23059457 @ 1018.59
1770.91/1776.82 c #Conflicts: 36000 | #Constraints: 8877
1770.91/1776.82 c #Conflicts: 37000 | #Constraints: 9877
1770.91/1776.82 c INPROCESSING
1770.91/1776.82 c GARBAGE COLLECT
1770.91/1776.82 c #Conflicts: 38000 | #Constraints: 6879
1770.91/1776.82 c bounds - >= 23059481 @ 1118.73
1770.91/1776.82 c bounds - >= 23059486 @ 1125.02
1770.91/1776.82 c #Conflicts: 39000 | #Constraints: 7881
1770.91/1776.82 c bounds - >= 23059501 @ 1134.87
1770.91/1776.82 c bounds - >= 23059503 @ 1139.88
1770.91/1776.82 c bounds - >= 23059529 @ 1142.38
1770.91/1776.82 c bounds - >= 23059541 @ 1142.5
1770.91/1776.82 c #Conflicts: 40000 | #Constraints: 8885
1770.91/1776.82 c #Conflicts: 41000 | #Constraints: 9885
1770.91/1776.82 c bounds - >= 23059544 @ 1193.35
1770.91/1776.82 c bounds - >= 23059550 @ 1193.51
1770.91/1776.82 c bounds - >= 23059554 @ 1193.69
1770.91/1776.82 c INPROCESSING
1770.91/1776.82 c GARBAGE COLLECT
1770.91/1776.82 c #Conflicts: 42000 | #Constraints: 6666
1770.91/1776.82 c #Conflicts: 43000 | #Constraints: 7666
1770.91/1776.82 c #Conflicts: 44000 | #Constraints: 8666
1770.91/1776.82 c #Conflicts: 45000 | #Constraints: 9666
1770.91/1776.82 c #Conflicts: 46000 | #Constraints: 10666
1770.91/1776.82 c INPROCESSING
1770.91/1776.82 c GARBAGE COLLECT
1770.91/1776.82 c #Conflicts: 47000 | #Constraints: 7259
1770.91/1776.82 c #Conflicts: 48000 | #Constraints: 8259
1770.91/1776.82 c #Conflicts: 49000 | #Constraints: 9259
1770.91/1776.82 c #Conflicts: 50000 | #Constraints: 10259
1770.91/1776.82 c #Conflicts: 51000 | #Constraints: 11259
1770.91/1776.82 c INPROCESSING
1770.91/1776.82 c GARBAGE COLLECT
1770.91/1776.82 c #Conflicts: 52000 | #Constraints: 7656
1770.91/1776.82 c #Conflicts: 53000 | #Constraints: 8656
1770.91/1776.82 c #Conflicts: 54000 | #Constraints: 9656
1770.91/1776.82 c #Conflicts: 55000 | #Constraints: 10656
1770.91/1776.82 c #Conflicts: 56000 | #Constraints: 11656
1770.91/1776.82 c INPROCESSING
1770.91/1776.82 c GARBAGE COLLECT
1770.91/1776.82 c #Conflicts: 57000 | #Constraints: 7855
1770.91/1776.82 c #Conflicts: 58000 | #Constraints: 8855
1770.91/1776.82 c bounds - >= 23059556 @ 1620.8
1770.91/1776.82 c #Conflicts: 59000 | #Constraints: 9856
1770.91/1776.82 c #Conflicts: 60000 | #Constraints: 10856
1770.91/1776.82 c #Conflicts: 61000 | #Constraints: 11856
1770.91/1776.82 c INPROCESSING
1770.91/1776.82 c GARBAGE COLLECT
1770.91/1776.82 c #Conflicts: 62000 | #Constraints: 7856
1770.91/1776.82 c #Conflicts: 63000 | #Constraints: 8856
1770.91/1776.82 c #Conflicts: 64000 | #Constraints: 9856
1770.91/1776.82 c bounds - >= 23059590 @ 1744.46
1770.91/1776.82 c #Conflicts: 65000 | #Constraints: 10857
1770.91/1776.82 c bounds - >= 23059620 @ 1754.74
3600.00/3611.51 c #Conflicts: 66000 | #Constraints: 11858
3600.00/3611.51 c INPROCESSING
3600.00/3611.51 c GARBAGE COLLECT
3600.00/3611.51 c #Conflicts: 67000 | #Constraints: 7648
3600.00/3611.51 c #Conflicts: 68000 | #Constraints: 8648
3600.00/3611.51 c #Conflicts: 69000 | #Constraints: 9648
3600.00/3611.51 c #Conflicts: 70000 | #Constraints: 10648
3600.00/3611.51 c #Conflicts: 71000 | #Constraints: 11648
3600.00/3611.51 c #Conflicts: 72000 | #Constraints: 12648
3600.00/3611.51 c INPROCESSING
3600.00/3611.51 c GARBAGE COLLECT
3600.00/3611.51 c #Conflicts: 73000 | #Constraints: 8251
3600.00/3611.51 c #Conflicts: 74000 | #Constraints: 9251
3600.00/3611.51 c #Conflicts: 75000 | #Constraints: 10251
3600.00/3611.51 c bounds - >= 23059630 @ 1965.48
3600.00/3611.51 c #Conflicts: 76000 | #Constraints: 11252
3600.00/3611.51 c #Conflicts: 77000 | #Constraints: 12252
3600.00/3611.51 c #Conflicts: 78000 | #Constraints: 13252
3600.00/3611.51 c INPROCESSING
3600.00/3611.51 c GARBAGE COLLECT
3600.00/3611.51 c #Conflicts: 79000 | #Constraints: 8656
3600.00/3611.51 c #Conflicts: 80000 | #Constraints: 9656
3600.00/3611.51 c #Conflicts: 81000 | #Constraints: 10656
3600.00/3611.51 c #Conflicts: 82000 | #Constraints: 11656
3600.00/3611.51 c bounds - >= 23059639 @ 2122.62
3600.00/3611.51 c #Conflicts: 83000 | #Constraints: 12657
3600.00/3611.51 c #Conflicts: 84000 | #Constraints: 13657
3600.00/3611.51 c INPROCESSING
3600.00/3611.51 c GARBAGE COLLECT
3600.00/3611.51 c #Conflicts: 85000 | #Constraints: 8858
3600.00/3611.51 c #Conflicts: 86000 | #Constraints: 9858
3600.00/3611.51 c #Conflicts: 87000 | #Constraints: 10858
3600.00/3611.51 c #Conflicts: 88000 | #Constraints: 11858
3600.00/3611.51 c bounds - >= 23059649 @ 2273.28
3600.00/3611.51 c #Conflicts: 89000 | #Constraints: 12859
3600.00/3611.51 c #Conflicts: 90000 | #Constraints: 13859
3600.00/3611.51 c INPROCESSING
3600.00/3611.51 c GARBAGE COLLECT
3600.00/3611.51 c #Conflicts: 91000 | #Constraints: 8856
3600.00/3611.51 c #Conflicts: 92000 | #Constraints: 9856
3600.00/3611.51 c #Conflicts: 93000 | #Constraints: 10856
3600.00/3611.51 c #Conflicts: 94000 | #Constraints: 11856
3600.00/3611.51 c #Conflicts: 95000 | #Constraints: 12856
3600.00/3611.51 c #Conflicts: 96000 | #Constraints: 13856
3600.00/3611.51 c bounds - >= 23059660 @ 2483.93
3600.00/3611.51 c bounds - >= 23059663 @ 2484.12
3600.00/3611.51 c INPROCESSING
3600.00/3611.51 c GARBAGE COLLECT
3600.00/3611.51 c #Conflicts: 97000 | #Constraints: 8663
3600.00/3611.51 c #Conflicts: 98000 | #Constraints: 9663
3600.00/3611.51 c #Conflicts: 99000 | #Constraints: 10663
3600.00/3611.51 c #Conflicts: 100000 | #Constraints: 11663
3600.00/3611.51 c bounds - >= 23059671 @ 2600.51
3600.00/3611.51 c #Conflicts: 101000 | #Constraints: 12664
3600.00/3611.51 c #Conflicts: 102000 | #Constraints: 13664
3600.00/3611.51 c #Conflicts: 103000 | #Constraints: 14664
3600.00/3611.51 c INPROCESSING
3600.00/3611.51 c GARBAGE COLLECT
3600.00/3611.51 c #Conflicts: 104000 | #Constraints: 9262
3600.00/3611.51 c #Conflicts: 105000 | #Constraints: 10262
3600.00/3611.51 c #Conflicts: 106000 | #Constraints: 11262
3600.00/3611.51 c bounds - >= 23059712 @ 2784.42
3600.00/3611.51 c #Conflicts: 107000 | #Constraints: 12263
3600.00/3611.51 c bounds - >= 23059726 @ 2814.88
3600.00/3611.51 c #Conflicts: 108000 | #Constraints: 13264
3600.00/3611.51 c #Conflicts: 109000 | #Constraints: 14264
3600.00/3611.51 c #Conflicts: 110000 | #Constraints: 15264
3600.00/3611.51 c INPROCESSING
3600.00/3611.51 c GARBAGE COLLECT
3600.00/3611.51 c #Conflicts: 111000 | #Constraints: 9665
3600.00/3611.51 c #Conflicts: 112000 | #Constraints: 10665
3600.00/3611.51 c #Conflicts: 113000 | #Constraints: 11665
3600.00/3611.51 c #Conflicts: 114000 | #Constraints: 12665
3600.00/3611.51 c bounds - >= 23059738 @ 3043.76
3600.00/3611.51 c #Conflicts: 115000 | #Constraints: 13666
3600.00/3611.51 c #Conflicts: 116000 | #Constraints: 14666
3600.00/3611.51 c #Conflicts: 117000 | #Constraints: 15666
3600.00/3611.51 c INPROCESSING
3600.00/3611.51 c GARBAGE COLLECT
3600.00/3611.51 c #Conflicts: 118000 | #Constraints: 9870
3600.00/3611.51 c #Conflicts: 119000 | #Constraints: 10870
3600.00/3611.51 c #Conflicts: 120000 | #Constraints: 11870
3600.00/3611.51 c #Conflicts: 121000 | #Constraints: 12870
3600.00/3611.51 c bounds - >= 23059740 @ 3282.23
3600.00/3611.51 c #Conflicts: 122000 | #Constraints: 13871
3600.00/3611.51 c #Conflicts: 123000 | #Constraints: 14871
3600.00/3611.51 c #Conflicts: 124000 | #Constraints: 15871
3600.00/3611.51 c INPROCESSING
3600.00/3611.51 c GARBAGE COLLECT
3600.00/3611.51 c #Conflicts: 125000 | #Constraints: 9867
3600.00/3611.51 c #Conflicts: 126000 | #Constraints: 10867
3600.00/3611.51 c #Conflicts: 127000 | #Constraints: 11867
3600.00/3611.51 c Program interrupted by user.
3600.00/3611.51 c cpu time 3573.12 s
3600.00/3611.51 c deterministic time 310314165263 3.10e+11
3600.00/3611.51 c optimization time 114.524 s
3600.00/3611.51 c total solve time 3159.8 s
3600.00/3611.51 c core-guided solve time 3159.8 s
3600.00/3611.51 c propagation time 3186.26 s
3600.00/3611.51 c conflict analysis time 58.5528 s
3600.00/3611.51 c propagations 34782535
3600.00/3611.51 c resolve steps 812847
3600.00/3611.51 c decisions 26369925
3600.00/3611.51 c conflicts 127172
3600.00/3611.51 c restarts 347
3600.00/3611.51 c inprocessing phases 27
3600.00/3611.51 c input clauses 1601
3600.00/3611.51 c input cardinalities 166
3600.00/3611.51 c input general constraints 868
3600.00/3611.51 c input average constraint length 493.72
3600.00/3611.51 c input average constraint degree 5897434.65
3600.00/3611.51 c learned clauses 22421
3600.00/3611.51 c learned cardinalities 8
3600.00/3611.51 c learned general constraints 105096
3600.00/3611.51 c learned average constraint length 866.77
3600.00/3611.51 c learned average constraint degree 38302885.44
3600.00/3611.51 c watched constraints 105505
3600.00/3611.51 c counting constraints 459
3600.00/3611.51 c gcd simplifications 8007
3600.00/3611.51 c detected cardinalities 3
3600.00/3611.51 c weakened non-implied lits 9495085
3600.00/3611.51 c weakened non-implying lits 20705
3600.00/3611.51 c original variables 6402
3600.00/3611.51 c clausal propagations 700491
3600.00/3611.51 c cardinality propagations 1754558
3600.00/3611.51 c watched propagations 15297714
3600.00/3611.51 c counting propagations 15791555
3600.00/3611.51 c watch lookups 47800506365
3600.00/3611.51 c watch backjump lookups 47687243661
3600.00/3611.51 c watch checks 122626531686
3600.00/3611.51 c propagation checks 91626596318
3600.00/3611.51 c constraint additions 450857058
3600.00/3611.51 c trail pops 61277714
3600.00/3611.51 c formula constraints 1928
3600.00/3611.51 c learned constraints 127525
3600.00/3611.51 c bound constraints 707
3600.00/3611.51 c core-guided constraints 0
3600.00/3611.51 c encountered formula constraints 364956
3600.00/3611.51 c encountered learned constraints 575063
3600.00/3611.51 c encountered bound constraints 0
3600.00/3611.51 c encountered core-guided constraints 0
3600.00/3611.51 c LP total time 0 s
3600.00/3611.51 c LP solve time 0 s
3600.00/3611.51 c LP constraints added 0
3600.00/3611.51 c LP constraints removed 0
3600.00/3611.51 c LP pivots internal 0
3600.00/3611.51 c LP pivots root 0
3600.00/3611.51 c LP calls 0
3600.00/3611.51 c LP optimalities 0
3600.00/3611.51 c LP no pivot count 0
3600.00/3611.51 c LP infeasibilities 0
3600.00/3611.51 c LP valid Farkas constraints 0
3600.00/3611.51 c LP learned Farkas constraints 0
3600.00/3611.51 c LP basis resets 0
3600.00/3611.51 c LP cycling count 0
3600.00/3611.51 c LP singular count 0
3600.00/3611.51 c LP no primal count 0
3600.00/3611.51 c LP no farkas count 0
3600.00/3611.51 c LP other issue count 0
3600.00/3611.51 c LP Gomory cuts 0
3600.00/3611.51 c LP learned cuts 0
3600.00/3611.51 c LP deleted cuts 0
3600.00/3611.51 c LP encountered Gomory constraints 0
3600.00/3611.51 c LP encountered Farkas constraints 0
3600.00/3611.51 c LP encountered learned Farkas constraints 0
3600.00/3611.51 c CG auxiliary variables introduced 0
3600.00/3611.51 c CG solutions found 0
3600.00/3611.51 c CG cores constructed 640
3600.00/3611.51 c CG core cardinality constraints returned 0
3600.00/3611.51 c CG unit cores 0
3600.00/3611.51 c CG single cores 564
3600.00/3611.51 c CG blocks removed during cardinality reduction 179
3600.00/3611.51 c CG first core best 11
3600.00/3611.51 c CG decision core best 32
3600.00/3611.51 c CG core reduction tie 33
3600.00/3611.51 c CG core degree average 1.00
3600.00/3611.51 c CG core slack average 151.54
3600.00/3611.51 c CG exhausted 0
3600.00/3611.51 c CG exhaust time 0 s
3600.00/3611.51 c CG trimmed 2397
3600.00/3611.51 c CG trim time 3.1015 s
3600.00/3611.51 c CG minimized 0
3600.00/3611.51 c CG minimize time 0 s
3600.00/3611.51 c CG am1 prop time 0.0025 s
3600.00/3611.51 c CG # am1s reformulated 0
3600.00/3611.51 c CG lower bound derived from am1s 0
3600.00/3611.51 c CG # clausal cores 592
3600.00/3611.51 c CG # cardinality cores 0
3600.00/3611.51 c CG # pb cores 124
3600.00/3611.51 c CG # pb reforms 0
3600.00/3611.51 c CG # cores discarded because of pb reform 0
3600.00/3611.51 d LOWERBOUND 23059740
3600.00/3611.51 d NCORES 640
3600.00/3611.51 d NPBCORES 124
3600.00/3611.51 d NPBREFORM 0
3600.00/3611.51 d NTRIMMED 2397
3600.00/3611.51 d NEXHAUSTED 0
3600.00/3611.51 d NAM1S 0
3600.00/3611.51 d AM1LB 0
3600.00/3611.51 c [Papilo Statistics]
3600.00/3611.51 c prepro time 0.0251379s
3600.00/3611.51 c # tsx applied 5385
3600.00/3611.51 c # tsx conflicts 0
3600.00/3611.51 c # bound changes 2833
3600.00/3611.51 c # side changes 1
3600.00/3611.51 c # coef changes 2940
3600.00/3611.51 c # rounds 4
3600.00/3611.51 c # deted vars 2840
3600.00/3611.51 c # deted constrs 2704
3600.00/3611.51 c # consecutive rounds of only bound changes 0
3600.00/3611.51 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: 64059 MiB (61872 MiB free)
memory of node 1: 64510 MiB (63599 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435398-1721072063/watcher-4435398-1721072063 -o /tmp/evaluation-result-4435398-1721072063/solver-4435398-1721072063 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1721072075-807105 --watchdog 3760 mixed-bag HOME/instance-4435398-1721072063.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=807145, runsolver pid=807138
[startup+0.100066 s]*
/proc/loadavg: 3.81 4.16 4.17 5/246 807169
/proc/meminfo: memFree=128433036/131655788 swapFree=131071996/131071996
[pid=807145] ppid=807138 vsize=91308 memory=16348 CPUtime=0.09 cores=0,2
/proc/807145/stat : 807145 (mixed-bag) R 807138 807145 807095 0 -1 4194304 3202 0 7 0 8 1 0 0 20 0 1 0 159365957 93499392 4087 134679101440 4194304 16487941 140733418990688 0 0 0 0 0 8404994 0 0 0 17 0 0 0 1 0 0 18723592 18734648 42659840 140733418992663 140733418992740 140733418992740 140733418999755 0
/proc/807145/statm: 22827 4087 1787 3002 0 6578 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 91308 KiB
Current children cumulated memory: 16348 KiB
[startup+0.214371 s]*
/proc/loadavg: 3.81 4.16 4.17 5/246 807169
/proc/meminfo: memFree=128409956/131655788 swapFree=131071996/131071996
[pid=807145] ppid=807138 vsize=109524 memory=41640 CPUtime=0.2 cores=0,2
/proc/807145/stat : 807145 (mixed-bag) R 807138 807145 807095 0 -1 4194304 7565 0 7 0 18 2 0 0 20 0 1 0 159365957 112152576 10410 134679101440 4194304 16487941 140733418990688 0 0 0 0 0 8404994 0 0 0 17 0 0 0 1 0 0 18723592 18734648 42659840 140733418992663 140733418992740 140733418992740 140733418999755 0
/proc/807145/statm: 27381 10410 3816 3002 0 11132 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 109524 KiB
Current children cumulated memory: 41640 KiB
[startup+0.314264 s]*
/proc/loadavg: 3.81 4.16 4.17 5/246 807169
/proc/meminfo: memFree=128394572/131655788 swapFree=131071996/131071996
[pid=807145] ppid=807138 vsize=114472 memory=46216 CPUtime=0.3 cores=0,2
/proc/807145/stat : 807145 (mixed-bag) R 807138 807145 807095 0 -1 4194304 8713 0 7 0 27 3 0 0 20 0 1 0 159365957 117219328 11554 134679101440 4194304 16487941 140733418990688 0 0 0 0 0 8404994 0 0 0 17 0 0 0 1 0 0 18723592 18734648 42659840 140733418992663 140733418992740 140733418992740 140733418999755 0
/proc/807145/statm: 28618 11554 3848 3002 0 12369 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 114472 KiB
Current children cumulated memory: 46216 KiB
[startup+0.700383 s]
/proc/loadavg: 3.81 4.16 4.17 5/246 807169
/proc/meminfo: memFree=128330116/131655788 swapFree=131071996/131071996
[pid=807145] ppid=807138 vsize=138888 memory=64400 CPUtime=0.67 cores=0,2
/proc/807145/stat : 807145 (mixed-bag) R 807138 807145 807095 0 -1 4194304 13446 0 7 0 62 5 0 0 20 0 1 0 159365957 142221312 16100 134679101440 4194304 16487941 140733418990688 0 0 0 0 0 8404994 0 0 0 17 0 0 0 1 0 0 18723592 18734648 42659840 140733418992663 140733418992740 140733418992740 140733418999755 0
/proc/807145/statm: 34722 16100 4040 3002 0 18473 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 138888 KiB
Current children cumulated memory: 64400 KiB
[startup+1.50032 s]
/proc/loadavg: 3.81 4.16 4.17 5/243 807183
/proc/meminfo: memFree=128149940/131655788 swapFree=131071996/131071996
[pid=807145] ppid=807138 vsize=141868 memory=66968 CPUtime=1.47 cores=0,2
/proc/807145/stat : 807145 (mixed-bag) R 807138 807145 807095 0 -1 4194304 14135 0 7 0 142 5 0 0 20 0 1 0 159365957 145272832 16742 134679101440 4194304 16487941 140733418990688 0 0 0 0 0 8404994 0 0 0 17 0 0 0 1 0 0 18723592 18734648 42659840 140733418992663 140733418992740 140733418992740 140733418999755 0
/proc/807145/statm: 35467 16742 4040 3002 0 19218 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 141868 KiB
Current children cumulated memory: 66968 KiB
[startup+3.11318 s]
/proc/loadavg: 3.81 4.16 4.17 5/246 807217
/proc/meminfo: memFree=127631324/131655788 swapFree=131071996/131071996
[pid=807145] ppid=807138 vsize=180212 memory=103700 CPUtime=3.07 cores=0,2
/proc/807145/stat : 807145 (mixed-bag) R 807138 807145 807095 0 -1 4194304 24949 0 7 0 301 6 0 0 20 0 1 0 159365957 184537088 25925 134679101440 4194304 16487941 140733418990688 0 0 0 0 0 8404994 0 0 0 17 0 0 0 1 0 0 18723592 18734648 42659840 140733418992663 140733418992740 140733418992740 140733418999755 0
/proc/807145/statm: 45053 25925 4060 3002 0 28804 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 180212 KiB
Current children cumulated memory: 103700 KiB
[startup+6.3003 s]
/proc/loadavg: 3.82 4.16 4.17 5/246 807217
/proc/meminfo: memFree=127317448/131655788 swapFree=131071996/131071996
[pid=807145] ppid=807138 vsize=180212 memory=103936 CPUtime=6.24 cores=0,2
/proc/807145/stat : 807145 (mixed-bag) R 807138 807145 807095 0 -1 4194304 25015 0 7 0 618 6 0 0 20 0 1 0 159365957 184537088 25984 134679101440 4194304 16487941 140733418990688 0 0 0 0 0 8404994 0 0 0 17 0 0 0 1 0 0 18723592 18734648 42659840 140733418992663 140733418992740 140733418992740 140733418999755 0
/proc/807145/statm: 45053 25984 4060 3002 0 28804 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 180212 KiB
Current children cumulated memory: 103936 KiB
[startup+12.7003 s]
/proc/loadavg: 3.84 4.15 4.17 5/246 807218
/proc/meminfo: memFree=127252632/131655788 swapFree=131071996/131071996
[pid=807145] ppid=807138 vsize=194948 memory=118516 CPUtime=12.62 cores=0,2
/proc/807145/stat : 807145 (mixed-bag) R 807138 807145 807095 0 -1 4194304 29219 0 7 0 1255 7 0 0 20 0 1 0 159365957 199626752 29629 134679101440 4194304 16487941 140733418990688 0 0 0 0 0 8404994 0 0 0 17 0 0 0 1 0 0 18723592 18734648 42659840 140733418992663 140733418992740 140733418992740 140733418999755 0
/proc/807145/statm: 48737 29629 4060 3002 0 32488 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 194948 KiB
Current children cumulated memory: 118516 KiB
[startup+25.5003 s]
/proc/loadavg: 3.87 4.15 4.16 5/246 807220
/proc/meminfo: memFree=127209696/131655788 swapFree=131071996/131071996
[pid=807145] ppid=807138 vsize=195508 memory=120676 CPUtime=25.37 cores=0,2
/proc/807145/stat : 807145 (mixed-bag) R 807138 807145 807095 0 -1 4194304 30758 0 7 0 2530 7 0 0 20 0 1 0 159365957 200200192 30169 134679101440 4194304 16487941 140733418990688 0 0 0 0 0 8404994 0 0 0 17 0 0 0 1 0 0 18723592 18734648 42659840 140733418992663 140733418992740 140733418992740 140733418999755 0
/proc/807145/statm: 48877 30169 4060 3002 0 32628 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 195508 KiB
Current children cumulated memory: 120676 KiB
[startup+51.1132 s]
/proc/loadavg: 3.99 4.15 4.16 5/246 807223
/proc/meminfo: memFree=127157812/131655788 swapFree=131071996/131071996
[pid=807145] ppid=807138 vsize=229888 memory=154928 CPUtime=50.88 cores=0,2
/proc/807145/stat : 807145 (mixed-bag) R 807138 807145 807095 0 -1 4194304 57362 0 7 0 5076 12 0 0 20 0 1 0 159365957 235405312 38732 134679101440 4194304 16487941 140733418990688 0 0 0 0 0 8404994 0 0 0 17 0 0 0 1 0 0 18723592 18734648 42659840 140733418992663 140733418992740 140733418992740 140733418999755 0
/proc/807145/statm: 57472 38732 4060 3002 0 41223 0
Current children cumulated CPU time: 50.88 s
Current children cumulated vsize: 229888 KiB
Current children cumulated memory: 154928 KiB
[startup+102.3 s]
/proc/loadavg: 4.00 4.12 4.15 5/243 807233
/proc/meminfo: memFree=126908324/131655788 swapFree=131071996/131071996
[pid=807145] ppid=807138 vsize=275876 memory=200676 CPUtime=101.86 cores=0,2
/proc/807145/stat : 807145 (mixed-bag) R 807138 807145 807095 0 -1 4194304 92829 0 7 0 10169 17 0 0 20 0 1 0 159365957 282497024 50169 134679101440 4194304 16487941 140733418990688 0 0 0 0 0 8404994 0 0 0 17 0 0 0 1 0 0 18723592 18734648 42659840 140733418992663 140733418992740 140733418992740 140733418999755 0
/proc/807145/statm: 68969 50169 4169 3002 0 52720 0
Current children cumulated CPU time: 101.86 s
Current children cumulated vsize: 275876 KiB
Current children cumulated memory: 200676 KiB
[startup+162.3 s]
/proc/loadavg: 4.07 4.13 4.15 5/243 807243
/proc/meminfo: memFree=126845184/131655788 swapFree=131071996/131071996
[pid=807145] ppid=807138 vsize=294324 memory=220064 CPUtime=161.63 cores=0,2
/proc/807145/stat : 807145 (mixed-bag) R 807138 807145 807095 0 -1 4194304 106530 0 7 0 16143 20 0 0 20 0 1 0 159365957 301387776 55016 134679101440 4194304 16487941 140733418990688 0 0 0 0 0 8404994 0 0 0 17 0 0 0 1 0 0 18723592 18734648 42659840 140733418992663 140733418992740 140733418992740 140733418999755 0
/proc/807145/statm: 73581 55016 4169 3002 0 57332 0
Current children cumulated CPU time: 161.63 s
Current children cumulated vsize: 294324 KiB
Current children cumulated memory: 220064 KiB
[startup+222.3 s]
/proc/loadavg: 4.13 4.13 4.15 5/243 807254
/proc/meminfo: memFree=126768968/131655788 swapFree=131071996/131071996
[pid=807145] ppid=807138 vsize=322060 memory=245924 CPUtime=221.4 cores=0,2
/proc/807145/stat : 807145 (mixed-bag) R 807138 807145 807095 0 -1 4194304 117275 0 7 0 22118 22 0 0 20 0 1 0 159365957 329789440 61481 134679101440 4194304 16487941 140733418990688 0 0 0 0 0 8404994 0 0 0 17 0 0 0 1 0 0 18723592 18734648 42659840 140733418992663 140733418992740 140733418992740 140733418999755 0
/proc/807145/statm: 80515 61481 4169 3002 0 64266 0
Current children cumulated CPU time: 221.4 s
Current children cumulated vsize: 322060 KiB
Current children cumulated memory: 245924 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 4.12 4.15 5/243 807264
/proc/meminfo: memFree=126655960/131655788 swapFree=131071996/131071996
[pid=807145] ppid=807138 vsize=322060 memory=245924 CPUtime=281.16 cores=0,2
/proc/807145/stat : 807145 (mixed-bag) R 807138 807145 807095 0 -1 4194304 117287 0 7 0 28094 22 0 0 20 0 1 0 159365957 329789440 61481 134679101440 4194304 16487941 140733418990688 0 0 0 0 0 8404994 0 0 0 17 0 0 0 1 0 0 18723592 18734648 42659840 140733418992663 140733418992740 140733418992740 140733418999755 0
/proc/807145/statm: 80515 61481 4169 3002 0 64266 0
Current children cumulated CPU time: 281.16 s
Current children cumulated vsize: 322060 KiB
Current children cumulated memory: 245924 KiB
[startup+342.3 s]
/proc/loadavg: 4.12 4.11 4.14 5/242 807274
/proc/meminfo: memFree=126173944/131655788 swapFree=131071996/131071996
[pid=807145] ppid=807138 vsize=338004 memory=267560 CPUtime=340.94 cores=0,2
/proc/807145/stat : 807145 (mixed-bag) R 807138 807145 807095 0 -1 4194304 129986 0 7 0 33889 205 0 0 20 0 1 0 159365957 346116096 66890 134679101440 4194304 16487941 140733418990688 0 0 0 0 0 8404994 0 0 0 17 0 0 0 1 0 0 18723592 18734648 42659840 140733418992663 140733418992740 140733418992740 140733418999755 0
/proc/807145/statm: 84501 66890 4280 3002 0 68252 0
Current children cumulated CPU time: 340.94 s
Current children cumulated vsize: 338004 KiB
Current children cumulated memory: 267560 KiB
[startup+402.3 s]
/proc/loadavg: 4.20 4.14 4.15 5/244 807289
/proc/meminfo: memFree=125525600/131655788 swapFree=131071996/131071996
[pid=807145] ppid=807138 vsize=356972 memory=274872 CPUtime=400.72 cores=0,2
/proc/807145/stat : 807145 (mixed-bag) R 807138 807145 807095 0 -1 4194304 130338 0 7 0 39770 302 0 0 20 0 1 0 159365957 365539328 68718 134679101440 4194304 16487941 140733418990688 0 0 0 0 0 8404994 0 0 0 17 0 0 0 1 0 0 18723592 18734648 42659840 140733418992663 140733418992740 140733418992740 140733418999755 0
/proc/807145/statm: 89243 68718 4280 3002 0 72994 0
Current children cumulated CPU time: 400.72 s
Current children cumulated vsize: 356972 KiB
Current children cumulated memory: 274872 KiB
[startup+462.3 s]
/proc/loadavg: 4.12 4.13 4.14 5/244 807299
/proc/meminfo: memFree=125354864/131655788 swapFree=131071996/131071996
[pid=807145] ppid=807138 vsize=356972 memory=280284 CPUtime=460.51 cores=0,2
/proc/807145/stat : 807145 (mixed-bag) R 807138 807145 807095 0 -1 4194304 130698 0 7 0 45664 387 0 0 20 0 1 0 159365957 365539328 70071 134679101440 4194304 16487941 140733418990688 0 0 0 0 0 8404994 0 0 0 17 0 0 0 1 0 0 18723592 18734648 42659840 140733418992663 140733418992740 140733418992740 140733418999755 0
/proc/807145/statm: 89243 70071 4280 3002 0 72994 0
################
# More data... #
################
Current children cumulated memory: 331740 KiB
[startup+2922.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/244 808312
/proc/meminfo: memFree=121513752/131655788 swapFree=131071996/131071996
[pid=807145] ppid=807138 vsize=387792 memory=331740 CPUtime=2912.96 cores=0,2
/proc/807145/stat : 807145 (mixed-bag) R 807138 807145 807095 0 -1 4194304 135017 0 7 0 288979 2317 0 0 20 0 1 0 159365957 397099008 82935 134679101440 4194304 16487941 140733418990688 0 0 0 0 0 8404994 0 0 0 17 0 0 0 1 0 0 18723592 18734648 42659840 140733418992663 140733418992740 140733418992740 140733418999755 0
/proc/807145/statm: 96948 82935 4280 3002 0 80699 0
Current children cumulated CPU time: 2912.96 s
Current children cumulated vsize: 387792 KiB
Current children cumulated memory: 331740 KiB
[startup+2982.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/244 808323
/proc/meminfo: memFree=121466280/131655788 swapFree=131071996/131071996
[pid=807145] ppid=807138 vsize=437880 memory=334992 CPUtime=2972.77 cores=0,2
/proc/807145/stat : 807145 (mixed-bag) R 807138 807145 807095 0 -1 4194304 135393 0 7 0 294921 2356 0 0 20 0 1 0 159365957 448389120 83748 134679101440 4194304 16487941 140733418990688 0 0 0 0 0 8404994 0 0 0 17 0 0 0 1 0 0 18723592 18734648 42659840 140733418992663 140733418992740 140733418992740 140733418999755 0
/proc/807145/statm: 109470 83748 4280 3002 0 93221 0
Current children cumulated CPU time: 2972.77 s
Current children cumulated vsize: 437880 KiB
Current children cumulated memory: 334992 KiB
[startup+3042.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/243 808333
/proc/meminfo: memFree=121432996/131655788 swapFree=131071996/131071996
[pid=807145] ppid=807138 vsize=437880 memory=334992 CPUtime=3032.59 cores=0,2
/proc/807145/stat : 807145 (mixed-bag) R 807138 807145 807095 0 -1 4194304 135466 0 7 0 300867 2392 0 0 20 0 1 0 159365957 448389120 83748 134679101440 4194304 16487941 140733418990688 0 0 0 0 0 8404994 0 0 0 17 0 0 0 1 0 0 18723592 18734648 42659840 140733418992663 140733418992740 140733418992740 140733418999755 0
/proc/807145/statm: 109470 83748 4280 3002 0 93221 0
Current children cumulated CPU time: 3032.59 s
Current children cumulated vsize: 437880 KiB
Current children cumulated memory: 334992 KiB
[startup+3102.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/242 808726
/proc/meminfo: memFree=121392556/131655788 swapFree=131071996/131071996
[pid=807145] ppid=807138 vsize=437880 memory=334992 CPUtime=3092.4 cores=0,2
/proc/807145/stat : 807145 (mixed-bag) R 807138 807145 807095 0 -1 4194304 135613 0 7 0 306819 2421 0 0 20 0 1 0 159365957 448389120 83748 134679101440 4194304 16487941 140733418990688 0 0 0 0 0 8404994 0 0 0 17 0 0 0 1 0 0 18723592 18734648 42659840 140733418992663 140733418992740 140733418992740 140733418999755 0
/proc/807145/statm: 109470 83748 4280 3002 0 93221 0
Current children cumulated CPU time: 3092.4 s
Current children cumulated vsize: 437880 KiB
Current children cumulated memory: 334992 KiB
[startup+3162.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/242 808736
/proc/meminfo: memFree=121067672/131655788 swapFree=131071996/131071996
[pid=807145] ppid=807138 vsize=437880 memory=334992 CPUtime=3152.22 cores=0,2
/proc/807145/stat : 807145 (mixed-bag) R 807138 807145 807095 0 -1 4194304 135757 0 7 0 312770 2452 0 0 20 0 1 0 159365957 448389120 83748 134679101440 4194304 16487941 140733418990688 0 0 0 0 0 8404994 0 0 0 17 0 0 0 1 0 0 18723592 18734648 42659840 140733418992663 140733418992740 140733418992740 140733418999755 0
/proc/807145/statm: 109470 83748 4280 3002 0 93221 0
Current children cumulated CPU time: 3152.22 s
Current children cumulated vsize: 437880 KiB
Current children cumulated memory: 334992 KiB
[startup+3222.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/242 808746
/proc/meminfo: memFree=120794160/131655788 swapFree=131071996/131071996
[pid=807145] ppid=807138 vsize=437880 memory=337040 CPUtime=3212.02 cores=0,2
/proc/807145/stat : 807145 (mixed-bag) R 807138 807145 807095 0 -1 4194304 135906 0 7 0 318721 2481 0 0 20 0 1 0 159365957 448389120 84260 134679101440 4194304 16487941 140733418990688 0 0 0 0 0 8404994 0 0 0 17 0 0 0 1 0 0 18723592 18734648 42659840 140733418992663 140733418992740 140733418992740 140733418999755 0
/proc/807145/statm: 109470 84260 4280 3002 0 93221 0
Current children cumulated CPU time: 3212.02 s
Current children cumulated vsize: 437880 KiB
Current children cumulated memory: 337040 KiB
[startup+3282.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/243 808927
/proc/meminfo: memFree=120703288/131655788 swapFree=131071996/131071996
[pid=807145] ppid=807138 vsize=437880 memory=337040 CPUtime=3271.84 cores=0,2
/proc/807145/stat : 807145 (mixed-bag) R 807138 807145 807095 0 -1 4194304 135978 0 7 0 324668 2516 0 0 20 0 1 0 159365957 448389120 84260 134679101440 4194304 16487941 140733418990688 0 0 0 0 0 8404994 0 0 0 17 0 0 0 1 0 0 18723592 18734648 42659840 140733418992663 140733418992740 140733418992740 140733418999755 0
/proc/807145/statm: 109470 84260 4280 3002 0 93221 0
Current children cumulated CPU time: 3271.84 s
Current children cumulated vsize: 437880 KiB
Current children cumulated memory: 337040 KiB
[startup+3342.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/243 808937
/proc/meminfo: memFree=120549392/131655788 swapFree=131071996/131071996
[pid=807145] ppid=807138 vsize=437880 memory=337040 CPUtime=3331.65 cores=0,2
/proc/807145/stat : 807145 (mixed-bag) R 807138 807145 807095 0 -1 4194304 136123 0 7 0 330619 2546 0 0 20 0 1 0 159365957 448389120 84260 134679101440 4194304 16487941 140733418990688 0 0 0 0 0 8404994 0 0 0 17 0 0 0 1 0 0 18723592 18734648 42659840 140733418992663 140733418992740 140733418992740 140733418999755 0
/proc/807145/statm: 109470 84260 4280 3002 0 93221 0
Current children cumulated CPU time: 3331.65 s
Current children cumulated vsize: 437880 KiB
Current children cumulated memory: 337040 KiB
[startup+3402.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/247 809007
/proc/meminfo: memFree=120448752/131655788 swapFree=131071996/131071996
[pid=807145] ppid=807138 vsize=437880 memory=337040 CPUtime=3391.47 cores=0,2
/proc/807145/stat : 807145 (mixed-bag) R 807138 807145 807095 0 -1 4194304 136269 0 7 0 336571 2576 0 0 20 0 1 0 159365957 448389120 84260 134679101440 4194304 16487941 140733418990688 0 0 0 0 0 8404994 0 0 0 17 0 0 0 1 0 0 18723592 18734648 42659840 140733418992663 140733418992740 140733418992740 140733418999755 0
/proc/807145/statm: 109470 84260 4280 3002 0 93221 0
Current children cumulated CPU time: 3391.47 s
Current children cumulated vsize: 437880 KiB
Current children cumulated memory: 337040 KiB
[startup+3462.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/247 809017
/proc/meminfo: memFree=120405572/131655788 swapFree=131071996/131071996
[pid=807145] ppid=807138 vsize=437880 memory=337040 CPUtime=3451.27 cores=0,2
/proc/807145/stat : 807145 (mixed-bag) R 807138 807145 807095 0 -1 4194304 136416 0 7 0 342524 2603 0 0 20 0 1 0 159365957 448389120 84260 134679101440 4194304 16487941 140733418990688 0 0 0 0 0 8404994 0 0 0 17 0 0 0 1 0 0 18723592 18734648 42659840 140733418992663 140733418992740 140733418992740 140733418999755 0
/proc/807145/statm: 109470 84260 4280 3002 0 93221 0
Current children cumulated CPU time: 3451.27 s
Current children cumulated vsize: 437880 KiB
Current children cumulated memory: 337040 KiB
[startup+3522.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/247 809028
/proc/meminfo: memFree=120259240/131655788 swapFree=131071996/131071996
[pid=807145] ppid=807138 vsize=437880 memory=339088 CPUtime=3511.08 cores=0,2
/proc/807145/stat : 807145 (mixed-bag) R 807138 807145 807095 0 -1 4194304 136495 0 7 0 348473 2635 0 0 20 0 1 0 159365957 448389120 84772 134679101440 4194304 16487941 140733418990688 0 0 0 0 0 8404994 0 0 0 17 0 0 0 1 0 0 18723592 18734648 42659840 140733418992663 140733418992740 140733418992740 140733418999755 0
/proc/807145/statm: 109470 84772 4280 3002 0 93221 0
Current children cumulated CPU time: 3511.08 s
Current children cumulated vsize: 437880 KiB
Current children cumulated memory: 339088 KiB
[startup+3582.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/245 809039
/proc/meminfo: memFree=120216824/131655788 swapFree=131071996/131071996
[pid=807145] ppid=807138 vsize=437880 memory=339088 CPUtime=3570.9 cores=0,2
/proc/807145/stat : 807145 (mixed-bag) R 807138 807145 807095 0 -1 4194304 136568 0 7 0 354417 2673 0 0 20 0 1 0 159365957 448389120 84772 134679101440 4194304 16487941 140733418990688 0 0 0 0 0 8404994 0 0 0 17 0 0 0 1 0 0 18723592 18734648 42659840 140733418992663 140733418992740 140733418992740 140733418999755 0
/proc/807145/statm: 109470 84772 4280 3002 0 93221 0
Current children cumulated CPU time: 3570.9 s
Current children cumulated vsize: 437880 KiB
Current children cumulated memory: 339088 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.5 s]
/proc/loadavg: 4.17 4.10 4.09 4/240 809117
/proc/meminfo: memFree=128120488/131655788 swapFree=131071996/131071996
[pid=807145] ppid=807138 vsize=437880 memory=339088 CPUtime=3600 cores=0,2
/proc/807145/stat : 807145 (mixed-bag) R 807138 807145 807095 0 -1 4194304 136640 0 7 0 357311 2689 0 0 20 0 1 0 159365957 448389120 84772 134679101440 4194304 16487941 140733418990688 0 0 0 0 0 8404994 0 0 0 17 0 0 0 1 0 0 18723592 18734648 42659840 140733418992663 140733418992740 140733418992740 140733418999755 0
/proc/807145/statm: 109470 84772 4280 3002 0 93221 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 437880 KiB
Current children cumulated memory: 339088 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.52 s]
# the end of solver process 807145 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3573.13 s, system=26.9021 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3611.5 s]
/proc/loadavg: 4.17 4.10 4.09 4/240 809117
/proc/meminfo: memFree=128120488/131655788 swapFree=131071996/131071996
[pid=807145] ppid=807138 vsize=437880 memory=339088 CPUtime=3600 cores=0,2
/proc/807145/stat : 807145 (mixed-bag) R 807138 807145 807095 0 -1 4194304 136640 0 7 0 357311 2689 0 0 20 0 1 0 159365957 448389120 84772 134679101440 4194304 16487941 140733418990688 0 0 0 0 0 8404994 0 0 0 17 0 0 0 1 0 0 18723592 18734648 42659840 140733418992663 140733418992740 140733418992740 140733418999755 0
/proc/807145/statm: 109470 84772 4280 3002 0 93221 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 437880 KiB
Current children cumulated memory: 339088 KiB
Child status: 0
Real time (s): 3611.52
CPU time (s): 3600.03
CPU user time (s): 3573.13
CPU system time (s): 26.9021
CPU usage (%): 99.6819
Max. virtual memory (cumulated for all children) (KiB): 437880
Max. memory (cumulated for all children) (KiB): 339088
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3573.13
system time used= 26.9021
maximum resident set size= 339536
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 136659
page faults= 7
swaps= 0
block input operations= 2512
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 102
involuntary context switches= 24647
# summary of solver processes directly reported to runsolver:
# pid: 807145
# total CPU time (s): 3600.03
# total CPU user time (s): 3573.13
# total CPU system time (s): 26.9021
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.7644 second user time and 34.271 second system time
The end
Begin job on nodeC009 at 2024-07-15 21:34:35
IDJOB=4435398
IDBENCH=146797
IDSOLVER=3066
FILE ID=nodeC009/4435398-1721072063
RUNJOBID= nodeC009-1721072075-807105
SLURM_JOB_ID= 7505538
Free space on /tmp= 723768 MiB
SOLVER NAME= mixed-bag 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= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435398-1721072063/watcher-4435398-1721072063 -o /tmp/evaluation-result-4435398-1721072063/solver-4435398-1721072063 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1721072075-807105 --watchdog 3760 mixed-bag HOME/instance-4435398-1721072063.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 542a59a1a1b8906e0495f473b09f11e4
RANDOM SEED=1059070695
nodeC009.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.319
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6984.34
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.318
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.27
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.328
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6984.34
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.318
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.27
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.318
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6984.34
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.326
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.27
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.329
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6984.34
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.318
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.27
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 128483960 kB
MemAvailable: 129924748 kB
Buffers: 376544 kB
Cached: 1892744 kB
SwapCached: 0 kB
Active: 618940 kB
Inactive: 2001312 kB
Active(anon): 1364 kB
Inactive(anon): 387296 kB
Active(file): 617576 kB
Inactive(file): 1614016 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 74268 kB
Writeback: 8 kB
AnonPages: 351072 kB
Mapped: 103716 kB
Shmem: 37700 kB
KReclaimable: 98452 kB
Slab: 195756 kB
SReclaimable: 98452 kB
SUnreclaim: 97304 kB
KernelStack: 3680 kB
PageTables: 9624 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 703888 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 51456 kB
HardwareCorrupted: 0 kB
AnonHugePages: 233472 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: 187208 kB
DirectMap2M: 19640320 kB
DirectMap1G: 116391936 kB
Free space on /tmp at the end= 723704 MiB
End job on nodeC009 at 2024-07-15 22:34:47