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