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