solutions: 6
nodes: 13  modelTime: 1085  solveTime: 3045  totalTime: 4316  modelSize: 69637  readTime: 186