Setting up a Linux token server
On a Linux system, you will need to start the token server daemon by
running program grb_ts (with no arguments) on your token
server machine. You only need to do this once -- the token server
will keep running until you stop it (or until the machine is shut
down). Be sure that the license key file has been installed before
running this program. Note that the token server runs as a user
process, so you do not need root privileges to start it.
Note that if you would like the token server to restart when the
machine is rebooted, you should ask your system administrator to start
it from /etc/rc.local. If your Gurobi installation and
license key file are in their default locations, then adding the following
should suffice:
/opt/gurobi560/linux64/bin/grb_ts
To stop a running token server, you can issue the grb_ts -s
command. You can also use the ps command to find the relevant
process ID, and the Linux kill command to terminate that process.
To upgrade from an earlier version of the Gurobi Optimizer, you will need to perform the following steps (on the machine running the token server):
- Stop the old token server.
- Install the new version of the Gurobi Optimizer.
- Upgrade your license file (or modify
GRB_LICENSE_FILEto point to the new license file). - Start the new token server.
Output from the token server goes to the system log
(/var/log/syslog). You should see a message similar to the
following when you start the server:
Mar 9 12:37:21 mymachine grb[7917]: Gurobi Token Server started: Sat Mar 9 12:37:21 2013By default, the token server only produces logging output when it starts. To obtain more detailed logging information, start the token server with the
-v switch. This will produce a log message
each time a token is checked in or out.
Firewalls
If you run into trouble accessing the token server, check to see if
the server machine is running firewall software (like Bastille
or ipfilter) that is blocking access to some ports. The
Gurobi token server uses port number 41954 by default, so you'll need
to open access to that port on the server. Please consult the
documentation for your firewall software to determine how to do this.
If there's a conflict on the default port, you can choose a different
one by adding a PORT line to both the server and the client
license key files:
PORT=46325You can choose any available port number.
Next steps
Clients of the token server also need simple license files. Your next step is to set up a client license.
Once your token server is running and you've set up a client license, you can move on to testing the license.
You can test the state of the token server at any time, as well
as get a list of the clients that are currently using tokens, by typing
gurobi_cl --tokens.
