Might be the number of processors in travis being too low?