(1,17) (2,26) (3,29) (4,21) (6,16) (8,23) (9,25) (10,28) (11,19) (12,30) (13,18) (14,22) (15,20) 
nodes: 6558  conflicts: 35  modelTime: 656  solveTime: 12189  totalTime: 12851  modelSize: 41293  readTime: 6 size: 13