(1,17) (2,16) (3,25) (4,20) (5,28) (6,23) (7,19) (9,26) (10,27) (11,30) (12,21) (14,24) 
nodes: 960  conflicts: 42  modelTime: 667  solveTime: 1298  totalTime: 1979  modelSize: 41293  readTime: 14 size: 12