solutions: 6
nodes: 11  modelTime: 1045  solveTime: 4478  totalTime: 5710  modelSize: 92838  readTime: 187