(1,30) (2,19) (3,27) (4,25) (5,28) (6,26) (7,29) (9,16) (10,23) (11,17) (13,21) (14,20) 
nodes: 2116  conflicts: 54  modelTime: 656  solveTime: 3888  totalTime: 4551  modelSize: 41293  readTime: 7 size: 12