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