solutions: 4
nodes: 9  modelTime: 1058  solveTime: 2696  totalTime: 3913  modelSize: 69657  readTime: 159