Port to use when connecting to the Gurobi token server. You should only change this if your network administrator tells
you to.