(1,23) (2,22) (3,24) (4,20) (5,19) (6,16) (8,27) (10,17) (11,29) (12,21) (13,28) (14,25) (15,18) 
nodes: 6690  conflicts: 25  modelTime: 1193  solveTime: 19944  totalTime: 21146  modelSize: 41293  readTime: 9 size: 13