group J max degree 10 search nodes 78937 time 2.9s
number of complete coset tables (subgroups) by index: {1: 1}
group J max degree 12 search nodes 717879 time 30.0s
number of complete coset tables (subgroups) by index: {1: 1}
  ... nodes 2000000 n 14

[exited with code 0]
(the last line is a progress line of a third run with NMAX=14, stopped by me to respect the 3-process limit; it is not a result)
