Set parameter TokenServer to value "gurobi.cc.ic.ac.uk"

********************************
*** COLUMN GENERATION SCHEME ***
********************************

*** OUTER ITERATION 0 ***

    ++ RESTRICTED PRIMAL ITERATION 1 ++
One worst-case parameter optimization takes 16.7558 seconds.
    local lower bound updated to 0.254128
    local upper bound updated to 0.505154

    ++ RESTRICTED PRIMAL ITERATION 2 ++
One worst-case parameter optimization takes 1.09131 seconds.
    local lower bound updated to 0.430905
    local upper bound updated to 0.430905
The Primal step takes 17.8491 (S)
lower bound updated to 0.430905

    ++ RESTRICTED DUAL ITERATION 1 ++
    local upper bound updated to 0.653785
    local lower bound updated to 0.635473

    ++ RESTRICTED DUAL ITERATION 2 ++
    local upper bound updated to 0.642202
    local lower bound updated to 0.638626

    ++ RESTRICTED DUAL ITERATION 3 ++
    local upper bound updated to 0.639909
    local lower bound updated to 0.639901
The Dual step takes 0.148946 (S)
upper bound updated to 0.639909
*** OUTER ITERATION 1 ***

    ++ RESTRICTED PRIMAL ITERATION 1 ++
One worst-case parameter optimization takes 5.22242 seconds.
    local lower bound updated to 0.362117
    local upper bound updated to 0.495593

    ++ RESTRICTED PRIMAL ITERATION 2 ++
One worst-case parameter optimization takes 18.4277 seconds.
    local lower bound updated to 0.477833
    local upper bound updated to 0.484321

    ++ RESTRICTED PRIMAL ITERATION 3 ++
One worst-case parameter optimization takes 5.0704 seconds.
    local lower bound updated to 0.477833
    local upper bound updated to 0.483651

    ++ RESTRICTED PRIMAL ITERATION 4 ++
One worst-case parameter optimization takes 20.4695 seconds.
    local lower bound updated to 0.477833
    local upper bound updated to 0.483383

    ++ RESTRICTED PRIMAL ITERATION 5 ++
One worst-case parameter optimization takes 21.3262 seconds.
    local lower bound updated to 0.477833
    local upper bound updated to 0.481127

    ++ RESTRICTED PRIMAL ITERATION 6 ++
One worst-case parameter optimization takes 24.2451 seconds.
    local lower bound updated to 0.480518
    local upper bound updated to 0.481019

    ++ RESTRICTED PRIMAL ITERATION 7 ++
One worst-case parameter optimization takes 24.3971 seconds.
    local lower bound updated to 0.480916
    local upper bound updated to 0.480962

    ++ RESTRICTED PRIMAL ITERATION 8 ++
One worst-case parameter optimization takes 32.9039 seconds.
    local lower bound updated to 0.480962
    local upper bound updated to 0.480962
The Primal step takes 152.085 (S)
lower bound updated to 0.480962

    ++ RESTRICTED DUAL ITERATION 1 ++
    local upper bound updated to 0.55531
    local lower bound updated to 0.525954

    ++ RESTRICTED DUAL ITERATION 2 ++
    local upper bound updated to 0.548542
    local lower bound updated to 0.531167

    ++ RESTRICTED DUAL ITERATION 3 ++
    local upper bound updated to 0.53404
    local lower bound updated to 0.531928

    ++ RESTRICTED DUAL ITERATION 4 ++
    local upper bound updated to 0.531928
    local lower bound updated to 0.531928
The Dual step takes 1.38293 (S)
upper bound updated to 0.531928
*** OUTER ITERATION 2 ***

    ++ RESTRICTED PRIMAL ITERATION 1 ++
One worst-case parameter optimization takes 45.9938 seconds.
    local lower bound updated to 0.425279
    local upper bound updated to 0.531928

    ++ RESTRICTED PRIMAL ITERATION 2 ++
One worst-case parameter optimization takes 54.2444 seconds.
    local lower bound updated to 0.476972
    local upper bound updated to 0.522611

    ++ RESTRICTED PRIMAL ITERATION 3 ++
One worst-case parameter optimization takes 53.5536 seconds.
    local lower bound updated to 0.476972
    local upper bound updated to 0.51657

    ++ RESTRICTED PRIMAL ITERATION 4 ++
One worst-case parameter optimization takes 153.312 seconds.
    local lower bound updated to 0.496385
    local upper bound updated to 0.514512

    ++ RESTRICTED PRIMAL ITERATION 5 ++
One worst-case parameter optimization takes 51.7582 seconds.
    local lower bound updated to 0.496385
    local upper bound updated to 0.505371

    ++ RESTRICTED PRIMAL ITERATION 6 ++
One worst-case parameter optimization takes 108.823 seconds.
    local lower bound updated to 0.496385
    local upper bound updated to 0.503215

    ++ RESTRICTED PRIMAL ITERATION 7 ++
One worst-case parameter optimization takes 139.501 seconds.
    local lower bound updated to 0.496385
    local upper bound updated to 0.501689

    ++ RESTRICTED PRIMAL ITERATION 8 ++
One worst-case parameter optimization takes 200.025 seconds.
    local lower bound updated to 0.496385
    local upper bound updated to 0.499112

    ++ RESTRICTED PRIMAL ITERATION 9 ++
One worst-case parameter optimization takes 200.02 seconds.
    local lower bound updated to 0.496385
    local upper bound updated to 0.499071

    ++ RESTRICTED PRIMAL ITERATION 10 ++
One worst-case parameter optimization takes 200.026 seconds.
    local lower bound updated to 0.498463
    local upper bound updated to 0.499032

    ++ RESTRICTED PRIMAL ITERATION 11 ++
One worst-case parameter optimization takes 200.033 seconds.
    local lower bound updated to 0.498463
    local upper bound updated to 0.498985

    ++ RESTRICTED PRIMAL ITERATION 12 ++
One worst-case parameter optimization takes 200.031 seconds.
    local lower bound updated to 0.498463
    local upper bound updated to 0.498868

    ++ RESTRICTED PRIMAL ITERATION 13 ++
One worst-case parameter optimization takes 200.022 seconds.
    local lower bound updated to 0.498463
    local upper bound updated to 0.498824

    ++ RESTRICTED PRIMAL ITERATION 14 ++
One worst-case parameter optimization takes 200.025 seconds.
    local lower bound updated to 0.498803
    local upper bound updated to 0.498823

    ++ RESTRICTED PRIMAL ITERATION 15 ++
One worst-case parameter optimization takes 200.026 seconds.
    local lower bound updated to 0.49881
    local upper bound updated to 0.498822

    ++ RESTRICTED PRIMAL ITERATION 16 ++
One worst-case parameter optimization takes 200.019 seconds.
    local lower bound updated to 0.498822
    local upper bound updated to 0.498822
The Primal step takes 2407.47 (S)
lower bound updated to 0.498822

    ++ RESTRICTED DUAL ITERATION 1 ++
    local upper bound updated to 0.536526
    local lower bound updated to 0.510359

    ++ RESTRICTED DUAL ITERATION 2 ++
    local upper bound updated to 0.515042
    local lower bound updated to 0.510613

    ++ RESTRICTED DUAL ITERATION 3 ++
    local upper bound updated to 0.51438
    local lower bound updated to 0.510613

    ++ RESTRICTED DUAL ITERATION 4 ++
    local upper bound updated to 0.510613
    local lower bound updated to 0.510613
The Dual step takes 16.5824 (S)
upper bound updated to 0.510613
*** OUTER ITERATION 3 ***

    ++ RESTRICTED PRIMAL ITERATION 1 ++
One worst-case parameter optimization takes 72.1375 seconds.
    local lower bound updated to 0.435273
    local upper bound updated to 0.510613

    ++ RESTRICTED PRIMAL ITERATION 2 ++
One worst-case parameter optimization takes 49.9098 seconds.
    local lower bound updated to 0.469409
    local upper bound updated to 0.508498

    ++ RESTRICTED PRIMAL ITERATION 3 ++
One worst-case parameter optimization takes 137.651 seconds.
    local lower bound updated to 0.500339
    local upper bound updated to 0.508237

    ++ RESTRICTED PRIMAL ITERATION 4 ++
One worst-case parameter optimization takes 200.026 seconds.
    local lower bound updated to 0.503663
    local upper bound updated to 0.50804

    ++ RESTRICTED PRIMAL ITERATION 5 ++
One worst-case parameter optimization takes 200.025 seconds.
    local lower bound updated to 0.503732
    local upper bound updated to 0.507956

    ++ RESTRICTED PRIMAL ITERATION 6 ++
One worst-case parameter optimization takes 200.03 seconds.
    local lower bound updated to 0.505285
    local upper bound updated to 0.507883

    ++ RESTRICTED PRIMAL ITERATION 7 ++
One worst-case parameter optimization takes 200.025 seconds.
    local lower bound updated to 0.506682
    local upper bound updated to 0.50779

    ++ RESTRICTED PRIMAL ITERATION 8 ++
One worst-case parameter optimization takes 200.04 seconds.
    local lower bound updated to 0.507767
    local upper bound updated to 0.507788

    ++ RESTRICTED PRIMAL ITERATION 9 ++
One worst-case parameter optimization takes 200.032 seconds.
    local lower bound updated to 0.507788
    local upper bound updated to 0.507788
The Primal step takes 1459.92 (S)
lower bound updated to 0.507788

    ++ RESTRICTED DUAL ITERATION 1 ++
    local upper bound updated to 0.531541
    local lower bound updated to 0.507788

    ++ RESTRICTED DUAL ITERATION 2 ++
    local upper bound updated to 0.516819
    local lower bound updated to 0.509586

    ++ RESTRICTED DUAL ITERATION 3 ++
    local upper bound updated to 0.509586
    local lower bound updated to 0.509586
The Dual step takes 15.8771 (S)
upper bound updated to 0.509586
*** OUTER ITERATION 4 ***

    ++ RESTRICTED PRIMAL ITERATION 1 ++
One worst-case parameter optimization takes 114.547 seconds.
    local lower bound updated to 0.434553
    local upper bound updated to 0.509586

    ++ RESTRICTED PRIMAL ITERATION 2 ++
One worst-case parameter optimization takes 200.048 seconds.
    local lower bound updated to 0.501364
    local upper bound updated to 0.509247

    ++ RESTRICTED PRIMAL ITERATION 3 ++
One worst-case parameter optimization takes 200.036 seconds.
    local lower bound updated to 0.505022
    local upper bound updated to 0.509055

    ++ RESTRICTED PRIMAL ITERATION 4 ++
One worst-case parameter optimization takes 200.048 seconds.
    local lower bound updated to 0.506733
    local upper bound updated to 0.508786

    ++ RESTRICTED PRIMAL ITERATION 5 ++
One worst-case parameter optimization takes 200.028 seconds.
    local lower bound updated to 0.507161
    local upper bound updated to 0.508781

    ++ RESTRICTED PRIMAL ITERATION 6 ++
One worst-case parameter optimization takes 200.034 seconds.
    local lower bound updated to 0.50825
    local upper bound updated to 0.508771

    ++ RESTRICTED PRIMAL ITERATION 7 ++
One worst-case parameter optimization takes 200.038 seconds.
    local lower bound updated to 0.508292
    local upper bound updated to 0.508565

    ++ RESTRICTED PRIMAL ITERATION 8 ++
One worst-case parameter optimization takes 200.032 seconds.
    local lower bound updated to 0.508565
    local upper bound updated to 0.508565
The Primal step takes 1514.87 (S)
lower bound updated to 0.508565

    ++ RESTRICTED DUAL ITERATION 1 ++
    local upper bound updated to 0.529465
    local lower bound updated to 0.508565

    ++ RESTRICTED DUAL ITERATION 2 ++
    local upper bound updated to 0.508565
    local lower bound updated to 0.508565
The Dual step takes 18.7735 (S)
upper bound updated to 0.508565
This is to get the final optimal randomized assortment

    ++ RESTRICTED PRIMAL ITERATION 1 ++
One worst-case parameter optimization takes 125.561 seconds.
    local lower bound updated to 0.434553
    local upper bound updated to 0.508565

    ++ RESTRICTED PRIMAL ITERATION 2 ++
One worst-case parameter optimization takes 200.036 seconds.
    local lower bound updated to 0.508565
    local upper bound updated to 0.508565
The time obtain the optimal randomized assortment is 5930.57 (S)
Now, the randomization optimization has been finished. We are checking the lower bound ....
Set parameter OutputFlag to value 1
Set parameter LogFile to value "/rds/general/user/zw1819/home/RAO/RAO_MC/FinalRun/RecFMResult/logFile_19_4_200.000000_204720.log"
The computation time limit for a lower bound is 80057
The model output flag is 1
Gurobi Optimizer version 9.5.1 build v9.5.1rc2 (linux64)
Thread count: 128 physical cores, 256 logical processors, using up to 4 threads
Optimize a model with 3048 rows, 2232 columns and 10325 nonzeros
Model fingerprint: 0xa1f0cd80
Variable types: 2159 continuous, 73 integer (73 binary)
Coefficient statistics:
  Matrix range     [2e-06, 1e+00]
  Objective range  [1e+00, 1e+00]
  Bounds range     [1e+00, 1e+00]
  RHS range        [5e-01, 1e+00]
Presolve removed 575 rows and 1067 columns
Presolve time: 0.03s
Presolved: 2473 rows, 1165 columns, 9553 nonzeros
Variable types: 1094 continuous, 71 integer (71 binary)
Found heuristic solution: objective 0.6747549
Found heuristic solution: objective 0.6430492

Root relaxation: objective 2.638863e-01, 290 iterations, 0.00 seconds (0.00 work units)

    Nodes    |    Current Node    |     Objective Bounds      |     Work
 Expl Unexpl |  Obj  Depth IntInf | Incumbent    BestBd   Gap | It/Node Time

     0     0    0.26389    0   22    0.64305    0.26389  59.0%     -    0s
H    0     0                       0.5920492    0.26905  54.6%     -    0s
     0     0    0.27927    0   28    0.59205    0.27927  52.8%     -    0s
H    0     0                       0.5865342    0.27927  52.4%     -    0s
H    0     0                       0.5792428    0.27927  51.8%     -    0s
     0     0    0.29290    0   28    0.57924    0.29290  49.4%     -    0s
H    0     0                       0.5198039    0.33137  36.3%     -    0s
     0     0    0.33137    0   36    0.51980    0.33137  36.3%     -    0s
     0     0    0.36071    0   36    0.51980    0.36071  30.6%     -    0s
     0     0    0.36565    0   39    0.51980    0.36565  29.7%     -    0s
H    0     0                       0.5195876    0.36723  29.3%     -    0s
     0     0    0.36723    0   41    0.51959    0.36723  29.3%     -    0s
H    0     0                       0.5193652    0.36723  29.3%     -    0s
     0     0    0.37490    0   39    0.51937    0.37490  27.8%     -    0s
H    0     0                       0.5123572    0.37622  26.6%     -    0s
     0     0    0.37622    0   40    0.51236    0.37622  26.6%     -    0s
     0     0    0.37708    0   37    0.51236    0.37708  26.4%     -    0s
H    0     0                       0.5085652    0.37708  25.9%     -    3s
     0     2    0.37708    0   37    0.50857    0.37708  25.9%     -    3s
    99    75    0.42817    7   27    0.50857    0.38840  23.6%  46.6    5s
H  449   246                       0.5085652    0.40465  20.4%  36.0    5s
  1393   700    0.46421   13   28    0.50857    0.42379  16.7%  34.7   10s
  1527   802    0.49589   32   16    0.50857    0.42379  16.7%  39.3   15s
  2287   907     cutoff   28         0.50857    0.42899  15.6%  41.2   21s
  2497   916    0.49783   27   19    0.50857    0.43114  15.2%  42.0   25s
  3590   981    0.45445   24   25    0.50857    0.43909  13.7%  42.4   31s
  3687  1016    0.47047   28   18    0.50857    0.43959  13.6%  42.2   35s
  4362  1281    0.46750   24   24    0.50857    0.44223  13.0%  41.0   41s
  4939  1537    0.48276   32   19    0.50857    0.44422  12.7%  40.5   46s
  5243  1568    0.50483   34   12    0.50857    0.44496  12.5%  40.0   50s
  5606  1786    0.50372   30   16    0.50857    0.44578  12.3%  39.8   56s
  6266  1952    0.47288   30   14    0.50857    0.44686  12.1%  39.8   61s
  6662  2088    0.48447   26   21    0.50857    0.44766  12.0%  39.5   67s
  6839  2230    0.49429   33   18    0.50857    0.44790  11.9%  39.6   70s
  7612  2528    0.48834   34   16    0.50857    0.44897  11.7%  39.2   76s
  9124  2902    0.46104   28   24    0.50857    0.45129  11.3%  38.5   81s
H 9350  2902                       0.5085652    0.45141  11.2%  38.4   81s
  9920  3151     cutoff   35         0.50857    0.45258  11.0%  38.0   88s
H10352  3299                       0.5085652    0.45324  10.9%  37.9   92s
 10866  3358     cutoff   39         0.50857    0.45369  10.8%  37.7   95s
 12086  3700    0.47894   30   16    0.50857    0.45505  10.5%  37.4  103s
 12868  3824    0.48559   26   23    0.50857    0.45572  10.4%  37.2  106s
 14002  4090    0.48139   31   16    0.50857    0.45671  10.2%  37.0  111s
 14715  4230     cutoff   33         0.50857    0.45713  10.1%  36.7  115s
 16075  4456    0.46854   28   22    0.50857    0.45826  9.89%  36.3  121s
 17176  4654    0.47369   23   24    0.50857    0.45906  9.73%  36.2  127s
 17793  4743    0.47890   30   18    0.50857    0.45932  9.68%  36.0  131s
 18829  4951    0.49959   32   18    0.50857    0.46017  9.52%  36.0  138s
 19535  5062    0.48498   30   18    0.50857    0.46054  9.44%  35.8  140s
 20960  5299     cutoff   28         0.50857    0.46169  9.22%  35.5  147s
 22297  5445    0.49648   32   16    0.50857    0.46244  9.07%  35.4  153s
 22731  5496    0.50004   30   20    0.50857    0.46272  9.01%  35.4  156s
 23664  5638    0.48988   32   16    0.50857    0.46348  8.87%  35.4  161s
 24475  5721     cutoff   34         0.50857    0.46399  8.77%  35.4  167s
 25060  5821    0.48274   26   20    0.50857    0.46423  8.72%  35.4  172s
 26302  6033     cutoff   30         0.50857    0.46492  8.58%  35.3  176s
 27413  6153    0.48513   36   10    0.50857    0.46547  8.47%  35.3  180s
 29090  6318    0.48768   31   18    0.50857    0.46643  8.29%  35.3  188s
 29774  6434    0.49722   32   18    0.50857    0.46681  8.21%  35.3  192s
 31088  6494     cutoff   39         0.50857    0.46705  8.16%  35.1  196s
 31427  6583    0.50738   29   24    0.50857    0.46748  8.08%  35.1  201s
 32599  6702    0.49254   32   18    0.50857    0.46797  7.98%  35.0  207s
 33642  6799    0.49154   31   19    0.50857    0.46849  7.88%  35.0  213s
 34278  6896    0.49790   33   14    0.50857    0.46870  7.84%  34.9  216s
 35698  6987    0.48940   33   16    0.50857    0.46936  7.71%  34.8  220s
 36898  7090     cutoff   32         0.50857    0.46981  7.62%  34.7  226s
 38315  7164     cutoff   32         0.50857    0.47053  7.48%  34.6  231s
 39118  7234    0.49143   26   22    0.50857    0.47092  7.40%  34.5  236s
 40499  7317    0.49811   29   16    0.50857    0.47129  7.33%  34.5  241s
 41754  7394    0.49063   33   14    0.50857    0.47182  7.22%  34.4  246s
 43308  7488    0.49976   38    8    0.50857    0.47227  7.14%  34.3  251s
 45040  7594    0.49786   33   14    0.50857    0.47295  7.00%  34.2  255s
 46460  7665    0.48527   33   12    0.50857    0.47342  6.91%  34.2  261s
H46688  7665                       0.5085652    0.47347  6.90%  34.2  261s
 47041  7720    0.49368   35   14    0.50857    0.47384  6.83%  34.2  266s
 48043  7793     cutoff   29         0.50857    0.47393  6.81%  34.2  270s
 49586  7857 infeasible   32         0.50857    0.47446  6.71%  34.1  275s
H50024  7853                       0.5083999    0.47466  6.64%  34.0  277s
 50025  7891    0.49106   26   20    0.50840    0.47466  6.64%  34.0  280s
 50967  7901    0.49834   30   17    0.50840    0.47498  6.57%  34.0  285s
 52026  7977    0.50301   33    8    0.50840    0.47535  6.50%  34.0  290s
 53768  8032    0.48759   27   19    0.50840    0.47590  6.39%  33.9  295s
 55601  8083    0.49731   37   16    0.50840    0.47644  6.29%  33.8  300s
 57242  8091     cutoff   33         0.50840    0.47694  6.19%  33.7  306s
 58105  8125    0.50361   28   16    0.50840    0.47728  6.12%  33.7  310s
 59797  8143     cutoff   32         0.50840    0.47789  6.00%  33.6  316s
 60495  8148    0.49606   38   12    0.50840    0.47817  5.95%  33.6  320s
 61303  8132     cutoff   31         0.50840    0.47825  5.93%  33.6  325s
 63327  8130    0.48883   31   10    0.50840    0.47890  5.80%  33.5  330s
 65606  8115    0.48470   28   23    0.50840    0.47961  5.66%  33.4  335s
 67201  8103    0.48961   37   19    0.50840    0.47998  5.59%  33.3  340s
 69316  8023     cutoff   37         0.50840    0.48064  5.46%  33.2  346s
 69995  7981     cutoff   37         0.50840    0.48092  5.41%  33.2  350s
 71495  7935    0.49097   37   12    0.50840    0.48133  5.32%  33.1  356s
 72766  7876    0.48794   34   14    0.50840    0.48166  5.26%  33.1  360s
 74567  7876     cutoff   42         0.50840    0.48228  5.14%  32.9  365s
 76319  7796    0.49093   32   14    0.50840    0.48266  5.06%  32.9  370s
 77483  7748    0.49708   38   14    0.50840    0.48300  5.00%  32.8  375s
 79282  7615     cutoff   31         0.50840    0.48347  4.90%  32.7  380s
 81052  7516     cutoff   37         0.50840    0.48393  4.81%  32.6  385s
 83013  7339    0.50650   30   20    0.50840    0.48452  4.70%  32.6  390s
H83752  7306                       0.5083998    0.48471  4.66%  32.5  392s
 84532  7250     cutoff   32         0.50840    0.48497  4.61%  32.5  395s
 85626  7150    0.49616   36   18    0.50840    0.48530  4.54%  32.5  400s
 88068  6959    0.49509   37   14    0.50840    0.48603  4.40%  32.3  406s
 89213  6841     cutoff   36         0.50840    0.48639  4.33%  32.3  410s
 91866  6661    0.49940   36   12    0.50840    0.48697  4.21%  32.1  415s
 92741  6578    0.49848   28   20    0.50840    0.48724  4.16%  32.1  420s
 94248  6401     cutoff   37         0.50840    0.48770  4.07%  32.0  425s
 95909  6253     cutoff   30         0.50840    0.48808  4.00%  31.9  430s
 97516  6051     cutoff   32         0.50840    0.48857  3.90%  31.8  435s
 99283  5851 infeasible   33         0.50840    0.48924  3.77%  31.7  440s
 100860  5724 infeasible   36         0.50840    0.48959  3.70%  31.6  445s
 101530  5576 infeasible   32         0.50840    0.48987  3.64%  31.5  450s
 103146  5335    0.50487   38    8    0.50840    0.49043  3.54%  31.4  455s
 104601  5115    0.50084   30   18    0.50840    0.49096  3.43%  31.3  460s
 106521  4845    0.49300   37   12    0.50840    0.49154  3.32%  31.2  465s
 108469  4552     cutoff   33         0.50840    0.49230  3.17%  31.1  470s
 110306  4171 infeasible   38         0.50840    0.49269  3.09%  31.0  475s
 111548  3985    0.50084   38   14    0.50840    0.49357  2.92%  30.9  480s
 113403  3545     cutoff   31         0.50840    0.49414  2.81%  30.8  486s
 114885  3214     cutoff   34         0.50840    0.49469  2.70%  30.7  490s
 116304  2938     cutoff   33         0.50840    0.49549  2.54%  30.6  496s
 117562  2615    0.50057   33   10    0.50840    0.49602  2.44%  30.5  500s
 119334  2042    0.50582   40   10    0.50840    0.49706  2.23%  30.4  506s
 121374  1339     cutoff   33         0.50840    0.49921  1.81%  30.2  511s

Cutting planes:
  Implied bound: 288
  MIR: 147
  Flow cover: 460
  RLT: 88
  Relax-and-lift: 128

Explored 124181 nodes (3714893 simplex iterations) in 514.33 seconds (566.84 work units)
Thread count was 4 (of 256 available processors)

Solution count 10: 0.5084 0.5084 0.508565 ... 0.586534

Optimal solution found (tolerance 1.00e-04)
Best objective 5.083999006036e-01, best bound 5.083998085924e-01, gap 0.0000%
The objective bound is 0.5084 while the objective upper bound is 0.5084

============================================

        Job resource usage summary 

                 Memory (GB)    NCPUs
 Requested  :        12             4
 Used       :         0 (peak)   3.76 (ave)

============================================
