solutions: 4
nodes: 10  modelTime: 1092  solveTime: 5022  totalTime: 6326  modelSize: 92839  readTime: 212