solutions: 3
nodes: 6  modelTime: 1196  solveTime: 585  totalTime: 1989  modelSize: 92845  readTime: 207