(1,13) (2,17) (3,15) (5,19) (6,14) (10,20) 
nodes: 211  conflicts: 43  modelTime: 679  solveTime: 272  totalTime: 956  modelSize: 20646  readTime: 5 size: 6