solutions: 2
nodes: 4  modelTime: 1131  solveTime: 4784  totalTime: 6080  modelSize: 92846  readTime: 165