(1,24) (2,20) (3,27) (4,21) (5,26) (6,22) (7,25) (8,28) (9,30) (10,19) (11,17) (13,18) (15,16) 
nodes: 14545  conflicts: 31  modelTime: 656  solveTime: 24975  totalTime: 25638  modelSize: 41293  readTime: 6 size: 13