(1,17) (2,27) (3,22) (4,23) (5,25) (6,29) (7,21) (8,26) (11,24) (13,16) (14,20) (15,19) 
nodes: 1671  conflicts: 57  modelTime: 810  solveTime: 2614  totalTime: 3430  modelSize: 41293  readTime: 6 size: 12