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