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