(1,27) (2,25) (3,28) (4,24) (5,17) (6,20) (7,30) (8,29) (9,19) (10,21) (11,26) (13,22) (15,16) 
nodes: 7894  conflicts: 53  modelTime: 656  solveTime: 14674  totalTime: 15336  modelSize: 41298  readTime: 6 size: 13