(1,21) (2,23) (5,20) (6,27) (7,24) (10,22) (11,19) (12,25) (13,26) (14,17) (15,16) 
nodes: 1064  conflicts: 79  modelTime: 660  solveTime: 754  totalTime: 1421  modelSize: 41300  readTime: 7 size: 11