(1,29) (2,18) (3,25) (4,23) (5,28) (6,22) (8,21) (9,30) (10,24) (11,27) (12,26) (13,17) 
nodes: 1050  conflicts: 51  modelTime: 659  solveTime: 1694  totalTime: 2359  modelSize: 41293  readTime: 6 size: 12