(1,11) (3,13) (5,19) (6,15) (7,14) (9,17) 
nodes: 354  conflicts: 36  modelTime: 682  solveTime: 533  totalTime: 1222  modelSize: 20646  readTime: 6 size: 6