Use 8 threads for MIP solver