solutions: 0
nodes: 5  modelTime: 144757  solveTime: 108619  totalTime: 254579  modelSize: 4912055  readTime: 1203