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