solutions: 0
nodes: 3  modelTime: 4838  solveTime: 5800  totalTime: 10992  modelSize: 454021