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