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