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