ParaSolver extension for SCIP: Parallelized solver implementation for SCIP. More...

#include <cfloat>
#include <cstring>
#include <cstdlib>
#include <unistd.h>
#include <typeinfo>
#include <string>
#include <sstream>
#include "ug/paraInitialStat.h"
#include "ug_bb/bbParaComm.h"
#include "ug_bb/bbParaNode.h"
#include "ug_bb/bbParaInstance.h"
#include "ug_bb/bbParaSolver.h"
#include "ug_bb/bbParaSolution.h"
#include "ug_bb/bbParaSolverTerminationState.h"
#include "objscip/objscip.h"
#include "scipParaTagDef.h"
#include "scipParaParamSet.h"
#include "scipParaObjMessageHdlr.h"
#include "scipParaObjCommPointHdlr.h"
#include "scipParaObjLimitUpdator.h"
#include "scipParaObjProp.h"
#include "scipParaObjBranchRule.h"
#include "scipParaInitialStat.h"
#include "scipParaRacingRampUpParamSet.h"
#include "scipParaObjNodesel.h"
#include "scipParaObjSelfSplitNodesel.h"
#include "scip/scip.h"

Macros
#define	CONFLICTHDLR_NAME "conflictCollector"

#define	CONFLICTHDLR_DESC "conflict handler to collect conflicts"

#define	CONFLICTHDLR_PRIORITY +100000000

Functions
void	setUserPlugins (UG::ParaInstance *instance)

void	setUserPlugins (UG::ParaSolver *solver)

static	SCIP_DECL_CONFLICTEXEC (conflictExecCollector)

Variables
long long	virtualMemUsedAtLc

double	memoryLimitOfSolverSCIP

Detailed Description

ParaSolver extension for SCIP: Parallelized solver implementation for SCIP.

Author: Yuji Shinano

Definition in file scipParaSolver.cpp.

Macro Definition Documentation

◆ CONFLICTHDLR_DESC

#define CONFLICTHDLR_DESC "conflict handler to collect conflicts"

Definition at line 92 of file scipParaSolver.cpp.

◆ CONFLICTHDLR_NAME

#define CONFLICTHDLR_NAME "conflictCollector"

Definition at line 91 of file scipParaSolver.cpp.

◆ CONFLICTHDLR_PRIORITY

#define CONFLICTHDLR_PRIORITY +100000000

Definition at line 93 of file scipParaSolver.cpp.

Function Documentation

◆ SCIP_DECL_CONFLICTEXEC()

static SCIP_DECL_CONFLICTEXEC ( conflictExecCollector )

static

Definition at line 95 of file scipParaSolver.cpp.

References CONFLICTHDLR_NAME, ScipParaSolver::getConflictConsList(), ScipParaSolver::getOriginalIndex(), LocalNodeInfo_t::idxLinearCoefsVars, ScipParaSolver::isOriginalIndeciesMap(), LocalNodeInfo_t::linearCoefs, LocalNodeInfo_t::linearLhs, LocalNodeInfo_t::linearRhs, and LocalNodeInfo_t::nLinearCoefs.

◆ setUserPlugins() [1/2]

void setUserPlugins ( UG::ParaInstance * instance )

Definition at line 54 of file scipDefaultUserPlugins.cpp.

◆ setUserPlugins() [2/2]

void setUserPlugins ( UG::ParaSolver * solver )

this should not be used

Definition at line 63 of file scipDefaultUserPlugins.cpp.

Variable Documentation

◆ memoryLimitOfSolverSCIP

double memoryLimitOfSolverSCIP

extern

Definition at line 71 of file fscip.cpp.

Referenced by ScipParaSolver::ScipParaSolver().

◆ virtualMemUsedAtLc

long long virtualMemUsedAtLc