(1,19) (2,28) (3,26) (4,21) (5,24) (6,23) (7,18) (8,29) (9,16) (10,22) (12,30) (13,27) (14,25) (15,17) 
nodes: 2876  conflicts: 34  modelTime: 656  solveTime: 7024  totalTime: 7686  modelSize: 41298  readTime: 6 size: 14