increase solver timeout to 30 seconds from 10