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