Gamma': chunk 0/1: 156 instances (nmax=4, ordered=True, disconnected=False, max |D| = 6); identity opt = 2|D| + mwc(H): OK; path-covering IP agreed on 108; branch and bound decided 60 of 60 (all agreed); 47 s
time 47 s; result OK
