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