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