solutions: 4
nodes: 15  modelTime: 94173  solveTime: 99917  totalTime: 195336  modelSize: 3990111