(1,16) (2,14) (3,13) (6,12) (7,17) (9,18) (10,19) 
nodes: 258  conflicts: 34  modelTime: 715  solveTime: 625  totalTime: 1346  modelSize: 20646  readTime: 6 size: 7