[Scip] Problem with SCIP_OBJSENSE_MAXIMIZE

Rostislav Stanek rostislav.stanek at uni-graz.at
Fri Feb 13 15:32:35 CET 2015


Dear SCIP community,

I have the following problem:

By solving a minimization problem described as an ILP everything is 
working fine. Then I changed the signs by all objective function 
coefficients in order to obtain the corresponding maximization problem 
and everything is working fine as well. But by using the option

SCIPsetObjsense(sCIP, SCIP_OBJSENSE_MAXIMIZE);

an error occurs:

src/lpi/lpi_cpx.c:3900: SCIPlpiGetNorms: Assertion `lpi->messagehdlr != 
((void *)0)' failed.

Program received signal SIGABRT, Aborted.
0x00007ffff694f0d5 in __GI_raise (sig=<optimized out>) at 
../nptl/sysdeps/unix/sysv/linux/raise.c:64
64    ../nptl/sysdeps/unix/sysv/linux/raise.c: Adresář nebo soubor 
neexistuje.
(gdb) bt
#0  0x00007ffff694f0d5 in __GI_raise (sig=<optimized out>) at 
../nptl/sysdeps/unix/sysv/linux/raise.c:64
#1  0x00007ffff695283b in __GI_abort () at abort.c:91
#2  0x00007ffff6947d9e in __assert_fail_base (fmt=<optimized out>, 
assertion=0x1711318 "lpi->messagehdlr != ((void *)0)",
     file=0x17104d8 "src/lpi/lpi_cpx.c", line=<optimized out>, 
function=<optimized out>) at assert.c:94
#3  0x00007ffff6947e42 in __GI___assert_fail (assertion=0x1711318 
"lpi->messagehdlr != ((void *)0)", file=0x17104d8 "src/lpi/lpi_cpx.c", 
line=3900,
     function=0x17116a0 "SCIPlpiGetNorms") at assert.c:103
#4  0x0000000000ab6b73 in SCIPlpiGetNorms (lpi=0x22ccfd0, 
blkmem=0x20a4640, lpinorms=0x22da8a8) at src/lpi/lpi_cpx.c:3900
#5  0x000000000054a087 in SCIPlpGetNorms (lp=0x22bf8b0, 
blkmem=0x20a4640, lpinorms=0x22da8a8) at src/scip/lp.c:12228
#6  0x00000000006c18d9 in SCIPtreeStartProbing (tree=0x22da830, 
blkmem=0x20a4640, set=0x20a6660, lp=0x22bf8b0, strongbranching=0)
     at src/scip/tree.c:5954
#7  0x0000000000656258 in SCIPstartProbing (scip=0x209d360) at 
src/scip/scip.c:29494
#8  0x0000000000911c84 in performRandRounding (scip=0x209d360, 
heurdata=0x2201490, sol=0x2327910, cands=0x2b4dea0, ncands=62, propagate=1,
     result=0x7fffffffc818) at src/scip/heur_randrounding.c:94
#9  0x0000000000912707 in performLPRandRounding (scip=0x209d360, 
heurdata=0x2201490, heurtiming=2, propagate=1, result=0x7fffffffc818)
     at src/scip/heur_randrounding.c:320
#10 0x0000000000912d9c in heurExecRandrounding (scip=0x209d360, 
heur=0x2201520, heurtiming=2, nodeinfeasible=0, result=0x7fffffffc818)
     at src/scip/heur_randrounding.c:458
#11 0x000000000051060a in SCIPheurExec (heur=0x2201520, set=0x20a6660, 
primal=0x22da7a0, depth=0, lpstateforkdepth=-1, heurtiming=2,
     nodeinfeasible=0, ndelayedheurs=0x7fffffffc81c, 
result=0x7fffffffc818) at src/scip/heur.c:454
#12 0x0000000000699d8d in SCIPprimalHeuristics (set=0x20a6660, 
stat=0x209d450, prob=0x22db820, primal=0x22da7a0, tree=0x22da830, 
lp=0x22bf8b0,
     nextnode=0x0, heurtiming=2, nodeinfeasible=0, 
foundsol=0x7fffffffc9b0) at src/scip/solve.c:313
#13 0x00000000006a0c82 in priceAndCutLoop (blkmem=0x20a4640, 
set=0x20a6660, messagehdlr=0x0, stat=0x209d450, transprob=0x22db820,
     origprob=0x209e020, primal=0x22da7a0, tree=0x22da830, lp=0x22bf8b0, 
pricestore=0x2301e70, sepastore=0x2389280, cutpool=0x231f270,
     delayedcutpool=0x2302030, branchcand=0x22c1e10, conflict=0x22daa20, 
eventfilter=0x22b6040, eventqueue=0x225a3c0, initiallpsolved=0,
     cutoff=0x7fffffffd02c, unbounded=0x7fffffffd030, 
lperror=0x7fffffffce54, pricingaborted=0x7fffffffce50) at 
src/scip/solve.c:2271
#14 0x00000000006a3013 in solveNodeLP (blkmem=0x20a4640, set=0x20a6660, 
messagehdlr=0x0, stat=0x209d450, origprob=0x209e020, transprob=0x22db820,
     primal=0x22da7a0, tree=0x22da830, lp=0x22bf8b0, 
pricestore=0x2301e70, sepastore=0x2389280, cutpool=0x231f270, 
delayedcutpool=0x2302030,
     branchcand=0x22c1e10, conflict=0x22daa20, eventfilter=0x22b6040, 
eventqueue=0x225a3c0, initiallpsolved=0, newinitconss=0, 
cutoff=0x7fffffffd02c,
     unbounded=0x7fffffffd030, lperror=0x7fffffffce54, 
pricingaborted=0x7fffffffce50) at src/scip/solve.c:2788
#15 0x00000000006a5513 in propAndSolve (blkmem=0x20a4640, set=0x20a6660, 
messagehdlr=0x0, stat=0x209d450, origprob=0x209e020, transprob=0x22db820,
     primal=0x22da7a0, tree=0x22da830, lp=0x22bf8b0, 
relaxation=0x22d9110, pricestore=0x2301e70, sepastore=0x2389280, 
branchcand=0x22c1e10,
     cutpool=0x231f270, delayedcutpool=0x2302030, conflict=0x22daa20, 
eventfilter=0x22b6040, eventqueue=0x225a3c0, focusnode=0x2306ff0, 
actdepth=0,
     timingmask=1, propagate=1, solvelp=1, solverelax=1, 
forcedlpsolve=0, nlperrors=0x7fffffffce30, fullpropagation=0x7fffffffce48,
     propagateagain=0x7fffffffce44, initiallpsolved=0x7fffffffce38, 
solvelpagain=0x7fffffffce40, solverelaxagain=0x7fffffffce3c,
     cutoff=0x7fffffffd02c, unbounded=0x7fffffffd030, 
lperror=0x7fffffffce54, pricingaborted=0x7fffffffce50, 
forcedenforcement=0x7fffffffce58)
     at src/scip/solve.c:3442

Can you help me / explain it?

Thank you for your response in advance.

Yours sincerely,
Rostislav Stanek



More information about the Scip mailing list