solutions: 5
nodes: 9  modelTime: 1003  solveTime: 2611  totalTime: 3779  modelSize: 69636  readTime: 165