solutions: 1
nodes: 3  modelTime: 1259  solveTime: 3433  totalTime: 4901  modelSize: 92840  readTime: 209