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