(2,21) (3,26) (5,24) (6,16) (7,20) (8,25) (9,23) (11,30) (12,29) (13,27) (14,17) (15,28) 
nodes: 1258  conflicts: 62  modelTime: 657  solveTime: 1159  totalTime: 1823  modelSize: 41293  readTime: 7 size: 12