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

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

#include <SlurmUtilities.h>

Collaboration diagram for benchmax::slurm::ChunkedSubmitfileProperties:

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

Detailed Description

All properties needed to create a submit file.

Definition at line 62 of file SlurmUtilities.h.

Field Documentation

◆ array_size

std::size_t benchmax::slurm::ChunkedSubmitfileProperties::array_size

Array size.

Definition at line 76 of file SlurmUtilities.h.

◆ file_suffix

std::string benchmax::slurm::ChunkedSubmitfileProperties::file_suffix

Suffix for job and submit file.

Definition at line 64 of file SlurmUtilities.h.

◆ filename_jobs

std::string benchmax::slurm::ChunkedSubmitfileProperties::filename_jobs

Filename of the job list file.

Definition at line 66 of file SlurmUtilities.h.

◆ grace_time

carl::settings::duration benchmax::slurm::ChunkedSubmitfileProperties::grace_time

Grace time in seconds.

Definition at line 72 of file SlurmUtilities.h.

◆ job_range

std::pair<std::size_t,std::size_t> benchmax::slurm::ChunkedSubmitfileProperties::job_range

This slice size.

Definition at line 80 of file SlurmUtilities.h.

◆ limit_memory

carl::settings::binary_quantity benchmax::slurm::ChunkedSubmitfileProperties::limit_memory

Memory limit in megabytes.

Definition at line 74 of file SlurmUtilities.h.

◆ limit_time

carl::settings::duration benchmax::slurm::ChunkedSubmitfileProperties::limit_time

Time limit in seconds.

Definition at line 70 of file SlurmUtilities.h.

◆ slice_size

std::size_t benchmax::slurm::ChunkedSubmitfileProperties::slice_size

Slice size.

Definition at line 78 of file SlurmUtilities.h.

◆ tmp_dir

std::string benchmax::slurm::ChunkedSubmitfileProperties::tmp_dir

Temporary directory for log files.

Definition at line 68 of file SlurmUtilities.h.


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