Use a more compact +RTS -s output for Tasks