(1,15) (2,18) (4,17) (5,19) (7,16) 
nodes: 107  conflicts: 56  modelTime: 682  solveTime: 206  totalTime: 893  modelSize: 20646  readTime: 5 size: 5