solutions: 6
nodes: 17  modelTime: 142  solveTime: 312  totalTime: 1041  modelSize: 185683