solutions: 0
nodes: 3  modelTime: 1003  solveTime: 4212  totalTime: 5369  modelSize: 92843  readTime: 154