Terminal Commands

Use the terminal to perform a variety of operations: run optimization solvers, query information about the selected Optimization Server, perform administrative tasks over an Optimization Server, etc. The table below shows the different commands available. You can also type help in a terminal to get a similar table. For more detailed information about how to use a command, try entering command --help in the terminal, where 'command' is the name of the command you want to know more about.

Solver Execution Commands glpsol Run the GLPSOL solver locally in your browser. Basic usage:
glpsol -m model_file -d data_file
neos Submit a job to the NEOS server. Basic usage:
neos -m model_file -d data_file -c commands_file
ampl Run AMPL remotely in the selected PIFOP Optimization Server. Basic usage:
ampl my_file

Optimization Server Info Commands show-my-rights Display your permissions in the selected Optimization Server show-jobs1 Display list of jobs running at the selected Optimization Server show-usage1 Display memory and CPU usage at the selected Optimization Server show-users2 Display list of users allowed at the selected Optimization Server show-groups2 Display user groups configured at the selected Optimization Server
Optimization Server Admin Commands add-user2 Add user to an user group at the selected Optimization Server. Basic usage:
add-user username_or_email user_group
remove-user2 Remove user from an user group at the selected Optimization Server. Basic usage:
remove-user username_or_email user_group
kill2 Kill a job running at the selected Optimization Server. Use command show-jobs to get the id of a job. Basic usage:
kill job_id

Other Commands clear Clear terminal help Display list of available commands
1 Requires monitoring rights in the selected Optimization Server 2 Requires admin rights in the selected Optimization Server

Most commands are for interacting with the currently selected PIFOP Optimization Server. Use the Drop-Down List just above the terminal to select an Optimization Server:


TIP: You don't have to type your long command every time. Use the Repeat Last Command button located just above the terminal. And use the Up and Down arrow keys to navigate through the terminal input history instead of retyping a previously entered command.

Terms and Privacy Help Pricing About Contact us Server Status Twitter