reduced memory for BILP with reuse