K=5 M=48: stopped_by_time_limit=False time=83.5s
number of sets (no dissociated K-subset) by size: {0: 1, 1: 48, 2: 1128, 3: 17296, 4: 194580, 5: 941016, 6: 2334826, 7: 3223062, 8: 2474021, 9: 958492, 10: 135306, 11: 7760, 12: 86, 13: 3}
max size 13; 3 sets of max size; first few: [(1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 13, 15), (2, 4, 6, 8, 10, 12, 14, 16, 18, 20, 24, 26, 30), (3, 6, 9, 12, 15, 18, 21, 24, 27, 30, 36, 39, 45)]
