(1,23) (2,16) (3,20) (4,19) (5,21) (9,26) (10,25) (11,27) (13,17) (14,18) 
nodes: 896  conflicts: 54  modelTime: 658  solveTime: 1175  totalTime: 1840  modelSize: 41293  readTime: 7 size: 10