solutions: 4
nodes: 12  modelTime: 91024  solveTime: 95084  totalTime: 187089  modelSize: 4283420