(2,19) (3,16) (6,17) (8,14) (10,20) 
nodes: 243  conflicts: 49  modelTime: 772  solveTime: 352  totalTime: 1130  modelSize: 20646  readTime: 6 size: 5