solutions: 4
nodes: 11  modelTime: 830  solveTime: 578  totalTime: 1579  modelSize: 54146  readTime: 171