Skip to content

Commit bf9caa0

Browse files
committed
update w.r.t. changes in SCIP
1 parent 6cfdfbe commit bf9caa0

1 file changed

Lines changed: 31 additions & 27 deletions

File tree

check/configuration_tmpfile_setup_scipsdp.sh

Lines changed: 31 additions & 27 deletions
Original file line numberDiff line numberDiff line change
@@ -53,7 +53,7 @@ CLOCKTYPE="${21}" # - clocktype (1 = CPU, 2 = wallclock)
5353
SOLFILE=$CLIENTTMPDIR/${USER}-tmpdir/$SOLBASENAME.sol
5454

5555
# reset TMPFILE
56-
echo > $TMPFILE
56+
echo > ${TMPFILE}
5757

5858
# read in settings (even when using default, see bugzilla 600)
5959
SETTINGS=$SCIPPATH/../settings/$SETNAME.set
@@ -67,34 +67,34 @@ echo set load $SETTINGS >> $TMPFILE
6767
# set non-default feasibility tolerance
6868
if test $FEASTOL != "default"
6969
then
70-
echo set numerics feastol $FEASTOL >> $TMPFILE
70+
echo set numerics feastol $FEASTOL >> ${TMPFILE}
7171
fi
7272

7373
# if permutation counter is positive add permutation seed (0 = default)
7474
PERM=$(($p + $STARTPERM))
7575
if test $PERM -gt 0
7676
then
77-
echo set randomization permutationseed $PERM >> $TMPFILE
77+
echo set randomization permutationseed $PERM >> ${TMPFILE}
7878
fi
7979

8080
# set random seed shift
8181
SEED=$(($s + $GLBSEEDSHIFT))
8282
if test $SEED -gt 0
8383
then
84-
echo set randomization randomseedshift $SEED >> $TMPFILE
84+
echo set randomization randomseedshift $SEED >> ${TMPFILE}
8585
fi
8686

8787
# avoid solving LPs in case of LPS=none
8888
if test "$LPS" = "none"
8989
then
90-
echo set lp solvefreq -1 >> $TMPFILE
90+
echo set lp solvefreq -1 >> ${TMPFILE}
9191
fi
9292

9393
# set reference value
9494
if test "$OBJECTIVEVAL" != ""
9595
then
9696
#echo "Reference value $OBJECTIVEVAL"
97-
echo set misc referencevalue $OBJECTIVEVAL >> $TMPFILE
97+
echo set misc referencevalue $OBJECTIVEVAL >> ${TMPFILE}
9898
fi
9999

100100
INSTANCENAME=${INSTANCE%%.gz}
@@ -105,57 +105,61 @@ done
105105
INSTANCESETTINGSFILE=${INSTANCENAME}.set
106106
if test -f $INSTANCESETTINGSFILE
107107
then
108-
echo set load ${INSTANCESETTINGSFILE} >> $TMPFILE
108+
echo set load ${INSTANCESETTINGSFILE} >> ${TMPFILE}
109109
fi
110110

111111
if [ "${EMPHBENCHMARK}" = true ] ; then
112112
echo "set emphasis benchmark" >> "${TMPFILE}" # avoid switching to dfs etc. - better abort with memory error; this has to be first
113113
fi
114-
echo "set limits time ${TIMELIMIT}" >> $TMPFILE
115-
echo "set limits nodes ${NODELIMIT}" >> $TMPFILE
116-
echo "set limits memory ${MEMLIMIT}" >> $TMPFILE
117-
echo "set lp advanced threads ${THREADS}" >> $TMPFILE
118-
echo "set relaxing SDP advanced sdpsolverthreads ${THREADS}" >> $TMPFILE # adaptation for SCIPSDP
119-
echo "set timing clocktype ${CLOCKTYPE}" >> $TMPFILE
120-
echo "set display freq ${DISPFREQ}" >> $TMPFILE
121-
echo "set save ${SETFILE}" >> $TMPFILE
114+
echo "set limits time ${TIMELIMIT}" >> ${TMPFILE}
115+
echo "set limits nodes ${NODELIMIT}" >> ${TMPFILE}
116+
echo "set limits memory ${MEMLIMIT}" >> ${TMPFILE}
117+
if [[ "${OPTCOMMAND}" =~ ^concurrent ]] ; then
118+
echo "set parallel maxnthreads ${THREADS}" >> ${TMPFILE}
119+
else
120+
echo "set lp advanced threads ${THREADS}" >> ${TMPFILE}
121+
echo "set relaxing SDP advanced sdpsolverthreads ${THREADS}" >> ${TMPFILE} # adaptation for SCIPSDP
122+
fi
123+
echo "set timing clocktype ${CLOCKTYPE}" >> ${TMPFILE}
124+
echo "set display freq ${DISPFREQ}" >> ${TMPFILE}
125+
echo "set save ${SETFILE}" >> ${TMPFILE}
122126

123127
if test "$VISUALIZE" = true
124128
then
125129
BAKFILENAME="`basename $TMPFILE .tmp`.dat"
126130
echo visualization output set to "$BAKFILENAME"
127-
echo set visual bakfilename "$OUTPUTDIR/${BAKFILENAME}" >> $TMPFILE
131+
echo set visual bakfilename "$OUTPUTDIR/${BAKFILENAME}" >> ${TMPFILE}
128132
fi
129133

130134
if test "$REOPT" = false
131135
then
132136
# read and solve the instance
133-
echo read $INSTANCE >> $TMPFILE
137+
echo read $INSTANCE >> ${TMPFILE}
134138
INSTANCENAME=${INSTANCE%%.gz}
135139
# if a decomposition in gzipped format (.dec.gz) with the basename of the instance lies in the same directory,
136140
# read it into SCIP, as well
137141
DECOMP=${INSTANCENAME}.dec.gz
138142
if test -f $DECOMP
139143
then
140-
echo read $DECOMP >> $TMPFILE
144+
echo read $DECOMP >> ${TMPFILE}
141145
fi
142146
# set objective limit: optimal solution value from solu file, if existent
143147
if test $SETCUTOFF = 1 || test $SETCUTOFF = true
144148
then
145149
if test ""$OBJECTIVEVAL != ""
146150
then
147-
echo set limits objective $OBJECTIVEVAL >> $TMPFILE
151+
echo set limits objective $OBJECTIVEVAL >> ${TMPFILE}
148152
fi
149-
echo set heur emph off >> $TMPFILE
153+
echo set heur emph off >> ${TMPFILE}
150154
fi
151155

152-
echo display parameters >> $TMPFILE
153-
echo $OPTCOMMAND >> $TMPFILE
154-
echo display statistics >> $TMPFILE
155-
echo checksol >> $TMPFILE
156+
echo display parameters >> ${TMPFILE}
157+
echo $OPTCOMMAND >> ${TMPFILE}
158+
echo display statistics >> ${TMPFILE}
159+
echo checksol >> ${TMPFILE}
156160
else
157161
# read the difflist file
158-
cat $INSTANCE >> $TMPFILE
162+
cat $INSTANCE >> ${TMPFILE}
159163
fi
160164

161165
# currently, the solution checker only supports .mps-files.
@@ -165,6 +169,6 @@ TMPINSTANCE=`basename $INSTANCE .gz`
165169
TMPINSTANCEB=`basename $TMPINSTANCE .mps`
166170
if test "$TMPINSTANCEB" != "$TMPINSTANCE"
167171
then
168-
echo write sol $SOLFILE >> $TMPFILE
172+
echo write sol $SOLFILE >> ${TMPFILE}
169173
fi
170-
echo quit >> $TMPFILE
174+
echo quit >> ${TMPFILE}

0 commit comments

Comments
 (0)