(2,17) (3,21) (4,23) (5,24) (6,16) (7,18) (8,27) (9,28) (10,25) (11,20) (14,26) (15,30) 
nodes: 5548  conflicts: 55  modelTime: 663  solveTime: 8176  totalTime: 8846  modelSize: 41293  readTime: 7 size: 12