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