solutions: 4
nodes: 9  modelTime: 1085  solveTime: 1803  totalTime: 3067  modelSize: 54161  readTime: 178