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