solutions: 4
nodes: 12  modelTime: 162  solveTime: 313  totalTime: 1162  modelSize: 355819