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