finish IlpSolver