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