(1,15) (2,19) (3,13) (4,14) (5,12) (6,11) (7,16) (8,17) (9,20) 
nodes: 461  conflicts: 8  modelTime: 718  solveTime: 936  totalTime: 1658  modelSize: 20658  readTime: 4 size: 9