solutions: 0
nodes: 12  modelTime: 1078  solveTime: 2984  totalTime: 4273  modelSize: 69619  readTime: 211