(1,25) (2,26) (3,24) (4,28) (5,27) (6,23) (7,16) (8,18) (9,30) (11,20) (12,17) (13,29) (14,19) (15,22) 
nodes: 6657  conflicts: 38  modelTime: 687  solveTime: 15286  totalTime: 15980  modelSize: 41293  readTime: 7 size: 14