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