solutions: 6
nodes: 11  modelTime: 962  solveTime: 693  totalTime: 1858  modelSize: 92836  readTime: 203