(1,19) (2,18) (3,20) (4,30) (6,29) (7,21) (8,22) (9,17) (10,28) (12,23) (13,25) (14,16) 
nodes: 1167  conflicts: 69  modelTime: 667  solveTime: 1628  totalTime: 2302  modelSize: 41293  readTime: 7 size: 12