solutions: 0
nodes: 5  modelTime: 1183  solveTime: 5842  totalTime: 7230  modelSize: 116110  readTime: 205