def readfile(filename,multiplier=1.0):
    """Reads a vector file (objective values in one dimension)"""
    with open(filename,'r') as f:
        lines = f.readlines()
    vec = [multiplier*float(a.strip()) for a in lines]
    return vec