Installing Gurobi and License Renewal
Download the software
The software can be downloaded after logging in to
https://www.gurobi.com/account/
The credentials can found the KeePass Database.
In the download section, select the Gurobi Optimizer and download the latest stable Linux release.
License
If the license has expired, you can follow these instructions to open a ticket. The license ID is 118477. Usually, the license is renewed within one day. You can check the progress in the support section of the website (if Stefan is not available to forward his e-mail).
Installation
Installation is simple, as there is an Easybuild eb-file (along with some easyblock, I think). Worked like a charm last time I tried (for version 9.1.2). I used the SYSTEM-toolchain version, another version exists with GCCcore which adds Python as dependency (to replace the Python included in Gurobi). In the eb-file, the location of the license file has to be edited to
/cm/shared/uniol/licenses/Gurobi/gurobi.lic
This file contains the address and port of the token server as:
TOKENSERVER=gurobi.license.uni-oldenburg.de PORT=27001
License Server
The license server can be accessed from erle with
ssh gurobi
using the following setup
$ cat .ssh/config | grep -A4 'Host gurobi' Host gurobi Hostname gurobi.license.uni-oldenburg.de IdentityFile ~/.ssh/id_rsa_gurobi User root
Once you are logged in you can install a new license according to the documentation. What should work:
- download current version of Gurobi, then unpack and change symlink for current version
$ mkdir /opt/gurobi/X.Y.Z # replace X.Y.Z with version, e.g. 9.5.2 $ tar -zxvf gurobiX.Y.Z_linux64.tar.gz -C /opt/gurobi/X.Y.Z --strip-components 2 $ rm /opt/gurobi/current # remove existing symlink $ ln -s /opt/gurobi/X.Y.Z /opt/gurobi/current
- get new license file, move to current directory and restart token server
$ export HTTPS_PROXY="http://proxy.uni-oldenburg.de:3128" $ /opt/gurobi/current/bin/grbgetkey 74b22a38-2191-c6cf-e4b1-56d70cd01e09 # check key on web site $ cp gurobi.lic /opt/gurobi/current # if needed, also change port to 27001 $ /etc/init.d/gurobid restart # or stop and start