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