An Efficient Local Search Solver for Mixed Integer Programming