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