assignments: ShiftAssignment[];

optional error: string;

optional statistics: {
  branches?: number;
  conflicts?: number;
  solveTimeMs?: number;
};

optional branches: number;

optional conflicts: number;

optional solveTimeMs: number;

status: "OPTIMAL" | "FEASIBLE" | "INFEASIBLE" | "TIMEOUT" | "ERROR";