solutions: 8
nodes: 17  modelTime: 862  solveTime: 559  totalTime: 1567  modelSize: 69625  readTime: 146