solutions: 1
nodes: 4  modelTime: 1117  solveTime: 5257  totalTime: 6589  modelSize: 116051  readTime: 215