1115: ide backend runs out of memory after doing several searches