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