(1,19) (3,15) (4,14) (5,13) (7,17) (8,20) (9,16) (10,12) 
nodes: 585  conflicts: 28  modelTime: 741  solveTime: 620  totalTime: 1367  modelSize: 20658  readTime: 5 size: 8