solutions: 4
nodes: 9  modelTime: 1054  solveTime: 5970  totalTime: 7207  modelSize: 116035  readTime: 183