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