(1,27) (2,21) (3,22) (4,23) (5,20) (6,30) (7,29) (8,26) (9,24) (10,28) (11,18) (13,25) (14,17) (15,16) 
nodes: 10245  conflicts: 47  modelTime: 659  solveTime: 15596  totalTime: 16261  modelSize: 41293  readTime: 6 size: 14