 class="line"><a name="l00250"></a><span class="lineno">  250</span>&#160;  ::PROTOBUF_NAMESPACE_ID::int64 time_;</div>
<div class="line"><a name="l00251"></a><span class="lineno">  251</span>&#160;  ::PROTOBUF_NAMESPACE_ID::int64 branches_;</div>
<div class="line"><a name="l00252"></a><span class="lineno">  252</span>&#160;  ::PROTOBUF_NAMESPACE_ID::int64 failures_;</div>
<div class="line"><a name="l00253"></a><span class="lineno">  253</span>&#160;  ::PROTOBUF_NAMESPACE_ID::int64 solutions_;</div>
<div cl