solutions: 6
nodes: 9  modelTime: 952  solveTime: 584  totalTime: 1728  modelSize: 69643  readTime: 192