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