solutions: 5
nodes: 11  modelTime: 1123  solveTime: 5986  totalTime: 7307  modelSize: 116093  readTime: 197