SCIP

Description

From the SCIP Home Page: SCIP is currently one of the fastest non-commercial solvers for mixed integer programming (MIP) and mixed integer nonlinear programming (MINLP). It is also a framework for constraint integer programming and branch-cut-and-price. It allows for total control of the solution process and the access of detailed information down to the guts of the solver.

Version

  • 6.0.0a

Authorized Users

  • CIRCE account holders
  • SC account holders

Platforms

  • CIRCE cluster
  • SC cluster

Modules

SCIP requires the following module file to run:

  • apps/scip/6.0.0a

Running SCIP on CIRCE/SC

The SCIP user guide is essential to understanding the application and making the most of it. The guide and this page should help you to get started with your simulations. Please refer to the Documentation section for a link to the guide.

  • Note on CIRCE: Make sure to run your jobs from your $WORK directory!
  • Note: Scripts are provided as examples only. Your SLURM executables, tools, and options may vary from the example below. For help on submitting jobs to the queue, see our SLURM User’s Guide.

Jobs Shorter than 20 Minutes in Length

Once connected to CIRCE/SC, you can open SCIP using the steps below:

[user@login0 ~]$ module add apps/scip/3.1.1
[user@login0 ~]$ scip

Jobs Longer than 20 Minutes in Length

To run SCIP jobs on the CIRCE/SC cluster, users will need to submit their jobs to the scheduling environment if their jobs take more than 20 minutes to run on a standard PC.

If, for example, you have a SCIP batch file named batchfile.txt with all your functions defined in it, you would set up a submit script similar to the one below to use SCIP:

  • The script below (for testing, name it “scip-test.sh”) can be copied into your job directory (the folder with your input files) and modified so that you can submit batch processes to the queue.
#!/bin/bash
#
#SBATCH --comment=scip-test
#SBATCH --job-name=scip-test
#SBATCH --output=output.%j.scip-test
#SBATCH --time=00:30:00

#### SLURM 1 processor SCIP test to run for 30 minutes.

module purge
module load apps/scip/6.0.0a

scip -b batchfile.txt

 
Next, you can change to your job’s directory, and run the sbatch command to submit the job:

[user@login0 ~]$ cd my/jobdir
[user@login0 jobdir]$ sbatch ./abinit-test.sh
  • You can view the status of your job with the “squeue -u <username>” command

Documentation

Home Page, User Guides, and Manuals

More Job Information

See the following for more detailed job submission information:

Reporting Bugs

Report bugs with SCIP to the IT Help Desk: rc-help@usf.edu