[Coin-discuss] make test segfaults on trunk of cbc on solaris with solaris c/cpp compilers

Sven de Vries devries at ma.tum.de
Tue Jul 17 14:49:48 EDT 2007


hi,

i just updated my local trunk version of cbc .

here is part of my environment:

uname -m = sun4u
uname -r = 5.8
uname -s = SunOS
uname -v = Generic_117350-31

/usr/bin/uname -p = sparc
/bin/uname -X     = System = SunOS
Release = 5.8
KernelID = Generic_117350-31
Machine = sun4u
BusType = <unknown>
Serial = <unknown>
Users = <unknown>
OEM# = 0
Origin# = 1


...
configure:2949: C compiler options are: -xO4  -DNDEBUG
configure:3078: checking for CC
configure:3094: found /opt/SUNWspro/bin/CC

cc: Sun C 5.8 2005/10/13
CC: Sun C++ 5.8 2005/10/13


doing a make distclean, configure,  make and make test results in:

segfault while doing bell5 and starting blend2:
FlowCover was tried 1 times and created 0 cuts of which 0 were active 
after adding rounds of cuts ( 0 seconds)
TwoMirCuts was tried 64 times and created 161 cuts of which 2 were active 
after adding rounds of cuts ( 0.05 seconds)
cbc_clp 8.96641e+06 = 8.96641e+06 ; okay - took 107.23 seconds.
   processing mps file: blend2 (5 out of 44)
gmake[2]: *** [test_cbc] Segmentation Fault
gmake[2]: Leaving directory 
`/home/sungritzmann2/devries/coin-Cbc/Cbc/test'
gmake[1]: *** [test] Error 2
gmake[1]: Leaving directory `/home/sungritzmann2/devries/coin-Cbc/Cbc'
gmake: *** [test] Error 2

(details follow below.)

just wanted to let you know.

best
sven


   processing mps file: bell5 (4 out of 44)
At line 15 NAME          BELL5
At line 16 ROWS
At line 109 COLUMNS
At line 308 RHS
At line 325 BOUNDS
At line 384 ENDATA
Problem BELL5 has 91 rows, 104 columns and 266 elements
Cgl0003I 0 fixed, 6 tightened bounds, 1 strengthened rows, 0 substitutions
Cgl0003I 0 fixed, 5 tightened bounds, 1 strengthened rows, 0 substitutions
Cgl0003I 0 fixed, 3 tightened bounds, 1 strengthened rows, 0 substitutions
Cgl0003I 0 fixed, 2 tightened bounds, 1 strengthened rows, 0 substitutions
Cgl0003I 0 fixed, 2 tightened bounds, 1 strengthened rows, 0 substitutions
Cgl0003I 0 fixed, 2 tightened bounds, 1 strengthened rows, 0 substitutions
Cgl0003I 0 fixed, 2 tightened bounds, 1 strengthened rows, 0 substitutions
Cgl0003I 0 fixed, 0 tightened bounds, 1 strengthened rows, 0 substitutions
Cgl0003I 0 fixed, 0 tightened bounds, 1 strengthened rows, 0 substitutions
Cgl0003I 0 fixed, 0 tightened bounds, 1 strengthened rows, 0 substitutions
Cgl0003I 0 fixed, 0 tightened bounds, 1 strengthened rows, 0 substitutions
Cgl0004I processed model has 85 rows, 101 columns (57 integer) and 251 
elements
Cbc0038I Pass   1: obj.    0.44490 --> up =     0 , down =     0 -- rand = 
9 (  10)
Cbc0038I Pass   2: obj.   -0.00000 --> up =     0 , down =     0 -- rand = 
0 (  24)  - solution found of 8.94235e+06 - clea
ned solution of 9.06338e+06
Cbc0038I Before mini branch and bound, 25 integers at bound fixed and 15 
continuous of which 1 were internal integer and 0 int
ernal continuous
Cbc0038I Mini branch and bound improved solution from 9.06338e+06 to 
9.06507e+06
Cbc0038I Freeing continuous variables gives a solution of 9.06507e+06
Cbc0038I Round again with cutoff of 9.06507e+06
Cbc0038I Pass   3: obj.    0.44490 --> up =     0 , down =     0 -- rand = 
9 (  25)
Cbc0038I Pass   4: obj.   -0.00000 --> up =     0 , down =     0 -- rand = 
0 (  20)  - solution found of 9.07963e+06 - not
good enough
Cbc0038I No solution found this major pass
Cbc0038I Before mini branch and bound, 24 integers at bound fixed and 12 
continuous of which 1 were internal integer and 0 int
ernal continuous
Cbc0038I Mini branch and bound improved solution from 9.07963e+06 to 
9.06241e+06
Cbc0012I Integer solution of 9.06241e+06 found by feasibility pump after 0 
iterations and 0 nodes (1.33 seconds)
Cbc0031I 16 added rows had average density of 34
Cbc0013I At root node, 16 cuts changed objective from 8.60842e+06 to 
8.94755e+06 in 65 passes
Cbc0014I Cut generator 0 (Probing) - 73 row cuts (2 active), 22 column 
cuts  in 0.51 seconds - new frequency is 1
Cbc0014I Cut generator 1 (Gomory) - 664 row cuts (11 active), 0 column 
cuts  in 0.1 seconds - new frequency is 1
Cbc0014I Cut generator 2 (Knapsack) - 0 row cuts (0 active), 0 column cuts 
in 0.12 seconds - new frequency is -100
Cbc0014I Cut generator 3 (Clique) - 0 row cuts (0 active), 0 column cuts 
in 0 seconds - new frequency is -100
Cbc0014I Cut generator 4 (MixedIntegerRounding2) - 36 row cuts (1 active), 
0 column cuts  in 0.12 seconds - new frequency is -
100
Cbc0014I Cut generator 5 (FlowCover) - 0 row cuts (0 active), 0 column 
cuts  in 0 seconds - new frequency is -100
Cbc0014I Cut generator 6 (TwoMirCuts) - 161 row cuts (2 active), 0 column 
cuts  in 0.05 seconds - new frequency is -100
Cbc0010I After 0 nodes, 1 on tree, 9.06241e+06 best solution, best 
possible 1 (2.51 seconds)
Cbc0012I Integer solution of 9.03445e+06 found by rounding after 607 
iterations and 1 nodes (2.54 seconds)
Cbc0012I Integer solution of 9.02779e+06 found by rounding after 1066 
iterations and 6 nodes (2.98 seconds)
Cbc0004I Integer solution of 9.02746e+06 found after 1323 iterations and 
28 nodes (3.25 seconds)
Cbc0012I Integer solution of 9.01784e+06 found by rounding after 2077 
iterations and 37 nodes (3.85 seconds)
Cbc0012I Integer solution of 9.00955e+06 found by rounding after 2141 
iterations and 39 nodes (3.95 seconds)
Cbc0012I Integer solution of 8.9973e+06 found by rounding after 2666 
iterations and 54 nodes (4.62 seconds)
Cbc0012I Integer solution of 8.96772e+06 found by rounding after 3845 
iterations and 78 nodes (5.72 seconds)
Cbc0012I Integer solution of 8.96759e+06 found by rounding after 6930 
iterations and 433 nodes (9.19 seconds)
Cbc0004I Integer solution of 8.96693e+06 found after 8478 iterations and 
606 nodes (10.82 seconds)
Cbc0010I After 1000 nodes, 260 on tree, 8.96693e+06 best solution, best 
possible 1 (14.38 seconds)
Cbc0010I After 2000 nodes, 482 on tree, 8.96693e+06 best solution, best 
possible 1 (21.36 seconds)
Cbc0010I After 3000 nodes, 686 on tree, 8.96693e+06 best solution, best 
possible 1 (27.72 seconds)
Cbc0010I After 4000 nodes, 869 on tree, 8.96693e+06 best solution, best 
possible 1 (32.88 seconds)
Cbc0010I After 5000 nodes, 987 on tree, 8.96693e+06 best solution, best 
possible 1 (38.45 seconds)
Cbc0012I Integer solution of 8.96682e+06 found by rounding after 33310 
iterations and 5891 nodes (42.72 seconds)
Cbc0010I After 6000 nodes, 1086 on tree, 8.96682e+06 best solution, best 
possible 1 (43.57 seconds)
Cbc0012I Integer solution of 8.96641e+06 found by rounding after 36792 
iterations and 6725 nodes (47.45 seconds)
Cbc0010I After 7000 nodes, 1098 on tree, 8.96641e+06 best solution, best 
possible 1 (48.96 seconds)
Cbc0010I After 8000 nodes, 1145 on tree, 8.96641e+06 best solution, best 
possible 1 (53.15 seconds)
Cbc0004I Integer solution of 8.96641e+06 found after 43152 iterations and 
8988 nodes (58.17 seconds)
Cbc0010I After 9000 nodes, 1169 on tree, 8.96641e+06 best solution, best 
possible 1 (58.22 seconds)
Cbc0010I After 10000 nodes, 1183 on tree, 8.96641e+06 best solution, best 
possible 1 (62.37 seconds)
Cbc0010I After 11000 nodes, 1207 on tree, 8.96641e+06 best solution, best 
possible 1 (65.97 seconds)
Cbc0010I After 12000 nodes, 1197 on tree, 8.96641e+06 best solution, best 
possible 1 (69.81 seconds)
Cbc0010I After 13000 nodes, 1213 on tree, 8.96641e+06 best solution, best 
possible 1 (73.49 seconds)
Cbc0010I After 14000 nodes, 1003 on tree, 8.96641e+06 best solution, best 
possible 1 (76.23 seconds)
Cbc0010I After 15000 nodes, 1032 on tree, 8.96641e+06 best solution, best 
possible 1 (80.53 seconds)
Cbc0010I After 16000 nodes, 988 on tree, 8.96641e+06 best solution, best 
possible 1 (84.53 seconds)
Cbc0010I After 17000 nodes, 855 on tree, 8.96641e+06 best solution, best 
possible 1 (88.27 seconds)
Cbc0010I After 18000 nodes, 656 on tree, 8.96641e+06 best solution, best 
possible 1 (91.69 seconds)
Cbc0010I After 19000 nodes, 512 on tree, 8.96641e+06 best solution, best 
possible 1 (95.30 seconds)
Cbc0010I After 20000 nodes, 334 on tree, 8.96641e+06 best solution, best 
possible 1 (99.17 seconds)
Cbc0010I After 21000 nodes, 111 on tree, 8.96641e+06 best solution, best 
possible 1 (105.01 seconds)
Cbc0001I Search completed - best objective 8.96641e+06, took 68284 
iterations and 21728 nodes (107.18 seconds)
Cbc0032I Strong branching done 9938 times (16831 iterations), fathomed 
1948 nodes and fixed 1089 variables
Cbc0035I Maximum depth 40, 17030 variables fixed on reduced cost
Cuts at root node changed objective from 8.60842e+06 to 8.94755e+06
Probing was tried 16638 times and created 992 cuts of which 807 were 
active after adding rounds of cuts ( 11.94 seconds)
Gomory was tried 16181 times and created 34495 cuts of which 3867 were 
active after adding rounds of cuts ( 8.27 seconds)
Knapsack was tried 65 times and created 0 cuts of which 0 were active 
after adding rounds of cuts ( 0.12 seconds)
Clique was tried 65 times and created 0 cuts of which 0 were active after 
adding rounds of cuts ( 0 seconds)
MixedIntegerRounding2 was tried 65 times and created 36 cuts of which 1 
were active after adding rounds of cuts ( 0.12 seconds
)
FlowCover was tried 1 times and created 0 cuts of which 0 were active 
after adding rounds of cuts ( 0 seconds)
TwoMirCuts was tried 64 times and created 161 cuts of which 2 were active 
after adding rounds of cuts ( 0.05 seconds)
cbc_clp 8.96641e+06 = 8.96641e+06 ; okay - took 107.23 seconds.
   processing mps file: blend2 (5 out of 44)
gmake[2]: *** [test_cbc] Segmentation Fault
gmake[2]: Leaving directory 
`/home/sungritzmann2/devries/coin-Cbc/Cbc/test'
gmake[1]: *** [test] Error 2
gmake[1]: Leaving directory `/home/sungritzmann2/devries/coin-Cbc/Cbc'
gmake: *** [test] Error 2




More information about the Coin-discuss mailing list