solutions: 4
nodes: 11  modelTime: 64757  solveTime: 74572  totalTime: 140175  modelSize: 4110264