solutions: 4
nodes: 8  modelTime: 389  solveTime: 266  totalTime: 711  modelSize: 15476  readTime: 56