solutions: 4
nodes: 9  modelTime: 580  solveTime: 652  totalTime: 1319  modelSize: 23205  readTime: 87