(1,30) (2,28) (4,19) (5,18) (6,25) (7,22) (9,23) (10,26) (11,17) (12,16) (13,27) (14,20) 
nodes: 1327  conflicts: 46  modelTime: 661  solveTime: 1226  totalTime: 1893  modelSize: 41293  readTime: 6 size: 12