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