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