(1,26) (2,25) (3,29) (4,17) (5,28) (6,22) (7,24) (8,21) (11,19) (12,16) (13,27) (15,20) 
nodes: 580  conflicts: 63  modelTime: 656  solveTime: 655  totalTime: 1318  modelSize: 41293  readTime: 7 size: 12