(1,16) (2,26) (3,20) (4,21) (5,18) (6,30) (7,28) (8,27) (9,24) (10,23) (11,22) (12,29) (13,17) (14,25) 
nodes: 770  conflicts: 29  modelTime: 684  solveTime: 1674  totalTime: 2365  modelSize: 41293  readTime: 7 size: 14