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