Function write_sol_file 

pub fn write_sol_file(path: &Path, payload: &SolutionFile<'_>) -> Result<usize>

Convenience: write payload to path (truncating any existing file). Returns the bytes written on success.