solutions: 3
nodes: 8  modelTime: 103  solveTime: 36  totalTime: 307  modelSize: 15470  readTime: 168