(1,26) (4,19) (5,20) (6,16) (7,17) (8,25) (9,22) (10,18) (11,28) (12,30) (13,29) (14,23) (15,21) 
nodes: 7577  conflicts: 39  modelTime: 657  solveTime: 11620  totalTime: 12283  modelSize: 41298  readTime: 6 size: 13