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