solutions: 4
nodes: 12  modelTime: 150  solveTime: 276  totalTime: 1017  modelSize: 262995