(1,3) (2,24) (4,23) (5,21) (7,17) (9,18) (10,25) (11,13) (12,20) (14,22) (15,28) (19,27) 
nodes: 1961  conflicts: 108  modelTime: 985  solveTime: 9294  totalTime: 10291  modelSize: 72262  readTime: 12 size: 12