(2,19) (3,16) (5,18) (6,17) (7,28) (8,26) (9,27) (10,25) (11,21) (12,20) (13,23) (14,24) 
nodes: 484  conflicts: 58  modelTime: 666  solveTime: 543  totalTime: 1217  modelSize: 41293  readTime: 8 size: 12