<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
</head>
<body text="#000000" bgcolor="#FFFFFF">
<div class="moz-cite-prefix">The bug was a bit more subtle this
time. The small B&B found a solution with all variable
integer apart from one at 0.99999999215227509 and one at
9.3880305156922887e-07. Later on it found the correct optimum -
but threw<br>
it away as it thought it was not as good. At the end the
incorrect optimistic solution was thrown away but that part of
tree was not re-explored.<br>
<br>
Initially I got an assert in a cut generator as an element value
after preprocessing was > int_max! - so have added test in
CglZeroHalf<br>
<br>
I am changing code to stop doing small B&B at the first sign
of trouble.<br>
On 02/01/18 17:11, John Forrest wrote:<br>
</div>
<blockquote type="cite"
cite="mid:c57861fc-4471-3433-9f44-ad16385c352a@fastercoin.com">
<div class="moz-cite-prefix">Ryan,<br>
<br>
a) still bug with depth - will find and fix.<br>
b) I don't read the ?documentation? - if you do cbc and then
depth?? you will see that with no depth set the problem is
thought to be too big (> 500 variables). It says to switch
off then use depth -999.<br>
<br>
So my advice to set depth -100 was bad - it tried the small
B&B at a depth >200 - should be able to find bug.<br>
<br>
John<br>
On 02/01/18 13:59, Rhavar wrote:<br>
</div>
<blockquote type="cite"
cite="mid:x06xiGY81ABNasMEAOg76gm2cqdLDGGSLcEOcMmAnkt_tYBL8hxhDbE6wFrdeysvFt0iRM-vlmsJiENdwSB17i_6LUXwRPaNrpn8zKLXtdM=@protonmail.com">
<div>I think you're right. There is probably some bugs in my
code causing the models to be slightly different. <br>
</div>
<div><br>
</div>
<div>But try this: `<span class="s1">cbc no-SOS.lp solve
solution $`</span><br>
</div>
<div><br>
</div>
<div><span class="s1">Result - Optimal solution found</span><br>
</div>
<p class="p1"><span class="s1">Objective value:<span
class="Apple-converted-space"> </span>81001582.00000000</span><br>
</p>
<div><br>
</div>
<div>But trying with `<span class="s1">cbc no-SOS.lp depth -100
solve solution $`</span><br>
</div>
<div><br>
</div>
<p class="p2"><span class="s1">Result - Optimal solution found</span><br>
</p>
<div><span class="s1">Objective value:<span
class="Apple-converted-space"> </span>81009832.00000000</span><br>
</div>
<div><br>
</div>
<div><br>
</div>
<div><span class="s1">Giving a worse solution. I wonder if
that's related to the previous bug you fixed?</span><br>
</div>
<div><br>
</div>
<div><br>
</div>
<div class="protonmail_signature_block">
<div class="protonmail_signature_block-user">
<div>-Ryan<br>
</div>
</div>
<div class="protonmail_signature_block-proton
protonmail_signature_block-empty"><br>
</div>
</div>
</blockquote>
</blockquote>
<br>
</body>
</html>