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