(1,18) (3,13) (4,15) (6,14) (7,17) (8,11) (9,19) 
nodes: 107  conflicts: 28  modelTime: 675  solveTime: 266  totalTime: 947  modelSize: 20646  readTime: 6 size: 7