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