we need to set time limit up to 30s in order to make the solver solve the problem correctly