(2,25) (3,30) (4,19) (5,23) (6,20) (7,26) (8,27) (9,28) (10,29) (12,21) (13,16) (14,17) (15,22) 
nodes: 1230  conflicts: 34  modelTime: 664  solveTime: 2565  totalTime: 3235  modelSize: 41298  readTime: 6 size: 13