{
  "timestamp": "2025-10-21T10:59:36.646855",
  "success": false,
  "metadata": {
    "solveTime": 0,
    "constraintsAdded": 0,
    "variablesCreated": 0,
    "optimal": false
  },
  "progress": [],
  "solution_summary": {
    "assignments_count": 0,
    "violations_count": 1,
    "variables_count": 0,
    "constraints_count": 0,
    "solve_time": 0,
    "optimal": false
  }
}