Write some comments to the MIsolver::run() function.