solutions: 6
nodes: 12  modelTime: 953  solveTime: 3909  totalTime: 5014  modelSize: 92845  readTime: 152