CpSolverResponse.java

Go to the documentation of this file.

// Generated by the protocol buffer compiler.  DO NOT EDIT!
// NO CHECKED-IN PROTOBUF GENCODE
// source: ortools/sat/cp_model.proto
// Protobuf Java Version: 4.31.1
 
package com.google.ortools.sat;

@com.google.protobuf.Generated
public final class CpSolverResponse extends
    com.google.protobuf.GeneratedMessage implements
    // @@protoc_insertion_point(message_implements:operations_research.sat.CpSolverResponse)
    CpSolverResponseOrBuilder {
private static final long serialVersionUID = 0L;
  static {
    com.google.protobuf.RuntimeVersion.validateProtobufGencodeVersion(
      com.google.protobuf.RuntimeVersion.RuntimeDomain.PUBLIC,
      /* major= */ 4,
      /* minor= */ 31,
      /* patch= */ 1,
      /* suffix= */ "",
      CpSolverResponse.class.getName());
  }
  // Use CpSolverResponse.newBuilder() to construct.
  private CpSolverResponse(com.google.protobuf.GeneratedMessage.Builder<?> builder) {
    super(builder);
  }
  private CpSolverResponse() {
    status_ = 0;
    solution_ = emptyLongList();
    additionalSolutions_ = java.util.Collections.emptyList();
    tightenedVariables_ = java.util.Collections.emptyList();
    sufficientAssumptionsForInfeasibility_ = emptyIntList();
    solutionInfo_ = "";
    solveLog_ = "";
  }
 
  public static final com.google.protobuf.Descriptors.Descriptor
      getDescriptor() {
    return com.google.ortools.sat.CpModelProtobuf.internal_static_operations_research_sat_CpSolverResponse_descriptor;
  }
 
  @java.lang.Override
  protected com.google.protobuf.GeneratedMessage.FieldAccessorTable
      internalGetFieldAccessorTable() {
    return com.google.ortools.sat.CpModelProtobuf.internal_static_operations_research_sat_CpSolverResponse_fieldAccessorTable
        .ensureFieldAccessorsInitialized(
            com.google.ortools.sat.CpSolverResponse.class, com.google.ortools.sat.CpSolverResponse.Builder.class);
  }
 
  private int bitField0_;
  public static final int STATUS_FIELD_NUMBER = 1;
  private int status_ = 0;
  @java.lang.Override public int getStatusValue() {
    return status_;
  }

  @java.lang.Override public com.google.ortools.sat.CpSolverStatus getStatus() {
    com.google.ortools.sat.CpSolverStatus result = com.google.ortools.sat.CpSolverStatus.forNumber(status_);
    return result == null ? com.google.ortools.sat.CpSolverStatus.UNRECOGNIZED : result;
  }
 
  public static final int SOLUTION_FIELD_NUMBER = 2;
  @SuppressWarnings("serial")
  private com.google.protobuf.Internal.LongList solution_ =
      emptyLongList();
  @java.lang.Override
  public java.util.List<java.lang.Long>
      getSolutionList() {
    return solution_;
  }

  public int getSolutionCount() {
    return solution_.size();
  }

  public long getSolution(int index) {
    return solution_.getLong(index);
  }
  private int solutionMemoizedSerializedSize = -1;
 
  public static final int OBJECTIVE_VALUE_FIELD_NUMBER = 3;
  private double objectiveValue_ = 0D;
  @java.lang.Override
  public double getObjectiveValue() {
    return objectiveValue_;
  }
 
  public static final int BEST_OBJECTIVE_BOUND_FIELD_NUMBER = 4;
  private double bestObjectiveBound_ = 0D;
  @java.lang.Override
  public double getBestObjectiveBound() {
    return bestObjectiveBound_;
  }
 
  public static final int ADDITIONAL_SOLUTIONS_FIELD_NUMBER = 27;
  @SuppressWarnings("serial")
  private java.util.List<com.google.ortools.sat.CpSolverSolution> additionalSolutions_;
  @java.lang.Override
  public java.util.List<com.google.ortools.sat.CpSolverSolution> getAdditionalSolutionsList() {
    return additionalSolutions_;
  }

  @java.lang.Override
  public java.util.List<? extends com.google.ortools.sat.CpSolverSolutionOrBuilder> 
      getAdditionalSolutionsOrBuilderList() {
    return additionalSolutions_;
  }

  @java.lang.Override
  public int getAdditionalSolutionsCount() {
    return additionalSolutions_.size();
  }

  @java.lang.Override
  public com.google.ortools.sat.CpSolverSolution getAdditionalSolutions(int index) {
    return additionalSolutions_.get(index);
  }

  @java.lang.Override
  public com.google.ortools.sat.CpSolverSolutionOrBuilder getAdditionalSolutionsOrBuilder(
      int index) {
    return additionalSolutions_.get(index);
  }
 
  public static final int TIGHTENED_VARIABLES_FIELD_NUMBER = 21;
  @SuppressWarnings("serial")
  private java.util.List<com.google.ortools.sat.IntegerVariableProto> tightenedVariables_;
  @java.lang.Override
  public java.util.List<com.google.ortools.sat.IntegerVariableProto> getTightenedVariablesList() {
    return tightenedVariables_;
  }

  @java.lang.Override
  public java.util.List<? extends com.google.ortools.sat.IntegerVariableProtoOrBuilder> 
      getTightenedVariablesOrBuilderList() {
    return tightenedVariables_;
  }

  @java.lang.Override
  public int getTightenedVariablesCount() {
    return tightenedVariables_.size();
  }

  @java.lang.Override
  public com.google.ortools.sat.IntegerVariableProto getTightenedVariables(int index) {
    return tightenedVariables_.get(index);
  }

  @java.lang.Override
  public com.google.ortools.sat.IntegerVariableProtoOrBuilder getTightenedVariablesOrBuilder(
      int index) {
    return tightenedVariables_.get(index);
  }
 
  public static final int SUFFICIENT_ASSUMPTIONS_FOR_INFEASIBILITY_FIELD_NUMBER = 23;
  @SuppressWarnings("serial")
  private com.google.protobuf.Internal.IntList sufficientAssumptionsForInfeasibility_ =
      emptyIntList();
  @java.lang.Override
  public java.util.List<java.lang.Integer>
      getSufficientAssumptionsForInfeasibilityList() {
    return sufficientAssumptionsForInfeasibility_;
  }

  public int getSufficientAssumptionsForInfeasibilityCount() {
    return sufficientAssumptionsForInfeasibility_.size();
  }

  public int getSufficientAssumptionsForInfeasibility(int index) {
    return sufficientAssumptionsForInfeasibility_.getInt(index);
  }
  private int sufficientAssumptionsForInfeasibilityMemoizedSerializedSize = -1;
 
  public static final int INTEGER_OBJECTIVE_FIELD_NUMBER = 28;
  private com.google.ortools.sat.CpObjectiveProto integerObjective_;
  @java.lang.Override
  public boolean hasIntegerObjective() {
    return ((bitField0_ & 0x00000001) != 0);
  }

  @java.lang.Override
  public com.google.ortools.sat.CpObjectiveProto getIntegerObjective() {
    return integerObjective_ == null ? com.google.ortools.sat.CpObjectiveProto.getDefaultInstance() : integerObjective_;
  }

  @java.lang.Override
  public com.google.ortools.sat.CpObjectiveProtoOrBuilder getIntegerObjectiveOrBuilder() {
    return integerObjective_ == null ? com.google.ortools.sat.CpObjectiveProto.getDefaultInstance() : integerObjective_;
  }
 
  public static final int INNER_OBJECTIVE_LOWER_BOUND_FIELD_NUMBER = 29;
  private long innerObjectiveLowerBound_ = 0L;
  @java.lang.Override
  public long getInnerObjectiveLowerBound() {
    return innerObjectiveLowerBound_;
  }
 
  public static final int NUM_INTEGERS_FIELD_NUMBER = 30;
  private long numIntegers_ = 0L;
  @java.lang.Override
  public long getNumIntegers() {
    return numIntegers_;
  }
 
  public static final int NUM_BOOLEANS_FIELD_NUMBER = 10;
  private long numBooleans_ = 0L;
  @java.lang.Override
  public long getNumBooleans() {
    return numBooleans_;
  }
 
  public static final int NUM_FIXED_BOOLEANS_FIELD_NUMBER = 31;
  private long numFixedBooleans_ = 0L;
  @java.lang.Override
  public long getNumFixedBooleans() {
    return numFixedBooleans_;
  }
 
  public static final int NUM_CONFLICTS_FIELD_NUMBER = 11;
  private long numConflicts_ = 0L;
  @java.lang.Override
  public long getNumConflicts() {
    return numConflicts_;
  }
 
  public static final int NUM_BRANCHES_FIELD_NUMBER = 12;
  private long numBranches_ = 0L;
  @java.lang.Override
  public long getNumBranches() {
    return numBranches_;
  }
 
  public static final int NUM_BINARY_PROPAGATIONS_FIELD_NUMBER = 13;
  private long numBinaryPropagations_ = 0L;
  @java.lang.Override
  public long getNumBinaryPropagations() {
    return numBinaryPropagations_;
  }
 
  public static final int NUM_INTEGER_PROPAGATIONS_FIELD_NUMBER = 14;
  private long numIntegerPropagations_ = 0L;
  @java.lang.Override
  public long getNumIntegerPropagations() {
    return numIntegerPropagations_;
  }
 
  public static final int NUM_RESTARTS_FIELD_NUMBER = 24;
  private long numRestarts_ = 0L;
  @java.lang.Override
  public long getNumRestarts() {
    return numRestarts_;
  }
 
  public static final int NUM_LP_ITERATIONS_FIELD_NUMBER = 25;
  private long numLpIterations_ = 0L;
  @java.lang.Override
  public long getNumLpIterations() {
    return numLpIterations_;
  }
 
  public static final int WALL_TIME_FIELD_NUMBER = 15;
  private double wallTime_ = 0D;
  @java.lang.Override
  public double getWallTime() {
    return wallTime_;
  }
 
  public static final int USER_TIME_FIELD_NUMBER = 16;
  private double userTime_ = 0D;
  @java.lang.Override
  public double getUserTime() {
    return userTime_;
  }
 
  public static final int DETERMINISTIC_TIME_FIELD_NUMBER = 17;
  private double deterministicTime_ = 0D;
  @java.lang.Override
  public double getDeterministicTime() {
    return deterministicTime_;
  }
 
  public static final int GAP_INTEGRAL_FIELD_NUMBER = 22;
  private double gapIntegral_ = 0D;
  @java.lang.Override
  public double getGapIntegral() {
    return gapIntegral_;
  }
 
  public static final int SOLUTION_INFO_FIELD_NUMBER = 20;
  @SuppressWarnings("serial")
  private volatile java.lang.Object solutionInfo_ = "";
  @java.lang.Override
  public java.lang.String getSolutionInfo() {
    java.lang.Object ref = solutionInfo_;
    if (ref instanceof java.lang.String) {
      return (java.lang.String) ref;
    } else {
      com.google.protobuf.ByteString bs = 
          (com.google.protobuf.ByteString) ref;
      java.lang.String s = bs.toStringUtf8();
      solutionInfo_ = s;
      return s;
    }
  }

  @java.lang.Override
  public com.google.protobuf.ByteString
      getSolutionInfoBytes() {
    java.lang.Object ref = solutionInfo_;
    if (ref instanceof java.lang.String) {
      com.google.protobuf.ByteString b = 
          com.google.protobuf.ByteString.copyFromUtf8(
              (java.lang.String) ref);
      solutionInfo_ = b;
      return b;
    } else {
      return (com.google.protobuf.ByteString) ref;
    }
  }
 
  public static final int SOLVE_LOG_FIELD_NUMBER = 26;
  @SuppressWarnings("serial")
  private volatile java.lang.Object solveLog_ = "";
  @java.lang.Override
  public java.lang.String getSolveLog() {
    java.lang.Object ref = solveLog_;
    if (ref instanceof java.lang.String) {
      return (java.lang.String) ref;
    } else {
      com.google.protobuf.ByteString bs = 
          (com.google.protobuf.ByteString) ref;
      java.lang.String s = bs.toStringUtf8();
      solveLog_ = s;
      return s;
    }
  }

  @java.lang.Override
  public com.google.protobuf.ByteString
      getSolveLogBytes() {
    java.lang.Object ref = solveLog_;
    if (ref instanceof java.lang.String) {
      com.google.protobuf.ByteString b = 
          com.google.protobuf.ByteString.copyFromUtf8(
              (java.lang.String) ref);
      solveLog_ = b;
      return b;
    } else {
      return (com.google.protobuf.ByteString) ref;
    }
  }
 
  private byte memoizedIsInitialized = -1;
  @java.lang.Override
  public final boolean isInitialized() {
    byte isInitialized = memoizedIsInitialized;
    if (isInitialized == 1) return true;
    if (isInitialized == 0) return false;
 
    memoizedIsInitialized = 1;
    return true;
  }
 
  @java.lang.Override
  public void writeTo(com.google.protobuf.CodedOutputStream output)
                      throws java.io.IOException {
    getSerializedSize();
    if (status_ != com.google.ortools.sat.CpSolverStatus.UNKNOWN.getNumber()) {
      output.writeEnum(1, status_);
    }
    if (getSolutionList().size() > 0) {
      output.writeUInt32NoTag(18);
      output.writeUInt32NoTag(solutionMemoizedSerializedSize);
    }
    for (int i = 0; i < solution_.size(); i++) {
      output.writeInt64NoTag(solution_.getLong(i));
    }
    if (java.lang.Double.doubleToRawLongBits(objectiveValue_) != 0) {
      output.writeDouble(3, objectiveValue_);
    }
    if (java.lang.Double.doubleToRawLongBits(bestObjectiveBound_) != 0) {
      output.writeDouble(4, bestObjectiveBound_);
    }
    if (numBooleans_ != 0L) {
      output.writeInt64(10, numBooleans_);
    }
    if (numConflicts_ != 0L) {
      output.writeInt64(11, numConflicts_);
    }
    if (numBranches_ != 0L) {
      output.writeInt64(12, numBranches_);
    }
    if (numBinaryPropagations_ != 0L) {
      output.writeInt64(13, numBinaryPropagations_);
    }
    if (numIntegerPropagations_ != 0L) {
      output.writeInt64(14, numIntegerPropagations_);
    }
    if (java.lang.Double.doubleToRawLongBits(wallTime_) != 0) {
      output.writeDouble(15, wallTime_);
    }
    if (java.lang.Double.doubleToRawLongBits(userTime_) != 0) {
      output.writeDouble(16, userTime_);
    }
    if (java.lang.Double.doubleToRawLongBits(deterministicTime_) != 0) {
      output.writeDouble(17, deterministicTime_);
    }
    if (!com.google.protobuf.GeneratedMessage.isStringEmpty(solutionInfo_)) {
      com.google.protobuf.GeneratedMessage.writeString(output, 20, solutionInfo_);
    }
    for (int i = 0; i < tightenedVariables_.size(); i++) {
      output.writeMessage(21, tightenedVariables_.get(i));
    }
    if (java.lang.Double.doubleToRawLongBits(gapIntegral_) != 0) {
      output.writeDouble(22, gapIntegral_);
    }
    if (getSufficientAssumptionsForInfeasibilityList().size() > 0) {
      output.writeUInt32NoTag(186);
      output.writeUInt32NoTag(sufficientAssumptionsForInfeasibilityMemoizedSerializedSize);
    }
    for (int i = 0; i < sufficientAssumptionsForInfeasibility_.size(); i++) {
      output.writeInt32NoTag(sufficientAssumptionsForInfeasibility_.getInt(i));
    }
    if (numRestarts_ != 0L) {
      output.writeInt64(24, numRestarts_);
    }
    if (numLpIterations_ != 0L) {
      output.writeInt64(25, numLpIterations_);
    }
    if (!com.google.protobuf.GeneratedMessage.isStringEmpty(solveLog_)) {
      com.google.protobuf.GeneratedMessage.writeString(output, 26, solveLog_);
    }
    for (int i = 0; i < additionalSolutions_.size(); i++) {
      output.writeMessage(27, additionalSolutions_.get(i));
    }
    if (((bitField0_ & 0x00000001) != 0)) {
      output.writeMessage(28, getIntegerObjective());
    }
    if (innerObjectiveLowerBound_ != 0L) {
      output.writeInt64(29, innerObjectiveLowerBound_);
    }
    if (numIntegers_ != 0L) {
      output.writeInt64(30, numIntegers_);
    }
    if (numFixedBooleans_ != 0L) {
      output.writeInt64(31, numFixedBooleans_);
    }
    getUnknownFields().writeTo(output);
  }
 
  @java.lang.Override
  public int getSerializedSize() {
    int size = memoizedSize;
    if (size != -1) return size;
 
    size = 0;
    if (status_ != com.google.ortools.sat.CpSolverStatus.UNKNOWN.getNumber()) {
      size += com.google.protobuf.CodedOutputStream
        .computeEnumSize(1, status_);
    }
    {
      int dataSize = 0;
      for (int i = 0; i < solution_.size(); i++) {
        dataSize += com.google.protobuf.CodedOutputStream
          .computeInt64SizeNoTag(solution_.getLong(i));
      }
      size += dataSize;
      if (!getSolutionList().isEmpty()) {
        size += 1;
        size += com.google.protobuf.CodedOutputStream
            .computeInt32SizeNoTag(dataSize);
      }
      solutionMemoizedSerializedSize = dataSize;
    }
    if (java.lang.Double.doubleToRawLongBits(objectiveValue_) != 0) {
      size += com.google.protobuf.CodedOutputStream
        .computeDoubleSize(3, objectiveValue_);
    }
    if (java.lang.Double.doubleToRawLongBits(bestObjectiveBound_) != 0) {
      size += com.google.protobuf.CodedOutputStream
        .computeDoubleSize(4, bestObjectiveBound_);
    }
    if (numBooleans_ != 0L) {
      size += com.google.protobuf.CodedOutputStream
        .computeInt64Size(10, numBooleans_);
    }
    if (numConflicts_ != 0L) {
      size += com.google.protobuf.CodedOutputStream
        .computeInt64Size(11, numConflicts_);
    }
    if (numBranches_ != 0L) {
      size += com.google.protobuf.CodedOutputStream
        .computeInt64Size(12, numBranches_);
    }
    if (numBinaryPropagations_ != 0L) {
      size += com.google.protobuf.CodedOutputStream
        .computeInt64Size(13, numBinaryPropagations_);
    }
    if (numIntegerPropagations_ != 0L) {
      size += com.google.protobuf.CodedOutputStream
        .computeInt64Size(14, numIntegerPropagations_);
    }
    if (java.lang.Double.doubleToRawLongBits(wallTime_) != 0) {
      size += com.google.protobuf.CodedOutputStream
        .computeDoubleSize(15, wallTime_);
    }
    if (java.lang.Double.doubleToRawLongBits(userTime_) != 0) {
      size += com.google.protobuf.CodedOutputStream
        .computeDoubleSize(16, userTime_);
    }
    if (java.lang.Double.doubleToRawLongBits(deterministicTime_) != 0) {
      size += com.google.protobuf.CodedOutputStream
        .computeDoubleSize(17, deterministicTime_);
    }
    if (!com.google.protobuf.GeneratedMessage.isStringEmpty(solutionInfo_)) {
      size += com.google.protobuf.GeneratedMessage.computeStringSize(20, solutionInfo_);
    }
    for (int i = 0; i < tightenedVariables_.size(); i++) {
      size += com.google.protobuf.CodedOutputStream
        .computeMessageSize(21, tightenedVariables_.get(i));
    }
    if (java.lang.Double.doubleToRawLongBits(gapIntegral_) != 0) {
      size += com.google.protobuf.CodedOutputStream
        .computeDoubleSize(22, gapIntegral_);
    }
    {
      int dataSize = 0;
      for (int i = 0; i < sufficientAssumptionsForInfeasibility_.size(); i++) {
        dataSize += com.google.protobuf.CodedOutputStream
          .computeInt32SizeNoTag(sufficientAssumptionsForInfeasibility_.getInt(i));
      }
      size += dataSize;
      if (!getSufficientAssumptionsForInfeasibilityList().isEmpty()) {
        size += 2;
        size += com.google.protobuf.CodedOutputStream
            .computeInt32SizeNoTag(dataSize);
      }
      sufficientAssumptionsForInfeasibilityMemoizedSerializedSize = dataSize;
    }
    if (numRestarts_ != 0L) {
      size += com.google.protobuf.CodedOutputStream
        .computeInt64Size(24, numRestarts_);
    }
    if (numLpIterations_ != 0L) {
      size += com.google.protobuf.CodedOutputStream
        .computeInt64Size(25, numLpIterations_);
    }
    if (!com.google.protobuf.GeneratedMessage.isStringEmpty(solveLog_)) {
      size += com.google.protobuf.GeneratedMessage.computeStringSize(26, solveLog_);
    }
    for (int i = 0; i < additionalSolutions_.size(); i++) {
      size += com.google.protobuf.CodedOutputStream
        .computeMessageSize(27, additionalSolutions_.get(i));
    }
    if (((bitField0_ & 0x00000001) != 0)) {
      size += com.google.protobuf.CodedOutputStream
        .computeMessageSize(28, getIntegerObjective());
    }
    if (innerObjectiveLowerBound_ != 0L) {
      size += com.google.protobuf.CodedOutputStream
        .computeInt64Size(29, innerObjectiveLowerBound_);
    }
    if (numIntegers_ != 0L) {
      size += com.google.protobuf.CodedOutputStream
        .computeInt64Size(30, numIntegers_);
    }
    if (numFixedBooleans_ != 0L) {
      size += com.google.protobuf.CodedOutputStream
        .computeInt64Size(31, numFixedBooleans_);
    }
    size += getUnknownFields().getSerializedSize();
    memoizedSize = size;
    return size;
  }
 
  @java.lang.Override
  public boolean equals(final java.lang.Object obj) {
    if (obj == this) {
     return true;
    }
    if (!(obj instanceof com.google.ortools.sat.CpSolverResponse)) {
      return super.equals(obj);
    }
    com.google.ortools.sat.CpSolverResponse other = (com.google.ortools.sat.CpSolverResponse) obj;
 
    if (status_ != other.status_) return false;
    if (!getSolutionList()
        .equals(other.getSolutionList())) return false;
    if (java.lang.Double.doubleToLongBits(getObjectiveValue())
        != java.lang.Double.doubleToLongBits(
            other.getObjectiveValue())) return false;
    if (java.lang.Double.doubleToLongBits(getBestObjectiveBound())
        != java.lang.Double.doubleToLongBits(
            other.getBestObjectiveBound())) return false;
    if (!getAdditionalSolutionsList()
        .equals(other.getAdditionalSolutionsList())) return false;
    if (!getTightenedVariablesList()
        .equals(other.getTightenedVariablesList())) return false;
    if (!getSufficientAssumptionsForInfeasibilityList()
        .equals(other.getSufficientAssumptionsForInfeasibilityList())) return false;
    if (hasIntegerObjective() != other.hasIntegerObjective()) return false;
    if (hasIntegerObjective()) {
      if (!getIntegerObjective()
          .equals(other.getIntegerObjective())) return false;
    }
    if (getInnerObjectiveLowerBound()
        != other.getInnerObjectiveLowerBound()) return false;
    if (getNumIntegers()
        != other.getNumIntegers()) return false;
    if (getNumBooleans()
        != other.getNumBooleans()) return false;
    if (getNumFixedBooleans()
        != other.getNumFixedBooleans()) return false;
    if (getNumConflicts()
        != other.getNumConflicts()) return false;
    if (getNumBranches()
        != other.getNumBranches()) return false;
    if (getNumBinaryPropagations()
        != other.getNumBinaryPropagations()) return false;
    if (getNumIntegerPropagations()
        != other.getNumIntegerPropagations()) return false;
    if (getNumRestarts()
        != other.getNumRestarts()) return false;
    if (getNumLpIterations()
        != other.getNumLpIterations()) return false;
    if (java.lang.Double.doubleToLongBits(getWallTime())
        != java.lang.Double.doubleToLongBits(
            other.getWallTime())) return false;
    if (java.lang.Double.doubleToLongBits(getUserTime())
        != java.lang.Double.doubleToLongBits(
            other.getUserTime())) return false;
    if (java.lang.Double.doubleToLongBits(getDeterministicTime())
        != java.lang.Double.doubleToLongBits(
            other.getDeterministicTime())) return false;
    if (java.lang.Double.doubleToLongBits(getGapIntegral())
        != java.lang.Double.doubleToLongBits(
            other.getGapIntegral())) return false;
    if (!getSolutionInfo()
        .equals(other.getSolutionInfo())) return false;
    if (!getSolveLog()
        .equals(other.getSolveLog())) return false;
    if (!getUnknownFields().equals(other.getUnknownFields())) return false;
    return true;
  }
 
  @java.lang.Override
  public int hashCode() {
    if (memoizedHashCode != 0) {
      return memoizedHashCode;
    }
    int hash = 41;
    hash = (19 * hash) + getDescriptor().hashCode();
    hash = (37 * hash) + STATUS_FIELD_NUMBER;
    hash = (53 * hash) + status_;
    if (getSolutionCount() > 0) {
      hash = (37 * hash) + SOLUTION_FIELD_NUMBER;
      hash = (53 * hash) + getSolutionList().hashCode();
    }
    hash = (37 * hash) + OBJECTIVE_VALUE_FIELD_NUMBER;
    hash = (53 * hash) + com.google.protobuf.Internal.hashLong(
        java.lang.Double.doubleToLongBits(getObjectiveValue()));
    hash = (37 * hash) + BEST_OBJECTIVE_BOUND_FIELD_NUMBER;
    hash = (53 * hash) + com.google.protobuf.Internal.hashLong(
        java.lang.Double.doubleToLongBits(getBestObjectiveBound()));
    if (getAdditionalSolutionsCount() > 0) {
      hash = (37 * hash) + ADDITIONAL_SOLUTIONS_FIELD_NUMBER;
      hash = (53 * hash) + getAdditionalSolutionsList().hashCode();
    }
    if (getTightenedVariablesCount() > 0) {
      hash = (37 * hash) + TIGHTENED_VARIABLES_FIELD_NUMBER;
      hash = (53 * hash) + getTightenedVariablesList().hashCode();
    }
    if (getSufficientAssumptionsForInfeasibilityCount() > 0) {
      hash = (37 * hash) + SUFFICIENT_ASSUMPTIONS_FOR_INFEASIBILITY_FIELD_NUMBER;
      hash = (53 * hash) + getSufficientAssumptionsForInfeasibilityList().hashCode();
    }
    if (hasIntegerObjective()) {
      hash = (37 * hash) + INTEGER_OBJECTIVE_FIELD_NUMBER;
      hash = (53 * hash) + getIntegerObjective().hashCode();
    }
    hash = (37 * hash) + INNER_OBJECTIVE_LOWER_BOUND_FIELD_NUMBER;
    hash = (53 * hash) + com.google.protobuf.Internal.hashLong(
        getInnerObjectiveLowerBound());
    hash = (37 * hash) + NUM_INTEGERS_FIELD_NUMBER;
    hash = (53 * hash) + com.google.protobuf.Internal.hashLong(
        getNumIntegers());
    hash = (37 * hash) + NUM_BOOLEANS_FIELD_NUMBER;
    hash = (53 * hash) + com.google.protobuf.Internal.hashLong(
        getNumBooleans());
    hash = (37 * hash) + NUM_FIXED_BOOLEANS_FIELD_NUMBER;
    hash = (53 * hash) + com.google.protobuf.Internal.hashLong(
        getNumFixedBooleans());
    hash = (37 * hash) + NUM_CONFLICTS_FIELD_NUMBER;
    hash = (53 * hash) + com.google.protobuf.Internal.hashLong(
        getNumConflicts());
    hash = (37 * hash) + NUM_BRANCHES_FIELD_NUMBER;
    hash = (53 * hash) + com.google.protobuf.Internal.hashLong(
        getNumBranches());
    hash = (37 * hash) + NUM_BINARY_PROPAGATIONS_FIELD_NUMBER;
    hash = (53 * hash) + com.google.protobuf.Internal.hashLong(
        getNumBinaryPropagations());
    hash = (37 * hash) + NUM_INTEGER_PROPAGATIONS_FIELD_NUMBER;
    hash = (53 * hash) + com.google.protobuf.Internal.hashLong(
        getNumIntegerPropagations());
    hash = (37 * hash) + NUM_RESTARTS_FIELD_NUMBER;
    hash = (53 * hash) + com.google.protobuf.Internal.hashLong(
        getNumRestarts());
    hash = (37 * hash) + NUM_LP_ITERATIONS_FIELD_NUMBER;
    hash = (53 * hash) + com.google.protobuf.Internal.hashLong(
        getNumLpIterations());
    hash = (37 * hash) + WALL_TIME_FIELD_NUMBER;
    hash = (53 * hash) + com.google.protobuf.Internal.hashLong(
        java.lang.Double.doubleToLongBits(getWallTime()));
    hash = (37 * hash) + USER_TIME_FIELD_NUMBER;
    hash = (53 * hash) + com.google.protobuf.Internal.hashLong(
        java.lang.Double.doubleToLongBits(getUserTime()));
    hash = (37 * hash) + DETERMINISTIC_TIME_FIELD_NUMBER;
    hash = (53 * hash) + com.google.protobuf.Internal.hashLong(
        java.lang.Double.doubleToLongBits(getDeterministicTime()));
    hash = (37 * hash) + GAP_INTEGRAL_FIELD_NUMBER;
    hash = (53 * hash) + com.google.protobuf.Internal.hashLong(
        java.lang.Double.doubleToLongBits(getGapIntegral()));
    hash = (37 * hash) + SOLUTION_INFO_FIELD_NUMBER;
    hash = (53 * hash) + getSolutionInfo().hashCode();
    hash = (37 * hash) + SOLVE_LOG_FIELD_NUMBER;
    hash = (53 * hash) + getSolveLog().hashCode();
    hash = (29 * hash) + getUnknownFields().hashCode();
    memoizedHashCode = hash;
    return hash;
  }
 
  public static com.google.ortools.sat.CpSolverResponse parseFrom(
      java.nio.ByteBuffer data)
      throws com.google.protobuf.InvalidProtocolBufferException {
    return PARSER.parseFrom(data);
  }
  public static com.google.ortools.sat.CpSolverResponse parseFrom(
      java.nio.ByteBuffer data,
      com.google.protobuf.ExtensionRegistryLite extensionRegistry)
      throws com.google.protobuf.InvalidProtocolBufferException {
    return PARSER.parseFrom(data, extensionRegistry);
  }
  public static com.google.ortools.sat.CpSolverResponse parseFrom(
      com.google.protobuf.ByteString data)
      throws com.google.protobuf.InvalidProtocolBufferException {
    return PARSER.parseFrom(data);
  }
  public static com.google.ortools.sat.CpSolverResponse parseFrom(
      com.google.protobuf.ByteString data,
      com.google.protobuf.ExtensionRegistryLite extensionRegistry)
      throws com.google.protobuf.InvalidProtocolBufferException {
    return PARSER.parseFrom(data, extensionRegistry);
  }
  public static com.google.ortools.sat.CpSolverResponse parseFrom(byte[] data)
      throws com.google.protobuf.InvalidProtocolBufferException {
    return PARSER.parseFrom(data);
  }
  public static com.google.ortools.sat.CpSolverResponse parseFrom(
      byte[] data,
      com.google.protobuf.ExtensionRegistryLite extensionRegistry)
      throws com.google.protobuf.InvalidProtocolBufferException {
    return PARSER.parseFrom(data, extensionRegistry);
  }
  public static com.google.ortools.sat.CpSolverResponse parseFrom(java.io.InputStream input)
      throws java.io.IOException {
    return com.google.protobuf.GeneratedMessage
        .parseWithIOException(PARSER, input);
  }
  public static com.google.ortools.sat.CpSolverResponse parseFrom(
      java.io.InputStream input,
      com.google.protobuf.ExtensionRegistryLite extensionRegistry)
      throws java.io.IOException {
    return com.google.protobuf.GeneratedMessage
        .parseWithIOException(PARSER, input, extensionRegistry);
  }
 
  public static com.google.ortools.sat.CpSolverResponse parseDelimitedFrom(java.io.InputStream input)
      throws java.io.IOException {
    return com.google.protobuf.GeneratedMessage
        .parseDelimitedWithIOException(PARSER, input);
  }
 
  public static com.google.ortools.sat.CpSolverResponse parseDelimitedFrom(
      java.io.InputStream input,
      com.google.protobuf.ExtensionRegistryLite extensionRegistry)
      throws java.io.IOException {
    return com.google.protobuf.GeneratedMessage
        .parseDelimitedWithIOException(PARSER, input, extensionRegistry);
  }
  public static com.google.ortools.sat.CpSolverResponse parseFrom(
      com.google.protobuf.CodedInputStream input)
      throws java.io.IOException {
    return com.google.protobuf.GeneratedMessage
        .parseWithIOException(PARSER, input);
  }
  public static com.google.ortools.sat.CpSolverResponse parseFrom(
      com.google.protobuf.CodedInputStream input,
      com.google.protobuf.ExtensionRegistryLite extensionRegistry)
      throws java.io.IOException {
    return com.google.protobuf.GeneratedMessage
        .parseWithIOException(PARSER, input, extensionRegistry);
  }
 
  @java.lang.Override
  public Builder newBuilderForType() { return newBuilder(); }
  public static Builder newBuilder() {
    return DEFAULT_INSTANCE.toBuilder();
  }
  public static Builder newBuilder(com.google.ortools.sat.CpSolverResponse prototype) {
    return DEFAULT_INSTANCE.toBuilder().mergeFrom(prototype);
  }
  @java.lang.Override
  public Builder toBuilder() {
    return this == DEFAULT_INSTANCE
        ? new Builder() : new Builder().mergeFrom(this);
  }
 
  @java.lang.Override
  protected Builder newBuilderForType(
      com.google.protobuf.GeneratedMessage.BuilderParent parent) {
    Builder builder = new Builder(parent);
    return builder;
  }

  public static final class Builder extends
      com.google.protobuf.GeneratedMessage.Builder<Builder> implements
      // @@protoc_insertion_point(builder_implements:operations_research.sat.CpSolverResponse)
      com.google.ortools.sat.CpSolverResponseOrBuilder {
    public static final com.google.protobuf.Descriptors.Descriptor
        getDescriptor() {
      return com.google.ortools.sat.CpModelProtobuf.internal_static_operations_research_sat_CpSolverResponse_descriptor;
    }
 
    @java.lang.Override
    protected com.google.protobuf.GeneratedMessage.FieldAccessorTable
        internalGetFieldAccessorTable() {
      return com.google.ortools.sat.CpModelProtobuf.internal_static_operations_research_sat_CpSolverResponse_fieldAccessorTable
          .ensureFieldAccessorsInitialized(
              com.google.ortools.sat.CpSolverResponse.class, com.google.ortools.sat.CpSolverResponse.Builder.class);
    }
 
    // Construct using com.google.ortools.sat.CpSolverResponse.newBuilder()
    private Builder() {
      maybeForceBuilderInitialization();
    }
 
    private Builder(
        com.google.protobuf.GeneratedMessage.BuilderParent parent) {
      super(parent);
      maybeForceBuilderInitialization();
    }
    private void maybeForceBuilderInitialization() {
      if (com.google.protobuf.GeneratedMessage
              .alwaysUseFieldBuilders) {
        internalGetAdditionalSolutionsFieldBuilder();
        internalGetTightenedVariablesFieldBuilder();
        internalGetIntegerObjectiveFieldBuilder();
      }
    }
    @java.lang.Override
    public Builder clear() {
      super.clear();
      bitField0_ = 0;
      status_ = 0;
      solution_ = emptyLongList();
      objectiveValue_ = 0D;
      bestObjectiveBound_ = 0D;
      if (additionalSolutionsBuilder_ == null) {
        additionalSolutions_ = java.util.Collections.emptyList();
      } else {
        additionalSolutions_ = null;
        additionalSolutionsBuilder_.clear();
      }
      bitField0_ = (bitField0_ & ~0x00000010);
      if (tightenedVariablesBuilder_ == null) {
        tightenedVariables_ = java.util.Collections.emptyList();
      } else {
        tightenedVariables_ = null;
        tightenedVariablesBuilder_.clear();
      }
      bitField0_ = (bitField0_ & ~0x00000020);
      sufficientAssumptionsForInfeasibility_ = emptyIntList();
      integerObjective_ = null;
      if (integerObjectiveBuilder_ != null) {
        integerObjectiveBuilder_.dispose();
        integerObjectiveBuilder_ = null;
      }
      innerObjectiveLowerBound_ = 0L;
      numIntegers_ = 0L;
      numBooleans_ = 0L;
      numFixedBooleans_ = 0L;
      numConflicts_ = 0L;
      numBranches_ = 0L;
      numBinaryPropagations_ = 0L;
      numIntegerPropagations_ = 0L;
      numRestarts_ = 0L;
      numLpIterations_ = 0L;
      wallTime_ = 0D;
      userTime_ = 0D;
      deterministicTime_ = 0D;
      gapIntegral_ = 0D;
      solutionInfo_ = "";
      solveLog_ = "";
      return this;
    }
 
    @java.lang.Override
    public com.google.protobuf.Descriptors.Descriptor
        getDescriptorForType() {
      return com.google.ortools.sat.CpModelProtobuf.internal_static_operations_research_sat_CpSolverResponse_descriptor;
    }
 
    @java.lang.Override
    public com.google.ortools.sat.CpSolverResponse getDefaultInstanceForType() {
      return com.google.ortools.sat.CpSolverResponse.getDefaultInstance();
    }
 
    @java.lang.Override
    public com.google.ortools.sat.CpSolverResponse build() {
      com.google.ortools.sat.CpSolverResponse result = buildPartial();
      if (!result.isInitialized()) {
        throw newUninitializedMessageException(result);
      }
      return result;
    }
 
    @java.lang.Override
    public com.google.ortools.sat.CpSolverResponse buildPartial() {
      com.google.ortools.sat.CpSolverResponse result = new com.google.ortools.sat.CpSolverResponse(this);
      buildPartialRepeatedFields(result);
      if (bitField0_ != 0) { buildPartial0(result); }
      onBuilt();
      return result;
    }
 
    private void buildPartialRepeatedFields(com.google.ortools.sat.CpSolverResponse result) {
      if (additionalSolutionsBuilder_ == null) {
        if (((bitField0_ & 0x00000010) != 0)) {
          additionalSolutions_ = java.util.Collections.unmodifiableList(additionalSolutions_);
          bitField0_ = (bitField0_ & ~0x00000010);
        }
        result.additionalSolutions_ = additionalSolutions_;
      } else {
        result.additionalSolutions_ = additionalSolutionsBuilder_.build();
      }
      if (tightenedVariablesBuilder_ == null) {
        if (((bitField0_ & 0x00000020) != 0)) {
          tightenedVariables_ = java.util.Collections.unmodifiableList(tightenedVariables_);
          bitField0_ = (bitField0_ & ~0x00000020);
        }
        result.tightenedVariables_ = tightenedVariables_;
      } else {
        result.tightenedVariables_ = tightenedVariablesBuilder_.build();
      }
    }
 
    private void buildPartial0(com.google.ortools.sat.CpSolverResponse result) {
      int from_bitField0_ = bitField0_;
      if (((from_bitField0_ & 0x00000001) != 0)) {
        result.status_ = status_;
      }
      if (((from_bitField0_ & 0x00000002) != 0)) {
        solution_.makeImmutable();
        result.solution_ = solution_;
      }
      if (((from_bitField0_ & 0x00000004) != 0)) {
        result.objectiveValue_ = objectiveValue_;
      }
      if (((from_bitField0_ & 0x00000008) != 0)) {
        result.bestObjectiveBound_ = bestObjectiveBound_;
      }
      if (((from_bitField0_ & 0x00000040) != 0)) {
        sufficientAssumptionsForInfeasibility_.makeImmutable();
        result.sufficientAssumptionsForInfeasibility_ = sufficientAssumptionsForInfeasibility_;
      }
      int to_bitField0_ = 0;
      if (((from_bitField0_ & 0x00000080) != 0)) {
        result.integerObjective_ = integerObjectiveBuilder_ == null
            ? integerObjective_
            : integerObjectiveBuilder_.build();
        to_bitField0_ |= 0x00000001;
      }
      if (((from_bitField0_ & 0x00000100) != 0)) {
        result.innerObjectiveLowerBound_ = innerObjectiveLowerBound_;
      }
      if (((from_bitField0_ & 0x00000200) != 0)) {
        result.numIntegers_ = numIntegers_;
      }
      if (((from_bitField0_ & 0x00000400) != 0)) {
        result.numBooleans_ = numBooleans_;
      }
      if (((from_bitField0_ & 0x00000800) != 0)) {
        result.numFixedBooleans_ = numFixedBooleans_;
      }
      if (((from_bitField0_ & 0x00001000) != 0)) {
        result.numConflicts_ = numConflicts_;
      }
      if (((from_bitField0_ & 0x00002000) != 0)) {
        result.numBranches_ = numBranches_;
      }
      if (((from_bitField0_ & 0x00004000) != 0)) {
        result.numBinaryPropagations_ = numBinaryPropagations_;
      }
      if (((from_bitField0_ & 0x00008000) != 0)) {
        result.numIntegerPropagations_ = numIntegerPropagations_;
      }
      if (((from_bitField0_ & 0x00010000) != 0)) {
        result.numRestarts_ = numRestarts_;
      }
      if (((from_bitField0_ & 0x00020000) != 0)) {
        result.numLpIterations_ = numLpIterations_;
      }
      if (((from_bitField0_ & 0x00040000) != 0)) {
        result.wallTime_ = wallTime_;
      }
      if (((from_bitField0_ & 0x00080000) != 0)) {
        result.userTime_ = userTime_;
      }
      if (((from_bitField0_ & 0x00100000) != 0)) {
        result.deterministicTime_ = deterministicTime_;
      }
      if (((from_bitField0_ & 0x00200000) != 0)) {
        result.gapIntegral_ = gapIntegral_;
      }
      if (((from_bitField0_ & 0x00400000) != 0)) {
        result.solutionInfo_ = solutionInfo_;
      }
      if (((from_bitField0_ & 0x00800000) != 0)) {
        result.solveLog_ = solveLog_;
      }
      result.bitField0_ |= to_bitField0_;
    }
 
    @java.lang.Override
    public Builder mergeFrom(com.google.protobuf.Message other) {
      if (other instanceof com.google.ortools.sat.CpSolverResponse) {
        return mergeFrom((com.google.ortools.sat.CpSolverResponse)other);
      } else {
        super.mergeFrom(other);
        return this;
      }
    }
 
    public Builder mergeFrom(com.google.ortools.sat.CpSolverResponse other) {
      if (other == com.google.ortools.sat.CpSolverResponse.getDefaultInstance()) return this;
      if (other.status_ != 0) {
        setStatusValue(other.getStatusValue());
      }
      if (!other.solution_.isEmpty()) {
        if (solution_.isEmpty()) {
          solution_ = other.solution_;
          solution_.makeImmutable();
          bitField0_ |= 0x00000002;
        } else {
          ensureSolutionIsMutable();
          solution_.addAll(other.solution_);
        }
        onChanged();
      }
      if (java.lang.Double.doubleToRawLongBits(other.getObjectiveValue()) != 0) {
        setObjectiveValue(other.getObjectiveValue());
      }
      if (java.lang.Double.doubleToRawLongBits(other.getBestObjectiveBound()) != 0) {
        setBestObjectiveBound(other.getBestObjectiveBound());
      }
      if (additionalSolutionsBuilder_ == null) {
        if (!other.additionalSolutions_.isEmpty()) {
          if (additionalSolutions_.isEmpty()) {
            additionalSolutions_ = other.additionalSolutions_;
            bitField0_ = (bitField0_ & ~0x00000010);
          } else {
            ensureAdditionalSolutionsIsMutable();
            additionalSolutions_.addAll(other.additionalSolutions_);
          }
          onChanged();
        }
      } else {
        if (!other.additionalSolutions_.isEmpty()) {
          if (additionalSolutionsBuilder_.isEmpty()) {
            additionalSolutionsBuilder_.dispose();
            additionalSolutionsBuilder_ = null;
            additionalSolutions_ = other.additionalSolutions_;
            bitField0_ = (bitField0_ & ~0x00000010);
            additionalSolutionsBuilder_ = 
              com.google.protobuf.GeneratedMessage.alwaysUseFieldBuilders ?
                 internalGetAdditionalSolutionsFieldBuilder() : null;
          } else {
            additionalSolutionsBuilder_.addAllMessages(other.additionalSolutions_);
          }
        }
      }
      if (tightenedVariablesBuilder_ == null) {
        if (!other.tightenedVariables_.isEmpty()) {
          if (tightenedVariables_.isEmpty()) {
            tightenedVariables_ = other.tightenedVariables_;
            bitField0_ = (bitField0_ & ~0x00000020);
          } else {
            ensureTightenedVariablesIsMutable();
            tightenedVariables_.addAll(other.tightenedVariables_);
          }
          onChanged();
        }
      } else {
        if (!other.tightenedVariables_.isEmpty()) {
          if (tightenedVariablesBuilder_.isEmpty()) {
            tightenedVariablesBuilder_.dispose();
            tightenedVariablesBuilder_ = null;
            tightenedVariables_ = other.tightenedVariables_;
            bitField0_ = (bitField0_ & ~0x00000020);
            tightenedVariablesBuilder_ = 
              com.google.protobuf.GeneratedMessage.alwaysUseFieldBuilders ?
                 internalGetTightenedVariablesFieldBuilder() : null;
          } else {
            tightenedVariablesBuilder_.addAllMessages(other.tightenedVariables_);
          }
        }
      }
      if (!other.sufficientAssumptionsForInfeasibility_.isEmpty()) {
        if (sufficientAssumptionsForInfeasibility_.isEmpty()) {
          sufficientAssumptionsForInfeasibility_ = other.sufficientAssumptionsForInfeasibility_;
          sufficientAssumptionsForInfeasibility_.makeImmutable();
          bitField0_ |= 0x00000040;
        } else {
          ensureSufficientAssumptionsForInfeasibilityIsMutable();
          sufficientAssumptionsForInfeasibility_.addAll(other.sufficientAssumptionsForInfeasibility_);
        }
        onChanged();
      }
      if (other.hasIntegerObjective()) {
        mergeIntegerObjective(other.getIntegerObjective());
      }
      if (other.getInnerObjectiveLowerBound() != 0L) {
        setInnerObjectiveLowerBound(other.getInnerObjectiveLowerBound());
      }
      if (other.getNumIntegers() != 0L) {
        setNumIntegers(other.getNumIntegers());
      }
      if (other.getNumBooleans() != 0L) {
        setNumBooleans(other.getNumBooleans());
      }
      if (other.getNumFixedBooleans() != 0L) {
        setNumFixedBooleans(other.getNumFixedBooleans());
      }
      if (other.getNumConflicts() != 0L) {
        setNumConflicts(other.getNumConflicts());
      }
      if (other.getNumBranches() != 0L) {
        setNumBranches(other.getNumBranches());
      }
      if (other.getNumBinaryPropagations() != 0L) {
        setNumBinaryPropagations(other.getNumBinaryPropagations());
      }
      if (other.getNumIntegerPropagations() != 0L) {
        setNumIntegerPropagations(other.getNumIntegerPropagations());
      }
      if (other.getNumRestarts() != 0L) {
        setNumRestarts(other.getNumRestarts());
      }
      if (other.getNumLpIterations() != 0L) {
        setNumLpIterations(other.getNumLpIterations());
      }
      if (java.lang.Double.doubleToRawLongBits(other.getWallTime()) != 0) {
        setWallTime(other.getWallTime());
      }
      if (java.lang.Double.doubleToRawLongBits(other.getUserTime()) != 0) {
        setUserTime(other.getUserTime());
      }
      if (java.lang.Double.doubleToRawLongBits(other.getDeterministicTime()) != 0) {
        setDeterministicTime(other.getDeterministicTime());
      }
      if (java.lang.Double.doubleToRawLongBits(other.getGapIntegral()) != 0) {
        setGapIntegral(other.getGapIntegral());
      }
      if (!other.getSolutionInfo().isEmpty()) {
        solutionInfo_ = other.solutionInfo_;
        bitField0_ |= 0x00400000;
        onChanged();
      }
      if (!other.getSolveLog().isEmpty()) {
        solveLog_ = other.solveLog_;
        bitField0_ |= 0x00800000;
        onChanged();
      }
      this.mergeUnknownFields(other.getUnknownFields());
      onChanged();
      return this;
    }
 
    @java.lang.Override
    public final boolean isInitialized() {
      return true;
    }
 
    @java.lang.Override
    public Builder mergeFrom(
        com.google.protobuf.CodedInputStream input,
        com.google.protobuf.ExtensionRegistryLite extensionRegistry)
        throws java.io.IOException {
      if (extensionRegistry == null) {
        throw new java.lang.NullPointerException();
      }
      try {
        boolean done = false;
        while (!done) {
          int tag = input.readTag();
          switch (tag) {
            case 0:
              done = true;
              break;
            case 8: {
              status_ = input.readEnum();
              bitField0_ |= 0x00000001;
              break;
            } // case 8
            case 16: {
              long v = input.readInt64();
              ensureSolutionIsMutable();
              solution_.addLong(v);
              break;
            } // case 16
            case 18: {
              int length = input.readRawVarint32();
              int limit = input.pushLimit(length);
              ensureSolutionIsMutable();
              while (input.getBytesUntilLimit() > 0) {
                solution_.addLong(input.readInt64());
              }
              input.popLimit(limit);
              break;
            } // case 18
            case 25: {
              objectiveValue_ = input.readDouble();
              bitField0_ |= 0x00000004;
              break;
            } // case 25
            case 33: {
              bestObjectiveBound_ = input.readDouble();
              bitField0_ |= 0x00000008;
              break;
            } // case 33
            case 80: {
              numBooleans_ = input.readInt64();
              bitField0_ |= 0x00000400;
              break;
            } // case 80
            case 88: {
              numConflicts_ = input.readInt64();
              bitField0_ |= 0x00001000;
              break;
            } // case 88
            case 96: {
              numBranches_ = input.readInt64();
              bitField0_ |= 0x00002000;
              break;
            } // case 96
            case 104: {
              numBinaryPropagations_ = input.readInt64();
              bitField0_ |= 0x00004000;
              break;
            } // case 104
            case 112: {
              numIntegerPropagations_ = input.readInt64();
              bitField0_ |= 0x00008000;
              break;
            } // case 112
            case 121: {
              wallTime_ = input.readDouble();
              bitField0_ |= 0x00040000;
              break;
            } // case 121
            case 129: {
              userTime_ = input.readDouble();
              bitField0_ |= 0x00080000;
              break;
            } // case 129
            case 137: {
              deterministicTime_ = input.readDouble();
              bitField0_ |= 0x00100000;
              break;
            } // case 137
            case 162: {
              solutionInfo_ = input.readStringRequireUtf8();
              bitField0_ |= 0x00400000;
              break;
            } // case 162
            case 170: {
              com.google.ortools.sat.IntegerVariableProto m =
                  input.readMessage(
                      com.google.ortools.sat.IntegerVariableProto.parser(),
                      extensionRegistry);
              if (tightenedVariablesBuilder_ == null) {
                ensureTightenedVariablesIsMutable();
                tightenedVariables_.add(m);
              } else {
                tightenedVariablesBuilder_.addMessage(m);
              }
              break;
            } // case 170
            case 177: {
              gapIntegral_ = input.readDouble();
              bitField0_ |= 0x00200000;
              break;
            } // case 177
            case 184: {
              int v = input.readInt32();
              ensureSufficientAssumptionsForInfeasibilityIsMutable();
              sufficientAssumptionsForInfeasibility_.addInt(v);
              break;
            } // case 184
            case 186: {
              int length = input.readRawVarint32();
              int limit = input.pushLimit(length);
              ensureSufficientAssumptionsForInfeasibilityIsMutable();
              while (input.getBytesUntilLimit() > 0) {
                sufficientAssumptionsForInfeasibility_.addInt(input.readInt32());
              }
              input.popLimit(limit);
              break;
            } // case 186
            case 192: {
              numRestarts_ = input.readInt64();
              bitField0_ |= 0x00010000;
              break;
            } // case 192
            case 200: {
              numLpIterations_ = input.readInt64();
              bitField0_ |= 0x00020000;
              break;
            } // case 200
            case 210: {
              solveLog_ = input.readStringRequireUtf8();
              bitField0_ |= 0x00800000;
              break;
            } // case 210
            case 218: {
              com.google.ortools.sat.CpSolverSolution m =
                  input.readMessage(
                      com.google.ortools.sat.CpSolverSolution.parser(),
                      extensionRegistry);
              if (additionalSolutionsBuilder_ == null) {
                ensureAdditionalSolutionsIsMutable();
                additionalSolutions_.add(m);
              } else {
                additionalSolutionsBuilder_.addMessage(m);
              }
              break;
            } // case 218
            case 226: {
              input.readMessage(
                  internalGetIntegerObjectiveFieldBuilder().getBuilder(),
                  extensionRegistry);
              bitField0_ |= 0x00000080;
              break;
            } // case 226
            case 232: {
              innerObjectiveLowerBound_ = input.readInt64();
              bitField0_ |= 0x00000100;
              break;
            } // case 232
            case 240: {
              numIntegers_ = input.readInt64();
              bitField0_ |= 0x00000200;
              break;
            } // case 240
            case 248: {
              numFixedBooleans_ = input.readInt64();
              bitField0_ |= 0x00000800;
              break;
            } // case 248
            default: {
              if (!super.parseUnknownField(input, extensionRegistry, tag)) {
                done = true; // was an endgroup tag
              }
              break;
            } // default:
          } // switch (tag)
        } // while (!done)
      } catch (com.google.protobuf.InvalidProtocolBufferException e) {
        throw e.unwrapIOException();
      } finally {
        onChanged();
      } // finally
      return this;
    }
    private int bitField0_;
 
    private int status_ = 0;
    @java.lang.Override public int getStatusValue() {
      return status_;
    }

    public Builder setStatusValue(int value) {
      status_ = value;
      bitField0_ |= 0x00000001;
      onChanged();
      return this;
    }

    @java.lang.Override
    public com.google.ortools.sat.CpSolverStatus getStatus() {
      com.google.ortools.sat.CpSolverStatus result = com.google.ortools.sat.CpSolverStatus.forNumber(status_);
      return result == null ? com.google.ortools.sat.CpSolverStatus.UNRECOGNIZED : result;
    }

    public Builder setStatus(com.google.ortools.sat.CpSolverStatus value) {
      if (value == null) { throw new NullPointerException(); }
      bitField0_ |= 0x00000001;
      status_ = value.getNumber();
      onChanged();
      return this;
    }

    public Builder clearStatus() {
      bitField0_ = (bitField0_ & ~0x00000001);
      status_ = 0;
      onChanged();
      return this;
    }
 
    private com.google.protobuf.Internal.LongList solution_ = emptyLongList();
    private void ensureSolutionIsMutable() {
      if (!solution_.isModifiable()) {
        solution_ = makeMutableCopy(solution_);
      }
      bitField0_ |= 0x00000002;
    }
    public java.util.List<java.lang.Long>
        getSolutionList() {
      solution_.makeImmutable();
      return solution_;
    }

    public int getSolutionCount() {
      return solution_.size();
    }

    public long getSolution(int index) {
      return solution_.getLong(index);
    }

    public Builder setSolution(
        int index, long value) {
 
      ensureSolutionIsMutable();
      solution_.setLong(index, value);
      bitField0_ |= 0x00000002;
      onChanged();
      return this;
    }

    public Builder addSolution(long value) {
 
      ensureSolutionIsMutable();
      solution_.addLong(value);
      bitField0_ |= 0x00000002;
      onChanged();
      return this;
    }

    public Builder addAllSolution(
        java.lang.Iterable<? extends java.lang.Long> values) {
      ensureSolutionIsMutable();
      com.google.protobuf.AbstractMessageLite.Builder.addAll(
          values, solution_);
      bitField0_ |= 0x00000002;
      onChanged();
      return this;
    }

    public Builder clearSolution() {
      solution_ = emptyLongList();
      bitField0_ = (bitField0_ & ~0x00000002);
      onChanged();
      return this;
    }
 
    private double objectiveValue_ ;
    @java.lang.Override
    public double getObjectiveValue() {
      return objectiveValue_;
    }

    public Builder setObjectiveValue(double value) {
 
      objectiveValue_ = value;
      bitField0_ |= 0x00000004;
      onChanged();
      return this;
    }

    public Builder clearObjectiveValue() {
      bitField0_ = (bitField0_ & ~0x00000004);
      objectiveValue_ = 0D;
      onChanged();
      return this;
    }
 
    private double bestObjectiveBound_ ;
    @java.lang.Override
    public double getBestObjectiveBound() {
      return bestObjectiveBound_;
    }

    public Builder setBestObjectiveBound(double value) {
 
      bestObjectiveBound_ = value;
      bitField0_ |= 0x00000008;
      onChanged();
      return this;
    }

    public Builder clearBestObjectiveBound() {
      bitField0_ = (bitField0_ & ~0x00000008);
      bestObjectiveBound_ = 0D;
      onChanged();
      return this;
    }
 
    private java.util.List<com.google.ortools.sat.CpSolverSolution> additionalSolutions_ =
      java.util.Collections.emptyList();
    private void ensureAdditionalSolutionsIsMutable() {
      if (!((bitField0_ & 0x00000010) != 0)) {
        additionalSolutions_ = new java.util.ArrayList<com.google.ortools.sat.CpSolverSolution>(additionalSolutions_);
        bitField0_ |= 0x00000010;
       }
    }
 
    private com.google.protobuf.RepeatedFieldBuilder<
        com.google.ortools.sat.CpSolverSolution, com.google.ortools.sat.CpSolverSolution.Builder, com.google.ortools.sat.CpSolverSolutionOrBuilder> additionalSolutionsBuilder_;

    public java.util.List<com.google.ortools.sat.CpSolverSolution> getAdditionalSolutionsList() {
      if (additionalSolutionsBuilder_ == null) {
        return java.util.Collections.unmodifiableList(additionalSolutions_);
      } else {
        return additionalSolutionsBuilder_.getMessageList();
      }
    }

    public int getAdditionalSolutionsCount() {
      if (additionalSolutionsBuilder_ == null) {
        return additionalSolutions_.size();
      } else {
        return additionalSolutionsBuilder_.getCount();
      }
    }

    public com.google.ortools.sat.CpSolverSolution getAdditionalSolutions(int index) {
      if (additionalSolutionsBuilder_ == null) {
        return additionalSolutions_.get(index);
      } else {
        return additionalSolutionsBuilder_.getMessage(index);
      }
    }

    public Builder setAdditionalSolutions(
        int index, com.google.ortools.sat.CpSolverSolution value) {
      if (additionalSolutionsBuilder_ == null) {
        if (value == null) {
          throw new NullPointerException();
        }
        ensureAdditionalSolutionsIsMutable();
        additionalSolutions_.set(index, value);
        onChanged();
      } else {
        additionalSolutionsBuilder_.setMessage(index, value);
      }
      return this;
    }

    public Builder setAdditionalSolutions(
        int index, com.google.ortools.sat.CpSolverSolution.Builder builderForValue) {
      if (additionalSolutionsBuilder_ == null) {
        ensureAdditionalSolutionsIsMutable();
        additionalSolutions_.set(index, builderForValue.build());
        onChanged();
      } else {
        additionalSolutionsBuilder_.setMessage(index, builderForValue.build());
      }
      return this;
    }

    public Builder addAdditionalSolutions(com.google.ortools.sat.CpSolverSolution value) {
      if (additionalSolutionsBuilder_ == null) {
        if (value == null) {
          throw new NullPointerException();
        }
        ensureAdditionalSolutionsIsMutable();
        additionalSolutions_.add(value);
        onChanged();
      } else {
        additionalSolutionsBuilder_.addMessage(value);
      }
      return this;
    }

    public Builder addAdditionalSolutions(
        int index, com.google.ortools.sat.CpSolverSolution value) {
      if (additionalSolutionsBuilder_ == null) {
        if (value == null) {
          throw new NullPointerException();
        }
        ensureAdditionalSolutionsIsMutable();
        additionalSolutions_.add(index, value);
        onChanged();
      } else {
        additionalSolutionsBuilder_.addMessage(index, value);
      }
      return this;
    }

    public Builder addAdditionalSolutions(
        com.google.ortools.sat.CpSolverSolution.Builder builderForValue) {
      if (additionalSolutionsBuilder_ == null) {
        ensureAdditionalSolutionsIsMutable();
        additionalSolutions_.add(builderForValue.build());
        onChanged();
      } else {
        additionalSolutionsBuilder_.addMessage(builderForValue.build());
      }
      return this;
    }

    public Builder addAdditionalSolutions(
        int index, com.google.ortools.sat.CpSolverSolution.Builder builderForValue) {
      if (additionalSolutionsBuilder_ == null) {
        ensureAdditionalSolutionsIsMutable();
        additionalSolutions_.add(index, builderForValue.build());
        onChanged();
      } else {
        additionalSolutionsBuilder_.addMessage(index, builderForValue.build());
      }
      return this;
    }

    public Builder addAllAdditionalSolutions(
        java.lang.Iterable<? extends com.google.ortools.sat.CpSolverSolution> values) {
      if (additionalSolutionsBuilder_ == null) {
        ensureAdditionalSolutionsIsMutable();
        com.google.protobuf.AbstractMessageLite.Builder.addAll(
            values, additionalSolutions_);
        onChanged();
      } else {
        additionalSolutionsBuilder_.addAllMessages(values);
      }
      return this;
    }

    public Builder clearAdditionalSolutions() {
      if (additionalSolutionsBuilder_ == null) {
        additionalSolutions_ = java.util.Collections.emptyList();
        bitField0_ = (bitField0_ & ~0x00000010);
        onChanged();
      } else {
        additionalSolutionsBuilder_.clear();
      }
      return this;
    }

    public Builder removeAdditionalSolutions(int index) {
      if (additionalSolutionsBuilder_ == null) {
        ensureAdditionalSolutionsIsMutable();
        additionalSolutions_.remove(index);
        onChanged();
      } else {
        additionalSolutionsBuilder_.remove(index);
      }
      return this;
    }

    public com.google.ortools.sat.CpSolverSolution.Builder getAdditionalSolutionsBuilder(
        int index) {
      return internalGetAdditionalSolutionsFieldBuilder().getBuilder(index);
    }

    public com.google.ortools.sat.CpSolverSolutionOrBuilder getAdditionalSolutionsOrBuilder(
        int index) {
      if (additionalSolutionsBuilder_ == null) {
        return additionalSolutions_.get(index);  } else {
        return additionalSolutionsBuilder_.getMessageOrBuilder(index);
      }
    }

    public java.util.List<? extends com.google.ortools.sat.CpSolverSolutionOrBuilder> 
         getAdditionalSolutionsOrBuilderList() {
      if (additionalSolutionsBuilder_ != null) {
        return additionalSolutionsBuilder_.getMessageOrBuilderList();
      } else {
        return java.util.Collections.unmodifiableList(additionalSolutions_);
      }
    }

    public com.google.ortools.sat.CpSolverSolution.Builder addAdditionalSolutionsBuilder() {
      return internalGetAdditionalSolutionsFieldBuilder().addBuilder(
          com.google.ortools.sat.CpSolverSolution.getDefaultInstance());
    }

    public com.google.ortools.sat.CpSolverSolution.Builder addAdditionalSolutionsBuilder(
        int index) {
      return internalGetAdditionalSolutionsFieldBuilder().addBuilder(
          index, com.google.ortools.sat.CpSolverSolution.getDefaultInstance());
    }

    public java.util.List<com.google.ortools.sat.CpSolverSolution.Builder> 
         getAdditionalSolutionsBuilderList() {
      return internalGetAdditionalSolutionsFieldBuilder().getBuilderList();
    }
    private com.google.protobuf.RepeatedFieldBuilder<
        com.google.ortools.sat.CpSolverSolution, com.google.ortools.sat.CpSolverSolution.Builder, com.google.ortools.sat.CpSolverSolutionOrBuilder> 
        internalGetAdditionalSolutionsFieldBuilder() {
      if (additionalSolutionsBuilder_ == null) {
        additionalSolutionsBuilder_ = new com.google.protobuf.RepeatedFieldBuilder<
            com.google.ortools.sat.CpSolverSolution, com.google.ortools.sat.CpSolverSolution.Builder, com.google.ortools.sat.CpSolverSolutionOrBuilder>(
                additionalSolutions_,
                ((bitField0_ & 0x00000010) != 0),
                getParentForChildren(),
                isClean());
        additionalSolutions_ = null;
      }
      return additionalSolutionsBuilder_;
    }
 
    private java.util.List<com.google.ortools.sat.IntegerVariableProto> tightenedVariables_ =
      java.util.Collections.emptyList();
    private void ensureTightenedVariablesIsMutable() {
      if (!((bitField0_ & 0x00000020) != 0)) {
        tightenedVariables_ = new java.util.ArrayList<com.google.ortools.sat.IntegerVariableProto>(tightenedVariables_);
        bitField0_ |= 0x00000020;
       }
    }
 
    private com.google.protobuf.RepeatedFieldBuilder<
        com.google.ortools.sat.IntegerVariableProto, com.google.ortools.sat.IntegerVariableProto.Builder, com.google.ortools.sat.IntegerVariableProtoOrBuilder> tightenedVariablesBuilder_;

    public java.util.List<com.google.ortools.sat.IntegerVariableProto> getTightenedVariablesList() {
      if (tightenedVariablesBuilder_ == null) {
        return java.util.Collections.unmodifiableList(tightenedVariables_);
      } else {
        return tightenedVariablesBuilder_.getMessageList();
      }
    }

    public int getTightenedVariablesCount() {
      if (tightenedVariablesBuilder_ == null) {
        return tightenedVariables_.size();
      } else {
        return tightenedVariablesBuilder_.getCount();
      }
    }

    public com.google.ortools.sat.IntegerVariableProto getTightenedVariables(int index) {
      if (tightenedVariablesBuilder_ == null) {
        return tightenedVariables_.get(index);
      } else {
        return tightenedVariablesBuilder_.getMessage(index);
      }
    }

    public Builder setTightenedVariables(
        int index, com.google.ortools.sat.IntegerVariableProto value) {
      if (tightenedVariablesBuilder_ == null) {
        if (value == null) {
          throw new NullPointerException();
        }
        ensureTightenedVariablesIsMutable();
        tightenedVariables_.set(index, value);
        onChanged();
      } else {
        tightenedVariablesBuilder_.setMessage(index, value);
      }
      return this;
    }

    public Builder setTightenedVariables(
        int index, com.google.ortools.sat.IntegerVariableProto.Builder builderForValue) {
      if (tightenedVariablesBuilder_ == null) {
        ensureTightenedVariablesIsMutable();
        tightenedVariables_.set(index, builderForValue.build());
        onChanged();
      } else {
        tightenedVariablesBuilder_.setMessage(index, builderForValue.build());
      }
      return this;
    }

    public Builder addTightenedVariables(com.google.ortools.sat.IntegerVariableProto value) {
      if (tightenedVariablesBuilder_ == null) {
        if (value == null) {
          throw new NullPointerException();
        }
        ensureTightenedVariablesIsMutable();
        tightenedVariables_.add(value);
        onChanged();
      } else {
        tightenedVariablesBuilder_.addMessage(value);
      }
      return this;
    }

    public Builder addTightenedVariables(
        int index, com.google.ortools.sat.IntegerVariableProto value) {
      if (tightenedVariablesBuilder_ == null) {
        if (value == null) {
          throw new NullPointerException();
        }
        ensureTightenedVariablesIsMutable();
        tightenedVariables_.add(index, value);
        onChanged();
      } else {
        tightenedVariablesBuilder_.addMessage(index, value);
      }
      return this;
    }

    public Builder addTightenedVariables(
        com.google.ortools.sat.IntegerVariableProto.Builder builderForValue) {
      if (tightenedVariablesBuilder_ == null) {
        ensureTightenedVariablesIsMutable();
        tightenedVariables_.add(builderForValue.build());
        onChanged();
      } else {
        tightenedVariablesBuilder_.addMessage(builderForValue.build());
      }
      return this;
    }

    public Builder addTightenedVariables(
        int index, com.google.ortools.sat.IntegerVariableProto.Builder builderForValue) {
      if (tightenedVariablesBuilder_ == null) {
        ensureTightenedVariablesIsMutable();
        tightenedVariables_.add(index, builderForValue.build());
        onChanged();
      } else {
        tightenedVariablesBuilder_.addMessage(index, builderForValue.build());
      }
      return this;
    }

    public Builder addAllTightenedVariables(
        java.lang.Iterable<? extends com.google.ortools.sat.IntegerVariableProto> values) {
      if (tightenedVariablesBuilder_ == null) {
        ensureTightenedVariablesIsMutable();
        com.google.protobuf.AbstractMessageLite.Builder.addAll(
            values, tightenedVariables_);
        onChanged();
      } else {
        tightenedVariablesBuilder_.addAllMessages(values);
      }
      return this;
    }

    public Builder clearTightenedVariables() {
      if (tightenedVariablesBuilder_ == null) {
        tightenedVariables_ = java.util.Collections.emptyList();
        bitField0_ = (bitField0_ & ~0x00000020);
        onChanged();
      } else {
        tightenedVariablesBuilder_.clear();
      }
      return this;
    }

    public Builder removeTightenedVariables(int index) {
      if (tightenedVariablesBuilder_ == null) {
        ensureTightenedVariablesIsMutable();
        tightenedVariables_.remove(index);
        onChanged();
      } else {
        tightenedVariablesBuilder_.remove(index);
      }
      return this;
    }

    public com.google.ortools.sat.IntegerVariableProto.Builder getTightenedVariablesBuilder(
        int index) {
      return internalGetTightenedVariablesFieldBuilder().getBuilder(index);
    }

    public com.google.ortools.sat.IntegerVariableProtoOrBuilder getTightenedVariablesOrBuilder(
        int index) {
      if (tightenedVariablesBuilder_ == null) {
        return tightenedVariables_.get(index);  } else {
        return tightenedVariablesBuilder_.getMessageOrBuilder(index);
      }
    }

    public java.util.List<? extends com.google.ortools.sat.IntegerVariableProtoOrBuilder> 
         getTightenedVariablesOrBuilderList() {
      if (tightenedVariablesBuilder_ != null) {
        return tightenedVariablesBuilder_.getMessageOrBuilderList();
      } else {
        return java.util.Collections.unmodifiableList(tightenedVariables_);
      }
    }

    public com.google.ortools.sat.IntegerVariableProto.Builder addTightenedVariablesBuilder() {
      return internalGetTightenedVariablesFieldBuilder().addBuilder(
          com.google.ortools.sat.IntegerVariableProto.getDefaultInstance());
    }

    public com.google.ortools.sat.IntegerVariableProto.Builder addTightenedVariablesBuilder(
        int index) {
      return internalGetTightenedVariablesFieldBuilder().addBuilder(
          index, com.google.ortools.sat.IntegerVariableProto.getDefaultInstance());
    }

    public java.util.List<com.google.ortools.sat.IntegerVariableProto.Builder> 
         getTightenedVariablesBuilderList() {
      return internalGetTightenedVariablesFieldBuilder().getBuilderList();
    }
    private com.google.protobuf.RepeatedFieldBuilder<
        com.google.ortools.sat.IntegerVariableProto, com.google.ortools.sat.IntegerVariableProto.Builder, com.google.ortools.sat.IntegerVariableProtoOrBuilder> 
        internalGetTightenedVariablesFieldBuilder() {
      if (tightenedVariablesBuilder_ == null) {
        tightenedVariablesBuilder_ = new com.google.protobuf.RepeatedFieldBuilder<
            com.google.ortools.sat.IntegerVariableProto, com.google.ortools.sat.IntegerVariableProto.Builder, com.google.ortools.sat.IntegerVariableProtoOrBuilder>(
                tightenedVariables_,
                ((bitField0_ & 0x00000020) != 0),
                getParentForChildren(),
                isClean());
        tightenedVariables_ = null;
      }
      return tightenedVariablesBuilder_;
    }
 
    private com.google.protobuf.Internal.IntList sufficientAssumptionsForInfeasibility_ = emptyIntList();
    private void ensureSufficientAssumptionsForInfeasibilityIsMutable() {
      if (!sufficientAssumptionsForInfeasibility_.isModifiable()) {
        sufficientAssumptionsForInfeasibility_ = makeMutableCopy(sufficientAssumptionsForInfeasibility_);
      }
      bitField0_ |= 0x00000040;
    }
    public java.util.List<java.lang.Integer>
        getSufficientAssumptionsForInfeasibilityList() {
      sufficientAssumptionsForInfeasibility_.makeImmutable();
      return sufficientAssumptionsForInfeasibility_;
    }

    public int getSufficientAssumptionsForInfeasibilityCount() {
      return sufficientAssumptionsForInfeasibility_.size();
    }

    public int getSufficientAssumptionsForInfeasibility(int index) {
      return sufficientAssumptionsForInfeasibility_.getInt(index);
    }

    public Builder setSufficientAssumptionsForInfeasibility(
        int index, int value) {
 
      ensureSufficientAssumptionsForInfeasibilityIsMutable();
      sufficientAssumptionsForInfeasibility_.setInt(index, value);
      bitField0_ |= 0x00000040;
      onChanged();
      return this;
    }

    public Builder addSufficientAssumptionsForInfeasibility(int value) {
 
      ensureSufficientAssumptionsForInfeasibilityIsMutable();
      sufficientAssumptionsForInfeasibility_.addInt(value);
      bitField0_ |= 0x00000040;
      onChanged();
      return this;
    }

    public Builder addAllSufficientAssumptionsForInfeasibility(
        java.lang.Iterable<? extends java.lang.Integer> values) {
      ensureSufficientAssumptionsForInfeasibilityIsMutable();
      com.google.protobuf.AbstractMessageLite.Builder.addAll(
          values, sufficientAssumptionsForInfeasibility_);
      bitField0_ |= 0x00000040;
      onChanged();
      return this;
    }

    public Builder clearSufficientAssumptionsForInfeasibility() {
      sufficientAssumptionsForInfeasibility_ = emptyIntList();
      bitField0_ = (bitField0_ & ~0x00000040);
      onChanged();
      return this;
    }
 
    private com.google.ortools.sat.CpObjectiveProto integerObjective_;
    private com.google.protobuf.SingleFieldBuilder<
        com.google.ortools.sat.CpObjectiveProto, com.google.ortools.sat.CpObjectiveProto.Builder, com.google.ortools.sat.CpObjectiveProtoOrBuilder> integerObjectiveBuilder_;
    public boolean hasIntegerObjective() {
      return ((bitField0_ & 0x00000080) != 0);
    }

    public com.google.ortools.sat.CpObjectiveProto getIntegerObjective() {
      if (integerObjectiveBuilder_ == null) {
        return integerObjective_ == null ? com.google.ortools.sat.CpObjectiveProto.getDefaultInstance() : integerObjective_;
      } else {
        return integerObjectiveBuilder_.getMessage();
      }
    }

    public Builder setIntegerObjective(com.google.ortools.sat.CpObjectiveProto value) {
      if (integerObjectiveBuilder_ == null) {
        if (value == null) {
          throw new NullPointerException();
        }
        integerObjective_ = value;
      } else {
        integerObjectiveBuilder_.setMessage(value);
      }
      bitField0_ |= 0x00000080;
      onChanged();
      return this;
    }

    public Builder setIntegerObjective(
        com.google.ortools.sat.CpObjectiveProto.Builder builderForValue) {
      if (integerObjectiveBuilder_ == null) {
        integerObjective_ = builderForValue.build();
      } else {
        integerObjectiveBuilder_.setMessage(builderForValue.build());
      }
      bitField0_ |= 0x00000080;
      onChanged();
      return this;
    }

    public Builder mergeIntegerObjective(com.google.ortools.sat.CpObjectiveProto value) {
      if (integerObjectiveBuilder_ == null) {
        if (((bitField0_ & 0x00000080) != 0) &&
          integerObjective_ != null &&
          integerObjective_ != com.google.ortools.sat.CpObjectiveProto.getDefaultInstance()) {
          getIntegerObjectiveBuilder().mergeFrom(value);
        } else {
          integerObjective_ = value;
        }
      } else {
        integerObjectiveBuilder_.mergeFrom(value);
      }
      if (integerObjective_ != null) {
        bitField0_ |= 0x00000080;
        onChanged();
      }
      return this;
    }

    public Builder clearIntegerObjective() {
      bitField0_ = (bitField0_ & ~0x00000080);
      integerObjective_ = null;
      if (integerObjectiveBuilder_ != null) {
        integerObjectiveBuilder_.dispose();
        integerObjectiveBuilder_ = null;
      }
      onChanged();
      return this;
    }

    public com.google.ortools.sat.CpObjectiveProto.Builder getIntegerObjectiveBuilder() {
      bitField0_ |= 0x00000080;
      onChanged();
      return internalGetIntegerObjectiveFieldBuilder().getBuilder();
    }

    public com.google.ortools.sat.CpObjectiveProtoOrBuilder getIntegerObjectiveOrBuilder() {
      if (integerObjectiveBuilder_ != null) {
        return integerObjectiveBuilder_.getMessageOrBuilder();
      } else {
        return integerObjective_ == null ?
            com.google.ortools.sat.CpObjectiveProto.getDefaultInstance() : integerObjective_;
      }
    }

    private com.google.protobuf.SingleFieldBuilder<
        com.google.ortools.sat.CpObjectiveProto, com.google.ortools.sat.CpObjectiveProto.Builder, com.google.ortools.sat.CpObjectiveProtoOrBuilder> 
        internalGetIntegerObjectiveFieldBuilder() {
      if (integerObjectiveBuilder_ == null) {
        integerObjectiveBuilder_ = new com.google.protobuf.SingleFieldBuilder<
            com.google.ortools.sat.CpObjectiveProto, com.google.ortools.sat.CpObjectiveProto.Builder, com.google.ortools.sat.CpObjectiveProtoOrBuilder>(
                getIntegerObjective(),
                getParentForChildren(),
                isClean());
        integerObjective_ = null;
      }
      return integerObjectiveBuilder_;
    }
 
    private long innerObjectiveLowerBound_ ;
    @java.lang.Override
    public long getInnerObjectiveLowerBound() {
      return innerObjectiveLowerBound_;
    }

    public Builder setInnerObjectiveLowerBound(long value) {
 
      innerObjectiveLowerBound_ = value;
      bitField0_ |= 0x00000100;
      onChanged();
      return this;
    }

    public Builder clearInnerObjectiveLowerBound() {
      bitField0_ = (bitField0_ & ~0x00000100);
      innerObjectiveLowerBound_ = 0L;
      onChanged();
      return this;
    }
 
    private long numIntegers_ ;
    @java.lang.Override
    public long getNumIntegers() {
      return numIntegers_;
    }

    public Builder setNumIntegers(long value) {
 
      numIntegers_ = value;
      bitField0_ |= 0x00000200;
      onChanged();
      return this;
    }

    public Builder clearNumIntegers() {
      bitField0_ = (bitField0_ & ~0x00000200);
      numIntegers_ = 0L;
      onChanged();
      return this;
    }
 
    private long numBooleans_ ;
    @java.lang.Override
    public long getNumBooleans() {
      return numBooleans_;
    }

    public Builder setNumBooleans(long value) {
 
      numBooleans_ = value;
      bitField0_ |= 0x00000400;
      onChanged();
      return this;
    }

    public Builder clearNumBooleans() {
      bitField0_ = (bitField0_ & ~0x00000400);
      numBooleans_ = 0L;
      onChanged();
      return this;
    }
 
    private long numFixedBooleans_ ;
    @java.lang.Override
    public long getNumFixedBooleans() {
      return numFixedBooleans_;
    }

    public Builder setNumFixedBooleans(long value) {
 
      numFixedBooleans_ = value;
      bitField0_ |= 0x00000800;
      onChanged();
      return this;
    }

    public Builder clearNumFixedBooleans() {
      bitField0_ = (bitField0_ & ~0x00000800);
      numFixedBooleans_ = 0L;
      onChanged();
      return this;
    }
 
    private long numConflicts_ ;
    @java.lang.Override
    public long getNumConflicts() {
      return numConflicts_;
    }

    public Builder setNumConflicts(long value) {
 
      numConflicts_ = value;
      bitField0_ |= 0x00001000;
      onChanged();
      return this;
    }

    public Builder clearNumConflicts() {
      bitField0_ = (bitField0_ & ~0x00001000);
      numConflicts_ = 0L;
      onChanged();
      return this;
    }
 
    private long numBranches_ ;
    @java.lang.Override
    public long getNumBranches() {
      return numBranches_;
    }

    public Builder setNumBranches(long value) {
 
      numBranches_ = value;
      bitField0_ |= 0x00002000;
      onChanged();
      return this;
    }

    public Builder clearNumBranches() {
      bitField0_ = (bitField0_ & ~0x00002000);
      numBranches_ = 0L;
      onChanged();
      return this;
    }
 
    private long numBinaryPropagations_ ;
    @java.lang.Override
    public long getNumBinaryPropagations() {
      return numBinaryPropagations_;
    }

    public Builder setNumBinaryPropagations(long value) {
 
      numBinaryPropagations_ = value;
      bitField0_ |= 0x00004000;
      onChanged();
      return this;
    }

    public Builder clearNumBinaryPropagations() {
      bitField0_ = (bitField0_ & ~0x00004000);
      numBinaryPropagations_ = 0L;
      onChanged();
      return this;
    }
 
    private long numIntegerPropagations_ ;
    @java.lang.Override
    public long getNumIntegerPropagations() {
      return numIntegerPropagations_;
    }

    public Builder setNumIntegerPropagations(long value) {
 
      numIntegerPropagations_ = value;
      bitField0_ |= 0x00008000;
      onChanged();
      return this;
    }

    public Builder clearNumIntegerPropagations() {
      bitField0_ = (bitField0_ & ~0x00008000);
      numIntegerPropagations_ = 0L;
      onChanged();
      return this;
    }
 
    private long numRestarts_ ;
    @java.lang.Override
    public long getNumRestarts() {
      return numRestarts_;
    }

    public Builder setNumRestarts(long value) {
 
      numRestarts_ = value;
      bitField0_ |= 0x00010000;
      onChanged();
      return this;
    }

    public Builder clearNumRestarts() {
      bitField0_ = (bitField0_ & ~0x00010000);
      numRestarts_ = 0L;
      onChanged();
      return this;
    }
 
    private long numLpIterations_ ;
    @java.lang.Override
    public long getNumLpIterations() {
      return numLpIterations_;
    }

    public Builder setNumLpIterations(long value) {
 
      numLpIterations_ = value;
      bitField0_ |= 0x00020000;
      onChanged();
      return this;
    }

    public Builder clearNumLpIterations() {
      bitField0_ = (bitField0_ & ~0x00020000);
      numLpIterations_ = 0L;
      onChanged();
      return this;
    }
 
    private double wallTime_ ;
    @java.lang.Override
    public double getWallTime() {
      return wallTime_;
    }

    public Builder setWallTime(double value) {
 
      wallTime_ = value;
      bitField0_ |= 0x00040000;
      onChanged();
      return this;
    }

    public Builder clearWallTime() {
      bitField0_ = (bitField0_ & ~0x00040000);
      wallTime_ = 0D;
      onChanged();
      return this;
    }
 
    private double userTime_ ;
    @java.lang.Override
    public double getUserTime() {
      return userTime_;
    }

    public Builder setUserTime(double value) {
 
      userTime_ = value;
      bitField0_ |= 0x00080000;
      onChanged();
      return this;
    }

    public Builder clearUserTime() {
      bitField0_ = (bitField0_ & ~0x00080000);
      userTime_ = 0D;
      onChanged();
      return this;
    }
 
    private double deterministicTime_ ;
    @java.lang.Override
    public double getDeterministicTime() {
      return deterministicTime_;
    }

    public Builder setDeterministicTime(double value) {
 
      deterministicTime_ = value;
      bitField0_ |= 0x00100000;
      onChanged();
      return this;
    }

    public Builder clearDeterministicTime() {
      bitField0_ = (bitField0_ & ~0x00100000);
      deterministicTime_ = 0D;
      onChanged();
      return this;
    }
 
    private double gapIntegral_ ;
    @java.lang.Override
    public double getGapIntegral() {
      return gapIntegral_;
    }

    public Builder setGapIntegral(double value) {
 
      gapIntegral_ = value;
      bitField0_ |= 0x00200000;
      onChanged();
      return this;
    }

    public Builder clearGapIntegral() {
      bitField0_ = (bitField0_ & ~0x00200000);
      gapIntegral_ = 0D;
      onChanged();
      return this;
    }
 
    private java.lang.Object solutionInfo_ = "";
    public java.lang.String getSolutionInfo() {
      java.lang.Object ref = solutionInfo_;
      if (!(ref instanceof java.lang.String)) {
        com.google.protobuf.ByteString bs =
            (com.google.protobuf.ByteString) ref;
        java.lang.String s = bs.toStringUtf8();
        solutionInfo_ = s;
        return s;
      } else {
        return (java.lang.String) ref;
      }
    }

    public com.google.protobuf.ByteString
        getSolutionInfoBytes() {
      java.lang.Object ref = solutionInfo_;
      if (ref instanceof String) {
        com.google.protobuf.ByteString b = 
            com.google.protobuf.ByteString.copyFromUtf8(
                (java.lang.String) ref);
        solutionInfo_ = b;
        return b;
      } else {
        return (com.google.protobuf.ByteString) ref;
      }
    }

    public Builder setSolutionInfo(
        java.lang.String value) {
      if (value == null) { throw new NullPointerException(); }
      solutionInfo_ = value;
      bitField0_ |= 0x00400000;
      onChanged();
      return this;
    }

    public Builder clearSolutionInfo() {
      solutionInfo_ = getDefaultInstance().getSolutionInfo();
      bitField0_ = (bitField0_ & ~0x00400000);
      onChanged();
      return this;
    }

    public Builder setSolutionInfoBytes(
        com.google.protobuf.ByteString value) {
      if (value == null) { throw new NullPointerException(); }
      checkByteStringIsUtf8(value);
      solutionInfo_ = value;
      bitField0_ |= 0x00400000;
      onChanged();
      return this;
    }
 
    private java.lang.Object solveLog_ = "";
    public java.lang.String getSolveLog() {
      java.lang.Object ref = solveLog_;
      if (!(ref instanceof java.lang.String)) {
        com.google.protobuf.ByteString bs =
            (com.google.protobuf.ByteString) ref;
        java.lang.String s = bs.toStringUtf8();
        solveLog_ = s;
        return s;
      } else {
        return (java.lang.String) ref;
      }
    }

    public com.google.protobuf.ByteString
        getSolveLogBytes() {
      java.lang.Object ref = solveLog_;
      if (ref instanceof String) {
        com.google.protobuf.ByteString b = 
            com.google.protobuf.ByteString.copyFromUtf8(
                (java.lang.String) ref);
        solveLog_ = b;
        return b;
      } else {
        return (com.google.protobuf.ByteString) ref;
      }
    }

    public Builder setSolveLog(
        java.lang.String value) {
      if (value == null) { throw new NullPointerException(); }
      solveLog_ = value;
      bitField0_ |= 0x00800000;
      onChanged();
      return this;
    }

    public Builder clearSolveLog() {
      solveLog_ = getDefaultInstance().getSolveLog();
      bitField0_ = (bitField0_ & ~0x00800000);
      onChanged();
      return this;
    }

    public Builder setSolveLogBytes(
        com.google.protobuf.ByteString value) {
      if (value == null) { throw new NullPointerException(); }
      checkByteStringIsUtf8(value);
      solveLog_ = value;
      bitField0_ |= 0x00800000;
      onChanged();
      return this;
    }
 
    // @@protoc_insertion_point(builder_scope:operations_research.sat.CpSolverResponse)
  }
 
  // @@protoc_insertion_point(class_scope:operations_research.sat.CpSolverResponse)
  private static final com.google.ortools.sat.CpSolverResponse DEFAULT_INSTANCE;
  static {
    DEFAULT_INSTANCE = new com.google.ortools.sat.CpSolverResponse();
  }
 
  public static com.google.ortools.sat.CpSolverResponse getDefaultInstance() {
    return DEFAULT_INSTANCE;
  }
 
  private static final com.google.protobuf.Parser<CpSolverResponse>
      PARSER = new com.google.protobuf.AbstractParser<CpSolverResponse>() {
    @java.lang.Override
    public CpSolverResponse parsePartialFrom(
        com.google.protobuf.CodedInputStream input,
        com.google.protobuf.ExtensionRegistryLite extensionRegistry)
        throws com.google.protobuf.InvalidProtocolBufferException {
      Builder builder = newBuilder();
      try {
        builder.mergeFrom(input, extensionRegistry);
      } catch (com.google.protobuf.InvalidProtocolBufferException e) {
        throw e.setUnfinishedMessage(builder.buildPartial());
      } catch (com.google.protobuf.UninitializedMessageException e) {
        throw e.asInvalidProtocolBufferException().setUnfinishedMessage(builder.buildPartial());
      } catch (java.io.IOException e) {
        throw new com.google.protobuf.InvalidProtocolBufferException(e)
            .setUnfinishedMessage(builder.buildPartial());
      }
      return builder.buildPartial();
    }
  };
 
  public static com.google.protobuf.Parser<CpSolverResponse> parser() {
    return PARSER;
  }
 
  @java.lang.Override
  public com.google.protobuf.Parser<CpSolverResponse> getParserForType() {
    return PARSER;
  }
 
  @java.lang.Override
  public com.google.ortools.sat.CpSolverResponse getDefaultInstanceForType() {
    return DEFAULT_INSTANCE;
  }
 
}