Metrics Log Extraction Task

Metrics Log Extraction Task: a task in repo2rlenv-seta-seed2synth (Harbor dataset). A monitoring script produces a log file at /workspace/data/metrics.log . Each non-header line contains tab-separated fields: - timestamp — ISO 8601 datetime string - cpu percent — CPU usage value with a % suffix…