(2,16) (4,22) (5,19) (6,27) (8,18) (9,30) (10,25) (11,28) (12,21) (14,20) (15,17) 
nodes: 724  conflicts: 55  modelTime: 658  solveTime: 1151  totalTime: 1816  modelSize: 41293  readTime: 7 size: 11