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