https://github.com/alexander-nadel/intel_sat_solver
Tip revision: 8a99f85649d80d06a6dddd61e1be5d38eac81997 authored by Alexander Nadel on 17 May 2023, 06:42:21 UTC
A major update, described in the SAT'23 paper Solving Huge Instances with Intel(R) SAT Solver
A major update, described in the SAT'23 paper Solving Huge Instances with Intel(R) SAT Solver
Tip revision: 8a99f85
BasicMemoryUsage.h
// Copyright(C) 2021 Intel Corporation
// SPDX - License - Identifier: MIT
#pragma once
#include <iostream>
#include <iomanip>
#ifdef _WIN32
#include <windows.h>
#include <psapi.h>
#else
#include <unistd.h>
#include <sys/resource.h>
#include <stdio.h>
#endif
namespace BasicMemUsage
{
static size_t GetPeakRSS()
{
#ifdef _WIN32
PROCESS_MEMORY_COUNTERS info;
GetProcessMemoryInfo(GetCurrentProcess(), &info, sizeof(info));
return (size_t)info.PeakWorkingSetSize;
#else
struct rusage rusage;
getrusage(RUSAGE_SELF, &rusage);
return (size_t)(rusage.ru_maxrss * 1024L);
#endif
}
static size_t GetPeakRSSMb()
{
return GetPeakRSS() >> (size_t)20;
}
static size_t GetCurrentRSS()
{
#ifdef _WIN32
PROCESS_MEMORY_COUNTERS info;
GetProcessMemoryInfo(GetCurrentProcess(), &info, sizeof(info));
return (size_t)info.WorkingSetSize;
#else
long rss = 0L;
FILE* fp = NULL;
if ((fp = fopen("/proc/self/statm", "r")) == NULL)
{
// Can't open
return 0;
}
if (fscanf(fp, "%*s%ld", &rss) != 1)
{
fclose(fp);
// Can't read
return 0;
}
fclose(fp);
return (size_t)rss * (size_t)sysconf(_SC_PAGESIZE);
#endif
}
static size_t GetCurrentRSSMb()
{
return GetCurrentRSS() >> (size_t)20;
}
};