solutions: 6
nodes: 16  modelTime: 137  solveTime: 258  totalTime: 884  modelSize: 185683