(1,14) (2,12) (3,19) (4,17) (5,16) (6,13) (7,20) (9,18) (10,15) 
nodes: 315  conflicts: 14  modelTime: 677  solveTime: 659  totalTime: 1342  modelSize: 20646  readTime: 5 size: 9