(1,17) (2,20) (3,25) (4,24) (5,28) (6,16) (7,23) (8,29) (10,19) (12,30) (13,27) (14,21) 
nodes: 1826  conflicts: 61  modelTime: 656  solveTime: 2217  totalTime: 2880  modelSize: 41293  readTime: 6 size: 12