<div><font style="BACKGROUND-COLOR:#c7edcc">Dear Professors,</font></div>
<div><font style="BACKGROUND-COLOR:#c7edcc">I have some troubles about the search log generated after the problem is solved.</font></div>
<div><font style="BACKGROUND-COLOR:#c7edcc">First, I would like to know the difference between wallclock and CPU time.</font></div>
<div><font style="BACKGROUND-COLOR:#c7edcc"></font> </div>
<div><font style="BACKGROUND-COLOR:#c7edcc">Second, there is these lines in the log file:</font></div>
<div><font style="BACKGROUND-COLOR:#c7edcc"></font> </div>
<div>Search CPU time (master) = 3.51222 seconds</div>
<div>Max CPU time (worker) = 5.32033<br>Min CPU time (worker) = 3.50822</div>
<div>Search wallclock time (master) = 6.65905 seconds</div>
<div>Max wallclock (worker) = 6.65418<br>Min wallclock (worker) = 6.65133</div>
<div> </div>
<div>Could you tell me the duration of master`s CPU time and wallclock? </div>
<div>Is  it the duration from the beginning to the end of the tree search?</div>
<div>And why the master`s CPU time is shorter than the Max CPU time of worker?</div>
<div>While the master`s wallclock is longer than the Max wallclock time of worker?</div>
<div> </div>
<div> </div>