(1,13) (2,18) (3,16) (5,14) (7,19) (9,17) 
nodes: 121  conflicts: 34  modelTime: 678  solveTime: 408  totalTime: 1091  modelSize: 20646  readTime: 5 size: 6