</div><div class="memdoc">
<pre>
Maximum time to be spent by the solver to solve 'model'. If the server is
busy and the RPC's deadline_left is less than this, it will immediately
give up and return an error, without even trying to solve.
The client can use this to have a guarantee on how much time the
solver will spend on the problem (unless it finds and proves
an optimal solution more quickly).
If not specified, the time limit on the solver is the RPC's deadline_left.
</pre><p><code>optional double solver_