<br><font size=2 face="sans-serif">Sven,</font>
<br>
<br><font size=2 face="sans-serif">I will get round to looking at it. I
did to a lot of testing on threaded version but maybe some recent changes
have semi-broken it.</font>
<br>
<br><font size=2 face="sans-serif">May take some time. I probably
should work out some logging mode so that the run can be replayed with
solves finishing in same order, but even that may not find it.</font>
<br>
<br><font size=2 face="sans-serif">John</font>
<br>
<br>
<br>
<table width=100%>
<tr valign=top>
<td width=40%><font size=1 face="sans-serif"><b>Sven de Vries <devries@ma.tum.de></b>
</font>
<br><font size=1 face="sans-serif">Sent by: cbc-bounces@list.coin-or.org</font>
<p><font size=1 face="sans-serif">07/27/2007 04:05 PM</font>
<td width=59%>
<table width=100%>
<tr valign=top>
<td>
<div align=right><font size=1 face="sans-serif">To</font></div>
<td><font size=1 face="sans-serif">Cbc <cbc@list.coin-or.org></font>
<tr valign=top>
<td>
<div align=right><font size=1 face="sans-serif">cc</font></div>
<td>
<tr valign=top>
<td>
<div align=right><font size=1 face="sans-serif">Subject</font></div>
<td><font size=1 face="sans-serif">[Cbc] ./cbc -thread 4 -slog 63 -miplib
Segfaults</font></table>
<br>
<table>
<tr valign=top>
<td>
<td></table>
<br></table>
<br>
<br>
<br><tt><font size=2>Hi,<br>
<br>
with an updated trunk-version of cbc and threads enabled, I encounter on
<br>
sun a segfault:<br>
<br>
<br>
<br>
% ./cbc -thread 4 -slog 63 -miplib > t44c.log<br>
processing mps file: 10teams (1 out of 44)<br>
cbc_clp 924 = 924 ; okay - took 325.85 seconds.<br>
processing mps file: air03 (2 out of 44)<br>
cbc_clp 340160 = 340160 ; okay - took 40.36 seconds.<br>
processing mps file: bell3a (3 out of 44)<br>
cbc_clp 878430 = 878430 ; okay - took 49.8826 seconds.<br>
processing mps file: bell5 (4 out of 44)<br>
Segmentation fault<br>
<br>
<br>
the last lines of that logfile are:<br>
<br>
Cbc0038I Mini branch and bound improved solution from 9.07211e+06 to <br>
9.06465e+06<br>
Cbc0038I Freeing continuous variables gives a solution of 9.06465e+06<br>
Cbc0038I Round again with cutoff of 9.06465e+06<br>
Cbc0038I Pass 3: obj. 0.44490 --> up =
0 , down = 0 -- rand = 9 ( 25)<br>
Cbc0038I Pass 4: obj. -0.00000 --> up =
0 , down = 0 -- rand = 0 ( 20) -
solution found of 8.94337e+06 - not good enough after mini <br>
branch and bound<br>
Cbc0038I No solution found this major pass<br>
Cbc0038I Before mini branch and bound, 26 integers at bound fixed and 14
continuous of which 1 were internal integer and 0 internal continuous<br>
Cbc0038I Mini branch and bound improved solution from 8.94337e+06 to 9.04646e+06<br>
Cbc0012I Integer solution of 9.04646e+06 found by feasibility pump after
0 iterations and 0 nodes (1.48 seconds)<br>
<br>
<br>
the crash happens on bell5. it seems not to be fully reproducible and i
<br>
haven't managed (yet) to crash it with debug-binaries ...<br>
<br>
also, a hundred calls to<br>
./cbc ../../Data/miplib3/bell5.gz -thread 4 -slog 63 -solve<br>
didn't trigger it.<br>
<br>
another attempt with<br>
foreach i ( 0 1 2 3 4 5 6 7 8 9 )<br>
foreach j ( 0 1 2 3 4 5 6 7 8 9 )<br>
echo $i $j<br>
time ./cbc ../../Data/miplib3/bell5.gz -thread 4 -solve > b${i}${j}.log<br>
end<br>
end<br>
<br>
however was succesfull:<br>
..<br>
1 1<br>
69.92u 22.99s 0:31.46 295.3%<br>
1 2<br>
57.59u 18.76s 0:26.21 291.3%<br>
1 3<br>
75.86u 24.46s 0:33.58 298.7%<br>
1 4<br>
113.93u 38.68s 0:49.42 308.8%<br>
1 5<br>
Segmentation fault<br>
84.84u 30.05s 0:37.83 303.7%<br>
1 6<br>
68.14u 22.75s 0:30.32 299.7%<br>
1 7<br>
<br>
but<br>
<br>
grep Result b1[3456].log<br>
b13.log:Result - Finished objective 8.96641e+06 after 9821 nodes and 20296
iterations - took 75.7604 seconds<br>
b14.log:Result - Finished objective 8.96641e+06 after 18564 nodes and 33605
iterations - took 113.851 seconds<br>
b15.log:Result - Finished objective 8.96641e+06 after 12041 nodes and 23725
iterations - took 84.7418 seconds<br>
b16.log:Result - Finished objective 8.96641e+06 after 7435 nodes and 16379
iterations - took 68.0419 seconds<br>
<br>
yields no anomalies. so in this case it seems to be that cbc segfaults
<br>
only while exiting...<br>
<br>
best<br>
sven<br>
<br>
ps: here is my environment:<br>
uname -m = sun4u <br>
uname -r = 5.8 <br>
uname -s = SunOS <br>
uname -v = Generic_117350-31<br>
/usr/bin/uname -p = sparc <br>
/bin/uname -X = System = SunOS <br>
Release = 5.8 <br>
KernelID = Generic_117350-31 <br>
Machine = sun4u <br>
BusType = <unknown> <br>
Serial = <unknown> <br>
Users = <unknown> <br>
OEM# = 0 <br>
Origin# = 1<br>
<br>
...<br>
configure:2949: C compiler options are: -xO4 -DNDEBUG<br>
configure:3078: checking for CC<br>
configure:3094: found /opt/SUNWspro/bin/CC<br>
cc: Sun C 5.8 2005/10/13<br>
CC: Sun C++ 5.8 2005/10/13<br>
_______________________________________________<br>
Cbc mailing list<br>
Cbc@list.coin-or.org<br>
http://list.coin-or.org/mailman/listinfo/cbc<br>
</font></tt>
<br>