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