<html><head><meta http-equiv="Content-Type" content="text/html charset=utf-8"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class="">Thanks Mike, this dit the trick :)<div class=""><br class=""></div><div class=""><br class=""><div><blockquote type="cite" class=""><div class="">Le 19 avr. 2018 à 21:56, Michael O'Sullivan <<a href="mailto:michael.osullivan@auckland.ac.nz" class="">michael.osullivan@auckland.ac.nz</a>> a écrit :</div><br class="Apple-interchange-newline"><div class="">
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1" class="">
<div dir="auto" class="">
Hi Romain,
<div class=""><br class="">
</div>
<div class="">TimeLimit is a double I think, so try</div>
<div class=""><br class="">
</div>
<div class="">{ ‘TimeLimit’: 60.0 }</div>
<div class=""><br class="">
</div>
<div class="">Hope this helps, Mike<br class="">
<div class=""><br class="">
On 20/04/2018, at 6:59 AM, Romain Montagné <<a href="mailto:romain.montagne@polymtl.ca" class="">romain.montagne@polymtl.ca</a>> wrote:<br class="">
<br class="">
</div>
<blockquote type="cite" class="">
<div class="">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>
</div>
</div></blockquote></div><br class=""></div></body></html>