7.4 Input/Output¶
The logging and I/O features are provided mainly by the MOSEK task and to some extent by the MOSEK environment objects.
7.4.1 Stream logging¶
By default the solver runs silently and does not produce any output to the console or otherwise. However, the log output can be redirected to a user-defined output stream or stream callback function. The log output is analogous to the one produced by the command-line version of MOSEK.
The log messages are partitioned in three streams:
messages,
streamtype.msg
warnings,
streamtype.wrn
errors,
streamtype.err
These streams are aggregated in the streamtype.log
stream. A stream handler can be defined for each stream separately.
The Stream
class is used to receive text strings emitted to MOSEK‘s output streams. Extending Stream
is the way to customize the solver output. When a Stream
object is attached to a Task
stream using Task.set_Stream
, any text that is printed to that stream will be passed to the Stream.stream
method. For example:
task.set_Stream(mosek.streamtype.log,
new mosek.Stream()
{
public void stream(String msg)
{
System.out.print(msg);
}
});
The stream can be detached by calling
task.set_Stream(mosek.streamtype.log,
(mosek.Stream)null);
A log stream can also be redirected to a file:
task.linkfiletostream(mosek.streamtype.log, "mosek.log", 0);
After optimization is completed an additional short summary of the solution and optimization process can be printed to any stream using the method Task.solutionsummary
.
7.4.2 Log verbosity¶
The logging verbosity can be controlled by setting the relevant parameters, as for instance
iparam.log_sim
, and
Each parameter controls the output level of a specific functionality or algorithm. The main switch is iparam.log
which affect the whole output. The actual log level for a specific functionality is determined as the minimum between iparam.log
and the relevant parameter. For instance, the log level for the output produce by the interior-point algorithm is tuned by the iparam.log_intpnt
; the actual log level is defined by the minimum between iparam.log
and iparam.log_intpnt
.
Tuning the solver verbosity may require adjusting several parameters. It must be noticed that verbose logging is supposed to be of interest during debugging and tuning. When output is no more of interest, the user can easily disable it globally with iparam.log
. Larger values of iparam.log
do not necessarily result in increased output.
By default MOSEK will reduce the amount of log information after the first optimization on a given problem. To get full log output on subsequent re-optimizations set iparam.log_cut_second_opt
to zero.
7.4.3 Saving a problem to a file¶
An optimization problem can be dumped to a file using the method Task.writedata
. The file format will be determined from the extension of the filename. Supported formats are listed in Sec. 16 (Supported File Formats) together with a table of problem types supported by each.
For instance the problem can be written to a human-readable PTF file (see Sec. 16.5 (The PTF Format)) with
task.writedata("data.ptf");
All formats can be compressed with gzip
by appending the .gz
extension, and with ZStandard
by appending the .zst
extension, for example
task.writedata("data.task.gz");
Some remarks:
Unnamed variables are given generic names. It is therefore recommended to use meaningful variable names if the problem file is meant to be human-readable.
The
task
format is MOSEK’s native file format which contains all the problem data as well as solver settings.
7.4.4 Reading a problem from a file¶
A problem saved in any of the supported file formats can be read directly into a task using Task.readdata
. The task must be created in advance. Afterwards the problem can be optimized, modified, etc. If the file contained solutions, then are also imported, but the status of any solution will be set to solsta.unknown
(solutions can also be read separately using Task.readsolution
). If the file contains parameters, they will be set accordingly.
task = new mosek.Task(env, 0, 0);
try {
task.readdata("file.task.gz");
task.optimize();
} catch (mosek.Exception e) {
System.out.println("Problem reading the file");
}