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