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