solutions: 6
nodes: 13  modelTime: 629  solveTime: 337  totalTime: 1091  modelSize: 30940  readTime: 125