host_name arg1 runtime_label elapsed_ms user_ms sys_ms max_rss_MB no-host ls bash 12.341 5.661 6.804 3.231744 no-host ls bumpleak/osh 22.315 11.563 10.893 10.756096 no-host ls opt/osh 25.013 12.014 13.129 8.732672 no-host ls opt/osh-souffle 25.005 20.955 4.172 8.736768 no-host ls-short opt/osh-souffle 7.572 4.294 3.413 6.873088 no-host ls-short opt/osh 7.799 5.084 2.702 6.934528 no-host ls-short bash 5.648 5.808 0 3.371008 no-host ls-short bumpleak/osh 7.534 7.471 0 8.224768 no-host mypy bash 13.87 4.852 9.148 3.2768 no-host mypy opt/osh-souffle 28.498 12.012 16.62 8.740864 no-host mypy opt/osh 28.868 12.531 16.483 8.802304 no-host mypy bumpleak/osh 25.356 17.007 8.493 12.55424