solutions: 1
nodes: 3  modelTime: 997  solveTime: 4984  totalTime: 6136  modelSize: 92833  readTime: 155