SMT-RAT  24.02
Toolbox for Strategic and Parallel Satisfiability-Modulo-Theories Solving
SlurmSettings.cpp
Go to the documentation of this file.
1 #include "SlurmSettings.h"
2 
4 
5 namespace benchmax {
6 namespace settings {
7 
9  namespace po = boost::program_options;
10  auto& settings = settings::Settings::getInstance();
11  auto& s = settings.get<SlurmBackendSettings>("backend-slurm");
12 
13  parser->add("Slurm Backend settings").add_options()
14  ("slurm.array-size", po::value<std::size_t>(&s.array_size)->default_value(1000), "number of array jobs per job")
15  ("slurm.slice-size", po::value<std::size_t>(&s.slice_size)->default_value(10), "number of tasks per array job")
16  ("slurm.tmp-dir", po::value<std::string>(&s.tmp_dir)->default_value("/tmp/"), "temporary directory")
17  ("slurm.keep-logs", po::bool_switch(&s.keep_logs), "do not delete log files")
18  ("slurm.archive-logs", po::value<std::string>(&s.archive_log_file)->value_name("prefix")->default_value("logs"), "prefix for tgz archive filename")
19  ("slurm.sbatch-options", po::value<std::string>(&s.sbatch_options)->value_name("options"), "command line options for sbatch")
20  ("slurm.submit-delay", po::value<carl::settings::duration>(&s.submission_delay)->default_value(std::chrono::milliseconds(100))->value_name("time"), "delay between job submissions")
21  ;
22 }
23 }
24 }
Generic class to manage settings parsing using boost::program_options.
void registerSlurmBackendSettings(SettingsParser *parser)
Registers Slurm settings with the settings parser.
Settings for the Slurm backend.
Definition: SlurmSettings.h:9