(1,17) (2,11) (3,19) (5,16) (6,12) (7,18) (8,14) (9,20) (10,15) 
nodes: 443  conflicts: 14  modelTime: 588  solveTime: 537  totalTime: 1130  modelSize: 20658  readTime: 5 size: 9