solutions: 2
nodes: 7  modelTime: 1017  solveTime: 5412  totalTime: 6589  modelSize: 116054  readTime: 160