Some of the external optimizers we use create a ton of junk console output. Consider using a redirection to quiet them up.
example solution:
function capture_stdout(f)
# return f()
stdout_orig = stdout
flush(stdout)
(rd, wr) = redirect_stdout()
r = f()
close(wr)
redirect_stdout(stdout_orig)
return r
end