SMT-RAT  24.02
Toolbox for Strategic and Parallel Satisfiability-Modulo-Theories Solving
SlurmUtilities.h File Reference
#include <carl-settings/settings_utils.h>
#include <benchmax/logging.h>
#include <chrono>
#include <filesystem>
#include <string>
#include <vector>
Include dependency graph for SlurmUtilities.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Data Structures

struct  benchmax::slurm::ArchiveProperties
 All properties needed to archive log files. More...
 
struct  benchmax::slurm::SubmitfileProperties
 All properties needed to create a submit file. More...
 
struct  benchmax::slurm::ChunkedSubmitfileProperties
 All properties needed to create a submit file. More...
 

Namespaces

 benchmax
 
 benchmax::slurm
 

Functions

void benchmax::slurm::archive_log_files (const ArchiveProperties &p)
 Put all log files into an archive. More...
 
std::vector< fs::path > benchmax::slurm::collect_result_files (const fs::path &basedir)
 Collects all result files in the given base directory for this job id. More...
 
std::string benchmax::slurm::generate_submit_file (const SubmitfileProperties &p)
 Generate a submit file for Slurm with the given properties. More...
 
std::string benchmax::slurm::generate_submit_file_chunked (const ChunkedSubmitfileProperties &p)
 
template<typename Jobs >
void benchmax::slurm::generate_jobs_file (const std::string &filename, std::pair< std::size_t, std::size_t > range, const Jobs &jobs)
 
int benchmax::slurm::parse_job_id (const std::string &output)
 Parses the job id from the output of sbatch. More...
 
std::string benchmax::slurm::parse_result_info (const std::string &content, const std::string &name)
 Parse a single result information from the output. More...
 
void benchmax::slurm::remove_log_files (const std::vector< fs::path > &files, bool remove)
 Remove the given list of files. More...
 
void benchmax::slurm::clear_directory (const fs::path &basedir)
 Clear log files from directory. More...
 
bool benchmax::slurm::is_job_finished (int jobid)
 Checks if the given job is finished. More...