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