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