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