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