Make TR-Solver silent

5 jobs for master in 15 minutes and 15 seconds (queued for 7 minutes and 48 seconds)