(1,17) (2,19) (3,23) (4,27) (6,20) (7,21) (10,28) (12,22) (13,26) (14,25) (15,16) 
nodes: 1494  conflicts: 58  modelTime: 661  solveTime: 2616  totalTime: 3284  modelSize: 41293  readTime: 7 size: 11