(2,23) (3,27) (4,28) (5,19) (6,16) (7,9) (8,14) (10,18) (11,30) (13,20) (15,29) (17,25) (21,26) 
nodes: 6625  conflicts: 88  modelTime: 1395  solveTime: 26387  totalTime: 27803  modelSize: 72262  readTime: 21 size: 13