solutions: 4
nodes: 16  modelTime: 40681  solveTime: 46777  totalTime: 88185  modelSize: 2942342