solutions: 6
nodes: 14  modelTime: 1082  solveTime: 6261  totalTime: 7549  modelSize: 116030  readTime: 206