DEG=2: monomials 378, cube orbits 24, congruence classes 10, free orbit variables 22, class equalities 8  (0.0s)
Psi0 table done (12.9s)
round   1 [minM] pool   3011  M_pool = 6.000000000  max over all patterns = 7.023858110  violation = 1.02e+00  (15s)
round   2 [minM] pool   3128  M_pool = 6.188508110  max over all patterns = 7.318645027  violation = 1.13e+00  (17s)
round   3 [minM] pool   3200  M_pool = 6.479823432  max over all patterns = 7.052501437  violation = 5.73e-01  (18s)
round   4 [minM] pool   3252  M_pool = 6.490582785  max over all patterns = 8.110621463  violation = 1.62e+00  (20s)
round   5 [minM] pool   3258  M_pool = 6.493220321  max over all patterns = 6.610362073  violation = 1.17e-01  (22s)
round   6 [minM] pool   3261  M_pool = 6.495298070  max over all patterns = 6.531143378  violation = 3.58e-02  (24s)
round   7 [minM] pool   3262  M_pool = 6.496170397  max over all patterns = 6.496170397  violation = 3.55e-14  (25s)
FINAL DEG=2: 6.496170397 <= LP value <= 6.496170397   (rounds 7, pool 3262, 25s)
