Make TR-Solver silent

3 jobs for master in 7 minutes and 42 seconds (queued for 6 seconds)