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