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