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