[Cbc] Segmentation fault when providing initial solution in command line

[Miguel Santos Luque]

Hi All,

I am trying to run cbc through the command line with an initial solution
but it does not work depending on which other commands are specified.

First try without any other parameters is ok:

 ./Cbc-2.9.9/bin/cbc BARCELONA_from_20170104_to_20170119.lp -mips
BARCELONA_from_20170104_to_20170119.lp.split.solution solve
Welcome to the CBC MILP Solver
Version: 2.9.9
Build Date: Sep  6 2017
Revision Number: 2343

command line - ./Cbc-2.9.9/bin/cbc BARCELONA_from_20170104_to_20170119.lp
-mips BARCELONA_from_20170104_to_20170119.lp.split.solution solve (default
strategy 1)
 CoinLpIO::readLp(): Maximization problem reformulated as minimization
opening mipstart file
./BARCELONA_from_20170104_to_20170119.lp.split.solution.
MIPStart values read for 172 variables.
Continuous objective value is 54305.5 - 0.46 seconds
Cgl0003I 16 fixed, 0 tightened bounds, 2153 strengthened rows, 80
substitutions
Cgl0003I 0 fixed, 0 tightened bounds, 21 strengthened rows, 0 substitutions
Cgl0004I processed model has 22617 rows, 6027 columns (2931 integer (2931
of which binary)) and 52180 elements
Cbc0045I Trying just fixing integer variables.
Cbc0045I Warning: mipstart values could not be used to build a solution.
[...]

It fails when all parameters are indicated:

./Cbc-2.9.9/bin/cbc BARCELONA_from_20170104_to_20170119.lp -mips
BARCELONA_from_20170104_to_20170119.lp.split.solution -threads 6 -primalW
4.0 -cutD -1 -cutL -1 -depth -368617481 -passC 5248126 -passF 30 -passT 1
-pumpT 1005043 -slow 10 -strat 1 -strong 466436529 -trust 5 -chol native
-crash idiot5 -cross on -fact osl -perturb on -presolve on -scal auto
-clique onglobal -combine before -combine2 off -constraint off -cost 01f
-cuts on -Dins off -DivingS both -DivingC before -DivingF both -DivingG off
-DivingL off -DivingP off -DivingV before -dw off -feas both -flow on -GMI
off -gomory on -greedy on -heur on -knapsack on -lagomory endcleanroot
-latwomir off -lift off -local off -mixed on -node downdepth -pivotAndC
both -pivotAndF off -preprocess sos -probing on -proximity off -randomi
both -reduce off -reduce2 root -residual on -Rens off -Rins on -round on
-sos on -two on -Vnd off -zero ifmove -timeMode elapsed -sec 600 solve
-solu BARCELONA_from_20170104_to_20170119.lp.solution
Welcome to the CBC MILP Solver
Version: 2.9.9
Build Date: Sep  6 2017
Revision Number: 2343

Segmentation fault (core dumped)

But it is just ok without providing an initial solution:

./Cbc-2.9.9/bin/cbc BARCELONA_from_20170104_to_20170119.lp -threads 6
-primalW 4.0 -cutD -1 -cutL -1 -depth -368617481 -passC 5248126 -passF 30
-passT 1 -pumpT 1005043 -slow 10 -strat 1 -strong 466436529 -trust 5 -chol
native -crash idiot5 -cross on -fact osl -perturb on -presolve on -scal
auto -clique onglobal -combine before -combine2 off -constraint off -cost
01f -cuts on -Dins off -DivingS both -DivingC before -DivingF both -DivingG
off -DivingL off -DivingP off -DivingV before -dw off -feas both -flow on
-GMI off -gomory on -greedy on -heur on -knapsack on -lagomory endcleanroot
-latwomir off -lift off -local off -mixed on -node downdepth -pivotAndC
both -pivotAndF off -preprocess sos -probing on -proximity off -randomi
both -reduce off -reduce2 root -residual on -Rens off -Rins on -round on
-sos on -two on -Vnd off -zero ifmove -timeMode elapsed -sec 600 solve
-solu BARCELONA_from_20170104_to_20170119.lp.solution
Welcome to the CBC MILP Solver
Version: 2.9.9
Build Date: Sep  6 2017
Revision Number: 2343

command line - ./Cbc-2.9.9/bin/cbc BARCELONA_from_20170104_to_20170119.lp
-threads 6 -primalW 4.0 -cutD -1 -cutL -1 -depth -368617481 -passC 5248126
-passF 30 -passT 1 -pumpT 1005043 -slow 10 -strat 1 -strong 466436529
-trust 5 -chol native -crash idiot5 -cross on -fact osl -perturb on
-presolve on -scal auto -clique onglobal -combine before -combine2 off
-constraint off -cost 01f -cuts on -Dins off -DivingS both -DivingC before
-DivingF both -DivingG off -DivingL off -DivingP off -DivingV before -dw
off -feas both -flow on -GMI off -gomory on -greedy on -heur on -knapsack
on -lagomory endcleanroot -latwomir off -lift off -local off -mixed on
-node downdepth -pivotAndC both -pivotAndF off -preprocess sos -probing on
-proximity off -randomi both -reduce off -reduce2 root -residual on -Rens
off -Rins on -round on -sos on -two on -Vnd off -zero ifmove -timeMode
elapsed -sec 600 solve -solu BARCELONA_from_20170104_to_20170119.lp.solution
 CoinLpIO::readLp(): Maximization problem reformulated as minimization
threads was changed from 0 to 6
primalWeight was changed from 1e+10 to 4
depthMiniBab was changed from -1 to -368617481
passCuts was changed from 20 to 5248126
strongBranching was changed from 5 to 466436529
Option for crash changed from off to idiot5
Option for factorization changed from normal to osl
Option for cliqueCuts changed from ifmove to onglobal
Option for combineSolutions changed from off to before
Option for costStrategy changed from off to 01f!irst?
Option for DivingSome changed from off to both
Option for DivingCoefficient changed from on to before
Option for DivingFractional changed from off to both
Option for DivingVectorLength changed from off to before
Option for feasibilityPump changed from on to both
Option for lagomoryCuts changed from off to endcleanroot
Option for nodeStrategy changed from fewest to downdepth
Option for pivotAndComplement changed from off to both
Option for randomizedRounding changed from off to both
Option for reduce2AndSplitCuts changed from off to root
Option for residualCapacityCuts changed from off to on
Option for zeroHalfCuts changed from off to ifmove
Option for timeMode changed from cpu to elapsed
seconds was changed from 1e+100 to 600
Continuous objective value is 54305.5 - 4.57 seconds
Cgl0003I 16 fixed, 0 tightened bounds, 2153 strengthened rows, 80
substitutions
[...]

My .lp and .solution file are attached.

Thanks,
Miquel Santos
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://list.coin-or.org/pipermail/cbc/attachments/20171010/b4c16804/attachment-0001.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: BARCELONA_from_20170104_to_20170119.lp
Type: application/octet-stream
Size: 17443205 bytes
Desc: not available
URL: <http://list.coin-or.org/pipermail/cbc/attachments/20171010/b4c16804/attachment-0002.obj>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: BARCELONA_from_20170104_to_20170119.lp.split.solution
Type: application/octet-stream
Size: 8789 bytes
Desc: not available
URL: <http://list.coin-or.org/pipermail/cbc/attachments/20171010/b4c16804/attachment-0003.obj>