solutions: 4
nodes: 11  modelTime: 152  solveTime: 317  totalTime: 1257  modelSize: 262996