(1,24) (2,22) (3,28) (4,19) (5,29) (7,30) (9,26) (10,25) (11,27) (12,21) (13,16) (14,18) 
nodes: 811  conflicts: 54  modelTime: 659  solveTime: 745  totalTime: 1410  modelSize: 41293  readTime: 6 size: 12