solutions: 1
nodes: 4  modelTime: 1292  solveTime: 5794  totalTime: 7303  modelSize: 116051  readTime: 217