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