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