solutions: 8
nodes: 20  modelTime: 152  solveTime: 284  totalTime: 1045  modelSize: 263003