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