(1,16) (2,21) (3,26) (4,29) (6,23) (7,28) (8,19) (9,27) (10,24) (11,20) (12,30) (13,22) 
nodes: 9371  conflicts: 51  modelTime: 659  solveTime: 13896  totalTime: 14561  modelSize: 41298  readTime: 6 size: 12