(1,19) (2,16) (3,15) (4,18) (5,13) (7,14) (8,11) (9,12) (10,20) 
nodes: 267  conflicts: 22  modelTime: 764  solveTime: 572  totalTime: 1341  modelSize: 20658  readTime: 5 size: 9