| | |
| | import datetime |
| | import os |
| | import sys |
| |
|
| | def extract_datetime_from_line(line, year): |
| | |
| | line = line.strip().split() |
| | month = int(line[0][1:3]) |
| | day = int(line[0][3:]) |
| | timestamp = line[1] |
| | pos = timestamp.rfind('.') |
| | ts = [int(x) for x in timestamp[:pos].split(':')] |
| | hour = ts[0] |
| | minute = ts[1] |
| | second = ts[2] |
| | microsecond = int(timestamp[pos + 1:]) |
| | dt = datetime.datetime(year, month, day, hour, minute, second, microsecond) |
| | return dt |
| |
|
| |
|
| | def get_log_created_year(input_file): |
| | """Get year from log file system timestamp |
| | """ |
| |
|
| | log_created_time = os.path.getctime(input_file) |
| | log_created_year = datetime.datetime.fromtimestamp(log_created_time).year |
| | return log_created_year |
| |
|
| |
|
| | def get_start_time(line_iterable, year): |
| | """Find start time from group of lines |
| | """ |
| |
|
| | start_datetime = None |
| | for line in line_iterable: |
| | line = line.strip() |
| | if line.find('Solving') != -1: |
| | start_datetime = extract_datetime_from_line(line, year) |
| | break |
| | return start_datetime |
| |
|
| |
|
| | def extract_seconds(input_file, output_file): |
| | with open(input_file, 'r') as f: |
| | lines = f.readlines() |
| | log_created_year = get_log_created_year(input_file) |
| | start_datetime = get_start_time(lines, log_created_year) |
| | assert start_datetime, 'Start time not found' |
| |
|
| | last_dt = start_datetime |
| | out = open(output_file, 'w') |
| | for line in lines: |
| | line = line.strip() |
| | if line.find('Iteration') != -1: |
| | dt = extract_datetime_from_line(line, log_created_year) |
| |
|
| | |
| | if dt.month < last_dt.month: |
| | log_created_year += 1 |
| | dt = extract_datetime_from_line(line, log_created_year) |
| | last_dt = dt |
| |
|
| | elapsed_seconds = (dt - start_datetime).total_seconds() |
| | out.write('%f\n' % elapsed_seconds) |
| | out.close() |
| |
|
| | if __name__ == '__main__': |
| | if len(sys.argv) < 3: |
| | print('Usage: ./extract_seconds input_file output_file') |
| | exit(1) |
| | extract_seconds(sys.argv[1], sys.argv[2]) |
| |
|
