start debugging solver