(1,25) (2,20) (3,19) (4,24) (5,29) (6,22) (7,30) (8,21) (10,16) (11,27) (12,28) (13,26) 
nodes: 795  conflicts: 62  modelTime: 660  solveTime: 1365  totalTime: 2031  modelSize: 41293  readTime: 6 size: 12