Stats</a> (<a class="el" href="classcom_1_1google_1_1ortools_1_1sat_1_1CpModelProto.html">com.google.ortools.sat.CpModelProto</a> model_proto)</td></tr>
<tr class="separator:aaff7a338c4e319bdc81e3936adccdf76"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:a8d468fc7812b3c3b22ebf22a933c984e"><td class="memItemLeft" align="right" valign="top">static String&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classcom_1_1google_1_1ortools_1_1sat_1_1SatHelper.html#a8d4