solutions: 12
nodes: 31  modelTime: 164  solveTime: 330  totalTime: 1207  modelSize: 355819