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