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