Parse CP-SAT (OR-Tools) solver logs into line-anchored, JSON-serializable
pydantic models.
