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