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