Below is the main menu displayed at the beginning of a new session:
******************************************************* * This is SYMPHONY Version 5.2.3 * * Copyright 2000-2010 Ted Ralphs * * All Rights Reserved. * * Distributed under the Common Public License 1.0 * ******************************************************* ***** WELCOME TO SYMPHONY INTERACTIVE MIP SOLVER ****** Please type 'help'/'?' to see the main commands! SYMPHONY:When you type help or ?, a list of main commands is displayed:
SYMPHONY: help List of main commands: load : read a problem in mps or ampl format solve : solve the problem lpsolve : solve the lp relaxation of the problem set : set a parameter display : display optimization results and stats reset : restart the optimizer help : show the available commands/params/options quit/exit : leave the optimizer SYMPHONY:Following is an illustration of a session to read in a sample instance:
SYMPHONY: load Name of the file: sample.mps Coin0001I At line 1 NAME SAMPLE Coin0001I At line 2 ROWS Coin0001I At line 6 COLUMNS Coin0001I At line 25 RHS Coin0001I At line 28 BOUNDS Coin0001I At line 34 ENDATA Coin0002I Problem SAMPLE has 2 rows, 6 columns and 10 elements SYMPHONY:The format of the input file is recognized from the file extension. If there is none, you will be prompted to define the input format:
SYMPHONY: load Name of the file: sample Type of the file ('mps'/'ampl'/'gmpl'): mps Coin0001I At line 1 NAME SAMPLE Coin0001I At line 2 ROWS Coin0001I At line 6 COLUMNS Coin0001I At line 25 RHS Coin0001I At line 28 BOUNDS Coin0001I At line 34 ENDATA Coin0002I Problem SAMPLE has 2 rows, 6 columns and 10 elements SYMPHONY:If the input is in AMPL/GMPL format, you will also be prompted to read in a data file (note again that in order to enable GMPL/AMPL reader, you have to install GLPK--see Section 2.2.2.3)):
SYMPHONY: load Name of the file: sample.mod Name of the data file: sample.dat Reading model section from sample.mod... 32 lines were read Reading data section from sample.dat... 68 lines were read Generating nb... Generating cost... Model has been successfully generated SYMPHONY:After loading the instance, type solve to solve the corresponding integer program or lpsolve to solve its linear relaxation:
SYMPHONY: solve ****** Found Better Feasible Solution ! ****** Cost: -40.000000 **************************************************** * Optimal Solution Found * **************************************************** SYMPHONY: lpsolve ****** Found Better Feasible Solution ! ****** Cost: -43.000000 **************************************************** * Optimal Solution Found * **************************************************** SYMPHONY:As above, only the objective values of the feasible solutions found so far and the termination code of the solution process will be displayed (see Section 3.1.4 for displaying more output).
Ted Ralphs