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