solutions: 9
nodes: 17  modelTime: 103  solveTime: 39  totalTime: 266  modelSize: 7735  readTime: 123