solutions: 4
nodes: 15  modelTime: 16818  solveTime: 22548  totalTime: 39856  modelSize: 2232932