(3,22) (4,17) (5,30) (6,19) (7,25) (8,28) (9,24) (11,21) (13,23) (14,26) (15,27) 
nodes: 2173  conflicts: 66  modelTime: 661  solveTime: 2449  totalTime: 3116  modelSize: 41293  readTime: 6 size: 11