size 1: [1]  (t=0.0s)
size 2: [1, 2]  (t=0.0s)
size 3: [1, 2, 3]  (t=0.0s)
size 4: [1, 2, 3, 4]  (t=0.0s)
size 5: [1, 2, 3, 4, 5]  (t=0.0s)
size 6: [1, 2, 3, 4, 5, 6]  (t=0.0s)
size 7: [1, 2, 3, 4, 5, 6, 7]  (t=0.0s)
size 8: [1, 2, 3, 4, 5, 6, 7, 8]  (t=0.0s)
size 9: [1, 2, 3, 4, 5, 6, 7, 8, 9]  (t=0.0s)
size 10: [1, 2, 3, 4, 5, 6, 7, 8, 9, 10]  (t=0.0s)
size 11: [1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11]  (t=0.0s)
size 12: [1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12]  (t=0.0s)
size 13: [1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13]  (t=0.0s)
size 14: [1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14]  (t=0.0s)
size 15: [1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15]  (t=0.0s)
size 16: [1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16]  (t=0.0s)
size 17: [1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17]  (t=0.0s)
size 18: [1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18]  (t=0.0s)
size 19: [1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19]  (t=0.0s)
size 20: [1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20]  (t=0.1s)
size 21: [1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21]  (t=0.1s)
size 22: [1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22]  (t=0.1s)
size 23: [1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23]  (t=0.2s)
size 24: [1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 24, 25, 27]  (t=0.5s)
DONE K=6 M=28: max size 24 in 600.2s
  1 sets of size 24; first few: [(1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 24, 25, 27)]
