(1,12) (2,16) (3,18) (4,14) (6,17) (7,20) (8,13) (9,19) (10,15) 
nodes: 161  conflicts: 14  modelTime: 685  solveTime: 475  totalTime: 1164  modelSize: 20658  readTime: 4 size: 9