still less memory for BILP+reuse