(1,26) (2,27) (3,29) (4,21) (5,30) (6,23) (8,19) (9,17) (10,20) (11,28) (12,25) (13,18) (14,16) (15,24) 
nodes: 8012  conflicts: 31  modelTime: 657  solveTime: 13957  totalTime: 14620  modelSize: 41293  readTime: 6 size: 14