polyjit: remote stats output, too much spam.
polyjit: remote stats output, too much spam.

Former-commit-id: f5422c24cd49f93df7619b4b5cdfa760259e01e7
Former-commit-id: a241185917e9d6d91d728496cef58c708d62d25e [formerly 38d4a05cec7dff2fc4c39ea0995aed29b7ddc84e] [formerly 35f6d9b7b04e3c9a366e7d5b51b90b57a81f111b [formerly 6fd766b0ac64d2a2c959f8b03ce205a6bc8fc8eb]]
Former-commit-id: 63b40b60510200274446a7459153e32e90a2bb71 [formerly 3993e72d1bffb241b7fa13ec09730eeb7b37ee7c]
Former-commit-id: e90a0da1b7004d796ed05269ff539134ea651da6
PolyJIT/benchbuild,PolyJIT/benchbuild,PolyJIT/benchbuild,PolyJIT/benchbuild