solutions: 0
nodes: 4  modelTime: 933  solveTime: 866  totalTime: 1957  modelSize: 92824  readTime: 158