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