You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
53 lines
1.6 KiB
53 lines
1.6 KiB
# MIPLearn: Extensible Framework for Learning-Enhanced Mixed-Integer Optimization
|
|
# Copyright (C) 2020, UChicago Argonne, LLC. All rights reserved.
|
|
# Released under the modified BSD license. See COPYING.md for more details.
|
|
|
|
from datetime import timedelta
|
|
import logging
|
|
import time
|
|
import sys
|
|
|
|
|
|
class TimeFormatter(logging.Formatter):
|
|
def __init__(self, start_time, log_colors):
|
|
super().__init__()
|
|
self.start_time = start_time
|
|
self.log_colors = log_colors
|
|
|
|
def format(self, record):
|
|
if record.levelno >= logging.ERROR:
|
|
color = self.log_colors["red"]
|
|
elif record.levelno >= logging.WARNING:
|
|
color = self.log_colors["yellow"]
|
|
else:
|
|
color = self.log_colors["green"]
|
|
return "%s[%12.3f]%s %s" % (
|
|
color,
|
|
record.created - self.start_time,
|
|
self.log_colors["reset"],
|
|
record.getMessage(),
|
|
)
|
|
|
|
|
|
def setup_logger(start_time=None, force_color=False):
|
|
if start_time is None:
|
|
start_time = time.time()
|
|
if sys.stdout.isatty() or force_color:
|
|
log_colors = {
|
|
"green": "\033[92m",
|
|
"yellow": "\033[93m",
|
|
"red": "\033[91m",
|
|
"reset": "\033[0m",
|
|
}
|
|
else:
|
|
log_colors = {
|
|
"green": "",
|
|
"yellow": "",
|
|
"red": "",
|
|
"reset": "",
|
|
}
|
|
handler = logging.StreamHandler()
|
|
handler.setFormatter(TimeFormatter(start_time, log_colors))
|
|
logging.getLogger().addHandler(handler)
|
|
logging.getLogger("miplearn").setLevel(logging.INFO)
|