(2,26) (3,30) (4,28) (6,27) (7,18) (8,25) (9,16) (11,17) (12,21) (13,24) (14,29) (15,20) 
nodes: 1357  conflicts: 58  modelTime: 656  solveTime: 1488  totalTime: 2151  modelSize: 41293  readTime: 6 size: 12