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