(1,15) (2,20) (3,13) (4,12) (5,11) (6,19) (7,18) (8,16) (9,14) (10,17) 
nodes: 1164  conflicts: 16  modelTime: 741  solveTime: 1830  totalTime: 2576  modelSize: 20658  readTime: 5 size: 10