(1,27) (2,30) (3,24) (5,18) (6,28) (7,19) (9,29) (10,21) (11,22) (13,25) (14,23) (15,16) 
nodes: 627  conflicts: 55  modelTime: 664  solveTime: 1099  totalTime: 1769  modelSize: 41293  readTime: 6 size: 12