write case to disk, use cmd line mosek