(1,22) (2,23) (3,19) (4,29) (5,24) (6,28) (7,30) (8,21) (9,18) (12,20) (13,27) (14,16) (15,17) 
nodes: 8449  conflicts: 41  modelTime: 658  solveTime: 14173  totalTime: 14837  modelSize: 41293  readTime: 6 size: 13