(3,17) (4,13) (5,19) (9,16) (10,15) 
nodes: 171  conflicts: 60  modelTime: 674  solveTime: 327  totalTime: 1007  modelSize: 20646  readTime: 6 size: 5