(1,23) (2,16) (3,21) (5,18) (7,17) (8,28) (9,19) (10,24) (11,30) (12,27) (13,20) (14,25) 
nodes: 1261  conflicts: 36  modelTime: 656  solveTime: 1788  totalTime: 2450  modelSize: 41293  readTime: 6 size: 12