Water mark bound: 0.384615 max(0, 6 + N)
Degree: 1

Statistics:
Weakenings inserted per function:
31 for f
Number of LP variables: 48277
Number of LP constraints: 36551
Maximum focus functions in use: 140
LP solver time ratio: 60%
Total runtime: 1.850s