<html xmlns:v="urn:schemas-microsoft-com:vml" xmlns:o="urn:schemas-microsoft-com:office:office" xmlns:w="urn:schemas-microsoft-com:office:word" xmlns:m="http://schemas.microsoft.com/office/2004/12/omml" xmlns="http://www.w3.org/TR/REC-html40">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
<meta name="Generator" content="Microsoft Word 15 (filtered medium)">
<style><!--
/* Font Definitions */
@font-face
{font-family:"Cambria Math";
panose-1:2 4 5 3 5 4 6 3 2 4;}
@font-face
{font-family:Calibri;
panose-1:2 15 5 2 2 2 4 3 2 4;}
@font-face
{font-family:"Segoe UI Emoji";
panose-1:2 11 5 2 4 2 4 2 2 3;}
@font-face
{font-family:"Segoe UI";
panose-1:2 11 5 2 4 2 4 2 2 3;}
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
{margin:0cm;
font-size:11.0pt;
font-family:"Calibri",sans-serif;
mso-ligatures:standardcontextual;}
a:link, span.MsoHyperlink
{mso-style-priority:99;
color:#0563C1;
text-decoration:underline;}
span.EmailStyle20
{mso-style-type:personal-reply;
font-family:"Calibri",sans-serif;
color:windowtext;}
.MsoChpDefault
{mso-style-type:export-only;
font-size:10.0pt;
mso-ligatures:none;}
@page WordSection1
{size:612.0pt 792.0pt;
margin:72.0pt 72.0pt 72.0pt 72.0pt;}
div.WordSection1
{page:WordSection1;}
--></style><!--[if gte mso 9]><xml>
<o:shapedefaults v:ext="edit" spidmax="1026" />
</xml><![endif]--><!--[if gte mso 9]><xml>
<o:shapelayout v:ext="edit">
<o:idmap v:ext="edit" data="1" />
</o:shapelayout></xml><![endif]-->
</head>
<body lang="EN-CA" link="#0563C1" vlink="#954F72" style="word-wrap:break-word">
<div class="WordSection1">
<p class="MsoNormal"><span style="mso-fareast-language:EN-US">It’s probably a good idea to return TRUE and FALSE. So you don’t invert the logic.
</span><span style="font-family:"Segoe UI Emoji",sans-serif;mso-fareast-language:EN-US">😉</span><span style="mso-fareast-language:EN-US"><o:p></o:p></span></p>
<p class="MsoNormal"><span style="mso-fareast-language:EN-US"><o:p> </o:p></span></p>
<div>
<div style="border:none;border-top:solid #E1E1E1 1.0pt;padding:3.0pt 0cm 0cm 0cm">
<p class="MsoNormal"><b><span lang="EN-US" style="mso-ligatures:none">From:</span></b><span lang="EN-US" style="mso-ligatures:none"> Brent Kimberley
<br>
<b>Sent:</b> Tuesday, January 30, 2024 10:21 AM<br>
<b>To:</b> Bayramoglu, Selin <sbayramoglu3@gatech.edu>; scip@zib.de<br>
<b>Subject:</b> RE: About valgrind error in finding a primal solution<o:p></o:p></span></p>
</div>
</div>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal"><span style="mso-fareast-language:EN-US">Candidate strawman<o:p></o:p></span></p>
<p class="MsoNormal"><span style="mso-fareast-language:EN-US"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="mso-fareast-language:EN-US">// test for vector overlap<o:p></o:p></span></p>
<p class="MsoNormal"><span style="mso-fareast-language:EN-US">Inline int vec_overlap_test(v1base, v2base, length) {<o:p></o:p></span></p>
<p class="MsoNormal"><span style="mso-fareast-language:EN-US"> If(v2base>= v1base && v2base <= v1base+length)|| (v2base>= v1base+length && v2base<= v1base+2*length)|| (v1base>= v2base && v1base <= v2base+length)|| (v1base >= v2base+length && v1base >= v2base+2*length){<o:p></o:p></span></p>
<p class="MsoNormal"><span style="mso-fareast-language:EN-US"> Return ~0<o:p></o:p></span></p>
<p class="MsoNormal"><span style="mso-fareast-language:EN-US">}<o:p></o:p></span></p>
<p class="MsoNormal"><span style="mso-fareast-language:EN-US">Return 0<o:p></o:p></span></p>
<p class="MsoNormal"><span style="mso-fareast-language:EN-US">}<o:p></o:p></span></p>
<p class="MsoNormal"><span style="mso-fareast-language:EN-US"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="mso-fareast-language:EN-US">// safe copy?<o:p></o:p></span></p>
<p class="MsoNormal"><span style="mso-fareast-language:EN-US">If vec_overlap(src,dest,length)</span><span lang="TR" style="color:#212121;mso-ligatures:none"> {<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="TR" style="color:#212121;mso-ligatures:none"> memcpy(src,dst,size)<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="TR" style="color:#212121;mso-ligatures:none">} else {<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="TR" style="color:#212121;mso-ligatures:none"> //todo align+reconcile philosophy+spec+reqt+design
</span><span lang="TR" style="font-family:"Segoe UI Emoji",sans-serif;color:#212121;mso-ligatures:none">😉</span><span lang="TR" style="color:#212121;mso-ligatures:none"><o:p></o:p></span></p>
<p class="MsoNormal"><span lang="TR" style="color:#212121;mso-ligatures:none"> //memove(src,dst,size) || datahazarddetected()<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="TR" style="color:#212121;mso-ligatures:none">}</span><span style="mso-fareast-language:EN-US"><o:p></o:p></span></p>
<p class="MsoNormal"><span style="mso-fareast-language:EN-US"><o:p> </o:p></span></p>
<div>
<div style="border:none;border-top:solid #E1E1E1 1.0pt;padding:3.0pt 0cm 0cm 0cm">
<p class="MsoNormal"><b><span lang="EN-US" style="mso-ligatures:none">From:</span></b><span lang="EN-US" style="mso-ligatures:none"> Scip <<a href="mailto:scip-bounces@zib.de">scip-bounces@zib.de</a>>
<b>On Behalf Of </b>Bayramoglu, Selin<br>
<b>Sent:</b> Tuesday, January 30, 2024 9:09 AM<br>
<b>To:</b> <a href="mailto:scip@zib.de">scip@zib.de</a><br>
<b>Subject:</b> [SCIP] About valgrind error in finding a primal solution<o:p></o:p></span></p>
</div>
</div>
<p class="MsoNormal"><o:p> </o:p></p>
<table class="MsoNormalTable" border="0" cellspacing="0" cellpadding="0" align="left" width="100%" style="width:100.0%">
<tbody>
<tr>
<td style="background:#A6A6A6;padding:5.25pt 1.5pt 5.25pt 1.5pt"></td>
<td width="100%" style="width:100.0%;background:#EAEAEA;padding:5.25pt 3.75pt 5.25pt 11.25pt">
<div>
<p class="MsoNormal" style="mso-element:frame;mso-element-frame-hspace:2.25pt;mso-element-wrap:around;mso-element-anchor-vertical:paragraph;mso-element-anchor-horizontal:column;mso-height-rule:exactly">
<span style="font-size:9.0pt;font-family:"Segoe UI",sans-serif;color:#212121;mso-ligatures:none">You don't often get email from
<a href="mailto:sbayramoglu3@gatech.edu">sbayramoglu3@gatech.edu</a>. <a href="https://aka.ms/LearnAboutSenderIdentification">
Learn why this is important</a><o:p></o:p></span></p>
</div>
</td>
<td width="75" style="width:56.25pt;background:#EAEAEA;padding:5.25pt 3.75pt 5.25pt 3.75pt;align:left">
</td>
</tr>
</tbody>
</table>
<div>
<p class="MsoNormal"><span lang="TR" style="color:#212121;mso-ligatures:none">Hello everyone,</span><span style="color:#212121;mso-ligatures:none"><o:p></o:p></span></p>
<p class="MsoNormal"><span lang="TR" style="color:#212121;mso-ligatures:none"> </span><span style="color:#212121;mso-ligatures:none"><o:p></o:p></span></p>
<p class="MsoNormal"><span lang="TR" style="color:#212121;mso-ligatures:none">I am solving an MINLP with SCIP 8.0.0 with default options. I ran my code in Valgrind and just before the first primal solution is found, I get the following Valgrind error:</span><span style="color:#212121;mso-ligatures:none"><o:p></o:p></span></p>
<p class="MsoNormal"><span lang="TR" style="color:#212121;mso-ligatures:none"> </span><span style="color:#212121;mso-ligatures:none"><o:p></o:p></span></p>
<p class="MsoNormal"><span lang="TR" style="color:#212121;mso-ligatures:none">==72859== Source and destination overlap in memcpy(0xce52388, 0xce52388, 4696)</span><span style="color:#212121;mso-ligatures:none"><o:p></o:p></span></p>
<p class="MsoNormal"><span lang="TR" style="color:#212121;mso-ligatures:none">==72859== at 0x4C320AD: memcpy@@GLIBC_2.14 (vg_replace_strmem.c:1119)</span><span style="color:#212121;mso-ligatures:none"><o:p></o:p></span></p>
<p class="MsoNormal"><span lang="TR" style="color:#212121;mso-ligatures:none">==72859== by 0x4EF09C7: BMScopyMemory_call (memory.c:552)</span><span style="color:#212121;mso-ligatures:none"><o:p></o:p></span></p>
<p class="MsoNormal"><span lang="TR" style="color:#212121;mso-ligatures:none">==72859== by 0x536D0CB: nlpiSetInitialGuessIpopt(Scip*, SCIP_Nlpi*, SCIP_NlpiProblem*, double*, double*, double*, double*) (nlpi_ipopt.cpp:1393)</span><span style="color:#212121;mso-ligatures:none"><o:p></o:p></span></p>
<p class="MsoNormal"><span lang="TR" style="color:#212121;mso-ligatures:none">==72859== by 0x58A4A73: SCIPnlpiSetInitialGuess (nlpi.c:517)</span><span style="color:#212121;mso-ligatures:none"><o:p></o:p></span></p>
<p class="MsoNormal"><span lang="TR" style="color:#212121;mso-ligatures:none">==72859== by 0x5943627: SCIPsetNlpiInitialGuess (scip_nlpi.c:356)</span><span style="color:#212121;mso-ligatures:none"><o:p></o:p></span></p>
<p class="MsoNormal"><span lang="TR" style="color:#212121;mso-ligatures:none">==72859== by 0x52B0B35: heurExec (heur_mpec.c:471)</span><span style="color:#212121;mso-ligatures:none"><o:p></o:p></span></p>
<p class="MsoNormal"><span lang="TR" style="color:#212121;mso-ligatures:none">==72859== by 0x52B15E6: heurExecMpec (heur_mpec.c:663)</span><span style="color:#212121;mso-ligatures:none"><o:p></o:p></span></p>
<p class="MsoNormal"><span lang="TR" style="color:#212121;mso-ligatures:none">==72859== by 0x56FFC19: SCIPheurExec (heur.c:1303)</span><span style="color:#212121;mso-ligatures:none"><o:p></o:p></span></p>
<p class="MsoNormal"><span lang="TR" style="color:#212121;mso-ligatures:none">==72859== by 0x59DF058: SCIPprimalHeuristics (solve.c:354)</span><span style="color:#212121;mso-ligatures:none"><o:p></o:p></span></p>
<p class="MsoNormal"><span lang="TR" style="color:#212121;mso-ligatures:none">==72859== by 0x59ED9C4: solveNode (solve.c:4215)</span><span style="color:#212121;mso-ligatures:none"><o:p></o:p></span></p>
<p class="MsoNormal"><span lang="TR" style="color:#212121;mso-ligatures:none">==72859== by 0x59F126E: SCIPsolveCIP (solve.c:4982)</span><span style="color:#212121;mso-ligatures:none"><o:p></o:p></span></p>
<p class="MsoNormal"><span lang="TR" style="color:#212121;mso-ligatures:none">==72859== by 0x59773CE: SCIPsolve (scip_solve.c:2745)</span><span style="color:#212121;mso-ligatures:none"><o:p></o:p></span></p>
<p class="MsoNormal"><span lang="TR" style="color:#212121;mso-ligatures:none">==72859== by 0x400DB9: runShell (cmain.c:50)</span><span style="color:#212121;mso-ligatures:none"><o:p></o:p></span></p>
<p class="MsoNormal"><span lang="TR" style="color:#212121;mso-ligatures:none">==72859== by 0x400E6E: main (cmain.c:71)</span><span style="color:#212121;mso-ligatures:none"><o:p></o:p></span></p>
<p class="MsoNormal"><span lang="TR" style="color:#212121;mso-ligatures:none">==72859==</span><span style="color:#212121;mso-ligatures:none"><o:p></o:p></span></p>
<p class="MsoNormal"><span lang="TR" style="color:#212121;mso-ligatures:none"> </span><span style="color:#212121;mso-ligatures:none"><o:p></o:p></span></p>
<p class="MsoNormal"><span lang="TR" style="color:#212121;mso-ligatures:none">Please find attached the instance file. Many thanks for your help in advance.</span><span style="color:#212121;mso-ligatures:none"><o:p></o:p></span></p>
<p class="MsoNormal"><span style="color:#212121;mso-ligatures:none"> <o:p></o:p></span></p>
<p class="MsoNormal"><span lang="TR" style="color:#333333;mso-ligatures:none">Selin Bayramoglu</span><span style="color:#212121;mso-ligatures:none"><o:p></o:p></span></p>
</div>
</div>
THIS MESSAGE IS FOR THE USE OF THE INTENDED RECIPIENT(S) ONLY AND MAY CONTAIN INFORMATION THAT IS PRIVILEGED, PROPRIETARY, CONFIDENTIAL, AND/OR EXEMPT FROM DISCLOSURE UNDER ANY RELEVANT PRIVACY LEGISLATION. No rights to any privilege have been waived. If you
are not the intended recipient, you are hereby notified that any review, re-transmission, dissemination, distribution, copying, conversion to hard copy, taking of action in reliance on or other use of this communication is strictly prohibited. If you are not
the intended recipient and have received this message in error, please notify me by return e-mail and delete or destroy all copies of this message.
</body>
</html>