Usage: php benchmark.php [output-file]