Adds a --write-to-dir <directory> option to the command line script. This option copies logs to files following a {version}-{parameters}-{modelname}-{seed} naming scheme. Useful for tuner logs, or if a user just has a set of runs in the default gurobi.log file and wants to separate them.
@maliheha could you review this? The idea is to collect all the log lines in the active SingleLogParser, then when we move to the next log, write all those lines to a single file.
Adds a
--write-to-dir <directory>option to the command line script. This option copies logs to files following a{version}-{parameters}-{modelname}-{seed}naming scheme. Useful for tuner logs, or if a user just has a set of runs in the defaultgurobi.logfile and wants to separate them.@maliheha could you review this? The idea is to collect all the log lines in the active
SingleLogParser, then when we move to the next log, write all those lines to a single file.