solutions: 1
nodes: 4  modelTime: 1117  solveTime: 3159  totalTime: 4461  modelSize: 69686  readTime: 185