(2,15) (4,17) (5,19) (7,13) (9,16) (10,20) 
nodes: 223  conflicts: 37  modelTime: 710  solveTime: 519  totalTime: 1235  modelSize: 20646  readTime: 6 size: 6