solutions: 3
nodes: 6  modelTime: 1033  solveTime: 6439  totalTime: 7638  modelSize: 116054  readTime: 166