(1,23) (3,21) (5,27) (6,24) (7,20) (9,28) (10,17) (11,22) (12,18) (14,19) (15,26) 
nodes: 629  conflicts: 76  modelTime: 667  solveTime: 1107  totalTime: 1781  modelSize: 41300  readTime: 7 size: 11