write overall runtime to stderr, not stdout