<html>

<head>

<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">

</head>

<body dir="auto">

Hi Romain,

<div><br>

</div>

<div>TimeLimit is a double I think, so try</div>

<div><br>

</div>

<div>{ ‘TimeLimit’: 60.0 }</div>

<div><br>

</div>

<div>Hope this helps, Mike<br>

<div><br>

On 20/04/2018, at 6:59 AM, Romain Montagné <<a href="mailto:romain.montagne@polymtl.ca">romain.montagne@polymtl.ca</a>> wrote:<br>

<br>

</div>

<blockquote type="cite">

<div>Hello Dip(py) community,

<div class=""><br class="">

</div>

<div class="">I am trying to set a time limit for a Dippy problem to 60 seconds, something like : </div>

<div class=""><br class="">

</div>

<div class=""><i class="">dippy.Solve(prob, {timeLimit : ’60’} ) </i></div>

<div class=""><i class=""><br class="">

</i></div>

<div class="">Here is a copy of the log message that I get with this syntax :</div>

<div class=""><br class="">

</div>

<div class="">

<div style="margin: 0cm 0cm 0.0001pt; font-family: Calibri, sans-serif;" class="">

<i class=""><font size="2" class="">Alps0250I Starting search ...</font></i></div>

<div style="margin: 0cm 0cm 0.0001pt; font-family: Calibri, sans-serif;" class="">

<i class=""><font size="2" class="">Alps0230I <b class="">Reached time limit.</b> 0 nodes processed, 1 nodes left<o:p class=""></o:p></font></i></div>

<div style="margin: 0cm 0cm 0.0001pt; font-family: Calibri, sans-serif;" class="">

<i class=""><font size="2" class="">Alps0262I No solution found<o:p class=""></o:p></font></i></div>

<div style="margin: 0cm 0cm 0.0001pt; font-family: Calibri, sans-serif;" class="">

<i class=""><font size="2" class="">Alps0264I Number of nodes processed:                0<o:p class=""></o:p></font></i></div>

<div style="margin: 0cm 0cm 0.0001pt; font-family: Calibri, sans-serif;" class="">

<i class=""><font size="2" class="">Alps0267I Number of nodes branched:                 0<o:p class=""></o:p></font></i></div>

<div style="margin: 0cm 0cm 0.0001pt; font-family: Calibri, sans-serif;" class="">

<i class=""><font size="2" class="">Alps0268I Number of nodes pruned before processing: 0<o:p class=""></o:p></font></i></div>

<div style="margin: 0cm 0cm 0.0001pt; font-family: Calibri, sans-serif;" class="">

<i class=""><font size="2" class="">Alps0270I Number of nodes left:                     1<o:p class=""></o:p></font></i></div>

<div style="margin: 0cm 0cm 0.0001pt; font-family: Calibri, sans-serif;" class="">

<i class=""><font size="2" class="">Alps0272I Tree depth: 0<o:p class=""></o:p></font></i></div>

<div style="margin: 0cm 0cm 0.0001pt; font-family: Calibri, sans-serif;" class="">

<i class=""><font size="2" class="">Alps0274I <b class="">Search CPU time: 0.00 seconds</b><o:p class=""></o:p></font></i></div>

<div style="margin: 0cm 0cm 0.0001pt; font-family: Calibri, sans-serif;" class="">

<i class=""><font size="2" class="">Alps0278I <b class="">Search wall-clock time: 0.00 seconds</b></font></i></div>

</div>

<div class=""><br class="">

</div>

<div class="">So I suppose the option was taken into account by DIP, as it is written Ť Reached time limit. ť However, the Search CPU/wall-clock times are stuck at 0.00 seconds. </div>

<div class=""><br class="">

</div>

<div class="">What is the proper way to set this time limit ?</div>

<div class=""><br class="">

</div>

<div class="">Many thanks for your help. Cheers,</div>

<div class=""><br class="">

</div>

<div class="">Romain Montagné, PhD</div>

</div>

</blockquote>

</div>

</body>

</html>