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