solutions: 1
nodes: 5  modelTime: 998  solveTime: 3249  totalTime: 4452  modelSize: 92835  readTime: 205