(1,17) (2,22) (3,25) (4,24) (5,29) (6,28) (7,19) (8,27) (10,23) (13,26) (14,20) (15,21) 
nodes: 1616  conflicts: 74  modelTime: 682  solveTime: 1534  totalTime: 2224  modelSize: 41301  readTime: 8 size: 12