solutions: 4
nodes: 8  modelTime: 388  solveTime: 268  totalTime: 734  modelSize: 15470  readTime: 78