DEG=4: monomials 20853, cube orbits 608, congruence classes 348, free orbit variables 437, class equalities 177  (0.1s)
Psi0 table done (14.4s)
round   1 [minM] pool   3011  M_pool = 6.000000000  max over all patterns = 19.592655223  violation = 1.36e+01  (18s)
round   2 [minM] pool   3064  M_pool = 6.000000000  max over all patterns = 14.954514982  violation = 8.95e+00  (22s)
round   3 [minM] pool   3295  M_pool = 6.000000000  max over all patterns = 15.619402325  violation = 9.62e+00  (27s)
round   4 [minM] pool   3361  M_pool = 6.000000000  max over all patterns = 10.985911294  violation = 4.99e+00  (31s)
round   5 [minM] pool   4733  M_pool = 6.000000000  max over all patterns = 10.103550336  violation = 4.10e+00  (38s)
round   6 [minM] pool   5127  M_pool = 6.000000000  max over all patterns = 10.172217620  violation = 4.17e+00  (43s)
round   7 [minM] pool   5162  M_pool = 6.000000000  max over all patterns = 10.505371630  violation = 4.51e+00  (57s)
round   8 [minM] pool   5187  M_pool = 6.000000000  max over all patterns = 8.326432872  violation = 2.33e+00  (70s)
round   9 [minM] pool   5444  M_pool = 6.000000000  max over all patterns = 8.057961665  violation = 2.06e+00  (83s)
round  10 [minM] pool   5488  M_pool = 6.000000000  max over all patterns = 9.674960158  violation = 3.67e+00  (92s)
round  11 [minM] pool   5540  M_pool = 6.000000000  max over all patterns = 7.755074215  violation = 1.76e+00  (106s)
round  12 [minM] pool   6017  M_pool = 6.000000000  max over all patterns = 10.275295083  violation = 4.28e+00  (120s)
round  13 [minM] pool   6038  M_pool = 6.000000000  max over all patterns = 7.749035977  violation = 1.75e+00  (136s)
round  14 [minM] pool   6241  M_pool = 6.000000000  max over all patterns = 7.898287350  violation = 1.90e+00  (150s)
round  15 [minM] pool   6370  M_pool = 6.000000000  max over all patterns = 7.394082124  violation = 1.39e+00  (167s)
round  16 [minM] pool   6421  M_pool = 6.000000000  max over all patterns = 7.047451353  violation = 1.05e+00  (182s)
round  17 [minM] pool   6581  M_pool = 6.000000000  max over all patterns = 7.112234075  violation = 1.11e+00  (199s)
round  18 [minM] pool   6601  M_pool = 6.000000000  max over all patterns = 7.213552953  violation = 1.21e+00  (216s)
round  19 [minM] pool   6700  M_pool = 6.000000000  max over all patterns = 6.943528950  violation = 9.44e-01  (232s)
round  20 [minM] pool   6921  M_pool = 6.000000000  max over all patterns = 6.849227581  violation = 8.49e-01  (249s)
round  21 [minM] pool   7000  M_pool = 6.000000000  max over all patterns = 6.834456137  violation = 8.34e-01  (268s)
round  22 [minM] pool   7335  M_pool = 6.000000000  max over all patterns = 7.427992102  violation = 1.43e+00  (288s)
round  23 [minM] pool   7343  M_pool = 6.000000000  max over all patterns = 6.566749241  violation = 5.67e-01  (307s)
round  24 [minM] pool   7567  M_pool = 6.000000000  max over all patterns = 6.700912641  violation = 7.01e-01  (326s)
round  25 [minM] pool   7648  M_pool = 6.000000000  max over all patterns = 6.534630625  violation = 5.35e-01  (345s)
round  26 [minM] pool   7741  M_pool = 6.000000000  max over all patterns = 6.489497630  violation = 4.89e-01  (364s)
round  27 [minM] pool   7940  M_pool = 6.000000000  max over all patterns = 6.454080452  violation = 4.54e-01  (385s)
round  28 [minM] pool   8012  M_pool = 6.000000000  max over all patterns = 6.369676926  violation = 3.70e-01  (408s)
round  29 [minM] pool   8134  M_pool = 6.000000000  max over all patterns = 6.363958674  violation = 3.64e-01  (429s)
round  30 [minM] pool   8295  M_pool = 6.000000000  max over all patterns = 6.333945284  violation = 3.34e-01  (452s)
round  31 [minM] pool   8354  M_pool = 6.000000000  max over all patterns = 6.365464597  violation = 3.65e-01  (476s)
round  32 [minM] pool   8391  M_pool = 6.000000000  max over all patterns = 6.312168333  violation = 3.12e-01  (497s)
round  33 [minM] pool   8497  M_pool = 6.000000000  max over all patterns = 6.393364768  violation = 3.93e-01  (519s)
round  34 [minM] pool   8531  M_pool = 6.000000000  max over all patterns = 6.291193273  violation = 2.91e-01  (540s)
round  35 [minM] pool   8686  M_pool = 6.000000000  max over all patterns = 6.327510672  violation = 3.28e-01  (561s)
round  36 [minM] pool   8762  M_pool = 6.000000000  max over all patterns = 6.373338512  violation = 3.73e-01  (583s)
round  37 [minM] pool   8814  M_pool = 6.000000000  max over all patterns = 6.312938312  violation = 3.13e-01  (604s)
round  38 [minM] pool   8846  M_pool = 6.000000000  max over all patterns = 6.322402037  violation = 3.22e-01  (625s)
round  39 [minM] pool   8882  M_pool = 6.000000000  max over all patterns = 6.225523119  violation = 2.26e-01  (647s)
round  40 [minM] pool   8974  M_pool = 6.000000000  max over all patterns = 6.280274687  violation = 2.80e-01  (668s)
round  41 [minM] pool   9000  M_pool = 6.000000000  max over all patterns = 6.216154747  violation = 2.16e-01  (690s)
round  42 [minM] pool   9044  M_pool = 6.000000000  max over all patterns = 6.354897051  violation = 3.55e-01  (710s)
round  43 [minM] pool   9108  M_pool = 6.000000000  max over all patterns = 6.512589599  violation = 5.13e-01  (733s)
