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