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