![]() |
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 | array_size |
Array size. More... | |
std::size_t | slice_size |
Slice size. More... | |
std::pair< std::size_t, std::size_t > | job_range |
This slice size. More... | |
All properties needed to create a submit file.
Definition at line 62 of file SlurmUtilities.h.
std::size_t benchmax::slurm::ChunkedSubmitfileProperties::array_size |
Array size.
Definition at line 76 of file SlurmUtilities.h.
std::string benchmax::slurm::ChunkedSubmitfileProperties::file_suffix |
Suffix for job and submit file.
Definition at line 64 of file SlurmUtilities.h.
std::string benchmax::slurm::ChunkedSubmitfileProperties::filename_jobs |
Filename of the job list file.
Definition at line 66 of file SlurmUtilities.h.
carl::settings::duration benchmax::slurm::ChunkedSubmitfileProperties::grace_time |
Grace time in seconds.
Definition at line 72 of file SlurmUtilities.h.
std::pair<std::size_t,std::size_t> benchmax::slurm::ChunkedSubmitfileProperties::job_range |
This slice size.
Definition at line 80 of file SlurmUtilities.h.
carl::settings::binary_quantity benchmax::slurm::ChunkedSubmitfileProperties::limit_memory |
Memory limit in megabytes.
Definition at line 74 of file SlurmUtilities.h.
carl::settings::duration benchmax::slurm::ChunkedSubmitfileProperties::limit_time |
Time limit in seconds.
Definition at line 70 of file SlurmUtilities.h.
std::size_t benchmax::slurm::ChunkedSubmitfileProperties::slice_size |
Slice size.
Definition at line 78 of file SlurmUtilities.h.
std::string benchmax::slurm::ChunkedSubmitfileProperties::tmp_dir |
Temporary directory for log files.
Definition at line 68 of file SlurmUtilities.h.