# proto-file: ortools/sat/cp_model.proto
# proto-message: operations_research.sat.CpModelProto

variables {
  domain: 0
  domain: 4
}
variables {
  domain: 2
  domain: 2
}
variables {
  domain: 0
  domain: 4
}
variables {
  domain: 1
  domain: 4
}
variables {
  domain: 2
  domain: 2
}
variables {
  domain: 0
  domain: 4
}
variables {
  domain: 3
  domain: 3
}
variables {
  domain: 4
  domain: 4
}
variables {
  domain: 6
  domain: 6
}
constraints {
  interval {
    end { vars: 2 coeffs: 1 }
    size { vars: 2 coeffs: 1 }
  }
}
constraints {
  interval {
    start { vars: 3 coeffs: 1 }
    end { vars: 5 coeffs: 1 }
    size { vars: 4 coeffs: 1 }
  }
}
constraints {
  cumulative {
    capacity { vars: 8  coeffs: 1 }
    intervals: 0
    intervals: 1
    demands: { vars: 6 coeffs: 1 }
    demands: { vars: 7 coeffs: 1 }
  }
}
