(1,17) (2,28) (3,22) (6,26) (7,29) (8,19) (9,20) (10,24) (11,30) (12,27) (13,21) (14,18) 
nodes: 585  conflicts: 57  modelTime: 664  solveTime: 1043  totalTime: 1713  modelSize: 41293  readTime: 6 size: 12