SMT-RAT  24.02
Toolbox for Strategic and Parallel Satisfiability-Modulo-Theories Solving
SlurmSettings.h
Go to the documentation of this file.
1 #pragma once
2 
4 
5 namespace benchmax {
6 namespace settings {
7 
8 /// Settings for the Slurm backend.
10  /// Number of array jobs within one job.
11  std::size_t array_size;
12  /// Size of one slice that is handled in one array job.
13  std::size_t slice_size;
14  /// Temporary directory for output files.
15  std::string tmp_dir;
16  /// Do not remove logs from file system if set to true.
17  bool keep_logs;
18  /// Puts logs to some archive.
19  std::string archive_log_file;
20  /// Additional options passed on to slurm.
21  std::string sbatch_options;
22  /// Delay between job submissions
23  carl::settings::duration submission_delay;
24 
25 };
26 
27 /// Registers Slurm settings with the settings parser.
29 }
30 
31 /// Return the Slurm settings.
32 inline const auto& settings_slurm() {
33  return settings_get<settings::SlurmBackendSettings>("backend-slurm");
34 }
35 
36 }
Generic class to manage settings parsing using boost::program_options.
void registerSlurmBackendSettings(SettingsParser *parser)
Registers Slurm settings with the settings parser.
const auto & settings_slurm()
Return the Slurm settings.
Definition: SlurmSettings.h:32
Settings for the Slurm backend.
Definition: SlurmSettings.h:9
carl::settings::duration submission_delay
Delay between job submissions.
Definition: SlurmSettings.h:23
std::string sbatch_options
Additional options passed on to slurm.
Definition: SlurmSettings.h:21
std::string archive_log_file
Puts logs to some archive.
Definition: SlurmSettings.h:19
std::string tmp_dir
Temporary directory for output files.
Definition: SlurmSettings.h:15
std::size_t slice_size
Size of one slice that is handled in one array job.
Definition: SlurmSettings.h:13
bool keep_logs
Do not remove logs from file system if set to true.
Definition: SlurmSettings.h:17
std::size_t array_size
Number of array jobs within one job.
Definition: SlurmSettings.h:11