solutions: 4
nodes: 7  modelTime: 110  solveTime: 23  totalTime: 256  modelSize: 7735  readTime: 123