![]() |
SMT-RAT
24.02
Toolbox for Strategic and Parallel Satisfiability-Modulo-Theories Solving
|
All properties needed to create a submit file. More...
#include <SlurmUtilities.h>
Data Fields | |
std::string | file_suffix |
Suffix for job and submit file. More... | |
std::string | filename_jobs |
Filename of the job list file. More... | |
std::string | tmp_dir |
Temporary directory for log files. More... | |
carl::settings::duration | limit_time |
Time limit in seconds. More... | |
carl::settings::duration | grace_time |
Grace time in seconds. More... | |
carl::settings::binary_quantity | limit_memory |
Memory limit in megabytes. More... | |
std::size_t | tasks |
Number of tasks. More... | |
std::size_t | slices |
Number of slices. More... | |
All properties needed to create a submit file.
Definition at line 35 of file SlurmUtilities.h.
std::string benchmax::slurm::SubmitfileProperties::file_suffix |
Suffix for job and submit file.
Definition at line 37 of file SlurmUtilities.h.
std::string benchmax::slurm::SubmitfileProperties::filename_jobs |
Filename of the job list file.
Definition at line 39 of file SlurmUtilities.h.
carl::settings::duration benchmax::slurm::SubmitfileProperties::grace_time |
Grace time in seconds.
Definition at line 45 of file SlurmUtilities.h.
carl::settings::binary_quantity benchmax::slurm::SubmitfileProperties::limit_memory |
Memory limit in megabytes.
Definition at line 47 of file SlurmUtilities.h.
carl::settings::duration benchmax::slurm::SubmitfileProperties::limit_time |
Time limit in seconds.
Definition at line 43 of file SlurmUtilities.h.
std::size_t benchmax::slurm::SubmitfileProperties::slices |
Number of slices.
Definition at line 51 of file SlurmUtilities.h.
std::size_t benchmax::slurm::SubmitfileProperties::tasks |
Number of tasks.
Definition at line 49 of file SlurmUtilities.h.
std::string benchmax::slurm::SubmitfileProperties::tmp_dir |
Temporary directory for log files.
Definition at line 41 of file SlurmUtilities.h.