Try our new documentation site (beta).
Administrative Commands
Gurobi Remote Services provides a number of administration features.
These allow you to check the status of a server, kill a running job,
etc. All are accessed through the gurobi_cl command-line tool.
Refer to this section (and
this subsection in particular) for
more information.
