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