[Coin-discuss] Cbc stable 1.1 segmentation fault

[Ashutosh Mahajan]

hi everyone,

Cbc stable release 1.1 seems to be throwing out segmentation faults on
miplib problems: markshare1 and 2, 10teams. There doesn't seem to be a
ticket for this issue.

[asm4 at shark build00]$ g++ --version
g++ (GCC) 4.1.2 20060901 (prerelease) (Debian 4.1.1-13)

[asm4 at shark build00]$ ./bin/cbc ~/instances/miplib2003/markshare1.mps
Coin Cbc and Clp Solver version 1.01.00, build Mar 21 2007
command line - ./bin/cbc /home/asm4/instances/miplib2003/markshare1.mps
At line 1 NAME           markshare1
At line 2 ROWS
At line 10 COLUMNS
At line 175 RHS
At line 179 BOUNDS
At line 236 ENDATA
Problem markshare1 has 6 rows, 62 columns and 312 elements
Model was imported from /home/asm4/instances/miplib2003/markshare1.mps in
-5.28549e-19 seconds
Optimal - objective value 0
Cgl0004I processed model has 6 rows, 56 columns (50 integer) and 306 elements
processed model has 6 rows, 56 columns and 306 elements
Optimal - objective value 0
50 integer variables and 6 variables could be made integer
Cbc0009I Objective coefficients multiple of 1
cutoff increment increased from 1e-05 to 0.999

pass   1: obj.    0.73143 --> up =     0 , down =     0 -- rand =    3 (  11)
pass   2: obj.    0.00000 --> up =     0 , down =     0 -- rand =    0 (  12)
- solution found
Cbc0030I solution of 638 found by CbcHeuristicGreedy after  0 seconds
Cbc0030I solution of 293 found by CbcHeuristicGreedy after  0 seconds
Cbc0012I Integer solution of 293 found by heuristic after 16 iterations and 0
nodes (0.02 seconds)
Cbc0013I At root node, 0 cuts changed objective from 0 to 0 in 100 passes
Cbc0014I Cut generator 0 (Probing) - 0 row cuts (0 active), 1 column cuts  in
0.260016 seconds - new frequency is -100
Cbc0014I Cut generator 1 (Gomory) - 560 row cuts (0 active), 0 column cuts  in
0.020001 seconds - new frequency is -100
Cbc0014I Cut generator 2 (Knapsack) - 0 row cuts (0 active), 0 column cuts  in
0.012 seconds - new frequency is -100
Cbc0014I Cut generator 3 (Reduce-and-split) - 480 row cuts (0 active), 0
column cuts  in 0.048003 seconds - new frequency is -100
Cbc0014I Cut generator 4 (Clique) - 0 row cuts (0 active), 0 column cuts  in
2.8257e-18 seconds - new frequency is -100
Cbc0014I Cut generator 5 (MixedIntegerRounding2) - 0 row cuts (0 active), 0
column cuts  in 2.8257e-18 seconds - new frequency is -100
Cbc0014I Cut generator 6 (FlowCover) - 403 row cuts (0 active), 0 column cuts
in 0.068007 seconds - new frequency is 1
Cbc0014I Cut generator 7 (TwoMirCuts) - 328 row cuts (0 active), 0 column cuts
in 0.008001 seconds - new frequency is -100
Cbc0010I After 0 nodes, 1 on tree, 293 best solution, best possible 0 (0.68
seconds)
Cbc0030I solution of 222 found by CbcHeuristicGreedy after  1 seconds
Cbc0012I Integer solution of 222 found by heuristic after 2118 iterations and
3 nodes (0.72 seconds)
Segmentation fault (core dumped)

--
regards
Ashutosh Mahajan
http://www.lehigh.edu/~asm4

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 189 bytes
Desc: Digital signature
URL: <http://list.coin-or.org/pipermail/coin-discuss/attachments/20070321/38f5065c/attachment.sig>