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