solutions: 3
nodes: 6  modelTime: 1051  solveTime: 6170  totalTime: 7385  modelSize: 116057  readTime: 164