solutions: 0
nodes: 5  modelTime: 1194  solveTime: 5692  totalTime: 7136  modelSize: 116179  readTime: 249