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