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