DEG=3: monomials 3303, cube orbits 125, congruence classes 54, free orbit variables 110, class equalities 39  (0.0s)
Psi0 table done (14.3s)
round   1 [minM] pool   3011  M_pool = 6.000000000  max over all patterns = 11.283906368  violation = 5.28e+00  (17s)
round   2 [minM] pool   3032  M_pool = 6.000000000  max over all patterns = 11.677651774  violation = 5.68e+00  (19s)
round   3 [minM] pool   3115  M_pool = 6.000000000  max over all patterns = 12.228617779  violation = 6.23e+00  (21s)
round   4 [minM] pool   3126  M_pool = 6.000000000  max over all patterns = 9.170118513  violation = 3.17e+00  (23s)
round   5 [minM] pool   3161  M_pool = 6.000000000  max over all patterns = 9.136703576  violation = 3.14e+00  (26s)
round   6 [minM] pool   3686  M_pool = 6.000000000  max over all patterns = 8.133345950  violation = 2.13e+00  (28s)
round   7 [minM] pool   3713  M_pool = 6.000000000  max over all patterns = 8.293425712  violation = 2.29e+00  (30s)
round   8 [minM] pool   3868  M_pool = 6.000000000  max over all patterns = 7.608243753  violation = 1.61e+00  (32s)
round   9 [minM] pool   4298  M_pool = 6.000000000  max over all patterns = 8.234065393  violation = 2.23e+00  (35s)
round  10 [minM] pool   4346  M_pool = 6.000000000  max over all patterns = 8.373940880  violation = 2.37e+00  (37s)
round  11 [minM] pool   4491  M_pool = 6.000000000  max over all patterns = 8.196855079  violation = 2.20e+00  (40s)
round  12 [minM] pool   4574  M_pool = 6.000000000  max over all patterns = 7.493298687  violation = 1.49e+00  (42s)
round  13 [minM] pool   4722  M_pool = 6.000000000  max over all patterns = 7.502018325  violation = 1.50e+00  (44s)
round  14 [minM] pool   4786  M_pool = 6.000000000  max over all patterns = 7.315867997  violation = 1.32e+00  (47s)
round  15 [minM] pool   4826  M_pool = 6.000000000  max over all patterns = 6.726457918  violation = 7.26e-01  (49s)
round  16 [minM] pool   4883  M_pool = 6.000000000  max over all patterns = 6.773601703  violation = 7.74e-01  (52s)
round  17 [minM] pool   5030  M_pool = 6.000000000  max over all patterns = 7.482167674  violation = 1.48e+00  (54s)
round  18 [minM] pool   5057  M_pool = 6.000000000  max over all patterns = 6.574306538  violation = 5.74e-01  (57s)
round  19 [minM] pool   5072  M_pool = 6.000000000  max over all patterns = 6.624537289  violation = 6.25e-01  (59s)
round  20 [minM] pool   5128  M_pool = 6.010746533  max over all patterns = 6.541850670  violation = 5.31e-01  (62s)
round  21 [minM] pool   5139  M_pool = 6.020841885  max over all patterns = 6.351897068  violation = 3.31e-01  (64s)
round  22 [minM] pool   5188  M_pool = 6.033421632  max over all patterns = 6.337024301  violation = 3.04e-01  (66s)
round  23 [minM] pool   5200  M_pool = 6.036947941  max over all patterns = 6.269779580  violation = 2.33e-01  (69s)
round  24 [minM] pool   5208  M_pool = 6.038092198  max over all patterns = 6.283845888  violation = 2.46e-01  (71s)
round  25 [minM] pool   5215  M_pool = 6.039080275  max over all patterns = 6.162070038  violation = 1.23e-01  (74s)
round  26 [minM] pool   5225  M_pool = 6.043676190  max over all patterns = 6.149982764  violation = 1.06e-01  (76s)
round  27 [minM] pool   5244  M_pool = 6.046026444  max over all patterns = 6.161804640  violation = 1.16e-01  (79s)
round  28 [minM] pool   5254  M_pool = 6.046562341  max over all patterns = 6.109381840  violation = 6.28e-02  (81s)
round  29 [minM] pool   5259  M_pool = 6.047039078  max over all patterns = 6.091033598  violation = 4.40e-02  (84s)
round  30 [minM] pool   5262  M_pool = 6.047095071  max over all patterns = 6.082895186  violation = 3.58e-02  (86s)
round  31 [minM] pool   5266  M_pool = 6.047146840  max over all patterns = 6.074175967  violation = 2.70e-02  (88s)
round  32 [minM] pool   5269  M_pool = 6.047404857  max over all patterns = 6.067523202  violation = 2.01e-02  (91s)
round  33 [minM] pool   5271  M_pool = 6.047462822  max over all patterns = 6.058171023  violation = 1.07e-02  (94s)
round  34 [minM] pool   5272  M_pool = 6.047470260  max over all patterns = 6.051457390  violation = 3.99e-03  (96s)
round  35 [minM] pool   5273  M_pool = 6.047474038  max over all patterns = 6.049354216  violation = 1.88e-03  (98s)
round  36 [minM] pool   5274  M_pool = 6.047478639  max over all patterns = 6.047535140  violation = 5.65e-05  (101s)
round  37 [minM] pool   5275  M_pool = 6.047478657  max over all patterns = 6.047478657  violation = 2.42e-13  (103s)
FINAL DEG=3: 6.047478657 <= LP value <= 6.047478657   (rounds 37, pool 5275, 103s)
