[Scip] zerohalf problems
James Cussens
james.cussens at york.ac.uk
Sun Mar 24 17:31:33 MET 2013
I think there's a problem when using the exact (sub-IP) approach to
finding zerohalf cuts.
For example, when running SCIP 3.0.1 with this scip.set
separating/zerohalf/freq = 1
separating/zerohalf/delay = TRUE
separating/zerohalf/separating/sepamethods = "S"
on bell5.mps I get the error shown in the attached output. I think
this is because the sub-IP
sets "display/nsols/active" to 2 but does not (normally) copy across
the 'displays' in the call to SCIPcopyPlugins.
Anyway, the problem goes away if I do make the copy. That is change if
I change line 4967 of sep_zerohalf.c from:
TRUE, TRUE, TRUE, TRUE, TRUE, TRUE, FALSE, FALSE, FALSE,
TRUE, &success) );
to
TRUE, TRUE, TRUE, TRUE, TRUE, TRUE, TRUE, FALSE, FALSE, TRUE,
&success) );
James
--
James Cussens
Dept of Computer Science &
York Centre for Complex Systems Analysis
Room 326, The Hub, Deramore Lane Tel +44 (0)1904 325371
University of York Fax +44
(0)1904 500159
York YO10 5GE, UK http://www.cs.york.ac.uk/~jc
http://www.york.ac.uk/docs/disclaimer/email.htm
-------------- next part --------------
darkstar ~/research/gobnilp ~/local/src/scipoptsuite-3.0.1/scip-3.0.1/bin/scip -f ~/local/src/scipoptsuite-3.0.1/scip-3.0.1/check/instances/MIP/bell5.mps
SCIP version 3.0.1 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.7.1] [GitHash: 9ee94b7]
Copyright (c) 2002-2013 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
External codes:
Readline 5.2 GNU library for command line editing (gnu.org/s/readline)
SoPlex 1.7.1 Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: b7affa1]
cppad-20120101.3 Algorithmic Differentiation of C++ algorithms developed by B. Bell (www.coin-or.org/CppAD)
ZLIB 1.2.6 General purpose compression library by J. Gailly and M. Adler (zlib.net)
GMP 5.0.5 GNU Multiple Precision Arithmetic Library developed by T. Granlund (gmplib.org)
ZIMPL 3.3.1 Zuse Institute Mathematical Programming Language developed by T. Koch (zimpl.zib.de)
reading user parameter file <scip.set>
read problem </home/jc/local/src/scipoptsuite-3.0.1/scip-3.0.1/check/instances/MIP/bell5.mps>
============
original problem has 104 variables (30 bin, 28 int, 0 impl, 46 cont) and 91 constraints
solve problem
=============
presolving:
(round 1) 2 del vars, 4 del conss, 0 add conss, 63 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 108 impls, 0 clqs
(round 2) 7 del vars, 11 del conss, 0 add conss, 71 chg bounds, 1 chg sides, 0 chg coeffs, 0 upgd conss, 108 impls, 0 clqs
(round 3) 8 del vars, 12 del conss, 0 add conss, 72 chg bounds, 1 chg sides, 0 chg coeffs, 0 upgd conss, 108 impls, 0 clqs
(round 4) 8 del vars, 12 del conss, 0 add conss, 100 chg bounds, 1 chg sides, 0 chg coeffs, 0 upgd conss, 108 impls, 0 clqs
(round 5) 14 del vars, 21 del conss, 0 add conss, 100 chg bounds, 1 chg sides, 11 chg coeffs, 0 upgd conss, 108 impls, 0 clqs
(round 6) 15 del vars, 22 del conss, 0 add conss, 100 chg bounds, 1 chg sides, 11 chg coeffs, 0 upgd conss, 108 impls, 0 clqs
(round 7) 15 del vars, 22 del conss, 0 add conss, 133 chg bounds, 1 chg sides, 11 chg coeffs, 0 upgd conss, 108 impls, 0 clqs
(round 8) 15 del vars, 24 del conss, 0 add conss, 133 chg bounds, 3 chg sides, 20 chg coeffs, 0 upgd conss, 108 impls, 0 clqs
(round 9) 15 del vars, 24 del conss, 0 add conss, 148 chg bounds, 3 chg sides, 20 chg coeffs, 0 upgd conss, 108 impls, 0 clqs
(round 10) 15 del vars, 24 del conss, 0 add conss, 148 chg bounds, 3 chg sides, 23 chg coeffs, 0 upgd conss, 108 impls, 0 clqs
(round 11) 15 del vars, 24 del conss, 0 add conss, 156 chg bounds, 3 chg sides, 23 chg coeffs, 0 upgd conss, 108 impls, 0 clqs
(round 12) 15 del vars, 24 del conss, 0 add conss, 156 chg bounds, 3 chg sides, 25 chg coeffs, 0 upgd conss, 108 impls, 0 clqs
(round 13) 15 del vars, 24 del conss, 0 add conss, 161 chg bounds, 3 chg sides, 25 chg coeffs, 0 upgd conss, 108 impls, 0 clqs
(round 14) 15 del vars, 24 del conss, 0 add conss, 161 chg bounds, 3 chg sides, 27 chg coeffs, 0 upgd conss, 108 impls, 0 clqs
(round 15) 15 del vars, 24 del conss, 0 add conss, 164 chg bounds, 3 chg sides, 27 chg coeffs, 0 upgd conss, 108 impls, 0 clqs
(round 16) 15 del vars, 24 del conss, 0 add conss, 164 chg bounds, 3 chg sides, 28 chg coeffs, 0 upgd conss, 108 impls, 0 clqs
(round 17) 15 del vars, 24 del conss, 0 add conss, 166 chg bounds, 3 chg sides, 28 chg coeffs, 0 upgd conss, 108 impls, 0 clqs
(round 18) 15 del vars, 24 del conss, 0 add conss, 167 chg bounds, 3 chg sides, 28 chg coeffs, 0 upgd conss, 108 impls, 0 clqs
(round 19) 15 del vars, 24 del conss, 0 add conss, 167 chg bounds, 3 chg sides, 28 chg coeffs, 28 upgd conss, 108 impls, 0 clqs
(round 20) 15 del vars, 28 del conss, 8 add conss, 167 chg bounds, 11 chg sides, 44 chg coeffs, 28 upgd conss, 173 impls, 0 clqs
(0.0s) probing cycle finished: starting next cycle
(round 21) 22 del vars, 28 del conss, 8 add conss, 174 chg bounds, 11 chg sides, 44 chg coeffs, 28 upgd conss, 244 impls, 0 clqs
(round 22) 23 del vars, 42 del conss, 8 add conss, 174 chg bounds, 11 chg sides, 44 chg coeffs, 28 upgd conss, 244 impls, 0 clqs
(round 23) 24 del vars, 46 del conss, 9 add conss, 174 chg bounds, 11 chg sides, 44 chg coeffs, 28 upgd conss, 244 impls, 0 clqs
(round 24) 24 del vars, 46 del conss, 9 add conss, 179 chg bounds, 11 chg sides, 44 chg coeffs, 28 upgd conss, 244 impls, 0 clqs
(round 25) 24 del vars, 46 del conss, 9 add conss, 185 chg bounds, 11 chg sides, 44 chg coeffs, 28 upgd conss, 244 impls, 0 clqs
(round 26) 24 del vars, 46 del conss, 9 add conss, 190 chg bounds, 11 chg sides, 44 chg coeffs, 28 upgd conss, 244 impls, 0 clqs
(round 27) 24 del vars, 47 del conss, 9 add conss, 190 chg bounds, 11 chg sides, 44 chg coeffs, 28 upgd conss, 244 impls, 0 clqs
(round 28) 24 del vars, 47 del conss, 9 add conss, 193 chg bounds, 11 chg sides, 44 chg coeffs, 28 upgd conss, 244 impls, 0 clqs
(round 29) 24 del vars, 47 del conss, 9 add conss, 194 chg bounds, 11 chg sides, 44 chg coeffs, 28 upgd conss, 244 impls, 0 clqs
(round 30) 24 del vars, 47 del conss, 9 add conss, 194 chg bounds, 11 chg sides, 44 chg coeffs, 30 upgd conss, 244 impls, 0 clqs
(0.0s) probing cycle finished: starting next cycle
(round 31) 46 del vars, 65 del conss, 9 add conss, 194 chg bounds, 11 chg sides, 44 chg coeffs, 30 upgd conss, 247 impls, 0 clqs
(0.0s) probing cycle finished: starting next cycle
presolving (32 rounds):
46 deleted vars, 65 deleted constraints, 9 added constraints, 194 tightened bounds, 0 added holes, 11 changed sides, 44 changed coefficients
247 implications, 0 cliques
presolved problem has 58 variables (16 bin, 16 int, 0 impl, 26 cont) and 35 constraints
11 constraints of type <varbound>
3 constraints of type <setppc>
21 constraints of type <linear>
Presolving Time: 0.03
time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
T 0.0s| 1 | 0 | 1 | - | 486k| 0 | - | 58 | 35 | 58 | 35 | 0 | 0 | 0 | -- | 9.117910e+06 | Inf
0.0s| 1 | 0 | 41 | - | 474k| 0 | 11 | 58 | 35 | 58 | 35 | 0 | 0 | 0 | 8.951800e+06 | 9.117910e+06 | 1.86%
0.0s| 1 | 0 | 41 | - | 475k| 0 | 11 | 58 | 35 | 58 | 35 | 0 | 0 | 0 | 8.951800e+06 | 9.117910e+06 | 1.86%
0.0s| 1 | 0 | 51 | - | 495k| 0 | 11 | 58 | 35 | 58 | 45 | 10 | 0 | 0 | 8.953286e+06 | 9.117910e+06 | 1.84%
0.0s| 1 | 0 | 51 | - | 497k| 0 | 11 | 58 | 35 | 58 | 45 | 10 | 0 | 0 | 8.953286e+06 | 9.117910e+06 | 1.84%
0.0s| 1 | 0 | 55 | - | 504k| 0 | 11 | 58 | 35 | 58 | 50 | 15 | 0 | 0 | 8.954333e+06 | 9.117910e+06 | 1.83%
0.0s| 1 | 0 | 55 | - | 505k| 0 | 11 | 58 | 35 | 58 | 50 | 15 | 0 | 0 | 8.954333e+06 | 9.117910e+06 | 1.83%
0.0s| 1 | 0 | 58 | - | 515k| 0 | 8 | 58 | 35 | 58 | 53 | 18 | 0 | 0 | 8.954831e+06 | 9.117910e+06 | 1.82%
0.0s| 1 | 0 | 59 | - | 521k| 0 | 7 | 58 | 35 | 58 | 54 | 19 | 0 | 0 | 8.955125e+06 | 9.117910e+06 | 1.82%
0.0s| 1 | 0 | 59 | - | 522k| 0 | 7 | 58 | 35 | 58 | 54 | 19 | 0 | 0 | 8.955125e+06 | 9.117910e+06 | 1.82%
0.0s| 1 | 0 | 63 | - | 528k| 0 | 6 | 58 | 35 | 58 | 58 | 23 | 0 | 0 | 8.955664e+06 | 9.117910e+06 | 1.81%
0.0s| 1 | 0 | 66 | - | 537k| 0 | 5 | 58 | 35 | 58 | 60 | 25 | 0 | 0 | 8.955784e+06 | 9.117910e+06 | 1.81%
s 0.0s| 1 | 0 | 66 | - | 538k| 0 | 5 | 58 | 35 | 58 | 60 | 25 | 0 | 0 | 8.955784e+06 | 9.027159e+06 | 0.80%
0.1s| 1 | 0 | 67 | - | 542k| 0 | 5 | 58 | 35 | 58 | 61 | 26 | 0 | 0 | 8.955863e+06 | 9.027159e+06 | 0.80%
0.1s| 1 | 0 | 67 | - | 542k| 0 | 5 | 58 | 35 | 58 | 61 | 26 | 0 | 0 | 8.955863e+06 | 9.027159e+06 | 0.80%
[src/scip/paramset.c:2016] ERROR: parameter <display/nsols/active> unknown
[src/scip/set.c:2095] ERROR: Error <-12> in function call
[src/scip/scip.c:3058] ERROR: Error <-12> in function call
[src/scip/sepa_zerohalf.c:4997] ERROR: Error <-12> in function call
[src/scip/sepa_zerohalf.c:5486] ERROR: Error <-12> in function call
[src/scip/sepa_zerohalf.c:6611] ERROR: Error <-12> in function call
[src/scip/sepa_zerohalf.c:7109] ERROR: Error <-12> in function call
[src/scip/sepa.c:386] ERROR: Error <-12> in function call
[src/scip/solve.c:1439] ERROR: Error <-12> in function call
[src/scip/solve.c:2188] ERROR: Error <-12> in function call
[src/scip/solve.c:2580] ERROR: Error <-12> in function call
[src/scip/solve.c:3190] ERROR: Error <-12> in function call
[src/scip/solve.c:3458] ERROR: Error <-12> in function call
[src/scip/solve.c:4060] ERROR: Error <-12> in function call
[src/scip/scip.c:12452] ERROR: Error <-12> in function call
[src/scip/scipshell.c:98] ERROR: Error <-12> in function call
[src/scip/scipshell.c:284] ERROR: Error <-12> in function call
[src/scip/scipshell.c:332] ERROR: Error <-12> in function call
SCIP Error (-12): the parameter with the given name was not found
More information about the Scip
mailing list