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