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