<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="">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></body></html>