(1,27) (2,20) (3,23) (4,30) (5,19) (6,22) (7,24) (8,21) (9,28) (10,25) (11,18) (12,17) (13,16) (15,29) 
nodes: 10879  conflicts: 16  modelTime: 1186  solveTime: 34325  totalTime: 35520  modelSize: 41293  readTime: 8 size: 14