solutions: 6
nodes: 14  modelTime: 1297  solveTime: 909  totalTime: 2410  modelSize: 116051  readTime: 204