As travis build occasionally failed again due to 'unable to create new native thread', we half the max thread count (10000 to 5000)