HMIN_solver_set_write_ordered()