solutions: 3
nodes: 6  modelTime: 1128  solveTime: 5578  totalTime: 6919  modelSize: 116137  readTime: 213