DEG=4: monomials 20853, cube orbits 608, congruence classes 348, free orbit variables 437, class equalities 177  (0.1s)
Psi0 table done (12.2s)
round   1 [slack] pool   3011  t_pool = 1.075257225  max non-hyperplane value = 10.301951513  true slack = -4.301951513  violation = 5.38e+00  (17s)
round   2 [slack] pool   5750  t_pool = 0.671466267  max non-hyperplane value = 9.559325874  true slack = -3.559325874  violation = 4.23e+00  (24s)
round   3 [slack] pool   9750  t_pool = 0.270704637  max non-hyperplane value = 7.676281370  true slack = -1.676281370  violation = 1.95e+00  (38s)
round   4 [slack] pool  13586  t_pool = 0.204803209  max non-hyperplane value = 6.669897947  true slack = -0.669897947  violation = 8.75e-01  (59s)
round   5 [slack] pool  13669  t_pool = 0.193787897  max non-hyperplane value = 6.147324986  true slack = -0.147324986  violation = 3.41e-01  (83s)
round   6 [slack] pool  13824  t_pool = 0.168873698  max non-hyperplane value = 6.155506527  true slack = -0.155506527  violation = 3.24e-01  (105s)
round   7 [slack] pool  13944  t_pool = 0.164183926  max non-hyperplane value = 6.008903642  true slack = -0.008903642  violation = 1.73e-01  (127s)
round   8 [slack] pool  14019  t_pool = 0.161882677  max non-hyperplane value = 5.947017894  true slack = 0.052982106  violation = 1.09e-01  (150s)
round   9 [slack] pool  14065  t_pool = 0.160704603  max non-hyperplane value = 6.024671990  true slack = -0.024671990  violation = 1.85e-01  (173s)
round  10 [slack] pool  14082  t_pool = 0.160531401  max non-hyperplane value = 5.892293552  true slack = 0.107706448  violation = 5.28e-02  (196s)
round  11 [slack] pool  14114  t_pool = 0.160312128  max non-hyperplane value = 5.878644105  true slack = 0.121355895  violation = 3.90e-02  (218s)
round  12 [slack] pool  14128  t_pool = 0.160249338  max non-hyperplane value = 5.870457343  true slack = 0.129542657  violation = 3.07e-02  (242s)
round  13 [slack] pool  14136  t_pool = 0.160226438  max non-hyperplane value = 5.853490089  true slack = 0.146509911  violation = 1.37e-02  (264s)
round  14 [slack] pool  14140  t_pool = 0.160222382  max non-hyperplane value = 5.844102940  true slack = 0.155897060  violation = 4.33e-03  (286s)
round  15 [slack] pool  14141  t_pool = 0.160222142  max non-hyperplane value = 5.839777858  true slack = 0.160222142  violation = 4.48e-12  (308s)
FINAL DEG=4 slack phase: t_pool = 0.160222142, true uniform slack of this solution = 0.160222142, violation 4.48e-12  (rounds 15, pool 14141, 308s)
