solutions: 0
nodes: 3  modelTime: 2254  solveTime: 2175  totalTime: 4663  modelSize: 341165