SMT-RAT  24.02
Toolbox for Strategic and Parallel Satisfiability-Modulo-Theories Solving
benchmax::slurm::SubmitfileProperties Struct Reference

All properties needed to create a submit file. More...

#include <SlurmUtilities.h>

Collaboration diagram for benchmax::slurm::SubmitfileProperties:

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...
 

Detailed Description

All properties needed to create a submit file.

Definition at line 35 of file SlurmUtilities.h.

Field Documentation

◆ file_suffix

std::string benchmax::slurm::SubmitfileProperties::file_suffix

Suffix for job and submit file.

Definition at line 37 of file SlurmUtilities.h.

◆ filename_jobs

std::string benchmax::slurm::SubmitfileProperties::filename_jobs

Filename of the job list file.

Definition at line 39 of file SlurmUtilities.h.

◆ grace_time

carl::settings::duration benchmax::slurm::SubmitfileProperties::grace_time

Grace time in seconds.

Definition at line 45 of file SlurmUtilities.h.

◆ limit_memory

carl::settings::binary_quantity benchmax::slurm::SubmitfileProperties::limit_memory

Memory limit in megabytes.

Definition at line 47 of file SlurmUtilities.h.

◆ limit_time

carl::settings::duration benchmax::slurm::SubmitfileProperties::limit_time

Time limit in seconds.

Definition at line 43 of file SlurmUtilities.h.

◆ slices

std::size_t benchmax::slurm::SubmitfileProperties::slices

Number of slices.

Definition at line 51 of file SlurmUtilities.h.

◆ tasks

std::size_t benchmax::slurm::SubmitfileProperties::tasks

Number of tasks.

Definition at line 49 of file SlurmUtilities.h.

◆ tmp_dir

std::string benchmax::slurm::SubmitfileProperties::tmp_dir

Temporary directory for log files.

Definition at line 41 of file SlurmUtilities.h.


The documentation for this struct was generated from the following file: