created IdCache for optimized solving