trials 20000 shrunk-instance size histogram {17: 2, 19: 9, 21: 8, 23: 3, 25: 1, 27: 1, 29: 1}
smallest: 17
order 4 5 3 0 35 1 14 34 05 01 13 03 013 04 035 014 034
pairs (3,35) (1,14) (5,34) (0,05) (03,013) (13,035) (04,014) (01,034)
violation (((0, 1), (0, 3, 4)), 2)
