(1,17) (2,28) (3,16) (4,25) (5,29) (6,18) (7,19) (8,20) (9,27) (10,26) (11,21) (12,22) (13,23) (14,24) 
nodes: 3195  conflicts: 29  modelTime: 656  solveTime: 5174  totalTime: 5836  modelSize: 41298  readTime: 6 size: 14