solutions: 3
nodes: 6  modelTime: 985  solveTime: 5794  totalTime: 6935  modelSize: 116050  readTime: 156