solutions: 4
nodes: 12  modelTime: 271  solveTime: 313  totalTime: 1311  modelSize: 355817