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