solutions: 3
nodes: 8  modelTime: 64907  solveTime: 86464  totalTime: 152207  modelSize: 4316291