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