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