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