(1,27) (2,28) (3,24) (4,23) (5,17) (6,18) (7,30) (8,16) (9,22) (10,26) (11,25) (13,21) (14,20) (15,19) 
nodes: 6259  conflicts: 28  modelTime: 660  solveTime: 11393  totalTime: 12059  modelSize: 41293  readTime: 6 size: 14