0.00/0.01 c RoundingSat 2
0.00/0.01 c branch pb25
0.00/0.01 c commit 63f22ad
0.00/0.01 c #variables 1000 #constraints 1
0.00/0.01 c objective is ce32
0.00/0.01 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.00/0.01 c initial counting CF 32, 64, 128, Arb: 2 , 0 , 0 , 0
0.00/0.01 c GLOBAL bounds - >= -4908981 @ 0.001808
0.00/0.02 c GLOBAL bounds - >= -4908981 @ 0.002375
0.00/0.02 c GLOBAL bounds - >= -4908981 @ 0.002375
0.00/0.02 c GLOBAL bounds - >= -4908981 @ 0.002806
0.00/0.02 c GLOBAL bounds - >= -4908981 @ 0.003937
0.00/0.02 c GLOBAL bounds - >= -4908981 @ 0.00525
0.00/0.02 c GLOBAL bounds - >= -4908981 @ 0.006591
0.00/0.02 c GLOBAL bounds - >= -4908981 @ 0.007914
0.00/0.02 c GLOBAL bounds - >= -4908981 @ 0.009233
0.00/0.03 c GLOBAL bounds - >= -4908981 @ 0.010552
0.00/0.03 c GLOBAL bounds - >= -4908981 @ 0.011878
0.00/0.03 c GLOBAL bounds - >= -4908981 @ 0.012591
0.00/0.03 c GLOBAL bounds - >= -4908981 @ 0.013704
0.00/0.03 c GLOBAL bounds - >= -4908981 @ 0.015061
0.00/0.03 c GLOBAL bounds - >= -4908981 @ 0.01609
0.00/0.03 c GLOBAL bounds - >= -4908981 @ 0.0163
0.00/0.04 c GLOBAL bounds - >= -4908981 @ 0.017218
0.00/0.04 c GLOBAL bounds - >= -4908981 @ 0.018547
0.00/0.04 c GLOBAL bounds - >= -4908981 @ 0.019612
0.00/0.04 c GLOBAL bounds - >= -4908981 @ 0.020667
0.00/0.04 c GLOBAL bounds - >= -4908981 @ 0.023855
0.00/0.05 c GLOBAL bounds - >= -4908981 @ 0.027336
0.00/0.06 c GLOBAL bounds - >= -4908981 @ 0.038964
0.00/0.06 c GLOBAL bounds - >= -4908981 @ 0.040383
0.00/0.07 c GLOBAL bounds - >= -4908981 @ 0.042682
0.00/0.07 c GLOBAL bounds - >= -4908981 @ 0.043607
0.00/0.07 c GLOBAL bounds - >= -4908981 @ 0.044567
0.00/0.07 c GLOBAL bounds - >= -4908981 @ 0.045577
0.00/0.07 c GLOBAL bounds - >= -4908981 @ 0.047376
0.00/0.08 c GLOBAL bounds - >= -4908981 @ 0.048154
0.00/0.08 c GLOBAL bounds - >= -4908981 @ 0.048576
0.00/0.08 c GLOBAL bounds - >= -4908981 @ 0.049864
0.00/0.08 c GLOBAL bounds - >= -4908981 @ 0.050892
0.00/0.08 c GLOBAL bounds - >= -4908981 @ 0.051786
0.00/0.08 c GLOBAL bounds - >= -4908981 @ 0.052576
0.00/0.09 c GLOBAL bounds - >= -4908981 @ 0.053128
0.00/0.09 c GLOBAL bounds - >= -4908981 @ 0.053535
0.00/0.09 c GLOBAL bounds - >= -4908981 @ 0.054985
0.00/0.09 c GLOBAL bounds - >= -4908981 @ 0.055966
0.00/0.09 c GLOBAL bounds - >= -4908981 @ 0.05611
0.00/0.09 c GLOBAL bounds - >= -4908981 @ 0.056504
0.00/0.10 c GLOBAL bounds - >= -4908981 @ 0.058308
0.00/0.10 c GLOBAL bounds - >= -4908981 @ 0.05906
0.00/0.10 c GLOBAL bounds - >= -4908981 @ 0.060376
0.09/0.10 c GLOBAL bounds - >= -4908981 @ 0.061525
0.09/0.11 c GLOBAL bounds - >= -4908981 @ 0.062919
0.09/0.11 c GLOBAL bounds - >= -4908981 @ 0.064961
0.09/0.11 c GLOBAL bounds - >= -4908981 @ 0.065538
0.09/0.11 c GLOBAL bounds - >= -4908981 @ 0.066411
0.09/0.11 c GLOBAL bounds - >= -4908981 @ 0.068041
0.09/0.11 c GLOBAL bounds - >= -4908981 @ 0.069609
0.09/0.12 c GLOBAL bounds - >= -4908981 @ 0.072653
0.09/0.12 c GLOBAL bounds - >= -4908981 @ 0.076409
0.09/0.13 c GLOBAL bounds - >= -4908981 @ 0.080696
0.09/0.13 c GLOBAL bounds - >= -4908981 @ 0.081407
0.09/0.13 c GLOBAL bounds - >= -4908981 @ 0.084556
0.09/0.14 c GLOBAL bounds - >= -4908981 @ 0.088095
0.09/0.14 c GLOBAL bounds - >= -4908981 @ 0.093585
0.09/0.15 c GLOBAL bounds - >= -4908981 @ 0.098314
0.09/0.15 c GLOBAL bounds - >= -4908981 @ 0.105305
0.09/0.16 c GLOBAL bounds - >= -4908981 @ 0.107209
0.09/0.16 c GLOBAL bounds - >= -4908981 @ 0.110053
0.09/0.16 c GLOBAL bounds - >= -4908981 @ 0.112673
0.09/0.17 c GLOBAL bounds - >= -4908981 @ 0.116766
0.09/0.17 c GLOBAL bounds - >= -4908981 @ 0.118527
0.09/0.18 c GLOBAL bounds - >= -4908981 @ 0.12554
0.09/0.18 c GLOBAL bounds - >= -4908981 @ 0.127322
0.09/0.18 c GLOBAL bounds - >= -4908981 @ 0.12785
0.09/0.18 c GLOBAL bounds - >= -4908981 @ 0.127857
0.09/0.20 c GLOBAL bounds - >= -4908981 @ 0.145638
0.09/0.20 c GLOBAL bounds - >= -4908981 @ 0.14788
0.09/0.20 c GLOBAL bounds - >= -4908981 @ 0.149972
0.19/0.21 c GLOBAL bounds - >= -4908981 @ 0.153633
0.19/0.21 c GLOBAL bounds - >= -4908981 @ 0.155188
0.19/0.22 c GLOBAL bounds - >= -4908981 @ 0.159471
0.19/0.22 c GLOBAL bounds - >= -4908981 @ 0.161209
0.19/0.22 c GLOBAL bounds - >= -4908981 @ 0.162144
0.19/0.22 c GLOBAL bounds - >= -4908981 @ 0.167442
0.19/0.23 c GLOBAL bounds - >= -4908981 @ 0.169241
0.19/0.23 c GLOBAL bounds - >= -4908981 @ 0.175681
0.19/0.24 c GLOBAL bounds - >= -4908981 @ 0.178402
0.19/0.28 c GLOBAL bounds - >= -4908981 @ 0.216476
0.19/0.28 c GLOBAL bounds - >= -4908981 @ 0.220212
0.19/0.29 c GLOBAL bounds - >= -4908981 @ 0.229982
0.19/0.30 c GLOBAL bounds - >= -4908981 @ 0.230906
0.19/0.30 c GLOBAL bounds - >= -4908981 @ 0.231496
0.19/0.30 c GLOBAL bounds - >= -4908981 @ 0.232635
0.29/0.31 c GLOBAL bounds - >= -4908981 @ 0.239858
0.29/0.31 c GLOBAL bounds - >= -4908981 @ 0.240866
0.29/0.31 c GLOBAL bounds - >= -4908981 @ 0.242683
0.29/0.31 c GLOBAL bounds - >= -4908981 @ 0.246699
0.29/0.32 c GLOBAL bounds - >= -4908981 @ 0.250024
0.29/0.33 c GLOBAL bounds - >= -4908981 @ 0.255696
0.29/0.33 c GLOBAL bounds - >= -4908981 @ 0.259692
0.29/0.34 c GLOBAL bounds - >= -4908981 @ 0.266841
0.29/0.34 c GLOBAL bounds - >= -4908981 @ 0.269704
0.29/0.35 c GLOBAL bounds - >= -4908981 @ 0.271713
0.29/0.35 c GLOBAL bounds - >= -4908981 @ 0.274164
0.29/0.35 c GLOBAL bounds - >= -4908981 @ 0.275347
0.29/0.36 c GLOBAL bounds - >= -4908981 @ 0.286244
0.38/0.42 c GLOBAL bounds - >= -4908981 @ 0.337428
0.38/0.42 c GLOBAL bounds - >= -4908981 @ 0.338709
0.38/0.42 c GLOBAL bounds - >= -4908981 @ 0.340123
0.38/0.42 c GLOBAL bounds - >= -4908981 @ 0.343209
0.38/0.43 c GLOBAL bounds - >= -4908981 @ 0.346655
0.38/0.44 c GLOBAL bounds - >= -4908981 @ 0.354306
0.38/0.44 c GLOBAL bounds - >= -4908981 @ 0.358777
0.38/0.44 c GLOBAL bounds - >= -4908981 @ 0.361313
0.38/0.45 c GLOBAL bounds - >= -4908981 @ 0.363906
0.38/0.45 c GLOBAL bounds - >= -4908981 @ 0.365278
0.38/0.46 c GLOBAL bounds - >= -4908981 @ 0.374031
0.38/0.46 c GLOBAL bounds - >= -4908981 @ 0.376841
0.38/0.46 c GLOBAL bounds - >= -4908981 @ 0.378477
0.38/0.47 c GLOBAL bounds - >= -4908981 @ 0.38157
0.38/0.47 c GLOBAL bounds - >= -4908981 @ 0.384428
0.38/0.47 c GLOBAL bounds - >= -4908981 @ 0.387078
0.38/0.48 c GLOBAL bounds - >= -4908981 @ 0.389414
0.38/0.48 c GLOBAL bounds - >= -4908981 @ 0.392635
0.38/0.48 c GLOBAL bounds - >= -4908981 @ 0.395692
0.38/0.49 c GLOBAL bounds - >= -4908981 @ 0.397353
0.38/0.49 c GLOBAL bounds - >= -4908981 @ 0.400026
0.38/0.49 c GLOBAL bounds - >= -4908981 @ 0.40326
0.38/0.50 c GLOBAL bounds - >= -4908981 @ 0.40633
0.38/0.50 c GLOBAL bounds - >= -4908981 @ 0.408012
0.38/0.50 c GLOBAL bounds - >= -4908981 @ 0.411293
0.38/0.51 c GLOBAL bounds - >= -4908981 @ 0.413125
0.49/0.51 c GLOBAL bounds - >= -4908981 @ 0.416434
0.49/0.51 c GLOBAL bounds - >= -4908981 @ 0.419675
0.49/0.52 c GLOBAL bounds - >= -4908981 @ 0.421465
0.49/0.52 c GLOBAL bounds - >= -4908981 @ 0.423215
0.49/0.52 c GLOBAL bounds - >= -4908981 @ 0.426484
0.49/0.52 c GLOBAL bounds - >= -4908981 @ 0.4286
0.49/0.53 c GLOBAL bounds - >= -4908981 @ 0.431159
0.49/0.53 c GLOBAL bounds - >= -4908981 @ 0.43445
0.49/0.54 c GLOBAL bounds - >= -4908981 @ 0.443422
0.49/0.55 c GLOBAL bounds - >= -4908981 @ 0.44604
0.49/0.55 c GLOBAL bounds - >= -4908981 @ 0.450288
0.49/0.55 c GLOBAL bounds - >= -4908981 @ 0.452079
0.49/0.56 c GLOBAL bounds - >= -4908981 @ 0.455035
0.49/0.56 c GLOBAL bounds - >= -4908981 @ 0.457771
0.49/0.56 c GLOBAL bounds - >= -4908981 @ 0.4611
0.49/0.57 c GLOBAL bounds - >= -4908981 @ 0.468504
0.49/0.57 c GLOBAL bounds - >= -4908981 @ 0.470939
0.49/0.58 c GLOBAL bounds - >= -4908981 @ 0.472799
0.49/0.58 c GLOBAL bounds - >= -4908981 @ 0.47556
0.49/0.58 c GLOBAL bounds - >= -4908981 @ 0.479306
0.49/0.59 c GLOBAL bounds - >= -4908981 @ 0.482939
0.49/0.59 c GLOBAL bounds - >= -4908981 @ 0.485291
0.49/0.59 c GLOBAL bounds - >= -4908981 @ 0.487627
0.49/0.60 c GLOBAL bounds - >= -4908981 @ 0.49191
0.58/0.64 c GLOBAL bounds - >= -4908981 @ 0.5271
0.58/0.64 c GLOBAL bounds - >= -4908981 @ 0.529831
0.58/0.64 c GLOBAL bounds - >= -4908981 @ 0.532263
0.58/0.65 c GLOBAL bounds - >= -4908981 @ 0.535214
0.58/0.66 c GLOBAL bounds - >= -4908981 @ 0.542407
0.58/0.66 c GLOBAL bounds - >= -4908981 @ 0.544616
0.58/0.67 c GLOBAL bounds - >= -4908981 @ 0.54666
0.58/0.67 c GLOBAL bounds - >= -4908981 @ 0.549703
0.58/0.68 c GLOBAL bounds - >= -4908981 @ 0.554042
0.58/0.68 c GLOBAL bounds - >= -4908981 @ 0.555987
0.58/0.68 c GLOBAL bounds - >= -4908981 @ 0.56095
0.58/0.69 c GLOBAL bounds - >= -4908981 @ 0.562155
0.58/0.69 c GLOBAL bounds - >= -4908981 @ 0.564364
0.68/0.70 c GLOBAL bounds - >= -4908981 @ 0.569653
0.68/0.70 c GLOBAL bounds - >= -4908981 @ 0.573339
0.68/0.70 c GLOBAL bounds - >= -4908981 @ 0.576708
0.68/0.71 c GLOBAL bounds - >= -4908981 @ 0.579845
0.68/0.71 c GLOBAL bounds - >= -4908981 @ 0.585519
0.68/0.72 c GLOBAL bounds - >= -4908981 @ 0.59167
0.68/0.72 c GLOBAL bounds - >= -4908981 @ 0.595625
0.68/0.73 c GLOBAL bounds - >= -4908981 @ 0.604656
0.68/0.75 c GLOBAL bounds - >= -4908981 @ 0.617122
0.68/0.75 c GLOBAL bounds - >= -4908981 @ 0.620011
0.68/0.75 c GLOBAL bounds - >= -4908981 @ 0.622476
0.68/0.76 c GLOBAL bounds - >= -4908981 @ 0.624937
0.68/0.76 c GLOBAL bounds - >= -4908981 @ 0.627916
0.68/0.77 c GLOBAL bounds - >= -4908981 @ 0.633321
0.68/0.77 c GLOBAL bounds - >= -4908981 @ 0.638541
0.68/0.78 c GLOBAL bounds - >= -4908981 @ 0.640992
0.68/0.78 c GLOBAL bounds - >= -4908981 @ 0.643565
0.68/0.79 c GLOBAL bounds - >= -4908981 @ 0.646647
0.68/0.79 c GLOBAL bounds - >= -4908981 @ 0.649985
0.77/0.80 c GLOBAL bounds - >= -4908981 @ 0.654329
0.77/0.80 c GLOBAL bounds - >= -4908981 @ 0.658321
0.77/0.80 c GLOBAL bounds - >= -4908981 @ 0.660766
0.77/0.82 c GLOBAL bounds - >= -4908981 @ 0.670728
0.77/0.82 c GLOBAL bounds - >= -4908981 @ 0.675794
0.77/0.83 c GLOBAL bounds - >= -4908981 @ 0.679068
0.77/0.83 c GLOBAL bounds - >= -4908981 @ 0.68163
0.77/0.83 c GLOBAL bounds - >= -4908981 @ 0.68482
0.77/0.84 c GLOBAL bounds - >= -4908981 @ 0.68745
0.77/0.84 c GLOBAL bounds - >= -4908981 @ 0.691961
0.77/0.85 c GLOBAL bounds - >= -4908981 @ 0.695667
0.77/0.85 c GLOBAL bounds - >= -4908981 @ 0.701471
0.77/0.86 c GLOBAL bounds - >= -4908981 @ 0.709539
0.77/0.87 c GLOBAL bounds - >= -4908981 @ 0.714772
0.77/0.89 c GLOBAL bounds - >= -4908981 @ 0.739806
0.88/0.90 c GLOBAL bounds - >= -4908981 @ 0.745072
0.88/0.91 c GLOBAL bounds - >= -4908981 @ 0.750887
0.88/0.91 c GLOBAL bounds - >= -4908981 @ 0.756087
0.88/0.92 c GLOBAL bounds - >= -4908981 @ 0.762725
0.88/0.93 c GLOBAL bounds - >= -4908981 @ 0.775184
0.88/0.96 c GLOBAL bounds - >= -4908981 @ 0.800865
0.88/0.97 c GLOBAL bounds - >= -4908981 @ 0.812128
0.88/0.99 c GLOBAL bounds - >= -4908981 @ 0.826445
0.88/0.99 c GLOBAL bounds - >= -4908981 @ 0.830279
0.88/1.00 c GLOBAL bounds - >= -4908981 @ 0.834403
0.98/1.00 c GLOBAL bounds - >= -4908981 @ 0.83815
0.98/1.01 c GLOBAL bounds - >= -4908981 @ 0.842954
0.98/1.01 c GLOBAL bounds - >= -4908981 @ 0.84755
0.98/1.02 c GLOBAL bounds - >= -4908981 @ 0.852224
0.98/1.03 c GLOBAL bounds - >= -4908981 @ 0.858335
0.98/1.03 c GLOBAL bounds - >= -4908981 @ 0.864482
0.98/1.05 c GLOBAL bounds - >= -4908981 @ 0.882375
0.98/1.06 c GLOBAL bounds - >= -4908981 @ 0.886516
0.98/1.06 c GLOBAL bounds - >= -4908981 @ 0.889576
0.98/1.10 c GLOBAL bounds - >= -4908981 @ 0.923696
1.07/1.10 c GLOBAL bounds - >= -4908981 @ 0.929366
1.07/1.11 c GLOBAL bounds - >= -4908981 @ 0.933459
1.07/1.11 c GLOBAL bounds - >= -4908981 @ 0.937392
1.07/1.12 c GLOBAL bounds - >= -4908981 @ 0.941486
1.07/1.12 c GLOBAL bounds - >= -4908981 @ 0.949662
1.07/1.13 c GLOBAL bounds - >= -4908981 @ 0.954378
1.07/1.13 c GLOBAL bounds - >= -4908981 @ 0.958497
1.07/1.14 c GLOBAL bounds - >= -4908981 @ 0.963764
1.07/1.14 c GLOBAL bounds - >= -4908981 @ 0.966929
1.07/1.19 c GLOBAL bounds - >= -4908981 @ 1.01387
1.17/1.21 c GLOBAL bounds - >= -4908981 @ 1.03068
1.17/1.23 c GLOBAL bounds - >= -4908981 @ 1.05275
1.17/1.24 c GLOBAL bounds - >= -4908981 @ 1.05617
1.17/1.25 c GLOBAL bounds - >= -4908981 @ 1.06253
1.17/1.28 c GLOBAL bounds - >= -4908981 @ 1.09245
1.17/1.28 c GLOBAL bounds - >= -4908981 @ 1.09706
1.28/1.30 c GLOBAL bounds - >= -4908981 @ 1.11725
1.37/1.40 c GLOBAL bounds - >= -4908981 @ 1.21319
1.37/1.41 c GLOBAL bounds - >= -4908981 @ 1.2178
1.37/1.42 c GLOBAL bounds - >= -4908981 @ 1.22435
1.37/1.42 c GLOBAL bounds - >= -4908981 @ 1.22947
1.37/1.43 c GLOBAL bounds - >= -4908981 @ 1.24011
1.37/1.44 c GLOBAL bounds - >= -4908981 @ 1.24508
1.37/1.44 c GLOBAL bounds - >= -4908981 @ 1.25026
1.37/1.45 c GLOBAL bounds - >= -4908981 @ 1.25538
1.37/1.46 c GLOBAL bounds - >= -4908981 @ 1.26264
1.37/1.47 c GLOBAL bounds - >= -4908981 @ 1.26788
1.37/1.47 c GLOBAL bounds - >= -4908981 @ 1.27319
1.37/1.48 c GLOBAL bounds - >= -4908981 @ 1.27896
1.47/1.50 c GLOBAL bounds - >= -4908981 @ 1.29852
1.47/1.51 c GLOBAL bounds - >= -4908981 @ 1.31065
1.47/1.52 c GLOBAL bounds - >= -4908981 @ 1.31806
1.47/1.52 c GLOBAL bounds - >= -4908981 @ 1.32437
1.47/1.53 c GLOBAL bounds - >= -4908981 @ 1.33027
1.47/1.54 c GLOBAL bounds - >= -4908981 @ 1.33942
1.47/1.55 c GLOBAL bounds - >= -4908981 @ 1.3486
1.47/1.56 c GLOBAL bounds - >= -4908981 @ 1.35297
1.47/1.56 c GLOBAL bounds - >= -4908981 @ 1.35759
1.58/1.67 c GLOBAL bounds - >= -4908981 @ 1.4621
1.58/1.68 c GLOBAL bounds - >= -4908981 @ 1.46858
1.58/1.69 c GLOBAL bounds - >= -4908981 @ 1.47328
1.58/1.69 c GLOBAL bounds - >= -4908981 @ 1.47945
1.67/1.70 c GLOBAL bounds - >= -4908981 @ 1.48668
1.67/1.71 c GLOBAL bounds - >= -4908981 @ 1.49112
1.67/1.72 c GLOBAL bounds - >= -4908981 @ 1.50173
1.67/1.72 c GLOBAL bounds - >= -4908981 @ 1.5087
1.67/1.73 c GLOBAL bounds - >= -4908981 @ 1.51614
1.67/1.74 c GLOBAL bounds - >= -4908981 @ 1.52203
1.67/1.74 c GLOBAL bounds - >= -4908981 @ 1.52591
1.67/1.75 c GLOBAL bounds - >= -4908981 @ 1.53073
1.67/1.76 c GLOBAL bounds - >= -4908981 @ 1.53754
1.67/1.76 c GLOBAL bounds - >= -4908981 @ 1.54576
1.67/1.77 c GLOBAL bounds - >= -4908981 @ 1.55214
1.67/1.78 c GLOBAL bounds - >= -4908981 @ 1.55883
1.67/1.78 c GLOBAL bounds - >= -4908981 @ 1.56575
1.67/1.79 c GLOBAL bounds - >= -4908981 @ 1.57529
1.77/1.80 c GLOBAL bounds - >= -4908981 @ 1.58354
1.77/1.81 c GLOBAL bounds - >= -4908981 @ 1.59067
1.77/1.82 c GLOBAL bounds - >= -4908981 @ 1.59657
1.77/1.82 c GLOBAL bounds - >= -4908981 @ 1.60281
1.77/1.83 c GLOBAL bounds - >= -4908981 @ 1.61004
1.77/1.84 c GLOBAL bounds - >= -4908981 @ 1.61637
1.77/1.84 c GLOBAL bounds - >= -4908981 @ 1.6237
1.77/1.85 c GLOBAL bounds - >= -4908981 @ 1.62854
1.77/1.86 c GLOBAL bounds - >= -4908981 @ 1.63402
1.77/1.87 c GLOBAL bounds - >= -4908981 @ 1.63981
1.77/1.87 c GLOBAL bounds - >= -4908981 @ 1.64478
1.77/1.88 c GLOBAL bounds - >= -4908981 @ 1.6507
1.77/1.88 c GLOBAL bounds - >= -4908981 @ 1.65689
1.77/1.89 c GLOBAL bounds - >= -4908981 @ 1.66392
1.87/1.90 c GLOBAL bounds - >= -4908981 @ 1.67009
1.87/1.90 c GLOBAL bounds - >= -4908981 @ 1.6761
1.87/1.91 c GLOBAL bounds - >= -4908981 @ 1.68262
1.87/1.93 c GLOBAL bounds - >= -4908981 @ 1.69694
1.87/1.93 c GLOBAL bounds - >= -4908981 @ 1.7035
1.87/1.94 c GLOBAL bounds - >= -4908981 @ 1.70912
1.87/1.97 c GLOBAL bounds - >= -4908981 @ 1.74035
1.97/2.00 c GLOBAL bounds - >= -4908981 @ 1.76783
1.97/2.02 c GLOBAL bounds - >= -4908981 @ 1.78388
1.97/2.03 c GLOBAL bounds - >= -4908981 @ 1.78982
1.97/2.03 c GLOBAL bounds - >= -4908981 @ 1.79591
1.97/2.08 c GLOBAL bounds - >= -4908981 @ 1.83751
1.97/2.09 c GLOBAL bounds - >= -4908981 @ 1.84714
1.97/2.10 c GLOBAL bounds - >= -4908981 @ 1.85675
2.08/2.14 c GLOBAL bounds - >= -4908981 @ 1.89502
2.08/2.15 c GLOBAL bounds - >= -4908981 @ 1.90252
2.08/2.15 c GLOBAL bounds - >= -4908981 @ 1.90909
2.18/2.28 c GLOBAL bounds - >= -4908981 @ 2.03061
2.18/2.29 c GLOBAL bounds - >= -4908981 @ 2.03824
2.27/2.30 c GLOBAL bounds - >= -4908981 @ 2.04862
2.27/2.34 c #Conflicts: 1000 | #Constraints: 1611
2.27/2.34 c GLOBAL bounds - >= -4908981 @ 2.08968
2.27/2.35 c GLOBAL bounds - >= -4908981 @ 2.09746
2.27/2.36 c GLOBAL bounds - >= -4908981 @ 2.10546
2.37/2.47 c GLOBAL bounds - >= -4908981 @ 2.20918
2.37/2.47 c GLOBAL bounds - >= -4908981 @ 2.21513
2.37/2.48 c GLOBAL bounds - >= -4908981 @ 2.22199
2.37/2.49 c GLOBAL bounds - >= -4908981 @ 2.23109
2.47/2.50 c GLOBAL bounds - >= -4908981 @ 2.23944
2.47/2.52 c GLOBAL bounds - >= -4908981 @ 2.25585
2.47/2.53 c GLOBAL bounds - >= -4908981 @ 2.26352
2.47/2.53 c GLOBAL bounds - >= -4908981 @ 2.26948
2.47/2.54 c GLOBAL bounds - >= -4908981 @ 2.27703
2.47/2.55 c GLOBAL bounds - >= -4908981 @ 2.28395
2.47/2.56 c GLOBAL bounds - >= -4908981 @ 2.29035
2.47/2.58 c GLOBAL bounds - >= -4908981 @ 2.3092
2.47/2.58 c GLOBAL bounds - >= -4908981 @ 2.31601
2.47/2.59 c GLOBAL bounds - >= -4908981 @ 2.32507
2.57/2.60 c GLOBAL bounds - >= -4908981 @ 2.33539
2.57/2.61 c GLOBAL bounds - >= -4908981 @ 2.34172
2.57/2.63 c GLOBAL bounds - >= -4908981 @ 2.3553
2.57/2.64 c GLOBAL bounds - >= -4908981 @ 2.36746
2.57/2.65 c GLOBAL bounds - >= -4908981 @ 2.37466
2.57/2.69 c GLOBAL bounds - >= -4908981 @ 2.41722
2.66/2.77 c GLOBAL bounds - >= -4908981 @ 2.49565
2.77/2.80 c GLOBAL bounds - >= -4908981 @ 2.52232
2.77/2.81 c GLOBAL bounds - >= -4908981 @ 2.53266
2.77/2.83 c GLOBAL bounds - >= -4908981 @ 2.54316
2.77/2.83 c GLOBAL bounds - >= -4908981 @ 2.54897
2.77/2.84 c GLOBAL bounds - >= -4908981 @ 2.55672
2.77/2.85 c GLOBAL bounds - >= -4908981 @ 2.56897
2.77/2.87 c GLOBAL bounds - >= -4908981 @ 2.58366
2.87/2.90 c GLOBAL bounds - >= -4908981 @ 2.61915
2.87/2.93 c GLOBAL bounds - >= -4908981 @ 2.64802
2.87/2.96 c GLOBAL bounds - >= -4908981 @ 2.67116
2.87/2.98 c GLOBAL bounds - >= -4908981 @ 2.69254
2.87/2.99 c GLOBAL bounds - >= -4908981 @ 2.70001
2.87/3.00 c GLOBAL bounds - >= -4908981 @ 2.70986
2.97/3.07 c GLOBAL bounds - >= -4908981 @ 2.78
2.97/3.08 c GLOBAL bounds - >= -4908981 @ 2.78842
2.97/3.09 c GLOBAL bounds - >= -4908981 @ 2.80185
3.08/3.12 c GLOBAL bounds - >= -4908981 @ 2.82801
3.08/3.13 c GLOBAL bounds - >= -4908981 @ 2.83831
3.08/3.14 c GLOBAL bounds - >= -4908981 @ 2.84952
3.08/3.16 c GLOBAL bounds - >= -4908981 @ 2.86437
3.17/3.20 c GLOBAL bounds - >= -4908981 @ 2.90168
3.17/3.21 c GLOBAL bounds - >= -4908981 @ 2.90926
3.17/3.22 c GLOBAL bounds - >= -4908981 @ 2.91896
3.17/3.23 c GLOBAL bounds - >= -4908981 @ 2.92998
3.17/3.24 c GLOBAL bounds - >= -4908981 @ 2.93788
3.17/3.24 c GLOBAL bounds - >= -4908981 @ 2.94486
3.17/3.25 c GLOBAL bounds - >= -4908981 @ 2.9527
3.17/3.26 c GLOBAL bounds - >= -4908981 @ 2.96216
3.17/3.28 c GLOBAL bounds - >= -4908981 @ 2.98421
3.26/3.39 c GLOBAL bounds - >= -4908981 @ 3.0874
3.37/3.40 c GLOBAL bounds - >= -4908981 @ 3.09512
3.37/3.41 c GLOBAL bounds - >= -4908981 @ 3.10228
3.37/3.42 c GLOBAL bounds - >= -4908981 @ 3.1125
3.37/3.45 c GLOBAL bounds - >= -4908981 @ 3.14618
3.37/3.46 c GLOBAL bounds - >= -4908981 @ 3.15582
3.37/3.48 c GLOBAL bounds - >= -4908981 @ 3.16627
3.37/3.48 c GLOBAL bounds - >= -4908981 @ 3.17448
3.46/3.53 c GLOBAL bounds - >= -4908981 @ 3.21633
3.57/3.63 c GLOBAL bounds - >= -4908981 @ 3.32194
3.57/3.64 c GLOBAL bounds - >= -4908981 @ 3.3303
3.57/3.65 c GLOBAL bounds - >= -4908981 @ 3.33933
3.57/3.66 c GLOBAL bounds - >= -4908981 @ 3.34861
3.57/3.67 c GLOBAL bounds - >= -4908981 @ 3.35567
3.57/3.69 c GLOBAL bounds - >= -4908981 @ 3.37009
3.66/3.75 c GLOBAL bounds - >= -4908981 @ 3.42816
3.66/3.76 c GLOBAL bounds - >= -4908981 @ 3.43754
3.66/3.77 c GLOBAL bounds - >= -4908981 @ 3.44631
3.66/3.78 c GLOBAL bounds - >= -4908981 @ 3.45566
3.66/3.79 c GLOBAL bounds - >= -4908981 @ 3.46455
3.66/3.79 c GLOBAL bounds - >= -4908981 @ 3.47322
3.77/3.81 c GLOBAL bounds - >= -4908981 @ 3.4817
3.77/3.81 c GLOBAL bounds - >= -4908981 @ 3.48848
3.77/3.83 c GLOBAL bounds - >= -4908981 @ 3.49768
3.77/3.84 c GLOBAL bounds - >= -4908981 @ 3.50716
3.77/3.85 c GLOBAL bounds - >= -4908981 @ 3.51544
3.77/3.86 c GLOBAL bounds - >= -4908981 @ 3.52516
3.77/3.86 c GLOBAL bounds - >= -4908981 @ 3.53481
3.77/3.87 c GLOBAL bounds - >= -4908981 @ 3.54339
3.77/3.89 c GLOBAL bounds - >= -4908981 @ 3.56273
3.86/3.94 c GLOBAL bounds - >= -4908981 @ 3.6053
3.86/3.96 c GLOBAL bounds - >= -4908981 @ 3.61997
3.86/3.99 c GLOBAL bounds - >= -4908981 @ 3.65634
3.97/4.03 c GLOBAL bounds - >= -4908981 @ 3.68836
3.97/4.05 c GLOBAL bounds - >= -4908981 @ 3.71314
3.97/4.06 c GLOBAL bounds - >= -4908981 @ 3.7244
3.97/4.07 c GLOBAL bounds - >= -4908981 @ 3.7315
4.07/4.15 c GLOBAL bounds - >= -4908981 @ 3.80778
4.07/4.18 c GLOBAL bounds - >= -4908981 @ 3.83531
4.07/4.19 c GLOBAL bounds - >= -4908981 @ 3.84607
4.17/4.20 c GLOBAL bounds - >= -4908981 @ 3.85579
4.17/4.21 c GLOBAL bounds - >= -4908981 @ 3.86548
4.17/4.22 c GLOBAL bounds - >= -4908981 @ 3.87591
4.17/4.23 c GLOBAL bounds - >= -4908981 @ 3.88465
4.17/4.24 c GLOBAL bounds - >= -4908981 @ 3.89736
4.17/4.26 c GLOBAL bounds - >= -4908981 @ 3.91318
4.17/4.28 c GLOBAL bounds - >= -4908981 @ 3.93754
4.26/4.39 c GLOBAL bounds - >= -4908981 @ 4.0336
4.36/4.40 c GLOBAL bounds - >= -4908981 @ 4.04309
4.36/4.41 c GLOBAL bounds - >= -4908981 @ 4.05157
4.36/4.42 c GLOBAL bounds - >= -4908981 @ 4.06152
4.36/4.45 c GLOBAL bounds - >= -4908981 @ 4.09432
4.36/4.46 c GLOBAL bounds - >= -4908981 @ 4.10598
4.46/4.59 c GLOBAL bounds - >= -4908981 @ 4.23219
4.56/4.66 c GLOBAL bounds - >= -4908981 @ 4.297
4.56/4.67 c GLOBAL bounds - >= -4908981 @ 4.30628
4.66/4.72 c GLOBAL bounds - >= -4908981 @ 4.36057
4.76/4.82 c GLOBAL bounds - >= -4908981 @ 4.45938
4.76/4.84 c GLOBAL bounds - >= -4908981 @ 4.47466
4.76/4.85 c GLOBAL bounds - >= -4908981 @ 4.48307
4.76/4.87 c GLOBAL bounds - >= -4908981 @ 4.50147
4.76/4.88 c GLOBAL bounds - >= -4908981 @ 4.51253
4.86/4.90 c GLOBAL bounds - >= -4908981 @ 4.52693
4.86/4.93 c GLOBAL bounds - >= -4908981 @ 4.56182
4.86/4.95 c GLOBAL bounds - >= -4908981 @ 4.57302
4.86/4.96 c GLOBAL bounds - >= -4908981 @ 4.58232
4.97/5.01 c GLOBAL bounds - >= -4908981 @ 4.62917
4.97/5.02 c GLOBAL bounds - >= -4908981 @ 4.64061
5.07/5.19 c GLOBAL bounds - >= -4908981 @ 4.80081
5.26/5.38 c GLOBAL bounds - >= -4908981 @ 4.98888
5.26/5.39 c GLOBAL bounds - >= -4908981 @ 4.99929
5.36/5.43 c GLOBAL bounds - >= -4908981 @ 5.03529
5.36/5.47 c GLOBAL bounds - >= -4908981 @ 5.07617
5.46/5.55 c GLOBAL bounds - >= -4908981 @ 5.14939
5.46/5.56 c GLOBAL bounds - >= -4908981 @ 5.15979
5.46/5.57 c GLOBAL bounds - >= -4908981 @ 5.17008
5.76/5.81 c GLOBAL bounds - >= -4908981 @ 5.40343
5.76/5.83 c GLOBAL bounds - >= -4908981 @ 5.41491
5.76/5.86 c GLOBAL bounds - >= -4908981 @ 5.44694
5.76/5.87 c GLOBAL bounds - >= -4908981 @ 5.45866
5.76/5.89 c GLOBAL bounds - >= -4908981 @ 5.47754
5.86/5.91 c GLOBAL bounds - >= -4908981 @ 5.48924
5.86/5.92 c GLOBAL bounds - >= -4908981 @ 5.49922
5.86/5.98 c GLOBAL bounds - >= -4908981 @ 5.56604
5.97/6.10 c #Conflicts: 2000 | #Constraints: 2885
5.97/6.10 c INPROCESSING
5.97/6.10 c GARBAGE COLLECT
5.97/6.10 c GLOBAL bounds - >= -4908981 @ 5.67774
6.07/6.12 c GLOBAL bounds - >= -4908981 @ 5.69778
6.07/6.13 c GLOBAL bounds - >= -4908981 @ 5.70826
6.07/6.19 c GLOBAL bounds - >= -4908981 @ 5.76016
6.15/6.20 c GLOBAL bounds - >= -4908981 @ 5.77322
6.15/6.23 c GLOBAL bounds - >= -4908981 @ 5.80262
6.15/6.26 c GLOBAL bounds - >= -4908981 @ 5.83137
6.26/6.33 c GLOBAL bounds - >= -4908981 @ 5.89671
6.36/6.41 c GLOBAL bounds - >= -4908981 @ 5.97436
6.46/6.50 c GLOBAL bounds - >= -4908981 @ 6.06146
6.46/6.52 c GLOBAL bounds - >= -4908981 @ 6.07431
6.46/6.53 c GLOBAL bounds - >= -4908981 @ 6.08796
6.46/6.54 c GLOBAL bounds - >= -4908981 @ 6.0948
6.46/6.54 c GLOBAL bounds - >= -4908981 @ 6.10074
6.46/6.55 c GLOBAL bounds - >= -4908981 @ 6.10861
6.46/6.56 c GLOBAL bounds - >= -4908981 @ 6.12096
6.46/6.57 c GLOBAL bounds - >= -4908981 @ 6.13054
6.46/6.59 c GLOBAL bounds - >= -4908981 @ 6.14664
6.56/6.62 c GLOBAL bounds - >= -4908981 @ 6.17056
6.56/6.63 c GLOBAL bounds - >= -4908981 @ 6.18838
6.56/6.64 c GLOBAL bounds - >= -4908981 @ 6.19556
6.56/6.65 c GLOBAL bounds - >= -4908981 @ 6.20208
6.56/6.66 c GLOBAL bounds - >= -4908981 @ 6.21288
6.56/6.67 c GLOBAL bounds - >= -4908981 @ 6.22043
6.56/6.67 c GLOBAL bounds - >= -4908981 @ 6.22722
6.65/6.72 c GLOBAL bounds - >= -4908981 @ 6.27487
6.65/6.73 c GLOBAL bounds - >= -4908981 @ 6.28284
6.65/6.74 c GLOBAL bounds - >= -4908981 @ 6.28834
6.65/6.74 c GLOBAL bounds - >= -4908981 @ 6.29542
6.65/6.75 c GLOBAL bounds - >= -4908981 @ 6.30288
6.76/6.81 c GLOBAL bounds - >= -4908981 @ 6.35753
6.76/6.82 c GLOBAL bounds - >= -4908981 @ 6.36314
6.76/6.82 c GLOBAL bounds - >= -4908981 @ 6.36886
6.86/6.94 c GLOBAL bounds - >= -4908981 @ 6.48049
6.96/7.01 c GLOBAL bounds - >= -4908981 @ 6.55455
6.96/7.02 c GLOBAL bounds - >= -4908981 @ 6.56604
6.96/7.04 c GLOBAL bounds - >= -4908981 @ 6.57922
6.96/7.05 c GLOBAL bounds - >= -4908981 @ 6.58453
6.96/7.05 c GLOBAL bounds - >= -4908981 @ 6.59255
6.96/7.06 c GLOBAL bounds - >= -4908981 @ 6.60305
6.96/7.07 c GLOBAL bounds - >= -4908981 @ 6.61168
6.96/7.08 c GLOBAL bounds - >= -4908981 @ 6.61889
6.96/7.09 c GLOBAL bounds - >= -4908981 @ 6.62578
6.96/7.10 c GLOBAL bounds - >= -4908981 @ 6.6374
7.07/7.11 c GLOBAL bounds - >= -4908981 @ 6.64655
7.07/7.12 c GLOBAL bounds - >= -4908981 @ 6.65955
7.07/7.13 c GLOBAL bounds - >= -4908981 @ 6.66605
7.07/7.14 c GLOBAL bounds - >= -4908981 @ 6.67719
7.07/7.15 c GLOBAL bounds - >= -4908981 @ 6.68563
7.07/7.16 c GLOBAL bounds - >= -4908981 @ 6.69695
7.07/7.18 c GLOBAL bounds - >= -4908981 @ 6.71522
7.16/7.21 c GLOBAL bounds - >= -4908981 @ 6.74083
7.16/7.21 c GLOBAL bounds - >= -4908981 @ 6.7475
7.16/7.22 c GLOBAL bounds - >= -4908981 @ 6.75367
7.16/7.23 c GLOBAL bounds - >= -4908981 @ 6.76251
7.36/7.45 c GLOBAL bounds - >= -4908981 @ 6.97871
7.36/7.46 c GLOBAL bounds - >= -4908981 @ 6.98695
7.36/7.48 c GLOBAL bounds - >= -4908981 @ 7.00171
7.36/7.49 c GLOBAL bounds - >= -4908981 @ 7.00797
7.36/7.49 c GLOBAL bounds - >= -4908981 @ 7.01577
7.45/7.53 c GLOBAL bounds - >= -4908981 @ 7.04881
7.45/7.57 c GLOBAL bounds - >= -4908981 @ 7.08644
7.56/7.62 c GLOBAL bounds - >= -4908981 @ 7.13691
7.65/7.76 c GLOBAL bounds - >= -4908981 @ 7.27314
7.65/7.77 c GLOBAL bounds - >= -4908981 @ 7.2816
7.65/7.78 c GLOBAL bounds - >= -4908981 @ 7.29067
7.75/7.82 c GLOBAL bounds - >= -4908981 @ 7.32572
7.75/7.82 c GLOBAL bounds - >= -4908981 @ 7.33462
7.75/7.83 c GLOBAL bounds - >= -4908981 @ 7.34296
7.75/7.84 c GLOBAL bounds - >= -4908981 @ 7.35073
7.75/7.85 c GLOBAL bounds - >= -4908981 @ 7.35845
7.75/7.86 c GLOBAL bounds - >= -4908981 @ 7.36743
7.75/7.87 c GLOBAL bounds - >= -4908981 @ 7.37641
7.75/7.88 c GLOBAL bounds - >= -4908981 @ 7.38498
7.75/7.89 c GLOBAL bounds - >= -4908981 @ 7.39493
7.85/7.90 c GLOBAL bounds - >= -4908981 @ 7.40765
7.85/7.91 c GLOBAL bounds - >= -4908981 @ 7.41675
7.85/7.92 c GLOBAL bounds - >= -4908981 @ 7.42558
7.85/7.93 c GLOBAL bounds - >= -4908981 @ 7.43711
7.85/7.98 c GLOBAL bounds - >= -4908981 @ 7.48939
7.85/8.00 c GLOBAL bounds - >= -4908981 @ 7.50326
8.15/8.23 c GLOBAL bounds - >= -4908981 @ 7.73163
8.15/8.24 c GLOBAL bounds - >= -4908981 @ 7.7406
8.15/8.25 c GLOBAL bounds - >= -4908981 @ 7.75018
8.15/8.26 c GLOBAL bounds - >= -4908981 @ 7.76261
8.15/8.27 c GLOBAL bounds - >= -4908981 @ 7.77101
8.15/8.28 c GLOBAL bounds - >= -4908981 @ 7.77935
8.15/8.29 c GLOBAL bounds - >= -4908981 @ 7.7881
8.25/8.30 c GLOBAL bounds - >= -4908981 @ 7.80008
8.25/8.31 c GLOBAL bounds - >= -4908981 @ 7.80996
8.25/8.33 c GLOBAL bounds - >= -4908981 @ 7.82409
8.25/8.34 c GLOBAL bounds - >= -4908981 @ 7.83602
8.25/8.35 c GLOBAL bounds - >= -4908981 @ 7.84464
8.25/8.36 c GLOBAL bounds - >= -4908981 @ 7.85307
8.25/8.37 c GLOBAL bounds - >= -4908981 @ 7.86251
8.25/8.38 c GLOBAL bounds - >= -4908981 @ 7.87207
8.35/8.44 c GLOBAL bounds - >= -4908981 @ 7.93581
8.46/8.59 c GLOBAL bounds - >= -4908981 @ 8.07692
8.55/8.62 c GLOBAL bounds - >= -4908981 @ 8.10592
8.66/8.72 c GLOBAL bounds - >= -4908981 @ 8.20715
8.66/8.73 c GLOBAL bounds - >= -4908981 @ 8.21663
8.85/8.97 c GLOBAL bounds - >= -4908981 @ 8.45407
9.05/9.11 c GLOBAL bounds - >= -4908981 @ 8.58198
9.05/9.12 c GLOBAL bounds - >= -4908981 @ 8.59344
9.05/9.17 c GLOBAL bounds - >= -4908981 @ 8.64559
9.15/9.21 c GLOBAL bounds - >= -4908981 @ 8.68378
9.15/9.24 c GLOBAL bounds - >= -4908981 @ 8.72017
9.15/9.25 c GLOBAL bounds - >= -4908981 @ 8.72913
9.15/9.27 c GLOBAL bounds - >= -4908981 @ 8.7448
9.25/9.33 c GLOBAL bounds - >= -4908981 @ 8.79859
9.25/9.37 c #Conflicts: 3000 | #Constraints: 3116
9.25/9.37 c GLOBAL bounds - >= -4908981 @ 8.84194
9.25/9.38 c GLOBAL bounds - >= -4908981 @ 8.85156
9.34/9.42 c GLOBAL bounds - >= -4908981 @ 8.8955
9.34/9.43 c GLOBAL bounds - >= -4908981 @ 8.90483
9.34/9.45 c GLOBAL bounds - >= -4908981 @ 8.92272
9.34/9.46 c GLOBAL bounds - >= -4908981 @ 8.93269
9.45/9.55 c GLOBAL bounds - >= -4908981 @ 9.02192
9.45/9.58 c GLOBAL bounds - >= -4908981 @ 9.04696
9.45/9.59 c GLOBAL bounds - >= -4908981 @ 9.05545
9.45/9.60 c GLOBAL bounds - >= -4908981 @ 9.06484
9.55/9.61 c GLOBAL bounds - >= -4908981 @ 9.07583
9.55/9.62 c GLOBAL bounds - >= -4908981 @ 9.08737
9.55/9.63 c GLOBAL bounds - >= -4908981 @ 9.09634
9.55/9.68 c GLOBAL bounds - >= -4908981 @ 9.14696
9.55/9.69 c GLOBAL bounds - >= -4908981 @ 9.16041
9.75/9.80 c GLOBAL bounds - >= -4908981 @ 9.26742
9.75/9.84 c GLOBAL bounds - >= -4908981 @ 9.30395
9.75/9.85 c GLOBAL bounds - >= -4908981 @ 9.31345
9.95/10.08 c GLOBAL bounds - >= -4908981 @ 9.53867
10.05/10.16 c GLOBAL bounds - >= -4908981 @ 9.62027
10.15/10.21 c GLOBAL bounds - >= -4908981 @ 9.66013
10.24/10.33 c GLOBAL bounds - >= -4908981 @ 9.77599
10.35/10.44 c GLOBAL bounds - >= -4908981 @ 9.88509
10.35/10.48 c GLOBAL bounds - >= -4908981 @ 9.92422
10.35/10.49 c GLOBAL bounds - >= -4908981 @ 9.93549
10.45/10.52 c GLOBAL bounds - >= -4908981 @ 9.95886
10.45/10.53 c GLOBAL bounds - >= -4908981 @ 9.97707
10.45/10.58 c GLOBAL bounds - >= -4908981 @ 10.0192
10.54/10.60 c GLOBAL bounds - >= -4908981 @ 10.0374
10.54/10.61 c GLOBAL bounds - >= -4908981 @ 10.0555
10.54/10.63 c GLOBAL bounds - >= -4908981 @ 10.0671
10.54/10.64 c GLOBAL bounds - >= -4908981 @ 10.0772
10.54/10.65 c GLOBAL bounds - >= -4908981 @ 10.0892
10.54/10.66 c GLOBAL bounds - >= -4908981 @ 10.1012
10.54/10.67 c GLOBAL bounds - >= -4908981 @ 10.1128
10.54/10.68 c GLOBAL bounds - >= -4908981 @ 10.1236
10.64/10.70 c GLOBAL bounds - >= -4908981 @ 10.1348
10.64/10.71 c GLOBAL bounds - >= -4908981 @ 10.1459
10.95/11.03 c GLOBAL bounds - >= -4908981 @ 10.4589
10.95/11.05 c GLOBAL bounds - >= -4908981 @ 10.4806
11.14/11.21 c GLOBAL bounds - >= -4908981 @ 10.6387
11.25/11.37 c GLOBAL bounds - >= -4908981 @ 10.795
11.25/11.38 c GLOBAL bounds - >= -4908981 @ 10.8075
11.44/11.52 c GLOBAL bounds - >= -4908981 @ 10.9461
11.44/11.54 c GLOBAL bounds - >= -4908981 @ 10.9581
11.64/11.77 c GLOBAL bounds - >= -4908981 @ 11.1917
11.95/12.02 c GLOBAL bounds - >= -4908981 @ 11.4356
12.05/12.11 c GLOBAL bounds - >= -4908981 @ 11.5195
12.05/12.12 c GLOBAL bounds - >= -4908981 @ 11.5313
12.14/12.24 c GLOBAL bounds - >= -4908981 @ 11.6474
12.14/12.27 c GLOBAL bounds - >= -4908981 @ 11.6811
12.14/12.28 c GLOBAL bounds - >= -4908981 @ 11.6923
12.34/12.41 c GLOBAL bounds - >= -4908981 @ 11.8149
12.34/12.43 c GLOBAL bounds - >= -4908981 @ 11.838
12.34/12.48 c GLOBAL bounds - >= -4908981 @ 11.8826
12.34/12.49 c GLOBAL bounds - >= -4908981 @ 11.8952
12.44/12.50 c GLOBAL bounds - >= -4908981 @ 11.9075
12.64/12.71 c GLOBAL bounds - >= -4908981 @ 12.1135
12.64/12.76 c GLOBAL bounds - >= -4908981 @ 12.1611
12.64/12.77 c GLOBAL bounds - >= -4908981 @ 12.1731
12.64/12.79 c GLOBAL bounds - >= -4908981 @ 12.1878
12.74/12.82 c GLOBAL bounds - >= -4908981 @ 12.2208
12.74/12.86 c GLOBAL bounds - >= -4908981 @ 12.26
12.74/12.88 c GLOBAL bounds - >= -4908981 @ 12.2719
12.74/12.89 c GLOBAL bounds - >= -4908981 @ 12.2851
12.84/12.90 c GLOBAL bounds - >= -4908981 @ 12.2992
13.44/13.54 c #Conflicts: 4000 | #Constraints: 4248
13.44/13.54 c GLOBAL bounds - >= -4908981 @ 12.9261
13.74/13.85 c INPROCESSING
13.74/13.85 c GARBAGE COLLECT
13.74/13.85 c GLOBAL bounds - >= -4908981 @ 13.2244
13.74/13.85 c GLOBAL bounds - >= -4908981 @ 13.2324
13.84/13.98 c GLOBAL bounds - >= -4908981 @ 13.3593
13.94/14.01 c GLOBAL bounds - >= -4908981 @ 13.3772
13.94/14.08 c GLOBAL bounds - >= -4908981 @ 13.4467
14.04/14.15 c GLOBAL bounds - >= -4908981 @ 13.5239
14.04/14.16 c GLOBAL bounds - >= -4908981 @ 13.5324
14.63/14.79 c GLOBAL bounds - >= -4908981 @ 14.1453
21.31/21.44 c #Conflicts: 5000 | #Constraints: 3677
21.31/21.44 c #Conflicts: 6000 | #Constraints: 4677
21.31/21.44 c GLOBAL bounds - >= -4908981 @ 20.6989
21.71/21.87 c GLOBAL bounds - >= -4908981 @ 21.1145
473.76/475.42 c INPROCESSING
473.76/475.42 c GARBAGE COLLECT
473.76/475.42 c #Conflicts: 7000 | #Constraints: 3690
473.76/475.42 c #Conflicts: 8000 | #Constraints: 4690
473.76/475.42 c #Conflicts: 9000 | #Constraints: 5690
473.76/475.42 c INPROCESSING
473.76/475.42 c GARBAGE COLLECT
473.76/475.42 c #Conflicts: 10000 | #Constraints: 4399
473.76/475.42 c #Conflicts: 11000 | #Constraints: 5399
473.76/475.42 c #Conflicts: 12000 | #Constraints: 6399
473.76/475.42 c INPROCESSING
473.76/475.42 c GARBAGE COLLECT
473.76/475.42 c #Conflicts: 13000 | #Constraints: 4853
473.76/475.42 c #Conflicts: 14000 | #Constraints: 5853
473.76/475.42 c #Conflicts: 15000 | #Constraints: 6853
473.76/475.42 c INPROCESSING
473.76/475.42 c GARBAGE COLLECT
473.76/475.42 c #Conflicts: 16000 | #Constraints: 5085
473.76/475.42 c #Conflicts: 17000 | #Constraints: 6085
473.76/475.42 c #Conflicts: 18000 | #Constraints: 7085
473.76/475.42 c INPROCESSING
473.76/475.42 c GARBAGE COLLECT
473.76/475.42 c #Conflicts: 19000 | #Constraints: 5093
473.76/475.42 c #Conflicts: 20000 | #Constraints: 6093
473.76/475.42 c #Conflicts: 21000 | #Constraints: 7093
473.76/475.42 c INPROCESSING
473.76/475.42 c GARBAGE COLLECT
473.76/475.42 c #Conflicts: 22000 | #Constraints: 4902
473.76/475.42 c #Conflicts: 23000 | #Constraints: 5902
473.76/475.42 c #Conflicts: 24000 | #Constraints: 6902
473.76/475.42 c #Conflicts: 25000 | #Constraints: 7902
473.76/475.42 c INPROCESSING
473.76/475.42 c GARBAGE COLLECT
473.76/475.42 c #Conflicts: 26000 | #Constraints: 5507
473.76/475.42 c #Conflicts: 27000 | #Constraints: 6507
473.76/475.42 c #Conflicts: 28000 | #Constraints: 7507
473.76/475.42 c #Conflicts: 29000 | #Constraints: 8507
473.76/475.42 c INPROCESSING
473.76/475.42 c GARBAGE COLLECT
473.76/475.42 c #Conflicts: 30000 | #Constraints: 5903
473.76/475.42 c #Conflicts: 31000 | #Constraints: 6903
473.76/475.42 c #Conflicts: 32000 | #Constraints: 7903
473.76/475.42 c #Conflicts: 33000 | #Constraints: 8903
473.76/475.42 c INPROCESSING
473.76/475.42 c GARBAGE COLLECT
473.76/475.42 c #Conflicts: 34000 | #Constraints: 6105
473.76/475.42 c #Conflicts: 35000 | #Constraints: 7105
473.76/475.42 c #Conflicts: 36000 | #Constraints: 8105
473.76/475.42 c #Conflicts: 37000 | #Constraints: 9105
473.76/475.42 c INPROCESSING
473.76/475.42 c GARBAGE COLLECT
473.76/475.42 c #Conflicts: 38000 | #Constraints: 6108
473.76/475.42 c #Conflicts: 39000 | #Constraints: 7108
473.76/475.42 c #Conflicts: 40000 | #Constraints: 8108
473.76/475.42 c #Conflicts: 41000 | #Constraints: 9108
473.76/475.42 c INPROCESSING
473.76/475.42 c GARBAGE COLLECT
473.76/475.42 c #Conflicts: 42000 | #Constraints: 5905
473.76/475.42 c #Conflicts: 43000 | #Constraints: 6905
473.76/475.42 c #Conflicts: 44000 | #Constraints: 7905
473.76/475.42 c #Conflicts: 45000 | #Constraints: 8905
473.76/475.42 c #Conflicts: 46000 | #Constraints: 9905
473.76/475.42 c INPROCESSING
473.76/475.42 c GARBAGE COLLECT
473.76/475.42 c #Conflicts: 47000 | #Constraints: 6511
473.76/475.42 c #Conflicts: 48000 | #Constraints: 7511
473.76/475.42 c #Conflicts: 49000 | #Constraints: 8511
473.76/475.42 c #Conflicts: 50000 | #Constraints: 9511
473.76/475.42 c #Conflicts: 51000 | #Constraints: 10511
473.76/475.42 c INPROCESSING
473.76/475.42 c GARBAGE COLLECT
473.76/475.42 c #Conflicts: 52000 | #Constraints: 6910
473.76/475.42 c #Conflicts: 53000 | #Constraints: 7910
473.76/475.42 c #Conflicts: 54000 | #Constraints: 8910
473.76/475.42 c #Conflicts: 55000 | #Constraints: 9910
473.76/475.42 c #Conflicts: 56000 | #Constraints: 10910
473.76/475.42 c INPROCESSING
473.76/475.42 c GARBAGE COLLECT
473.76/475.42 c #Conflicts: 57000 | #Constraints: 7118
473.76/475.42 c #Conflicts: 58000 | #Constraints: 8118
473.76/475.42 c #Conflicts: 59000 | #Constraints: 9118
473.76/475.42 c #Conflicts: 60000 | #Constraints: 10118
473.76/475.42 c #Conflicts: 61000 | #Constraints: 11118
473.76/475.42 c INPROCESSING
473.76/475.42 c GARBAGE COLLECT
473.76/475.42 c #Conflicts: 62000 | #Constraints: 7111
473.76/475.42 c #Conflicts: 63000 | #Constraints: 8111
473.76/475.42 c #Conflicts: 64000 | #Constraints: 9111
473.76/475.42 c #Conflicts: 65000 | #Constraints: 10111
473.76/475.42 c #Conflicts: 66000 | #Constraints: 11111
473.76/475.42 c INPROCESSING
473.76/475.42 c GARBAGE COLLECT
473.76/475.42 c #Conflicts: 67000 | #Constraints: 6909
473.76/475.42 c #Conflicts: 68000 | #Constraints: 7909
473.76/475.42 c #Conflicts: 69000 | #Constraints: 8909
473.76/475.42 c #Conflicts: 70000 | #Constraints: 9909
473.76/475.42 c #Conflicts: 71000 | #Constraints: 10909
473.76/475.42 c #Conflicts: 72000 | #Constraints: 11909
473.76/475.42 c INPROCESSING
473.76/475.42 c GARBAGE COLLECT
473.76/475.42 c #Conflicts: 73000 | #Constraints: 7510
473.76/475.42 c #Conflicts: 74000 | #Constraints: 8510
784.78/787.56 c #Conflicts: 75000 | #Constraints: 9510
784.78/787.56 c #Conflicts: 76000 | #Constraints: 10510
784.78/787.56 c #Conflicts: 77000 | #Constraints: 11510
784.78/787.56 c #Conflicts: 78000 | #Constraints: 12510
784.78/787.56 c INPROCESSING
784.78/787.56 c GARBAGE COLLECT
784.78/787.56 c #Conflicts: 79000 | #Constraints: 7912
784.78/787.56 c #Conflicts: 80000 | #Constraints: 8912
784.78/787.56 c #Conflicts: 81000 | #Constraints: 9912
784.78/787.56 c #Conflicts: 82000 | #Constraints: 10912
784.78/787.56 c #Conflicts: 83000 | #Constraints: 11912
784.78/787.56 c #Conflicts: 84000 | #Constraints: 12912
784.78/787.56 c INPROCESSING
784.78/787.56 c GARBAGE COLLECT
784.78/787.56 c #Conflicts: 85000 | #Constraints: 8110
784.78/787.56 c #Conflicts: 86000 | #Constraints: 9110
784.78/787.56 c #Conflicts: 87000 | #Constraints: 10110
784.78/787.56 c #Conflicts: 88000 | #Constraints: 11110
784.78/787.56 c #Conflicts: 89000 | #Constraints: 12110
784.78/787.56 c #Conflicts: 90000 | #Constraints: 13110
784.78/787.56 c INPROCESSING
784.78/787.56 c GARBAGE COLLECT
784.78/787.56 c #Conflicts: 91000 | #Constraints: 8112
784.78/787.56 c #Conflicts: 92000 | #Constraints: 9112
784.78/787.56 c #Conflicts: 93000 | #Constraints: 10112
784.78/787.56 c #Conflicts: 94000 | #Constraints: 11112
784.78/787.56 c #Conflicts: 95000 | #Constraints: 12112
784.78/787.56 c #Conflicts: 96000 | #Constraints: 13112
784.78/787.56 c INPROCESSING
784.78/787.56 c GARBAGE COLLECT
784.78/787.56 c #Conflicts: 97000 | #Constraints: 7911
784.78/787.56 c #Conflicts: 98000 | #Constraints: 8911
784.78/787.56 c #Conflicts: 99000 | #Constraints: 9911
784.78/787.56 c #Conflicts: 100000 | #Constraints: 10911
784.78/787.56 c #Conflicts: 101000 | #Constraints: 11911
784.78/787.56 c #Conflicts: 102000 | #Constraints: 12911
784.78/787.56 c #Conflicts: 103000 | #Constraints: 13911
784.78/787.56 c INPROCESSING
784.78/787.56 c GARBAGE COLLECT
784.78/787.56 c #Conflicts: 104000 | #Constraints: 8515
784.78/787.56 c #Conflicts: 105000 | #Constraints: 9515
784.78/787.56 c #Conflicts: 106000 | #Constraints: 10515
784.78/787.56 c #Conflicts: 107000 | #Constraints: 11515
784.78/787.56 c GLOBAL bounds - >= -527203 @ 778.921
784.78/787.56 c rational objective -527800
784.78/787.59 c Conflict after adding new constraint
784.78/787.59 c cpu time 778.953 s
784.78/787.59 c deterministic time 7957 7.96e+03
784.78/787.59 c optimization time 778.947 s
784.78/787.59 c total solve time 0.0046 s
784.78/787.59 c core-guided solve time 0 s
784.78/787.59 c propagation time 0.000873 s
784.78/787.59 c conflict analysis time 0 s
784.78/787.59 c propagations 921
784.78/787.59 c resolve steps 0
784.78/787.59 c decisions 709
784.78/787.59 c conflicts 0
784.78/787.59 c restarts 1
784.78/787.59 c inprocessing phases 0
784.78/787.59 c garbage collections 0 ,( -nan )
784.78/787.59 c input clauses 0 ,( 0.00 )
784.78/787.59 c input cardinalities 0 ,( 0.00 )
784.78/787.59 c input general constraints 3 ,( 100.00 )
784.78/787.59 c input average constraint length 1000.33
784.78/787.59 c input average constraint degree 3505016.00
784.78/787.59 c learned clauses 0 ,( 0.00 )
784.78/787.59 c learned cardinalities 0 ,( 0.00 )
784.78/787.59 c learned general constraints 1 ,( 100.00 )
784.78/787.59 c learned average constraint length 979.00
784.78/787.59 c learned average constraint degree 255493101182.00
784.78/787.59 c watched CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
784.78/787.59 c counting CF 32, 64, 128, Arb: 4 , 0 , 0 , 0
784.78/787.59 c watched constraints 1 ,( 25.00 )
784.78/787.59 c counting constraints 3 ,( 75.00 )
784.78/787.59 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 157 ,( 93 , 64 )
784.78/787.59 c gcd simplifications 0
784.78/787.59 c detected cardinalities 0
784.78/787.59 c weakened non-implied lits 0
784.78/787.59 c weakened non-implying lits 0
784.78/787.59 c original variables 1000
784.78/787.59 c clausal propagations 0
784.78/787.59 c cardinality propagations 0
784.78/787.59 c watched propagations 1
784.78/787.59 c counting propagations 920
784.78/787.59 c watch lookups 718
784.78/787.59 c watch backjump lookups 0
784.78/787.59 c watch checks 1001
784.78/787.59 c propagation checks 2974
784.78/787.59 c constraint additions 0
784.78/787.59 c trail pops 1630
784.78/787.59 c formula constraints 1
784.78/787.59 c learned constraints 0
784.78/787.59 c bound constraints 0
784.78/787.59 c core-guided constraints 0
784.78/787.59 c encountered formula constraints 0
784.78/787.59 c encountered learned constraints 0
784.78/787.59 c encountered bound constraints 0
784.78/787.59 c encountered core-guided constraints 0
784.78/787.59 c LP total time 0.003584 s
784.78/787.59 c LP solve time 0 s
784.78/787.59 c LP constraints added 2
784.78/787.59 c LP constraints removed 0
784.78/787.59 c LP pivots internal 2
784.78/787.59 c LP pivots root 1
784.78/787.59 c LP calls 2
784.78/787.59 c LP optimalities 2
784.78/787.59 c LP no pivot count 0
784.78/787.59 c LP infeasibilities 0
784.78/787.59 c LP valid Farkas constraints 0
784.78/787.59 c LP learned Farkas constraints 0
784.78/787.59 c LP basis resets 0
784.78/787.59 c LP cycling count 0
784.78/787.59 c LP singular count 0
784.78/787.59 c LP no primal count 0
784.78/787.59 c LP no farkas count 0
784.78/787.59 c LP other issue count 0
784.78/787.59 c LP Gomory cuts 1
784.78/787.59 c LP learned cuts 0
784.78/787.59 c LP deleted cuts 0
784.78/787.59 c LP encountered Gomory constraints 0
784.78/787.59 c LP encountered Farkas constraints 0
784.78/787.59 c LP encountered learned Farkas constraints 0
784.78/787.59 c CG auxiliary variables introduced 630
784.78/787.59 c CG solutions found 1
784.78/787.59 c CG cores constructed 0
784.78/787.59 c CG core cardinality constraints returned 0
784.78/787.59 c CG unit cores 0
784.78/787.59 c CG single cores 0
784.78/787.59 c CG blocks removed during cardinality reduction 0
784.78/787.59 c CG first core best 0
784.78/787.59 c CG decision core best 0
784.78/787.59 c CG core reduction tie 0
784.78/787.59 c CG core degree average 0.00
784.78/787.59 c CG core slack average 0.00
784.78/787.59 c CG core upper bound improvements 0
784.78/787.59 c STR number of successful calls 0
784.78/787.59 c STR number of unsuccessful calls 0
784.78/787.59 c STR number of inconclusive calls 0
784.78/787.59 c STR number of successful attempts 0
784.78/787.59 c STR number of unsuccessful attempts 0
784.78/787.59 c STR number of inconclusive attempts 0
784.78/787.59 c STR average degree increase per successful call inf
784.78/787.59 c STR average degree increase per successful attempt inf
784.78/787.59 c STR total number of conflicts for successful attempts 0
784.78/787.59 c STR total number of conflicts for unsuccessful attempts 0
784.78/787.59 c STR total number of conflicts for inconclusive attempts 0
784.78/787.59 c STR average number of conflicts per successful attempt inf
784.78/787.59 c STR average number of conflicts per unsuccessful attempt inf
784.78/787.59 c STR average number of conflicts per inconclusive attempt inf
784.78/787.59 c AVG.sumWPerc 82.99
784.78/787.59 c bigint constraints 0
784.78/787.59 o -527203
784.78/787.59 s OPTIMUM FOUND
784.78/787.59 v x1 -x2 -x3 -x4 x5 -x6 -x7 -x8 -x9 -x10 x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 x24 -x25 x26 -x27 -x28 -x29 -x30 -x31 -x32 x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 x79 -x80 -x81 x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 x114 x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 x157 -x158 -x159 -x160 -x161 -x162 x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 x190 -x191 -x192 -x193 -x194 -x195 x196 -x197 x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 x232 -x233 -x234 -x235 -x236 -x237 -x238 x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 x260 -x261 -x262 x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 x294 -x295 -x296 -x297 -x298 -x299 x300 -x301 -x302 -x303 x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 x348 x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 x377 -x378 -x379 -x380 -x381 -x382 -x383 x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 x413 -x414 -x415 -x416 -x417 -x418 x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 x435 -x436 -x437 -x438 x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 x509 x510 -x511 -x512 x513 -x514 -x515 -x516 -x517 -x518 x519 -x520 -x521 -x522 -x523 -x524 -x525 x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 x588 -x589 x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 x598 x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 x653 -x654 -x655 -x656 -x657 -x658 -x659 x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 x787 -x788 -x789 -x790 -x791 -x792 x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 x830 -x831 -x832 -x833 x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 x844 -x845 -x846 x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 x874 x875 -x876 x877 -x878 -x879 -x880 x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 x918 -x919 -x920 -x921 -x922 x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 x942 -x943 -x944 x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 x955 x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 x982 -x983 -x984 -x985 -x986 -x987 x988 -x989 -x990 x991 -x992 -x993 x994 x995 -x996 -x997 -x998 -x999 -x1000
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: 63665 MiB (45384 MiB free)
memory of node 1: 64507 MiB (62249 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4518227-1751544295/watcher-4518227-1751544295 -o /tmp/evaluation-result-4518227-1751544295/solver-4518227-1751544295 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1751536445-76787 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4518227-1751544295.opb PROOFDIR/proof-4518227-1751544295
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 FSIZE limit: 102400000 KiB
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 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=77984, runsolver pid=77981
[startup+0.10006 s]*
/proc/loadavg: 4.09 4.12 4.10 6/276 77986
/proc/meminfo: memFree=110209160/131249996 swapFree=33003468/33010684
[pid=77984] ppid=77981 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/77984/stat : 77984 (run-opt-log.sh) S 77981 77984 76774 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 70107216 4292608 768 18446744073709551615 93992075837440 93992076731973 140722059249296 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93992076971024 93992077018768 93992107720704 140722059258145 140722059258340 140722059258340 140722059263942 0
/proc/77984/statm: 1048 768 704 219 0 110 0
[pid=77986] ppid=77984 vsize=62424 memory=15192 CPUtime=0.09 cores=5,7
/proc/77986/stat : 77986 (roundingsat) R 77984 77984 76774 0 -1 4194304 1163 0 0 0 6 3 0 0 20 0 1 0 70107217 63922176 3798 18446744073709551615 4227072 8923433 140723927171760 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 30777344 140723927173458 140723927173672 140723927173672 140723927179242 0
/proc/77986/statm: 15606 3798 2336 1147 0 3033 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 66616 KiB
Current children cumulated memory: 18264 KiB
[startup+0.205798 s]*
/proc/loadavg: 4.09 4.12 4.10 5/276 77986
/proc/meminfo: memFree=110205128/131249996 swapFree=33003468/33010684
[pid=77984] ppid=77981 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/77984/stat : 77984 (run-opt-log.sh) S 77981 77984 76774 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 70107216 4292608 768 18446744073709551615 93992075837440 93992076731973 140722059249296 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93992076971024 93992077018768 93992107720704 140722059258145 140722059258340 140722059258340 140722059263942 0
/proc/77984/statm: 1048 768 704 219 0 110 0
[pid=77986] ppid=77984 vsize=63984 memory=16728 CPUtime=0.19 cores=5,7
/proc/77986/stat : 77986 (roundingsat) R 77984 77984 76774 0 -1 4194304 1544 0 0 0 15 4 0 0 20 0 1 0 70107217 65519616 4182 18446744073709551615 4227072 8923433 140723927171760 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 30777344 140723927173458 140723927173672 140723927173672 140723927179242 0
/proc/77986/statm: 15996 4182 2368 1147 0 3423 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 68176 KiB
Current children cumulated memory: 19800 KiB
[startup+0.305831 s]*
/proc/loadavg: 4.09 4.12 4.10 5/274 77986
/proc/meminfo: memFree=110189000/131249996 swapFree=33003468/33010684
[pid=77984] ppid=77981 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/77984/stat : 77984 (run-opt-log.sh) S 77981 77984 76774 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 70107216 4292608 768 18446744073709551615 93992075837440 93992076731973 140722059249296 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93992076971024 93992077018768 93992107720704 140722059258145 140722059258340 140722059258340 140722059263942 0
/proc/77984/statm: 1048 768 704 219 0 110 0
[pid=77986] ppid=77984 vsize=65820 memory=18648 CPUtime=0.29 cores=5,7
/proc/77986/stat : 77986 (roundingsat) R 77984 77984 76774 0 -1 4194304 1996 0 0 0 24 5 0 0 20 0 1 0 70107217 67399680 4662 18446744073709551615 4227072 8923433 140723927171760 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 30777344 140723927173458 140723927173672 140723927173672 140723927179242 0
/proc/77986/statm: 16455 4662 2368 1147 0 3882 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 70012 KiB
Current children cumulated memory: 21720 KiB
[startup+0.700207 s]
/proc/loadavg: 4.09 4.12 4.10 5/274 77986
/proc/meminfo: memFree=110189000/131249996 swapFree=33003468/33010684
[pid=77984] ppid=77981 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/77984/stat : 77984 (run-opt-log.sh) S 77981 77984 76774 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 70107216 4292608 768 18446744073709551615 93992075837440 93992076731973 140722059249296 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93992076971024 93992077018768 93992107720704 140722059258145 140722059258340 140722059258340 140722059263942 0
/proc/77984/statm: 1048 768 704 219 0 110 0
[pid=77986] ppid=77984 vsize=69660 memory=24152 CPUtime=0.68 cores=5,7
/proc/77986/stat : 77986 (roundingsat) R 77984 77984 76774 0 -1 4194304 3383 0 0 0 57 11 0 0 20 0 1 0 70107217 71331840 6038 18446744073709551615 4227072 8923433 140723927171760 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 30777344 140723927173458 140723927173672 140723927173672 140723927179242 0
/proc/77986/statm: 17415 6038 2368 1147 0 4842 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 73852 KiB
Current children cumulated memory: 27224 KiB
[startup+1.50022 s]
/proc/loadavg: 4.09 4.12 4.10 5/274 77986
/proc/meminfo: memFree=110166056/131249996 swapFree=33003468/33010684
[pid=77984] ppid=77981 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/77984/stat : 77984 (run-opt-log.sh) S 77981 77984 76774 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 70107216 4292608 768 18446744073709551615 93992075837440 93992076731973 140722059249296 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93992076971024 93992077018768 93992107720704 140722059258145 140722059258340 140722059258340 140722059263942 0
/proc/77984/statm: 1048 768 704 219 0 110 0
[pid=77986] ppid=77984 vsize=80280 memory=33880 CPUtime=1.47 cores=5,7
/proc/77986/stat : 77986 (roundingsat) R 77984 77984 76774 0 -1 4194304 5811 0 0 0 129 18 0 0 20 0 1 0 70107217 82206720 8470 18446744073709551615 4227072 8923433 140723927171760 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 30777344 140723927173458 140723927173672 140723927173672 140723927179242 0
/proc/77986/statm: 20070 8470 2368 1147 0 7497 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 84472 KiB
Current children cumulated memory: 36952 KiB
[startup+3.10552 s]
/proc/loadavg: 4.09 4.12 4.10 5/274 77986
/proc/meminfo: memFree=110118000/131249996 swapFree=33003468/33010684
[pid=77984] ppid=77981 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/77984/stat : 77984 (run-opt-log.sh) S 77981 77984 76774 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 70107216 4292608 768 18446744073709551615 93992075837440 93992076731973 140722059249296 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93992076971024 93992077018768 93992107720704 140722059258145 140722059258340 140722059258340 140722059263942 0
/proc/77984/statm: 1048 768 704 219 0 110 0
[pid=77986] ppid=77984 vsize=95416 memory=47936 CPUtime=3.08 cores=5,7
/proc/77986/stat : 77986 (roundingsat) R 77984 77984 76774 0 -1 4194304 8830 0 0 0 281 27 0 0 20 0 1 0 70107217 97705984 11984 18446744073709551615 4227072 8923433 140723927171760 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 30777344 140723927173458 140723927173672 140723927173672 140723927179242 0
/proc/77986/statm: 23854 11984 2368 1147 0 11281 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 99608 KiB
Current children cumulated memory: 51008 KiB
[startup+6.3002 s]
/proc/loadavg: 4.08 4.12 4.10 5/274 77986
/proc/meminfo: memFree=110057120/131249996 swapFree=33003468/33010684
[pid=77984] ppid=77981 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/77984/stat : 77984 (run-opt-log.sh) S 77981 77984 76774 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 70107216 4292608 768 18446744073709551615 93992075837440 93992076731973 140722059249296 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93992076971024 93992077018768 93992107720704 140722059258145 140722059258340 140722059258340 140722059263942 0
/proc/77984/statm: 1048 768 704 219 0 110 0
[pid=77986] ppid=77984 vsize=120144 memory=69308 CPUtime=6.26 cores=5,7
/proc/77986/stat : 77986 (roundingsat) R 77984 77984 76774 0 -1 4194304 13137 0 0 0 586 40 0 0 20 0 1 0 70107217 123027456 17327 18446744073709551615 4227072 8923433 140723927171760 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 30777344 140723927173458 140723927173672 140723927173672 140723927179242 0
/proc/77986/statm: 30036 17327 2368 1147 0 17463 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 124336 KiB
Current children cumulated memory: 72380 KiB
[startup+12.7002 s]
/proc/loadavg: 4.08 4.12 4.09 5/274 77986
/proc/meminfo: memFree=109941808/131249996 swapFree=33003468/33010684
[pid=77984] ppid=77981 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/77984/stat : 77984 (run-opt-log.sh) S 77981 77984 76774 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 70107216 4292608 768 18446744073709551615 93992075837440 93992076731973 140722059249296 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93992076971024 93992077018768 93992107720704 140722059258145 140722059258340 140722059258340 140722059263942 0
/proc/77984/statm: 1048 768 704 219 0 110 0
[pid=77986] ppid=77984 vsize=164100 memory=102576 CPUtime=12.64 cores=5,7
/proc/77986/stat : 77986 (roundingsat) R 77984 77984 76774 0 -1 4194304 20428 0 0 0 1209 55 0 0 20 0 1 0 70107217 168038400 25644 18446744073709551615 4227072 8923433 140723927171760 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 30777344 140723927173458 140723927173672 140723927173672 140723927179242 0
/proc/77986/statm: 41025 25644 2368 1147 0 28452 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 168292 KiB
Current children cumulated memory: 105648 KiB
[startup+25.5002 s]
/proc/loadavg: 4.06 4.11 4.09 5/274 77986
/proc/meminfo: memFree=109604868/131249996 swapFree=33003468/33010684
[pid=77984] ppid=77981 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/77984/stat : 77984 (run-opt-log.sh) S 77981 77984 76774 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 70107216 4292608 768 18446744073709551615 93992075837440 93992076731973 140722059249296 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93992076971024 93992077018768 93992107720704 140722059258145 140722059258340 140722059258340 140722059263942 0
/proc/77984/statm: 1048 768 704 219 0 110 0
[pid=77986] ppid=77984 vsize=199188 memory=133648 CPUtime=25.4 cores=5,7
/proc/77986/stat : 77986 (roundingsat) R 77984 77984 76774 0 -1 4194304 26176 0 0 0 2468 72 0 0 20 0 1 0 70107217 203968512 33412 18446744073709551615 4227072 8923433 140723927171760 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 30777344 140723927173458 140723927173672 140723927173672 140723927179242 0
/proc/77986/statm: 49797 33412 2368 1147 0 37224 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 203380 KiB
Current children cumulated memory: 136720 KiB
[startup+51.1056 s]
/proc/loadavg: 4.12 4.12 4.09 4/274 77987
/proc/meminfo: memFree=109026892/131249996 swapFree=33003468/33010684
[pid=77984] ppid=77981 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/77984/stat : 77984 (run-opt-log.sh) S 77981 77984 76774 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 70107216 4292608 768 18446744073709551615 93992075837440 93992076731973 140722059249296 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93992076971024 93992077018768 93992107720704 140722059258145 140722059258340 140722059258340 140722059263942 0
/proc/77984/statm: 1048 768 704 219 0 110 0
[pid=77986] ppid=77984 vsize=263056 memory=184452 CPUtime=50.93 cores=5,7
/proc/77986/stat : 77986 (roundingsat) R 77984 77984 76774 0 -1 4194304 36834 0 0 0 4993 100 0 0 20 0 1 0 70107217 269369344 46113 18446744073709551615 4227072 8923433 140723927171760 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 30777344 140723927173458 140723927173672 140723927173672 140723927179242 0
/proc/77986/statm: 65764 46113 2368 1147 0 53191 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 267248 KiB
Current children cumulated memory: 187524 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/271 78018
/proc/meminfo: memFree=121775440/131249996 swapFree=33003468/33010684
[pid=77984] ppid=77981 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/77984/stat : 77984 (run-opt-log.sh) S 77981 77984 76774 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 70107216 4292608 768 18446744073709551615 93992075837440 93992076731973 140722059249296 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93992076971024 93992077018768 93992107720704 140722059258145 140722059258340 140722059258340 140722059263942 0
/proc/77984/statm: 1048 768 704 219 0 110 0
[pid=77986] ppid=77984 vsize=303204 memory=212280 CPUtime=101.96 cores=5,7
/proc/77986/stat : 77986 (roundingsat) R 77984 77984 76774 0 -1 4194304 41732 0 0 0 10051 145 0 0 20 0 1 0 70107217 310480896 53070 18446744073709551615 4227072 8923433 140723927171760 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 30777344 140723927173458 140723927173672 140723927173672 140723927179242 0
/proc/77986/statm: 75801 53070 2368 1147 0 63228 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 307396 KiB
Current children cumulated memory: 215352 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/270 78020
/proc/meminfo: memFree=120230108/131249996 swapFree=33003468/33010684
[pid=77984] ppid=77981 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/77984/stat : 77984 (run-opt-log.sh) S 77981 77984 76774 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 70107216 4292608 768 18446744073709551615 93992075837440 93992076731973 140722059249296 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93992076971024 93992077018768 93992107720704 140722059258145 140722059258340 140722059258340 140722059263942 0
/proc/77984/statm: 1048 768 704 219 0 110 0
[pid=77986] ppid=77984 vsize=310740 memory=229816 CPUtime=161.76 cores=5,7
/proc/77986/stat : 77986 (roundingsat) R 77984 77984 76774 0 -1 4194304 44616 0 0 0 15981 195 0 0 20 0 1 0 70107217 318197760 57454 18446744073709551615 4227072 8923433 140723927171760 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 30777344 140723927173458 140723927173672 140723927173672 140723927179242 0
/proc/77986/statm: 77685 57454 2368 1147 0 65112 0
Current children cumulated CPU time: 161.76 s
Current children cumulated vsize: 314932 KiB
Current children cumulated memory: 232888 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/270 78022
/proc/meminfo: memFree=118367572/131249996 swapFree=33003468/33010684
[pid=77984] ppid=77981 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/77984/stat : 77984 (run-opt-log.sh) S 77981 77984 76774 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 70107216 4292608 768 18446744073709551615 93992075837440 93992076731973 140722059249296 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93992076971024 93992077018768 93992107720704 140722059258145 140722059258340 140722059258340 140722059263942 0
/proc/77984/statm: 1048 768 704 219 0 110 0
[pid=77986] ppid=77984 vsize=391732 memory=269020 CPUtime=221.57 cores=5,7
/proc/77986/stat : 77986 (roundingsat) R 77984 77984 76774 0 -1 4194304 62330 0 0 0 21917 240 0 0 20 0 1 0 70107217 401133568 67255 18446744073709551615 4227072 8923433 140723927171760 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 30777344 140723927173458 140723927173672 140723927173672 140723927179242 0
/proc/77986/statm: 97933 67255 2368 1147 0 85360 0
################
# More data... #
################
/proc/77986/stat : 77986 (roundingsat) R 77984 77984 76774 0 -1 4194304 77289 0 0 0 51610 440 0 0 20 0 1 0 70107217 484052992 81877 18446744073709551615 4227072 8923433 140723927171760 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 30777344 140723927173458 140723927173672 140723927173672 140723927179242 0
/proc/77986/statm: 118177 81877 2368 1147 0 105604 0
Current children cumulated CPU time: 520.5 s
Current children cumulated vsize: 476900 KiB
Current children cumulated memory: 330580 KiB
[startup+582.3 s]
/proc/loadavg: 4.17 4.12 4.10 5/264 78066
/proc/meminfo: memFree=111109992/131249996 swapFree=33003468/33010684
[pid=77984] ppid=77981 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/77984/stat : 77984 (run-opt-log.sh) S 77981 77984 76774 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 70107216 4292608 768 18446744073709551615 93992075837440 93992076731973 140722059249296 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93992076971024 93992077018768 93992107720704 140722059258145 140722059258340 140722059258340 140722059263942 0
/proc/77984/statm: 1048 768 704 219 0 110 0
[pid=77986] ppid=77984 vsize=478932 memory=339300 CPUtime=580.27 cores=5,7
/proc/77986/stat : 77986 (roundingsat) R 77984 77984 76774 0 -1 4194304 79977 0 0 0 57551 476 0 0 20 0 1 0 70107217 490426368 84825 18446744073709551615 4227072 8923433 140723927171760 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 30777344 140723927173458 140723927173672 140723927173672 140723927179242 0
/proc/77986/statm: 119733 84825 2368 1147 0 107160 0
Current children cumulated CPU time: 580.27 s
Current children cumulated vsize: 483124 KiB
Current children cumulated memory: 342372 KiB
[startup+642.3 s]
/proc/loadavg: 4.15 4.12 4.10 5/269 78087
/proc/meminfo: memFree=112508476/131249996 swapFree=33003468/33010684
[pid=77984] ppid=77981 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/77984/stat : 77984 (run-opt-log.sh) S 77981 77984 76774 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 70107216 4292608 768 18446744073709551615 93992075837440 93992076731973 140722059249296 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93992076971024 93992077018768 93992107720704 140722059258145 140722059258340 140722059258340 140722059263942 0
/proc/77984/statm: 1048 768 704 219 0 110 0
[pid=77986] ppid=77984 vsize=482416 memory=346132 CPUtime=640.06 cores=5,7
/proc/77986/stat : 77986 (roundingsat) R 77984 77984 76774 0 -1 4194304 81769 0 0 0 63493 513 0 0 20 0 1 0 70107217 493993984 86533 18446744073709551615 4227072 8923433 140723927171760 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 30777344 140723927173458 140723927173672 140723927173672 140723927179242 0
/proc/77986/statm: 120604 86533 2368 1147 0 108031 0
Current children cumulated CPU time: 640.06 s
Current children cumulated vsize: 486608 KiB
Current children cumulated memory: 349204 KiB
[startup+702.3 s]
/proc/loadavg: 4.19 4.13 4.10 5/271 78095
/proc/meminfo: memFree=110935172/131249996 swapFree=33003468/33010684
[pid=77984] ppid=77981 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/77984/stat : 77984 (run-opt-log.sh) S 77981 77984 76774 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 70107216 4292608 768 18446744073709551615 93992075837440 93992076731973 140722059249296 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93992076971024 93992077018768 93992107720704 140722059258145 140722059258340 140722059258340 140722059263942 0
/proc/77984/statm: 1048 768 704 219 0 110 0
[pid=77986] ppid=77984 vsize=483672 memory=359860 CPUtime=699.86 cores=5,7
/proc/77986/stat : 77986 (roundingsat) R 77984 77984 76774 0 -1 4194304 83235 0 0 0 69439 547 0 0 20 0 1 0 70107217 495280128 89965 18446744073709551615 4227072 8923433 140723927171760 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 30777344 140723927173458 140723927173672 140723927173672 140723927179242 0
/proc/77986/statm: 120918 89965 2368 1147 0 108345 0
Current children cumulated CPU time: 699.86 s
Current children cumulated vsize: 487864 KiB
Current children cumulated memory: 362932 KiB
[startup+762.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/270 78097
/proc/meminfo: memFree=109306044/131249996 swapFree=33003468/33010684
[pid=77984] ppid=77981 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/77984/stat : 77984 (run-opt-log.sh) S 77981 77984 76774 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 70107216 4292608 768 18446744073709551615 93992075837440 93992076731973 140722059249296 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93992076971024 93992077018768 93992107720704 140722059258145 140722059258340 140722059258340 140722059263942 0
/proc/77984/statm: 1048 768 704 219 0 110 0
[pid=77986] ppid=77984 vsize=484828 memory=391548 CPUtime=759.67 cores=5,7
/proc/77986/stat : 77986 (roundingsat) R 77984 77984 76774 0 -1 4194304 84339 0 0 0 75388 579 0 0 20 0 1 0 70107217 496463872 97887 18446744073709551615 4227072 8923433 140723927171760 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 30777344 140723927173458 140723927173672 140723927173672 140723927179242 0
/proc/77986/statm: 121207 97887 2368 1147 0 108634 0
Current children cumulated CPU time: 759.67 s
Current children cumulated vsize: 489020 KiB
Current children cumulated memory: 394620 KiB
[startup+788.425 s]
# the end of solver process 77984 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=778.961 s, system=6.07114 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+768 s]*
/proc/loadavg: 4.11 4.12 4.09 5/269 78098
/proc/meminfo: memFree=109152076/131249996 swapFree=33003468/33010684
[pid=77984] ppid=77981 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/77984/stat : 77984 (run-opt-log.sh) S 77981 77984 76774 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 70107216 4292608 768 18446744073709551615 93992075837440 93992076731973 140722059249296 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93992076971024 93992077018768 93992107720704 140722059258145 140722059258340 140722059258340 140722059263942 0
/proc/77984/statm: 1048 768 704 219 0 110 0
[pid=77986] ppid=77984 vsize=484828 memory=395004 CPUtime=765.36 cores=5,7
/proc/77986/stat : 77986 (roundingsat) R 77984 77984 76774 0 -1 4194304 84340 0 0 0 75953 583 0 0 20 0 1 0 70107217 496463872 98751 18446744073709551615 4227072 8923433 140723927171760 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 30777344 140723927173458 140723927173672 140723927173672 140723927179242 0
/proc/77986/statm: 121207 98751 2368 1147 0 108634 0
Current children cumulated CPU time: 765.36 s
Current children cumulated vsize: 489020 KiB
Current children cumulated memory: 398076 KiB
[startup+780.8 s]
/proc/loadavg: 4.09 4.11 4.09 5/270 78100
/proc/meminfo: memFree=108850600/131249996 swapFree=33003468/33010684
[pid=77984] ppid=77981 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/77984/stat : 77984 (run-opt-log.sh) S 77981 77984 76774 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 70107216 4292608 768 18446744073709551615 93992075837440 93992076731973 140722059249296 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93992076971024 93992077018768 93992107720704 140722059258145 140722059258340 140722059258340 140722059263942 0
/proc/77984/statm: 1048 768 704 219 0 110 0
[pid=77986] ppid=77984 vsize=484828 memory=396156 CPUtime=778.11 cores=5,7
/proc/77986/stat : 77986 (roundingsat) R 77984 77984 76774 0 -1 4194304 84341 0 0 0 77222 589 0 0 20 0 1 0 70107217 496463872 99039 18446744073709551615 4227072 8923433 140723927171760 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 30777344 140723927173458 140723927173672 140723927173672 140723927179242 0
/proc/77986/statm: 121207 99039 2368 1147 0 108634 0
Current children cumulated CPU time: 778.11 s
Current children cumulated vsize: 489020 KiB
Current children cumulated memory: 399228 KiB
[startup+784 s]*
/proc/loadavg: 4.16 4.13 4.09 5/270 78100
/proc/meminfo: memFree=108762400/131249996 swapFree=33003468/33010684
[pid=77984] ppid=77981 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/77984/stat : 77984 (run-opt-log.sh) S 77981 77984 76774 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 70107216 4292608 768 18446744073709551615 93992075837440 93992076731973 140722059249296 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93992076971024 93992077018768 93992107720704 140722059258145 140722059258340 140722059258340 140722059263942 0
/proc/77984/statm: 1048 768 704 219 0 110 0
[pid=77986] ppid=77984 vsize=484828 memory=396156 CPUtime=781.31 cores=5,7
/proc/77986/stat : 77986 (roundingsat) R 77984 77984 76774 0 -1 4194304 84341 0 0 0 77539 592 0 0 20 0 1 0 70107217 496463872 99039 18446744073709551615 4227072 8923433 140723927171760 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 30777344 140723927173458 140723927173672 140723927173672 140723927179242 0
/proc/77986/statm: 121207 99039 2368 1147 0 108634 0
Current children cumulated CPU time: 781.31 s
Current children cumulated vsize: 489020 KiB
Current children cumulated memory: 399228 KiB
[startup+785.6 s]
/proc/loadavg: 4.16 4.13 4.09 5/270 78100
/proc/meminfo: memFree=108730144/131249996 swapFree=33003468/33010684
[pid=77984] ppid=77981 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/77984/stat : 77984 (run-opt-log.sh) S 77981 77984 76774 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 70107216 4292608 768 18446744073709551615 93992075837440 93992076731973 140722059249296 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93992076971024 93992077018768 93992107720704 140722059258145 140722059258340 140722059258340 140722059263942 0
/proc/77984/statm: 1048 768 704 219 0 110 0
[pid=77986] ppid=77984 vsize=484828 memory=396156 CPUtime=782.9 cores=5,7
/proc/77986/stat : 77986 (roundingsat) R 77984 77984 76774 0 -1 4194304 84341 0 0 0 77697 593 0 0 20 0 1 0 70107217 496463872 99039 18446744073709551615 4227072 8923433 140723927171760 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 30777344 140723927173458 140723927173672 140723927173672 140723927179242 0
/proc/77986/statm: 121207 99039 2368 1147 0 108634 0
Current children cumulated CPU time: 782.9 s
Current children cumulated vsize: 489020 KiB
Current children cumulated memory: 399228 KiB
[startup+787.2 s]
/proc/loadavg: 4.16 4.13 4.09 5/270 78100
/proc/meminfo: memFree=108681760/131249996 swapFree=33003468/33010684
[pid=77984] ppid=77981 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/77984/stat : 77984 (run-opt-log.sh) S 77981 77984 76774 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 70107216 4292608 768 18446744073709551615 93992075837440 93992076731973 140722059249296 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93992076971024 93992077018768 93992107720704 140722059258145 140722059258340 140722059258340 140722059263942 0
/proc/77984/statm: 1048 768 704 219 0 110 0
[pid=77986] ppid=77984 vsize=484828 memory=396156 CPUtime=784.49 cores=5,7
/proc/77986/stat : 77986 (roundingsat) R 77984 77984 76774 0 -1 4194304 84341 0 0 0 77856 593 0 0 20 0 1 0 70107217 496463872 99039 18446744073709551615 4227072 8923433 140723927171760 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 30777344 140723927173458 140723927173672 140723927173672 140723927179242 0
/proc/77986/statm: 121207 99039 2368 1147 0 108634 0
Current children cumulated CPU time: 784.49 s
Current children cumulated vsize: 489020 KiB
Current children cumulated memory: 399228 KiB
[startup+788 s]*
/proc/loadavg: 4.16 4.13 4.09 4/270 78100
/proc/meminfo: memFree=108705660/131249996 swapFree=33003468/33010684
[pid=77984] ppid=77981 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/77984/stat : 77984 (run-opt-log.sh) S 77981 77984 76774 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 70107216 4292608 768 18446744073709551615 93992075837440 93992076731973 140722059249296 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93992076971024 93992077018768 93992107720704 140722059258145 140722059258340 140722059258340 140722059263942 0
/proc/77984/statm: 1048 768 704 219 0 110 0
[pid=77986] ppid=77984 vsize=484828 memory=396284 CPUtime=784.96 cores=5,7
/proc/77986/stat : 77986 (roundingsat) D 77984 77984 76774 0 -1 4194304 84350 0 0 0 77895 601 0 0 20 0 1 0 70107217 496463872 99071 18446744073709551615 4227072 8923433 140723927171760 0 0 0 0 0 8405026 1 0 0 17 5 0 0 0 0 0 9823104 9832592 30777344 140723927173458 140723927173672 140723927173672 140723927179242 0
/proc/77986/statm: 121207 99071 2400 1147 0 108634 0
Current children cumulated CPU time: 784.96 s
Current children cumulated vsize: 489020 KiB
Current children cumulated memory: 399356 KiB
[startup+788.4 s]
/proc/loadavg: 4.16 4.13 4.09 4/270 78100
/proc/meminfo: memFree=108705660/131249996 swapFree=33003468/33010684
[pid=77984] ppid=77981 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/77984/stat : 77984 (run-opt-log.sh) S 77981 77984 76774 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 70107216 4292608 768 18446744073709551615 93992075837440 93992076731973 140722059249296 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93992076971024 93992077018768 93992107720704 140722059258145 140722059258340 140722059258340 140722059263942 0
/proc/77984/statm: 1048 768 704 219 0 110 0
[pid=77986] ppid=77984 vsize=484828 memory=396284 CPUtime=785.01 cores=5,7
/proc/77986/stat : 77986 (roundingsat) D 77984 77984 76774 0 -1 4194304 84350 0 0 0 77895 606 0 0 20 0 1 0 70107217 496463872 99071 18446744073709551615 4227072 8923433 140723927171760 0 0 0 0 0 8405026 1 0 0 17 5 0 0 0 0 0 9823104 9832592 30777344 140723927173458 140723927173672 140723927173672 140723927179242 0
/proc/77986/statm: 121207 99071 2400 1147 0 108634 0
Current children cumulated CPU time: 785.01 s
Current children cumulated vsize: 489020 KiB
Current children cumulated memory: 399356 KiB
Child status: 0
Real time (s): 788.425
CPU time (s): 785.032
CPU user time (s): 778.961
CPU system time (s): 6.07114
CPU usage (%): 99.5696
Max. virtual memory (cumulated for all children) (KiB): 489020
Max. memory (cumulated for all children) (KiB): 399356
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 778.961
system time used= 6.07114
maximum resident set size= 396284
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 84583
page faults= 0
swaps= 0
block input operations= 0
block output operations= 9122752
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 13672
involuntary context switches= 4800
# summary of solver processes directly reported to runsolver:
# pid: 77984
# total CPU time (s): 785.032
# total CPU user time (s): 778.961
# total CPU system time (s): 6.07114
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.56836 second user time and 3.67602 second system time
The end
Begin job on nodeC021 at 2025-07-03 14:04:55
IDJOB=4518227
IDBENCH=176692
IDSOLVER=3351
FILE ID=nodeC021/4518227-1751544295
RUNJOBID= nodeC021-1751536445-76787
SLURM_JOB_ID= 9598688
Free space on /tmp= 430940 MiB
SOLVER NAME= roundingsat-ihs-log 63f22ad
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/uncorrelated/normalized-knapPI_1_500_10000_2_-399276.opb
COMMAND LINE= run-opt-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4518227-1751544295/watcher-4518227-1751544295 -o /tmp/evaluation-result-4518227-1751544295/solver-4518227-1751544295 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1751536445-76787 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4518227-1751544295.opb PROOFDIR/proof-4518227-1751544295
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 8a3dc4c2b7829f560f37e3a7b2c16990
RANDOM SEED=769110440
nodeC021 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/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 : 3599.760
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
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 : 3599.756
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
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.962
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.003
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
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 : 3599.777
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
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 : 3533.056
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.804
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
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 : 3599.786
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 110216872 kB
MemAvailable: 126027368 kB
Buffers: 1056 kB
Cached: 16544320 kB
SwapCached: 32 kB
Active: 4206620 kB
Inactive: 16082216 kB
Active(anon): 3715736 kB
Inactive(anon): 40944 kB
Active(file): 490884 kB
Inactive(file): 16041272 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33003468 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 361712 kB
Writeback: 4 kB
AnonPages: 3745768 kB
Mapped: 112580 kB
Shmem: 13452 kB
KReclaimable: 234760 kB
Slab: 338240 kB
SReclaimable: 234760 kB
SUnreclaim: 103480 kB
KernelStack: 4512 kB
PageTables: 11120 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 4587056 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150696 kB
VmallocChunk: 0 kB
Percpu: 3808 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1374208 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 205524 kB
DirectMap2M: 7954432 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 430932 MiB
End job on nodeC021 at 2025-07-03 14:18:04