Gamma'(K_3 on the terminals), 2|D|+mwc = 9; opt by K: {1: (8, [6, 6, 6]), 2: (9, [6, 6, 6]), 3: (9, [6, 6, 6]), 4: (9, [6, 6, 6]), 10: (9, [6, 6, 6])}
parallel edges: subdividing every parallel edge once leaves mwc unchanged on 200 random multigraphs: OK
time 0 s; result OK
