solutions: 3
nodes: 6  modelTime: 1070  solveTime: 4861  totalTime: 6201  modelSize: 92835  readTime: 270