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